The Android Linux Commander
hackaday.com·1d
🐳Containerization
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·6h·
Discuss: Hacker News
📊Runtime Verification
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·1d·
Discuss: Hacker News
🤖Program Synthesis
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
📊Runtime Verification
High Dimensional Optimization Remains Hard
win-vector.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Deliberate Abstraction
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Jiratui – A Textual UI for interacting with Atlassian Jira from your shell
jiratui.sh·7h·
Discuss: Hacker News
👁️System Observability
Fenwick layout for interval trees
purplesyringa.moe·22h·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·5h·
Discuss: Hacker News
🧩Parser Combinators
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·20h·
Discuss: Hacker News
🔬Unikernels
Show, don’t tell: ChatGPT 5 marginalizing Gelman’s measurment error model in Stan
statmodeling.stat.columbia.edu·1d·
Discuss: Hacker News
🔠Type-Level Programming
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net·3d·
Discuss: Hacker News
⚡Process Calculi
Rendering the Mandelbulb
4rknova.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·23h·
Discuss: r/programming
🔬Unikernels
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·1d·
Discuss: r/programming
📊Runtime Verification
I Built a Handy macOS CLI in 2 Hours with Zero Swift Knowledge
zbeegnew.dev·1d·
Discuss: Hacker News
⚙️PL Implementation
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
Hierarchical Reasoning Model assembly manual for toddlers
yacinemahdid.com·1d·
Discuss: Hacker News
📚Automata Learning
The Strangely Anthropic Form of Natural Laws
brianschrader.com·12h·
Discuss: Hacker News
➡️Category Theory