Some Notes I Took on Software Architecture
lautarolobo.xyz·1d·
Discuss: Hacker News, r/programming
🔄Bootstrapping
AI Unified Process - AIUP
aiup.dev·15h·
Discuss: Hacker News
🎭Program Synthesis
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
🎲 Very-busy expression analysis
reasoning.page·2d
📊Dataflow Analysis
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·2d
🧪Compiler Testing
Solving Impossible Problems
aha.io·2d·
Discuss: Hacker News
🛡️Error Ergonomics
7 Essential Distributed Systems Techniques Every Software Architect Must Master in 2024
dev.to·19h·
Discuss: DEV
📮Persistent Queues
Controlling program flow with capabilities in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
LingoDB – Data Processing with Compiler Technology
lingo-db.com·13h·
Discuss: Hacker News
🗃️Query Compilation
How to waste CPU like a Professional
mostlynerdless.de·1d·
Discuss: Hacker News, r/programming
⚡Interpreter Optimization
Simple Interactive Issues tracker with Claude Code code working though the issues.
i.redd.it·9h·
Discuss: r/webdev
🐛Interactive Debuggers
What I learned building a programming language with LLM agents
eddmann.com·2d·
Discuss: Hacker News
🔮Metacircular Evaluators
Failsafe-go – Adaptive concurrency limiting in Golang
failsafe-go.dev·17h·
Discuss: Hacker News
📮Persistent Queues
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·4d
📜Proof Languages
Robust Optimal Control of Stochastic Hybrid Systems via Adaptive Dynamic Programming
dev.to·16h·
Discuss: DEV
⚡Partial Evaluation
A Steering Vector for SQL Injection Vulnerabilities in Phi-1.5
lesswrong.com·4d
🛡️Parser Security
Embarrassingly parallel evaluations (nixcon2025)
cdn.media.ccc.de·2d
⚡Interpreter Optimization
Unlocking Schedules: Visualizing Constraint Conflicts with Graph-Based Analysis by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🎨Graph Coloring
AWS scientist: Your AI strategy needs mathematical logic
fortune.com·20h
🧮Theorem Provers
Are We Chasing Language Hype Over Solving Real Problems?
dayvster.com·1d·
Discuss: Hacker News, r/linux
🎮Language Ergonomics