Bayeux Tapestry Will Return to the U.K. In 950 Years
news.artnet.com·3d·
Discuss: Hacker News, Hacker News
🐫OCaml
TierListMaker – Create epic tier list
tierlistmaker.org·22h·
Discuss: Hacker News
🍎Apple
Inflatable von Braun space stations: an idea worth revisiting?
angadh.com·1h·
Discuss: Hacker News
⎈Kubernetes
AI Agents for Freight Brokers
kolank.ai·16h·
Discuss: Hacker News
✓Automated Theorem Proving
The Siren Song of LLMs
anukrit.de·10h·
Discuss: Hacker News
✓Automated Theorem Proving
Zero JDK: Reproducible builds by default
zero-jdk.dev·19h·
Discuss: Hacker News, r/programming
❄️Nixified Development
Learning to never give up by following you're passion
thelabyrinthoftimesedge.com·22h·
Discuss: Hacker News
🎮Verification Games
📄 Notify your iPhone or Watch when Claude Code finishes
justin.searls.co·1d·
Discuss: r/programming
🍎Apple
Show HN: I built an MCP tool to query anything with SQL (Apache Calcite)
github.com·1d·
Discuss: Hacker News
🐫OCaml
Guys need an urgent help. Can someone run this github repository. We have to submit the results tomorrow.
github.com·2d·
Discuss: r/programming
📦Unikernel Systems
Ralph Wiggins as a "Software Engineer"
ghuntley.com·12h·
Discuss: Hacker News
🤖Program Synthesis
State of the Vibes: A Slice of Vibe Coding in June 2025
talks.natetucker.com·1d·
Discuss: Hacker News
🍎Apple
Subnets, VLANs and a VPN
reddit.com·44m·
Discuss: r/homelab
📡Network Protocol Design
Adam Curtis's Shifty: When Britain was 'wild and extraordinary'
bbc.co.uk·18h·
Discuss: Hacker News
❄️Nix
Flox: A virtual environment and package manager all in one
github.com·22h·
Discuss: Hacker News
❄️Nixified Development
Rust vs. C: A Deep Dive
ponderwall.com·1d·
Discuss: r/programming
🔬Static Analysis
Discover tools that work with Claude
anthropic.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Coded my homelab from scratch using Ansible
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
What birdsong and backends can teach us about magic
digitalseams.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Machine Stops by Oliver Sacks
newyorker.com·2d·
Discuss: Hacker News
💾Retro Computing