Bootstrapping a Forth for Art
tia.mat.br·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Quirks of Common Lisp Types
fosskers.ca·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·1d·
Discuss: Lobsters, Hacker News, r/cpp
🐫OCaml
Ask HN: Polyglot Mirroring
news.ycombinator.com·18h·
Discuss: Hacker News
🐫OCaml
Learning Go as a sysadmin/DevOps person coming from Bash
github.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
The quiet software tooling Renaissance
pdx.su·13h·
Discuss: Hacker News
🔄Reproducible Builds
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·1d·
Discuss: Hacker News
🎮Verification Games
Combining struct literal syntax with read-only field access
kobzol.github.io·18h·
Discuss: Lobsters, r/rust
🐫Embedded OCaml
What Unix Pipelines Got Right (and How We Can Do Better)
programmingsimplicity.substack.com·14h·
Discuss: Substack
⚙️Operating System Design
Simple but Powerful Pratt Parsing
matklad.github.io·3d·
Discuss: r/programming
🧩Parser Combinators
The Paradigm
nonint.com·8h·
Discuss: Hacker News
📚Automata Learning
Model-Task Alignment Drives Distinct RL Outcomes
arxiv.org·1d
📚Automata Learning
Dependent types I › Universes, or types of types
jonmsterling.com·5d·
Discuss: Hacker News
➡️Category Theory
AI Chatbot vs Workflow vs Agent
medium.com·12h·
Discuss: r/programming
📚Automata Learning
How to Test
matklad.github.io·17h·
Discuss: Hacker News
🧪Property-Based Testing
Lisp Still Matters
funcall.blogspot.com·14h·
Discuss: Hacker News
⚙️PL Implementation
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances
arxiv.org·1d
🧩Parser Combinators
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·1d·
Discuss: Hacker News
💎Refinement Types
What Does AI Do?
joecooper.me·10h·
Discuss: Hacker News
📚Automata Learning