7 Best Practices for API Design 🔥
newsletter.systemdesign.one·1d·
Discuss: r/programming
👁️System Observability
Stop letting your DB schema define your API
thanmatt.me·1d·
Discuss: Hacker News, r/webdev
💎Refinement Types
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·2d·
Discuss: Hacker News
📚Automata Learning
Content Query Languages
deanebarker.net·4d·
Discuss: Hacker News
🧩Parser Combinators
Ask HN: When it's too much observability?
news.ycombinator.com·1d·
Discuss: Hacker News
👁️System Observability
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·4d
👁️System Observability
Difdef: Utility to do an N-way diff and N-way merge, for N>2
github.com·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Thoughts on This Snr. Ruby on Rails Interview Question?
news.ycombinator.com·3h·
Discuss: Hacker News
💎Refinement Types
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·5d·
Discuss: Hacker News, Hacker News, shkspr.mobi, r/programming
📊Runtime Verification
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·5d
🧠Automated Reasoning
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
UAV-Based Intelligent Traffic Surveillance System: Real-Time Vehicle Detection, Classification, Tracking, and Behavioral Analysis
arxiv.org·1d
🩹Self-Healing Systems
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
ASCENDgpt: A Phenotype-Aware Transformer Model for Cardiovascular Risk Prediction from Electronic Health Records
arxiv.org·1d
🧩Parser Combinators
Analysis of Voluntarily Reported Data Post Mesh Implantation for Detecting Public Emotion and Identifying Concern Reports
arxiv.org·1d
🩹Self-Healing Systems
ML Systems: Motivating Dense Models
jacobkahn.me·5d·
Discuss: Hacker News
🧮Lambda Calculus
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·2d·
Discuss: Hacker News
🤖Program Synthesis
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Funding, growth, and the next frontier of AI coding agents
cognition.ai·14h·
Discuss: Hacker News
🧠Automated Reasoning
Plain: The Language of Spec-Driven Development
blog.codeplain.ai·6d·
Discuss: Hacker News
🤖Program Synthesis