Parsing with zippers improves parsing with derivatives
dl.acm.org·11h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Chain of Pattern: Rethink
dev.to·1h·
Discuss: DEV
🔧ppx
Flag this post
AWK technical notes (2023)
maximullaris.com·2h·
Discuss: Lobsters
🔀Brzozowski Derivatives
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·2d
🧠Automated Reasoning
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·5h·
Discuss: r/programming
📦Module Systems
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·5h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Product Designer's workflow for prototyping with Cursor
hvpandya.com·5h·
Discuss: Hacker News
🔧ppx
Flag this post
13 Principles of Writing Great Software
frontbackgeek.com·5h·
Discuss: r/programming
🔬Static Analysis
Flag this post
Improving Emacs' iCalendar Support
recursewithless.net·1h·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·19h·
Discuss: Hacker News
🔨Compilers
Flag this post
Weak-To-Strong Generalization
lesswrong.com·18h
🔤Kleene Algebra
Flag this post
The Development of Pie
terathon.com·22h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
DDD and the Simplicity Gospel
oluatte.com·22h·
Discuss: Hacker News, r/programming
🔤DSLs
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·2d·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post