Target-ducklake: connect 500 sources to Ducklake
definite.app·1d·
Discuss: Hacker News
🔄Reproducible Builds
Reverse engineering the mysterious Up-Data Link Test Set from Apollo
righto.com·1d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Heavyweight.cc, an art project about lawyer vibes
kendraalbert.com·23h·
Discuss: Hacker News
🍎Apple
Show HN: Browse the Web with Superpowers
usesuperpowers.app·1d·
Discuss: Hacker News
📦Unikernel Systems
The Data Room App (thedataroom.app)
djpardis.medium.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Intermediate Zig Build
rdunnington.github.io·4d·
Discuss: Hacker News
📦Unikernel Systems
Why Dictionaries Still Define Us
nytimes.com·2d·
Discuss: Hacker News
🔬Unikernels
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Sunsetting the rustwasm GitHub org
blog.rust-lang.org·1d
🔄Reproducible Builds
234. If Writing is Thinking…
hardcoresoftware.learningbyshipping.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
How to actually use Model Context Protocol
seangoedecke.com·5d·
Discuss: Hacker News
🛡️seL4
I avoid using LLMs as a publisher and writer
lifehacky.net·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·3d·
Discuss: Hacker News
🛡️seL4
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·4d
✓Automated Theorem Proving
Bell Labs Takes A Topological Approach To Quantum 2.0
nextplatform.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Code red: turning negative feedback into positive outcome
pvs-studio.com·1d·
Discuss: r/programming
🧪Property-Based Testing
Reverse Proxy Deep Dive: Part 2
medium.com·1d·
Discuss: r/programming
🌐NetworkProtocols
Learning Deblurring Texture Prior from Unpaired Data with Diffusion Model
arxiv.org·1d
🐫Embedded OCaml
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·5d
🐫OCaml
How I Found Myself In the Game Industry
nothings.org·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing