How to survive the apocalypse: a conversation with Tim O’Reilly about Generative AI
chelseatroy.com·2h
✨Effect Handlers
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Code-First Reliability in Payment Systems
news.alvaroduran.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·9h·
Discuss: DEV
✓Automated Theorem Proving
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·53m·
Discuss: Hacker News
📟Terminal Typography
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Another Programmer yelling at the clouds about vibe coding
octomind.dev·1d·
Discuss: Hacker News, r/programming
🐛Fuzzing
An All-Around Better Horse
patrickhebron.com·6h·
Discuss: Hacker News
🧠Knowledge Management
Excalidraw+ Is Now SoC 2 Certified
plus.excalidraw.com·1d·
Discuss: Hacker News
🔐PKI Archaeology
Automatic Selection of Protections to Mitigate Risks Against Software Applications
arxiv.org·1d
🔒WASM Capabilities
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Unveiling Insights: 18 Essential Resources for Exploratory Data Analysis (EDA)
dev.to·17h·
Discuss: DEV
⛏️Archive Mining
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·1d
🧪Property-Based Testing
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
The Code Review Paradox That's Killing Innovation
techolution.com·1d·
Discuss: Hacker News
📏Code Metrics
The Importance of Data Quality in AI-based Testing
dev.to·22h·
Discuss: DEV
🧪Property-Based Testing
A programmer yelling at the clouds about vibe coding
dev.to·10h·
Discuss: DEV
🎙️Whisper