Microsoft commits to European interoperability in a groundbreaking agreement
neowin.net·2d·
Discuss: Hacker News
🔄Reproducible Builds
Norway's 8.5k ft underground pipeline first to store CO2 directly from factories
evidencenetwork.ca·1h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Content Busking: The Ad-Free Revolution We've Been Waiting For
justinpaulson.com·9h·
Discuss: Hacker News
🍎Apple
Using Claude's chat search and memory to build on previous context
support.anthropic.com·4d·
Discuss: Hacker News
🧩Separation Logic
Catholic Theology and Code
theologyandcode.com·3d·
Discuss: Hacker News
⚡Process Calculi
RIP pthread_cancel
eissing.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩Separation Logic
Puzzle Games Online – Free Brain Training and Fun Puzzle Challenges
puzzlegames.cc·1d·
Discuss: Hacker News
🎮Verification Games
Care about keeping your design files clean (2018)
monzo.com·4d·
Discuss: Lobsters, Hacker News
🧩Separation Logic
The Startup Killer Nobody Talks About: Domain Negotiations
brandhunt.com·15h·
Discuss: Hacker News
🍎Apple
Methane emissions driven by aerotolerant methanogens using seaweed and seagrass
nature.com·2d·
Discuss: Hacker News
🐳Containerization
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·5d·
Discuss: Hacker News, Hacker News
🩹Self-Healing Systems
The Brilliance of UTF-8
irreal.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·5d·
Discuss: r/programming
🤖Program Synthesis
Lean Windows 11 image for dev and embedded use
github.com·1d·
Discuss: Hacker News
🐳Containerization
Mini microscope enables real-time 3D brain imaging in freely moving mice
phys.org·2d·
Discuss: Hacker News
🔧Unikernel Development
Patterns in Chaos: How Data Visualisation Helps To See the Invisible (mrmcd25)
cdn.media.ccc.de·2d
🩹Self-Healing Systems
How should I set up my two systems?
reddit.com·3d·
Discuss: r/homelab
🖥Self-Hosting
Agents of Discovery
arxiv.org·4d
🧩Parser Combinators
Fused Lasso Improves Accuracy of Co-occurrence Network Inference in Grouped Samples
arxiv.org·3d
🧮Lambda Calculus
Hackaday Podcast Episode 337: Homebrew Inductors, Teletypes in the Bedroom, and Action!
hackaday.com·3d
💾Retro Computing