6391
Context Control in Go
Best practices for handling context plumbing in Go
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 14,541 posts.
6392
6393
Three ways formally verified code can go wrong in practice
"Correct" doesn't mean "correct" when correctly using "correct"
6394
6395
Learning to Code vs Learning Computer Science
It's always very tricky when people who aren't educators start banging on about what should or shouldn't be taught in schools. My own school days are but a hazy memory of hormones, angst, and boring homework. Yet here I am, pontificating. With the current "fad" of encouraging children to learn to code, I thought I…
6396
The perils of UUID primary keys in SQLite
A blog mostly about Clojure programming
6397
6398
6399
Valen's Memory Safety: A New Kind of Borrow Checking
You all know me, I love exploring new memory safety approaches and blending them together in weird ways.
6400
6401
Project Jigsaw: Complete
It’s been a long road, but at last the puzzle is complete: Today we delivered Project Jigsaw for general use, as part of JDK 9 .
6402
6403
Show HN: Clojure by Example
Clojure by Example
6404
6405
An Introduction to Type Level Programming in Haskell
Learn about type level programming by building a custom theming engine.
6406
Coping with dumb LLMs using classic ML
Taking the output of many dumb LLM search relevance judges and feeding the output to a decision tree to improve precision
6407
POSIX close(2) is broken
There's just one small problem: The way POSIX has defined close(2) is completely and utterly broken.
6408
6409
6410
An Algebra of Graphs
Graph theory is my favourite topic in mathematics and computing science and in this blog post I’ll introduce an algebra of graphs that I’ve been working on for a while. The algebra has become my go-to tool for manipulating graphs and I hope you will find it useful too.
6411
6412
6413
System programming in Rust: beyond safety
System programming in Rust: beyond safety Balasubramanian et al., HotOS’17 Balasubramanian et al. want us to switch all of our systems programming over to Rust. This paper sets out the case. …
6414
You Owe it to Yourself to be Old-School
I love watching House. My favorite episodes are those where he manages to debug an illness not by knowing an obscure desease, but by having the …
6415
6416
6417
Building static binaries with Go on Linux
One of Go's advantages is being able to produce statically-linked binaries [1] . This doesn't mean that Go always produces such binaries by default, however; in some scenarios it requires extra work to make this happen. Specifics here are OS-dependent; here we focus on Unix systems.
6418
6419
Internals of Go's new fuzzing system
Go 1.18 is coming out soon. It's a huge release, but native fuzzing has a special place in my heart. Not much has been written yet on how Go's fuzzing system actually works, so I'll talk a bit about that here.
6420