iA Notebook: The Notebook for Writers
ia.net·1h·
Discuss: Hacker News
💾Retro Computing
Perl 5.42 Released - Still Going Strong
i-programmer.info·4d·
Discuss: r/programming
⚙️PL Implementation
Really interesting and pragmatic approach to main and branches - are people using it?
martinfowler.com·7h·
Discuss: r/programming
👁️System Observability
Secure Your Keys with Keyand.me
thasso.xyz·2d·
Discuss: Hacker News
🛡️seL4
SQLite on Rails is fast, but SQLite on Helidon is faster!
rrevi.github.io·8h·
Discuss: Hacker News
🔄Reproducible Builds
Apple Trace Cache
realworldtech.com·1d·
Discuss: Hacker News
👁️System Observability
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Don’t compare programming to the real world
expressionstatement.com·3d·
Discuss: r/programming
👁️System Observability
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·5d·
Discuss: Hacker News
🧪Property-Based Testing
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Basic Computations in Fault Tree Analysis
arxiv.org·4d
🔬Static Analysis
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.com·4d·
Discuss: r/programming
✓Automated Theorem Proving
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·4d
🎮Verification Games
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
A Mental Model for C++ Coroutine
uvdn7.github.io·2d·
Discuss: Hacker News
🏹Effect Systems
AI Agent Smart Contract Exploit Generation
arxiv.org·4d
✓Automated Theorem Proving
So You Think You've Awoken ChatGPT
justismills.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·5d
🛡️seL4
Types are Transforming Python
spin.atomicobject.com·4d·
Discuss: Hacker News
🐫Embedded OCaml
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·1d·
Discuss: Hacker News
⚙️Operating System Design