Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
AWK technical notes (2023)
maximullaris.com·2h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·5h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·18h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·8h·
Discuss: r/compsci, r/programming
💾Cachix
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
build system tradeoffs
jyn.dev·21h·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·10h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Weak-To-Strong Generalization
lesswrong.com·18h
🔤Kleene Algebra
Flag this post
Handbook of Satisfiability (2021)
iospress.com·9h·
Discuss: Hacker News
🧩SAT Solvers
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
What are you doing this weekend?
lobste.rs·2d·
Discuss: Lobsters
📝Nix Language
Flag this post
13 Principles of Writing Great Software
frontbackgeek.com·5h·
Discuss: r/programming
🔬Static Analysis
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·5h·
Discuss: r/programming
📦Module Systems
Flag this post