Lwan
Experimental, scalable, high performance HTTP server
A dependently typed language for proofs that you can implement in one day
2021-10-02
So you want to go to grad school (in the academic humanities)?
2021-10-02
King County Courts Want to Make Virtual Jury Selection–and Trials–Permanent
2021-10-02
How Masten Space Systems Is Using Ada and Spark to Land on the Moon's South Pole [pdf]
2021-09-30
NASA Says Blue Origin 'Gambled' Its Chance to Build a Lunar Lander Away
2021-09-30
Open letter by Blue Origin employees on safety and culture issues
2021-09-30
Using Rust for Kernel Development
2021-09-30
The seven programming ur-languages
2021-09-30
On Logic, and How Not to Do It (1913)
2021-09-30
Language-Agnostic Code Review
2021-09-29
