rzmmm

6 ms·

1.
by rzmmm 4d ago
Almost no myopia in hunter-gatherer populations. I don't view it as "disease" but it's not physiological state either.
2.
by rzmmm 8d ago
Isn't it obvious? Web scraping and even scanning written books is at record levels because the data is so useful for training. They are using every byte of user data.
3.
by rzmmm 17d ago
It does work, at least in my experience. The challenge may be cheap for your n-of-1 but keep in mind the scraper bots are crawling number of domains with very high concurrency.
4.
by rzmmm 21d ago
It's remarkable how stable 20-30% show HN concentration is after late 2022, for the extended stats.
5.
by rzmmm 22d ago
Interesting. To me it seems there are bunch of special cases where ketone monitor can be big help.
6.
by rzmmm 22d ago
Reading these comments it seems that meta-discussion of AI is the most hot button topic of all in HN.
7.
by rzmmm 26d ago
Well you need some substrate which can be metabolized into sugar, such as carbohydrate or protein.
8.
by rzmmm 29d ago
You can write raw sql and use the "describe" clause in script, and then generate code with the result. This gives full db-backend-frontend type safety with raw sql queries
9.
by rzmmm 1mo ago
This just shifts the legal responsibility to you.
10.
by rzmmm 1mo ago
It can also be a personal preference for minimalism vs. maximalism. Or many other things.
11.
by rzmmm 2mo ago
The implementation of the kernel is relatively trivial, it's an intentional design choice.
12.
by rzmmm 2mo ago
It depends. In music for example it's often question whether the artist has been exposed to the original work. In that spirit, small language models are less likely to infringe copyright.
13.
by rzmmm 2mo ago
It was not really a traditional rewrite. More like transpilation. Still impressive
14.
by rzmmm 2mo ago
I don't like the copy paste. Rather use lower-level abstractions for the UI if I know I have to make modifications.
15.
by rzmmm 3mo ago
You need to understand the bits you are trying to prove, but not the full proof. It's more like reading haskell types than math, even though the vocabulary is heavily inspired by math.
16.
by rzmmm 3mo ago
Is there benefit of using this branded type over just encapsulating the raw string in a private variable in closure or class? This feels a bit like forced nominal typing. The Email type doesn't have to be a string, it can be encapsulat
17.
by rzmmm 3mo ago
Over the last couple months I've seen the debt multiplication in some OSS projects. It's like premature aging of a codebase.
18.
by rzmmm 3mo ago
"before Bison version 1.24, Bison-generated parsers could be used only in programs that were free software." https://www.gnu.org/software/bison/manual/html_node/Conditio...
19.
by rzmmm 3mo ago
Likely just that they err on the unnecessary error handling than missing error handling. They likely penalize runtime errors harshly in the training
20.
by rzmmm 3mo ago
There are codebases out there with enormous amounts of duplication, filled with implicit dependencies. You just haven't encountered them to appreciate good abstraction.
21.
by rzmmm 3mo ago
The author has huge online following, and influence over developers. I don't doubt the author is genuinely interested in this, but the employer definitely is supporting this too.
22.
by rzmmm 3mo ago
Bingo. Dozen LLM-prototypes and then a manmade final patch which is merged.
23.
by rzmmm 3mo ago
This is mainly for performance and memory layouts, it would not have improved safety guarantees of java.
24.
by rzmmm 3mo ago
Curl has a ton of features, I can imagine this means fixing small fraction of the vulns affecting only the supporters.
25.
by rzmmm 3mo ago
The spec and proof are separate. In this blog article he mentions seL4 formal verification, where they state that the spec was 4900 lines of Isabelle and the proof was 200K lines. Obviously human has to understand the spec deeply.
26.
by rzmmm 3mo ago
He mentions the seL4 microkernel. The specification is written in Isabelle, and it's relatively complex: PDF https://sel4.systems/Info/Docs/seL4-spec.pdf The bottleneck seems to be that clearly it's crit
27.
by rzmmm 3mo ago
Claude fix outage. No mistakes.
28.
by rzmmm 3mo ago
I think it's part of their marketing. Anthropic is not really ahead of other labs but these releases make it seem like they are reaching singularity
29.
by rzmmm 3mo ago
Seems to me this is more honest than the Mythos claims a while ago. too powerful to release publicly. Too expensive?
30.
by rzmmm 3mo ago
Prototyping is widely underappreciated. People think it's waste to throw away stuff but it's more costly to build upon shoddy foundations

More ›