541
In Emacs, everything looks like a service
A common refrain is that Emacs is an operating system (OS). This isn’t true, but what invites comparison to an OS is its ability to orchestrate applications and utilities above the OS kernel...
New
The latest blog posts to take off on Hacker News. 1,421 posts.
542
Building a real-time AI tutor for 5-year-olds
We set out to build the first AI tutor to teach math and reading to kids ages 4-9. For AI to actually teach a five-year-old, pedagogy must be baked into the engineering. A child can't wait for a slow reply, can't read a chat interface, and can't unhear anything a model gets wrong. We wanted to share some of the…
543
544
I Did Not Kill Stanley Lieber: How to Draw (With 9front)
the computer lied
545
546
My thoughts on the Bun Rust rewrite
When Jarred joined the Zig community about 5 years ago, I described him as someone who had strong "beginner energy". That is, he moved fast and tried a lot of different stuff, jumping head first into problems that he was not yet equipped to solve, leading to mediocre outcomes in terms of engineering, but learning a…
547
AI changes the economics of software rewrites
AI changes rewrite economics because codebases with clear, common patterns get more leverage than proprietary or inconsistent systems.
548
Rewriting Bun in Rust
Why & how we rewrote Bun from Zig to Rust
549
Benchmarking coding agents on Databricks' multi-million line codebase
Databricks shares results from its internal coding benchmark, evaluating coding agents on a multi-million line codebase to optimize engineering cost and performance.
550
Separating signal from noise in coding evaluations
A new analysis from OpenAI reveals issues in SWE-Bench Pro, a popular coding benchmark, raising concerns about reliability and accuracy in evaluating AI models.
551
SWE-1.7 Reach Near GPT 5.5 and Opus Intelligence
Today, we’re launching SWE-1.7, the most capable model we’ve trained so far. It reaches frontier-level intelligence at a much lower cost, advancing the…
552
TypeScript 7
Today we are proud to announce the availability of TypeScript 7, a 10x faster native port of TypeScript! Since its early days, TypeScript has promised to
553
Chatto is now open source
The snappiest chat application you've ever used is now available for self-hosting.
554
A bug which affected only left handed users
Verily, some of our brethren (and sistren) be afflicted with a sinister disposition. While the righteous scroll using the thumb of their right hand - as is good and proper - an accurs'd minority swing the other way. Look, you try writing an interesting bug report without sounding like a clanker, OK! I try to optimise…
555
Unicode's transliteration rules are Turing-complete
Claim: as specified, the UTS #35 transliteration-rule language is Turing-complete. This is an exception in Unicode, where algorithms are deliberately bounded and always terminate. The specification defines a revisiting cursor with no rewrite limit. ICU's implementation implements a per-call cap, but the spec itself…
556
Decoding the obfuscated bash script on a Uniqlo t-shirt
IP, technology & commercial law
557
Protobuf-py: Protobuf for Python, without compromises
We're announcing protobuf-py, a complete, 100% conformant Protobuf runtime for Python that feels like Python and matches the performance of Google's C engine on real workloads.
558
An agent in 100 lines of Lisp
Around 2000 I took an AI course at the University of Guelph. I don’t think I learned too much. We didn’t talk about neural networks, as far as I can remember. My end of term project was, I think, a pathfinding algorithm wearing an AI costume. There were certainly no discussions of transformers. No CUDA. No PyTorch…
559
Notes on Software Quality
“The absence of problems” is the best definition I can come up with for quality.
560
98% isn't much
98% sounds like a lot. If someone wins the lottery 98% of the times they play, they are clearly blessed. Getting a top mark (e.g.: 10/10) on exams 98% of the time will likely lead to an honour diploma.
561
Learning to code is still worthwhile
Literally no one is uttering what we thought were the immortal lines “learn to code,” right? I don't think that sentence has been spoken for many months now in Silicon Valley
562
Girls just wanna have fast MPMC queues with bounded waiting
Disclaimer: An earlier version of this post claimed the structure is wait-free, this is incorrect. Being wait-free requires that failure or suspension of any thread can’t cause failure or suspension of another thread. This queue in fact does not fulfill that requirement. The main section which discusses the wait…
563
Pros and cons of solo development
I created and maintain Luxury Yacht, a desktop app for managing Kubernetes clusters. Think Headlamp, Lens, and k9s. It's that kind of app. Luxury Yacht is a ...
564
NoiseLang: Where N = 5 is a Dirac delta
A signals-and-noise course left me writing Monte Carlo math on paper and wishing the notation itself would run. Nine years later, with an AI agent doing the heavy lifting, NoiseLang became a real Monte Carlo language that runs the same fused kernel on the GPU, on every CPU core, and on WebAssembly.
565
Road to Elm 1.0
A delightful language with friendly error messages, great performance, small assets, and no runtime exceptions.
566
Cursed circuits #5: capacitance multiplier
Capacitor vendors don't want you to know this! Save money on capacitors by spending more on other components
567
Scheme Is a Hoot
Lately I've been spending time learning Scheme and using it to implement the concepts I'm learning in my physics classes as time permits. One of the most exciting things I've been doing with this is getting my Scheme to compile to the Web thanks to Hoot. One of the biggest challenges has been the fact that Hoot is…
568
The Common Lisp Cookbook – LispWorks Review
A collection of examples of how to use Common Lisp
569
Agentic coding notes
I've been using AI fairly heavily since last November and the whole thing is a funny experience . An agent will do something that, if a human did it, you'd immediately fire them. My reaction, of course, is to act as if this is great and spin up a thousand agents so they can do even more of that.
570
Synthesis is harder than analysis
Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a m…