Enough AI copilots, we need AI HUDs (geoffreylitt.com)
569 points by walterbell 14h ago 188 comments
Multiplex: Command-Line Process Mutliplexer (github.com)
26 points by todsacerdoti 8h ago 6 comments
Encoding SAT in OCaml GADTs
4 farlow 0 7/28/2025, 12:57:53 AM farlow.dev ↗
No comments yet