Compiling a Functional Language to LLVM
danieljharvey.github.io·19h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·9h·
Discuss: r/programming
📊Runtime Verification
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·3h·
Discuss: r/programming
📊Runtime Verification
AI Development Is Stuck in 1996. Here’s How to Get to the Future.
thenewstack.io·13h
🧩Parser Combinators
Agentic AI Runs on Tools
simplicityissota.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🧮Lambda Calculus
Rendering the Mandelbulb
4rknova.com·13h·
Discuss: Hacker News
🧩Separation Logic
Geometric and physical interpretation of the action principle
nature.com·14h·
Discuss: Hacker News
🧩Separation Logic
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·2d·
Discuss: Hacker News
🏹Effect Systems
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·1d·
Discuss: r/javascript, r/programming
💎Refinement Types
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·12h·
Discuss: Hacker News
🤖Program Synthesis
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·16h·
Discuss: Hacker News
💎Refinement Types
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✅Model Checking
An Interactive Guide to TanStack DB
frontendatscale.com·7h·
Discuss: Hacker News
🔄Reproducible Builds
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Holding It Together
onelook.com·2h·
Discuss: Hacker News
📝Term Rewriting
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·11h·
Discuss: Substack
🎮Verification Games
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Outcome-based Exploration for LLM Reasoning
arxiv.org·22h·
Discuss: Hacker News
📚Automata Learning
Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·13h·
Discuss: Hacker News
👁️System Observability