Testing the not-so-happy path
jorgeortiz.dev·3d·
Discuss: r/rust
🧪Property-Based Testing
A new generative AI approach to predicting chemical reactions
news.mit.edu·2d·
Discuss: Hacker News
📚Automata Learning
Redis to Acquire Real-Time Data Platform Decodable
finance.yahoo.com·17h·
Discuss: Hacker News
🧱Immutable Infrastructure
Bootstrapping Android Development: a Survival Guide
hackaday.com·1d·
Discuss: Hacker News
❄️Nixified Development
Answering some questions about Baba Yaga
eli.li·6d·
Discuss: Hacker News
🧩Parser Combinators
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·9h·
Discuss: Hacker News
🔄Reproducible Builds
A wild week: Grok Code Fast 1 exploding to 66% usage share
blog.kilocode.ai·16h·
Discuss: Hacker News
🔧Unikernel Development
Systems Engineering for Agentic Applications
agenticapplications.substack.com·4d·
Discuss: r/programming
🩹Self-Healing Systems
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·2d·
Discuss: Hacker News
📚Automata Learning
AI Artists vs. AI Engineers
frontierai.substack.com·1d·
Discuss: Substack
🤖Program Synthesis
AI Snacks: Small Ways to Sprinkle AI into Everyday Tools
amirmalik.net·21h·
Discuss: Hacker News
✓Automated Theorem Proving
Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more
blog.trailofbits.com·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Memory is slow, Disk is fast – Part 2
bitflux.ai·1d·
Discuss: Hacker News, r/programming
👁️System Observability
Spec-driven development with AI: Get started with a new open source toolkit
github.blog·3d·
Discuss: Hacker News
🤖Program Synthesis
Hey senior devs, how do Builder.io / Lovable / DhiWise really generate code from Figma designs? Am I understanding this right?
reddit.com·18h·
Discuss: r/programming
🔄Reproducible Builds
TinyDrop: Tiny Model Guided Token Dropping for Vision Transformers
arxiv.org·1d
📚Automata Learning
Gülçin Yıldırım Jelínek: From DBA to DB Agents
xata.io·2d·
Discuss: Hacker News
👁️System Observability
SafeProtein: Red-Teaming Framework and Benchmark for Protein Foundation Models
arxiv.org·1d
🧠Automated Reasoning
DiVerify: Hardening Identity-Based Software Signing with Programmable Diverse-Context Scopes
arxiv.org·1d
🔄Reproducible Builds
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols