Tutorial Introduction to Guile
gnu.org·22h·
Discuss: Hacker News
🎭Racket
Beyond Testing: Modern Strategies in Automated Software Testing
dev.to·18h·
Discuss: DEV
🧪Test DSLs
Enhanced verification of safety and security for advanced driver assistance systems
sciencedirect.com·3d
🎯Finite Automata
Fail loudly: a plea to stop hiding bugs
alejo.ch·1d·
Discuss: r/programming
🚂Error Propagation
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·15h·
Discuss: Hacker News
⚡Tokenizer Optimization
AI Unified Process - AIUP
aiup.dev·20h·
Discuss: Hacker News
🎭Program Synthesis
🎲 Very-busy expression analysis
reasoning.page·2d
📊Dataflow Analysis
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·3d
🧪Compiler Testing
Solving Impossible Problems
aha.io·2d·
Discuss: Hacker News
🛡️Error Ergonomics
Some Notes I Took on Software Architecture
lautarolobo.xyz·1d·
Discuss: Hacker News, r/programming
🔄Bootstrapping
7 Essential Distributed Systems Techniques Every Software Architect Must Master in 2024
dev.to·1d·
Discuss: DEV
📮Persistent Queues
LingoDB – Data Processing with Compiler Technology
lingo-db.com·18h·
Discuss: Hacker News
🗃️Query Compilation
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Simple Interactive Issues tracker with Claude Code code working though the issues.
i.redd.it·14h·
Discuss: r/webdev
🐛Interactive Debuggers
How to waste CPU like a Professional
mostlynerdless.de·1d·
Discuss: Hacker News, r/programming
⚡Interpreter Optimization
What I learned building a programming language with LLM agents
eddmann.com·2d·
Discuss: Hacker News
🔮Metacircular Evaluators
Robust Optimal Control of Stochastic Hybrid Systems via Adaptive Dynamic Programming
dev.to·20h·
Discuss: DEV
⚡Partial Evaluation
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4d
📜Proof Languages
Embarrassingly parallel evaluations (nixcon2025)
cdn.media.ccc.de·2d
⚡Interpreter Optimization