Flexport the Video Game
flexportgame.itch.io·4h·
Discuss: Hacker News
⎈Kubernetes
Mars Trilogy Technical Commentary
caseyhandmer.wordpress.com·6h·
Discuss: Hacker News
🔬Unikernels
OpenAI and UK Government announce strategic partnership to deliver AI-driven growth
openai.com·14h·
Discuss: Hacker News
📦Unikernel Systems
Does GitHub Have IPv6 Yet?
doesgithubhaveipv6yet.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
FAQ: What's a KevlinHenney?
kevlinhenney.medium.com·2d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Make Your Own Backup System – Part 1: Strategy Before Scripts
it-notes.dragas.net·3d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
The old Caveman Chemistry website
cavemanchemistry.com·1d·
Discuss: Hacker News
💾Retro Computing
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·6d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Helix Editor Release 25.07 Highlights
helix-editor.com·6d·
Discuss: Lobsters, Hacker News, r/linux
🐫OCaml
Triggering QUIC
potaroo.net·6d·
Discuss: Hacker News
📡Network Protocol Design
Snake eating its tail: how can synthetic data possibly work for training AI?
tomdekan.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·3d·
Discuss: Hacker News
🏹Effect Systems
Kotlinwind.css
github.com·1d·
Discuss: Hacker News
🐫OCaml
LLM Internals for Beginners
vivekkairi.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Some notes on project management
andrewpwheeler.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
"What do you expect? You're part of the internet": Analyzing Celebrities' Experiences as Usees of Deepfake Technology
arxiv.org·3d
🛡️seL4
Ask HN: Thinking About a Health Analytics Startup. Would Hospitals Even Use It?
news.ycombinator.com·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·6d
🎮Verification Games
A Go library for building performant, type-safe AI agents that execute structured reasoning workflows.
github.com·6d·
Discuss: r/golang, r/programming
🔄Reproducible Builds