jleahy

26 ms·

241.
by jleahy 6y ago
Yes it's baryons. There is some missing baryonic matter (probably dust), but the bulk of it is something else (black holes, WIMPs, etc).
242.
by jleahy 6y ago
Imo sponge is the most useful of all of them. For example if you want to filter a file in place you can do ‘grep str file | sponge file’. If you do that with a redirect you’ll end up with an empty file. Some commands (eg. sed) have an in-pl
243.
by jleahy 6y ago
> Having people pay, even voluntarily, and having even a small reliance on those payments would just kill Mozilla more quickly without a visible leadership change first. Wikipedia relies on user donations, and yet they still spend vast s
244.
by jleahy 6y ago
It can’t complete all the levels and actually does worse on the first level than a normal human (for example falling down a hole and having to get out again). So it’s quite far from a speed run.
245.
by jleahy 6y ago
The CME datacenter is in Aurora, and the ICE datacenter is in Chicago proper.
246.
by jleahy 6y ago
The LF411 is nice and a modern design, so there have been incremental improvements.
247.
by jleahy 6y ago
I still have an Acer C720, which cost $250 back in 2013. It's a lovely piece of equipment, once you remove ChromeOS. I've taken it apart more times than I can recall, lots of empty space inside. The only downside is 2GB of RAM, 4G
248.
by jleahy 6y ago
But how do you charge an iPad using an iPhone?
249.
by jleahy 6y ago
Unfortunately jail time has an outsized effect, look at Hans Reiser. That incident pretty much killed reiser4, which was on track to become a very popular filesystem for Linux, despite having 10s of developers working on it.
250.
by jleahy 6y ago
Spotify is 273MB (on Linux at least), 70MB for the binary and 137MB for Chrome, plus some other bits and bobs. $ pacman -Qi spotify Name : spotify Version : 1:1.1.10.546-4 Description : A proprietary music s
251.
by jleahy 6y ago
The minimum wage in the UK is $10.55 and amazon still works just fine. In fact we’ve had 1 day delivery for a long time, and it’s still working post-covid.
252.
by jleahy 6y ago
For ‘moderate performance’ surely JVM based languages are what you’re looking for? There’s great tooling and a very low barrier to creating new languages. Creating a new systems programming language like C++, Rust or Zig is by contrast a lo
253.
by jleahy 6y ago
Well it depends what you're doing, if your memory is full of hash tables and linked lists then you'll likely get a crash (say a web backend). If you're a fileserver and it's all cache then you won't.
254.
by jleahy 6y ago
It's not quite fair to just extrapolate numbers for 256MB of RAM up to a modern system. If this was true you'd be seeing OS crashes daily (if you run hundreds of servers with no ECC you will see mysterious crashes every day, but f
255.
by jleahy 6y ago
Also techniques that only require the product of the hessian with some arbitrary vector, which itself is just a vector. That can be easy to compute in some problems.
256.
by jleahy 7y ago
Well Rust and ZZ are both trying to prove safety, Rust does it via the borrow checker and ZZ does it by formal verification. I would be surprised if the ZZ approach would scale beyond trivial examples (you're going to end up with progr
257.
by jleahy 7y ago
There seem to be a ballooning number of entrants to the space of C-level languages recently (which is a fantastic thing after two decades with little going on). Zig and Odin are the two others that have appeared recently, at least of the on
258.
by jleahy 7y ago
To some degree he’s just rediscovered branch and bound, the classic way to solve NP hard problems like this. It’s a neat little trick. The other way of doing this would just be to formulate it as some kind of ILP and plug it into somebody e
259.
by jleahy 7y ago
You can get a brand new Mellanox card for $210 from their website, shell out $215 and you can get 25G ethernet. It's not really that much to pay once you consider it an expensive component (like a NVMe drive) rather than something that
260.
by jleahy 7y ago
$5.4m/mo * 12 mo/yr = $65m/yr. My guess is the "$65m/year deal with AWS" is actually the S3 cost and the extra $30m/year of 'increased cloud spend' is the egress costs found by the audit. Otherwi
261.
by jleahy 7y ago
> +12V sense for detecting voltage drop or something This is actually the best bit, incredibly smart idea. It's a kelvin connection to ensure that you get 12V at the motherboard, regardless of power dissipation in the wire.
262.
by jleahy 7y ago
A typical CPU (or SSD even) uses a voltage of 0.9V currently, surely it doesn't matter whether the motherboard is converting 12V to 0.9V or 5V to 0.9V. Back when this stuff was originally designed 12V, 5V and 3.3V was all you needed (a
263.
by jleahy 7y ago
You are talking about chirality. Biologically produced molecules are all of the same "handedness", but molecules produced by other means (normal chemical reactions) tend to have 50/50 chance to be either handedness (although
264.
by jleahy 7y ago
Sounds like vbezhenar cares about being woken up at night by a noisy server, in that case maximum power draw regardless of load is what matters.
265.
by jleahy 7y ago
Well the G4932E runs at exactly half the clock rate, so it's not surprising that it uses half the power. Just disable one of the two cores and now you have a 3.8GHz single core processor with a TDP of 27W: echo 0 > /sys/de
266.
by jleahy 7y ago
As others have said, with Manchester encoding 10BASE2 is self-clocking, you can use the data to keep your PLL locked, just as you would on modern ethernet standards. However I imagine with these standards you may not even have needed an exp
267.
by jleahy 7y ago
Right, but the price is about 100, not 1. If you had a price of 1.25 then you could represent this as a float as (binary) 1.01. However if you have 117.25 then that's (decimal) 1.83203125 * 2^-6. You can see how you quickly run out of
268.
by jleahy 7y ago
Unfortunately it's 32nds of a 100th, so they still don't work in floats (because floats are stored normalised, as 1.x in binary). Eg. 117.125
269.
by jleahy 7y ago
I'm quite familiar with the process and I believe it's entirely possible. You will need to run foundry DRC decks, but the company you're taping out through will do this for you (I presume that you're not big enough to de
270.
by jleahy 7y ago
> And that's just talking about DIGITAL semiconductors where you compile HDL to pretty much generate the transistors from foundry cell libraries. So you have to sign an NDA to get the cell library, but you can at least release your

More ›