31
Fish 4.0: The Fish of Theseus
A smart and user-friendly command line shell
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 164 posts.
32
Representation Engineering: Mistral-7B on Acid
Playing around with the Representation Engineering paper, I made some interesting control vectors, and a Python package to make your own.
33
Why Vim uses hjkl keys as arrow keys
I was reading about vim the other day and found out why it used `hjkl` keys as arrow keys. When Bill Joy created the vi text editor he used the ADM-3A terminal, which had the arrows on hjkl keys. Naturally he reused the same keys and the rest is history. Here is how the `hjkl` keys looked. ADM-3A keyboard's hjkl…
34
Structured Outputs in the API
We are introducing Structured Outputs in the API—model outputs now reliably adhere to developer-supplied JSON Schemas.
35
Home-Cooked Software and Barefoot Developers
The emerging golden age of home-cooked software, barefoot developers, and why the local-first community should help build it
36
Real-time audio programming 101: time waits for nothing (2011)
“The audio processing thread is stalling because the client’s implementation of some XAudio2 callback is doing things that can block the thread, such as accessing the disk, synchronizing with other threads, or calling other functions that may block. Such tasks should be performed by a lower-priority background thread…
37
jj init – getting serious about replacing Git with Jujutsu
Jujutsu (`jj`) is a new version control system from a software developer at Google. I have been using it full time for 6 months. Here’s why you should switch, too.
38
Scooping the Loop Snooper (2000)
No general procedure for bug checks will do. Now, I won’t just assert that, I’ll prove it to you. I will prove that although you might work till you drop, you cannot tell if computation will stop. For imagine we have a procedure called P that for specified input permits you to see whether specified source code, with…
39
New UUID formats have been approved
This document presents new time-based UUID formats which are suited for use as a database key. A common case for modern applications is to create a unique identifier for use as a primary key in a database table. This identifier usually implements an embedded timestamp that is sortable using the monotonic creation time…
40
Writing down (and searching through) every UUID
I couldn't remember every UUID so I wrote them all down
41
Separating code reasoning and editing
An Architect model describes how to solve the coding problem, and an Editor model translates that into file edits. This Architect/Editor approach produces SOTA benchmark results.
42
Building Effective "Agents"
Practical guidance from Anthropic on building reliable AI agents, from simple composable patterns to fully autonomous systems.
43
Llama.ttf: A font which is also an LLM
llama.ttf is a font file which is also a large language model and an inference engine for that model.
44
Dear friend, you have built a Kubernetes
Mac's Tech Blog
45
The Swift compiler is slow due to how types are inferred
How a 10 year old design choice for Swift’s type checker still haunts us to this day
46
47
Anyone can access deleted and private repository data on GitHub
You can access data from deleted forks, deleted repositories and even private repositories on GitHub. And it is available forever. This is known by GitHub, and intentionally designed that way.
48
Font with Built-In Syntax Highlighting
An experiment in javascript-free syntax highlighting, made possible by opentype contextual alternates and COLR table
49
A comparison of Rust’s borrow checker to the one in C#
OK, so C# doesn’t share the Rust concept of “borrowing,” so it wouldn’t technically be correct to call this “borrow checking,” but in practice when people talk about “Rust’s borrow checker” they’re talking about all of the static analysis Rust does to ensure memory safety, for which I think this qualifies.
50
How the OCaml type checker works (2022)
A short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
51
How to read C type declarations (2003)
Even relatively new C programmers have no trouble reading simple C declarations such as
52
Uv: Python packaging in Rust
uv is an extremely fast Python package installer and resolver, designed as a drop-in alternative to pip and pip-tools.
53
54
If not React, then what?
Frameworkism is now the dominant creed of today's frontend discourse, and it's bullshit. We owe it to ourselves and to our users to reject dogma and embrace engineering as a discipline that strives to serve users first and foremost.
55
Jpegli: A new JPEG coding library
Jpegli, an advanced JPEG coding library that maintains high backward compatibility is faster, and more efficient, than traditional JPEG.
56
Why Safety Profiles Failed
As for dangling pointers and for ownership, this model detects all possible errors . This means that we can guarantee that a program is free of uses of invalidated pointers.
57
Go 1.23 Released
This page summarizes the changes between official stable releases of Go. The change log has the full details.
58
Compiling to Assembly from Scratch
Then come along! Let’s make a compiler that goes all the way from source to assembly from scratch—no shortcuts!
59
iTerm 3.5.1 removes automatic OpenAI integration, requires opt-in
iTerm2 is a replacement for Terminal and the successor to iTerm
60
Unsafe Rust is harder than C
Or: The Most Expensive Linked List I’ve Ever Written