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
xor01.substack.com·4h·
Discuss: DEV, Substack
⚔️Lean Tactics
Flag this post
How ChatGPT Was Made: Behind the Scenes of a Large Language Model
dev.to·1h·
Discuss: DEV
🤖Grammar Induction
Flag this post
Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·2h·
Discuss: Hacker News
📐Format Grammars
Flag this post
Pepsi, when they don't have coke
bitecode.dev·8h
🌀Brotli Internals
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1d·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Programming Modern Systems Like It Was 1984 (2014)
prog21.dadgum.com·1d·
Discuss: Lobsters
🔩Systems Programming
Flag this post
The End of Shouting: Prompts as Programs in GPT-5
robert-glaser.de·1h·
Discuss: Hacker News
Automated Theorem Proving
Flag this post
AI Writes 100% of My Code and 0% of My Code
danieljeffries.substack.com·1d·
Discuss: Substack
Proof Automation
Flag this post
[Media] you can build actual web apps with just rust stdlib and html, actually
reddit.com·21h·
Discuss: r/rust
🦀Rust Borrowing
Flag this post
Clojure Land – Discover open-source Clojure libraries and frameworks
clojure.land·12h·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
SymSpell C99: Building the Fastest Spell Checker in Pure C
suman-pokhrel.com.np·22h·
Discuss: Hacker News
🌳Trie Structures
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
francischen3.github.io·7h·
Discuss: Hacker News
📄PostScript
Flag this post
Writing a competitive BZip2 encoder in Ada from scratch in a few days - part 4: programming
gautiersblog.blogspot.com·1d·
📦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
AgentML – HTML for Agents (Deterministic, MIT-Licensed)
agentml.dev·2d·
Discuss: Hacker News
🔒WASM Capabilities
Flag this post