Space food made from astronaut pee to be tested aboard the ISS
independent.co.uk·12h·
Discuss: Hacker News
🐫ocaml
Flag this post
Altman and Masa Back a 27-Year-Old's Plan to Build a New Bell Labs Ultra
corememory.com·2h·
Discuss: Hacker News
🗄️databases
Flag this post
UK transport and cyber-security chiefs investigate Chinese-made buses
theguardian.com·8h·
Discuss: Hacker News
✅formal methods
Flag this post
Crossplane's CNCF Graduation
blog.crossplane.io·4d·
Discuss: Hacker News
🔄compilers
Flag this post
Working with Stories
workingwithstories.org·3h·
Discuss: Hacker News
✅formal methods
Flag this post
Clerk vs. Auth0 vs. Keycloak vs. FusionAuth
justaftermidnight247.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post
What Leaders Carry
nikrad.io·3d·
Discuss: Hacker News
🌐network programming
Flag this post
Pet theory: Compound foods confuse the gutbrain
tsvibt.blogspot.com·2h·
Discuss: Hacker News
🗄️databases
Flag this post
Jimmy Angelakos: pg_statviz 0.8 released with PostgreSQL 18 support
vyruss.org·4d·
Discuss: Hacker News
🗄️databases
Flag this post
Show HN: Turn docs into tailored self-serve playgrounds to create aha-moments
visr.dev·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Always Be Ready to Leave (Even If You Never Do)
andreacanton.dev·2d·
Discuss: Hacker News
✅formal methods
Flag this post
Automated PDF Generation with Typst
typst.app·3d·
Discuss: Hacker News
🔄compilers
Flag this post
Storybook 10
storybook.js.org·4d·
Discuss: Hacker News
🔄compilers
Flag this post
Notes on Google's Space Data Centers
angadh.com·5d·
Discuss: Hacker News
⚡query optimization
Flag this post
From vibe coding to context engineering: 2025 in software development
technologyreview.com·5d·
Discuss: Hacker News
✅formal methods
Flag this post
We Tested 6 AI Models on 3 Common Security Exploits
blog.kilocode.ai·5d·
Discuss: Lobsters, Hacker News
✅formal methods
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·5d·
Discuss: Hacker News
✅formal methods
Flag this post
Ask HN: Anyone built a true omnichannel bot with shared session state?
news.ycombinator.com·12h·
Discuss: Hacker News
🌐network programming
Flag this post
AI Consciousness, Qualia, and Personhood
blog.dileeplearning.com·2d·
Discuss: Hacker News
✅formal methods
Flag this post