mmoskal

Joined 11 years ago

Karma
799
Submissions
284
Member since
May 14
https://moskal.me
View on Hacker News

Recent submissions

Comment · 9 days ago
I think the point is they need several wafers to fit the model. Data parallelism between requires too much bandwidth (they only have so much edge real estate for io) so you have to do pipeline parallelism with say one layer per wafer. No one does it on gpu unless you can’t fit the model in one fast network domain (which is 72 GPUs nowadays for Nvidia). There is a Dwarkesh episode from like two months ago that explains this reasonably accurately.
Comment · 3 months ago
Also 425 RMB is about $59 so $1 of tokens for $0.017 not $0.13 (the discount rate quoted also seems off).
Comment · 3 months ago
Comment · 5 months ago
I believe the App Store policy is you have to have a setting to disable ads. And Uber actually has it (though it has 8 different channels or so, apparently "Uber teen accounts" marketing was added recently).

I used the setting and am not getting Uber ads (only Uber ride notifications).

Comment · 5 months ago
Comment · 11 months ago
Grammars work best when aligned with prompt. That is, if your prompt gives you the right format of answer 80% of the time, the grammar will take you to a 100%. If it gives you the right answer 1% of the time, the grammar will give you syntactically correct garbage.
Comment · 11 months ago
Comment · 1 year ago
Comment · 1 year ago
The previous article is in the same issue, in science and technology section. This is how they typically do it - leader article has a longer version in the paper. Leaders tend to be more opinionated.
Comment · 1 year ago
Consciousness (subjective experience) is possibly orthogonal to intelligence (ability to achieve complex goals). We definitely have a better handle on what intelligence is than consciousness.
Comment · 1 year ago
Counting to 2^61 probably is.

To actually find a collision in 128b cryptographic hash function it would take closer to 2^65 hashes. Back of the envelope calculations suggest that with Pollard's rho it would cost a few million dollars of CPU time at Hetzner's super-low prices. Not nearly mere mortals budget, but not that far off I guess.

Comment · 1 year ago
Airplanes are dirty, unsafe and unclean?
Comment · 1 year ago
I think this is like unsafe - most of your code won’t have it, so you get the benefits of borrow checker (memory safety and race freedom) elsewhere.
Comment · 1 year ago
This seems way too readable! I think you should remove the character literals in the name of purity.

Also, this is likely way more compact than Brainfuck, as the lambda calculus is written essentially as usual.

And seriously, very cool!

Comment · 1 year ago
https://github.com/verus-lang/verus is similar tool for Rust (developed by previous heavy users of Dafny).

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton