SlateDB: An embedded database built on object storage
slatedb.io·3d·
Discuss: Lobsters, r/programming
🧱Immutable Infrastructure
Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·1d·
Discuss: Hacker News
🧗Climbing Tech
New bill would give Marco Rubio 'thought police' power to revoke US passports
theintercept.com·1d·
Discuss: Hacker News, r/50501
🛡️seL4
Prohibited Spotify SDK Uses
developer.spotify.com·2d·
Discuss: Hacker News
🐳Containerization
Looking for feedback: heads-up poker training app
app.pokerheads.de·2d·
Discuss: r/programming
🎮Verification Games
Show HN: Train – AI Workout App for Smarter, Adaptive Fitness
play.google.com·13h·
Discuss: Hacker News
🧗Climbing Tech
Scaling and mechanical optimality of bristled wings in microinsects
pnas.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Not Reading the News – Mo's Blog
mo42.bearblog.dev·11h·
Discuss: Hacker News
🩹Self-Healing Systems
Performance Improvements in .NET 10
devblogs.microsoft.com·4d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Astrophysics Source Code Library
ascl.net·2d·
Discuss: Hacker News
🐫OCaml
Operational Intelligence – the new horizon of observability
squaredup.com·1d·
Discuss: Hacker News
👁️System Observability
Few things, everywhere, all at once: Revolutionizing Movie Streaming, Data Compression, and Society at Large (mrmcd25)
cdn.media.ccc.de·2d
🔧Unikernel Development
Git's hidden simplicity: what's behind every commit
allvpv.substack.com·1d·
Discuss: Substack
🔄Reproducible Builds
GmSLM : Generative Marmoset Spoken Language Modeling
arxiv.org·3d
🧩Parser Combinators
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple
You Can Just Do Things
elite-ai-assisted-coding.dev·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·5d·
Discuss: Hacker News
🔧Unikernel Development
UltrON: Ultrasound Occupancy Networks
arxiv.org·3d
📦Unikernel Systems
Warp Code Gets Closer to an Emacs for the Modern AI Era
thenewstack.io·1d
🐳Containerization
Vibe coding has turned senior devs into ‘AI babysitters,’ but they say it’s worth it
techcrunch.com·9h·
Discuss: Hacker News, r/programming
🤖Program Synthesis