First screen, captured .
Looks similar
Why I love OCaml (2023)(mccd.space)
379 points by art-w | 270 comments
Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.
Owed a billion dollars in Nvidia stock(colo.to)
1030 points by Eric_Gullichsen | 430 comments
Personal essay by Eric Gullichsen, an early NVIDIA technical advisor, explaining how 1993 stock options he was granted may now be worth about a billion dollars.
Related stories
What Is PID 0?(blog.dave.tf)
344 points by todsacerdoti | 56 comments
Blog post by David Anderson explaining what PID 0 is in Unix/Linux, why it is hidden from userspace, and its role in booting and idle scheduling.
What AI-Native Looks Like(fagnerbrack.com)
14 points by fagnerbrack | 7 comments
A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.
Artificial intelligence is losing hype(economist.com)
453 points by bx376 | 663 comments
An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.
That's not an abstraction, that's a layer of indirection(fhur.me)
546 points by fagnerbrack | 213 comments
A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.
Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
AI Made Writing Code Easier. It Made Being an Engineer Harder(ivanturkovic.com)
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.