Neon PostgreSQL Tutorial
neon.com·1d·
Discuss: Hacker News
⚙️PL Implementation
A Novel Technique for SQL Injection in PDO's Prepared Statements
slcyber.io·17h·
Discuss: Lobsters, Hacker News, Hacker News
🔤DSLs
I built an uptime monitoring tool in 3 weeks at 19
sitepuls.app·1d·
Discuss: Hacker News
👁️System Observability
How did MVC get so F'ed up?
stlab.cc·3d·
Discuss: Hacker News
🏹Effect Systems
Quiet Influence: A Guide to Nemawashi in Engineering
hodgkins.io·5h·
Discuss: r/programming
🍏Darwin
Rewriting Val Town's editor
blog.val.town·1d·
Discuss: Hacker News, Hacker News
⚙️PL Implementation
OpenAI Researchers Have Discovered Why Language Models Hallucinate
thealgorithmicbridge.com·1d·
Discuss: Hacker News
📚Automata Learning
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·5d
🛡️seL4
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·1d
✅Model Checking
Breaking the AI-to-Production Bottleneck
docs.myop.dev·1d·
Discuss: Hacker News
📊Runtime Verification
Building a Multilingual Blog with FastHTML
simn.fr·2d·
Discuss: Hacker News
💎Refinement Types
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·4d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com·16h·
Discuss: Hacker News
🧱Immutable Infrastructure
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·1d
➡️Category Theory
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·1d
🩹Self-Healing Systems
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·1d·
Discuss: Substack
📚Automata Learning
William James at CERN (1995)
bactra.org·4d·
Discuss: Hacker News
🏹Effect Systems
AI Browsers: A Needs Analysis
chamomile.ai·13h·
Discuss: Hacker News
✓Automated Theorem Proving
From Modular to Utility-First tailwind migration
auslake.vercel.app·17h·
Discuss: r/programming
🔄Reproducible Builds
Teams Outlast Projects
frederickvanbrabant.com·1d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds