HigherOrderCO/Bend2
github.com·18h
🔗Functional Compilers
Flag this post
I stopped looking for a single perfect AI coder and combined a web UI and CLI
⚔️Lean Tactics
Flag this post
Pepsi, when they don't have coke
bitecode.dev·8h
🌀Brotli Internals
Flag this post
We Programmers Need "Results"
📜Proof Carrying Code
Flag this post
[Media] you can build actual web apps with just rust stdlib and html, actually
🦀Rust Borrowing
Flag this post
The Limits of LLM-Generated Unit Tests
hackernoon.com·2d
🧪Property-Based Testing
Flag this post
Paper2Web: Let's Make Your Paper Alive
📄PostScript
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
📦Deflate
Flag this post
Large Language Models for Fault Localization: An Empirical Study
arxiv.org·2d
🏗️Compiler Archaeology
Flag this post
Codeminer42 Dev Weekly #84
blog.codeminer42.com·2d
🌳Incremental Parsing
Flag this post
Claude, Teach Me Something
hugotunius.se·21h
🤖Grammar Induction
Flag this post
ashishps1/awesome-system-design-resources
github.com·18h
📡Network Protocol Design
Flag this post
Loading...Loading more...