Breaking down the cost of a soup and sandwich for €17.50
rte.ie·1d·
Discuss: Hacker News
🐫Embedded OCaml
What happens when you type an URL in your browser and press enter
tech.amwaly.com·2d·
Discuss: r/programming
📡Network Protocol Design
The C Pointer Card Game - Pointers, Arrays and Strings for Kids
punkx.org·3d·
Discuss: Hacker News
🎮Verification Games
‘Being short is a curse’: the men paying thousands to get their legs broken – and lengthened
theguardian.com·3d·
Discuss: Hacker News, r/Longreads, r/longform
🛡️seL4
How your solar rooftop became a national security issue
techcrunch.com·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Going Beyond AI: Teaching Vibers to be Programmers
goingbeyondai.wordpress.com·4d·
Discuss: r/programming
🤖Program Synthesis
Reflections on My Founder Journey
taekim.dev·6d·
Discuss: Hacker News
🛡️seL4
The 7 Most Common Mistakes Engineers Make in System Design Interviews
reddit.com·3d·
Discuss: r/programming
🎮Verification Games
Time, Fences and the Ordering of Events in TSO
arxiv.org·2d
🔄Finite State Machines
The Price of Cheaper Data: Measuring the Strategic Inefficiencies in the Post-EIP-4844 Ethereum Market
arxiv.org·2d
⚙️Operating System Design
Notion brings its AI-powered email app to the iPhone
9to5mac.com·1d
🍎Apple
HotSwiftUI – Hot Reloading SwiftUI Apps
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Does 3I/Atlas Generate Its Own Light? (Avi Loeb)
avi-loeb.medium.com·2d·
Discuss: Hacker News
📦Unikernel Systems
An Efficient Deep Learning Approach for Approximating Parameter-to-Solution Maps of PDEs
arxiv.org·2d
🐫OCaml
Towards Reliable Multi-Agent Systems for Marketing Applications via Reflection, Memory, and Planning
arxiv.org·2d
🔠Type-Level Programming
2025 One Hertz Challenge: Timekeeping at One Becquerel
hackaday.com·1d
💾Retro Computing
OpenAI's GPT-5 looks less like AI evolution and more like cost cutting
theregister.com·6d·
Discuss: Hacker News
🔬Unikernels
SPHENIC: Topology-Informed Multi-View Clustering for Spatial Transcriptomics
arxiv.org·5d
➡️Category Theory
Agoran: An Agentic Open Marketplace for 6G RAN Automation
arxiv.org·6d
🖥️Self-hosted Infrastructure
A Backend for Frontend: Watt for Node.js Simplifies Operations
thenewstack.io·6d
🖥️Self-hosted Infrastructure