A Navajo weaving of an integrated circuit: the 555 timer
righto.com·8h·
Discuss: Hacker News
💾Retro Computing
Deciphering the Kelly Criterion
farhadg.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
DataTables CDN Outage – post incident review
datatables.net·5h·
Discuss: Hacker News
🖥Self-Hosting
Phala GPU Tee Deep Dive: Securing AI at the Hardware Layer
phala.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Everything About Bitflags
neg4n.dev·4d·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Are automated retries of specs a good pattern?
automationpanda.com·1d·
Discuss: Hacker News
👁️System Observability
Python has had async for 10 years – why isn't it more popular?
tonybaloney.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Ask HN: GAN'ing Coding GPTs
news.ycombinator.com·6h·
Discuss: Hacker News
🧩Parser Combinators
Beyond OOP and the future of development experience
bennett.ink·4d·
Discuss: r/programming
📊Runtime Verification
Galactic Algorithm
en.wikipedia.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·2d·
Discuss: Hacker News
🔬Unikernels
Automatic Differentiation of Agent-Based Models
arxiv.org·2d
🧠Automated Reasoning
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·2d
🤖Program Synthesis
Compressed verification for post-quantum signatures with long-term public keys
arxiv.org·2d
🌐NetworkProtocols
S2M2ECG: Spatio-temporal bi-directional State Space Model Enabled Multi-branch Mamba for ECG
arxiv.org·2d
🔄Finite State Machines
When Agents go Astray: Course-Correcting SWE Agents with PRMs
arxiv.org·3d
✓Automated Theorem Proving
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.org·2d
🧩Separation Logic
Improving the Resilience of Quadrotors in Underground Environments by Combining Learning-based and Safety Controllers
arxiv.org·2d
🩹Self-Healing Systems
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·3d
📚Automata Learning