6391
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 14,540 posts.
6392
Three ways formally verified code can go wrong in practice
"Correct" doesn't mean "correct" when correctly using "correct"
6393
6394
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…
6395
The perils of UUID primary keys in SQLite
A blog mostly about Clojure programming
6396
6397
6398
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.
6399
6400
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 .
6401
6402
Show HN: Clojure by Example
Clojure by Example
6403
6404
An Introduction to Type Level Programming in Haskell
Learn about type level programming by building a custom theming engine.
6405
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
6406
POSIX close(2) is broken
There's just one small problem: The way POSIX has defined close(2) is completely and utterly broken.
6407
6408
6409
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.
6410
6411
6412
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. …
6413
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 …
6414
6415
6416
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.
6417
6418
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.
6419
6420
Haskell Lenses In Pictures
Aditya Bhargava's personal blog.