Viewing profile — nulltype

Maybe he meant to link to Colossus: The Forbin Project

For the implemented formats, wuffs is safer and also often faster: https://github.com/google/wuffs

It’s hard to say that one needs unused variables.

“The bugs are real. The math is not. All estimates are made up. Your frustration, however, is valid.” I’m pretty sure it’s way less than 2%, but I definitely notice running into th…

I think the point was that people care about ppd, not ppi. 218 ppi would be too low if the screen is 1 inch from your eye or too high if it’s 100 inches from your eye. Retina proba…

Isn’t it somewhat common to say something like “slow this down by a factor of 2”?

Looks like it's probably https://thinkingmachines.ai/blog/defeating-nondeterminism-in...

> What do you mean 10 years? Didn’t the DGX-1 come out 9 years ago?

Where do they use quotes for the official drivers?

Which H100 and how much over 1500 TFLOP/s? The datasheet for the H100 SXM seems to indicate that it can only do ~1000 TFLOP/s peak.

Looking at https://ant.apache.org/ivy/history/latest-milestone/ivyfile/... I don't see how this is the same as minimal version selection.

I suspect they mean it’s a secondary source not a primary one

ua6oxa! Is this like an unreal engine blueprint alternative you are working on?

I think this is one of the main things Rust users don’t promote enough (I don’t see this in the article for instance). let lock = Arc::new(RwLock::new(1)); This plus a few unwrappi…

A similar thing actually happened to me. I was receiving a small package (probably a phone case) about once every few weeks while living in a rental house. The seller had put my ad…

[0] [0] http://jalammar.github.io/illustrated-transformer/

Ah I see that he is claiming it’s Steve Huffman via all the use of “you” there.

Yeah that part says it’s Steve but where does it say it’s Steve in the phone recording? It just says “Reddit” in the transcript.

It seems a number of people believe that the recorded call has Steve Huffman talking, but I don’t see this claim anywhere in the original post.

What a great name!

How hard is it for me to have a commit stack be represented as a series of PRs on Github?

So your claim is that GitHub would be equally successful if their website was just information about how to push to a git remote hosted by them?

If you use house price index instead of consumer price index, it’s in line with that OP said: https://fred.stlouisfed.org/series/USSTHPI

Great to see someone rethinking what running command line programs could look like! Too often the shell or terminal is just replaced with a reimplementation of roughly the same thi…

For operator overloading you can do something like this: https://github.com/christopher-hesse/tenet#interesting-featu... You have to specify the names more times but you can also d…