Manpupuner Rock Formations
en.wikipedia.org·1d·
Discuss: Hacker News
🏔️climbing
Secuso – Our Farewell from Google Play
secuso.aifb.kit.edu·4d·
Discuss: Hacker News
🔬Unikernels
MapYourGrid
mapyourgrid.org·19h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What Is Cardiac Amyloidosis?
nytimes.com·1d·
Discuss: Hacker News
💾Retro Computing
Noma Security Raises $100M for AI Security Platform
securityweek.com·5d·
Discuss: Hacker News
🎮Verification Games
Hello Stranger
willdennis.com·1d·
Discuss: Hacker News
➡️Category Theory
Global Warming Alarmists Promote Xkcd Time Series Cartoon, Ignore Its Mistakes
stream.org·3d·
Discuss: Hacker News
👁️System Observability
The Craftsman Mindset: Lessons from Four Weeks Offline
cekrem.github.io·2d·
Discuss: r/programming
🔬Static Analysis
We built AI to solve the most annoying part of B2B sales: vendor questionnaires
indiehackers.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
What Makes a Mature Science
press.asimov.com·4d·
Discuss: Hacker News
🏹Effect Systems
Google Zero and the ad-funded net crash
manton.org·22h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
What I'm reading: Fungus the Bogeyman (2007)
theguardian.com·17h·
Discuss: Hacker News
➡️Category Theory
AI Thinking, Fast and Slow
danmu.nz·3d·
Discuss: Hacker News
🔄Finite State Machines
How to make people give a damn
joanwestenberg.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·1d
🔍Formal Verification
Prompting Science Report 3: I'll pay you or I'll kill you -- but will you care?
arxiv.org·2d
✓Automated Theorem Proving
'Meschers' tool visualizes and edits 'physically impossible' objects
techxplore.com·15h·
Discuss: Hacker News
🏹Effect Systems
Building and Aligning Comparable Corpora
arxiv.org·1d
🔬Static Analysis
Orchestrating Agentic Coding
brethorsting.com·1d·
Discuss: Hacker News
🤖Program Synthesis
AI going critical: Hyundai to help build nuclear-powered datacenter in Texas
theregister.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure