Generative artwork using the Earth's natural radio and atmospheric noise
mattdesl.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Grok 4
x.ai·1d·
Discuss: Hacker News
🎮Verification Games
New Software from 'Ruđer' for Faster Supercomputer Simulations
irb.hr·1d·
Discuss: Hacker News
📦Unikernel Systems
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org·3d·
Discuss: Hacker News
🔬Unikernels
Book review: A New Kind of Science (2005)
bactra.org·3d·
Discuss: Hacker News
💻CS
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·2d·
Discuss: Substack
🧪Property-Based Testing
Trying to route local game server through Oracle VM's IP.
reddit.com·2h·
Discuss: r/homelab
📡Network Protocol Design
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·2d
🔄Finite State Machines
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·4d
🔬Static Analysis
Learning To Communicate Over An Unknown Shared Network
arxiv.org·3d
📡Network Protocol Design
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·3d
🐫OCaml
An Emulated Stroll Down Macintosh Memory Lane
hackaday.com·2d
💾Retro Computing
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·3d·
Discuss: Substack
👁️System Observability
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·4d
📦Unikernel Systems
Why the Value of CVE Mitigation Outweighs the Costs
thenewstack.io·1d
👁️System Observability
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·2d·
Discuss: r/programming
🐫OCaml
Bastille 1.0 – Bastille Day 2025
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Ask HN: What's blocking your AI agents from moving beyond proof-of-concept?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·2d·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability