What Happened to AltaVista? The Rise and Fall of a Search Pioneer
em360tech.com·2d·
Discuss: Hacker News
💾Retro Computing
Deriving Rope the Proper Way
nor-blog.pages.dev·3d·
Discuss: Hacker News
➡️Category Theory
Show HN: BookTranslator – one-click full-book translation
booktranslator.app·1d·
Discuss: Hacker News
🐫OCaml
Understanding Energy Trading: Physical vs. Financial Markets
a115.co.uk·2d·
Discuss: Hacker News
👁️System Observability
The Practicals of Writing: Paper and Pens
brianschrader.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
The Best Operator on My Team Doesn’t Sleep
5iprojects.com·5d·
Discuss: Hacker News
👁️System Observability
Ride-sharing apps are good
slowboring.com·3h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Policy and Disclosure: 2025 Edition
googleprojectzero.blogspot.com·6d·
Discuss: googleprojectzero.blogspot.com, Hacker News
👁️System Observability
Every Reason Why I Hate AI and You Should Too
malwaretech.com·7h·
Discuss: Hacker News
🎮Verification Games
How our century of supersized farm machines will end
christopherkrapu.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The Psychology of Fun: What Makes a Ttrpg Engaging and Enjoyable?
therpggazette.wordpress.com·2d·
Discuss: Hacker News
🎮Verification Games
Vibe coding platform allowed access to private apps
wiz.io·6d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
Verification debt is the AI era's technical debt
kevinbrowne.ca·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Synthetic aperture waveguide holography for compact MR displays w large étendue
nature.com·5d·
Discuss: Hacker News
🐫OCaml
TrueNAS SMB: Prevent folder/dataset visibility for unauthorized users
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
People are ditching Windows 10 ahead of the end of support
neowin.net·3d·
Discuss: Hacker News
🍎Apple
Symposium Driven Development: A Not So New Paradigm for Software Creation
medium.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Numerical Methods for Solving Nonlinearly Coupled Poisson Equations in Dual-Continuum Modeled Porous Electrodes
arxiv.org·4d
🐫OCaml
Opinionated API framework for building type-safe REST APIs
github.com·5d·
Discuss: Hacker News
🌐NetworkProtocols
Anyone Can Jailbreak: Prompt-Based Attacks on LLMs and T2Is
arxiv.org·5d
🌐NetworkProtocols