Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
✅formal methods
Fun OCaml 2025
fun-ocaml.com·3d·
Discuss: Hacker News
✅formal methods
The Grammar According to West
dwest.web.illinois.edu·2h·
Discuss: Hacker News
✅formal methods
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅formal methods
Dependent types I › Universes, or types of types
jonmsterling.com·9h·
Discuss: Hacker News
✅formal methods
The Emacs thread-related code needs a maintainer
lists.gnu.org·7h·
Discuss: Hacker News
⚙️systems programming
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·21h·
Discuss: Hacker News
✅formal methods
Drama Model Inference Efficiency Boosted by 1.7x-2.3x
pytorch.org·16h·
Discuss: Hacker News
✅formal methods
State of the art for reducing executable size with optimized program
discourse.llvm.org·5h·
Discuss: Lobsters, Hacker News
🔄compilers
Inside Zig's New Writer
joegm.github.io·1h·
Discuss: Lobsters, Hacker News
🔄compilers
Implementing Forth in Go and C
eli.thegreenplace.net·12h·
Discuss: Lobsters, Hacker News, Hacker News
🔄compilers
A Model for all Ranges
qt.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄compilers
Do I not like Ruby anymore? (2024)
sgt.hootr.club·1d·
Discuss: Hacker News, r/programming
✅formal methods
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·2d·
Discuss: Hacker News
🗄️databases
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·18h·
Discuss: Lobsters, Hacker News
🔄compilers
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔄compilers
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔄compilers
Das Problem mit German Strings
polarsignals.com·19h·
Discuss: Lobsters, Hacker News
⚡query optimization
New methodology for editing existing code files using LLM generated snippets
community.openai.com·1h·
Discuss: Hacker News
🔄compilers
Stable, Mutable References for Ante
antelang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
✅formal methods