SlateDB: An embedded database built on object storage
slatedb.io·3d·
Discuss: Lobsters, r/programming
🧱Immutable Infrastructure
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: Root Managed Services
rootmanagedservices.com·2d·
Discuss: Hacker News
🖥Self-Hosting
Scaling and mechanical optimality of bristled wings in microinsects
pnas.org·1d·
Discuss: Hacker News
🔧Unikernel Development
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Not Reading the News – Mo's Blog
mo42.bearblog.dev·8h·
Discuss: Hacker News
🩹Self-Healing Systems
We SSH into GitHub Actions
blacksmith.sh·5d·
Discuss: Hacker News
🖥Self-Hosting
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
How to prevent the robot uprising - an introduction to MPC based safe reinforcement learning (mrmcd25)
cdn.media.ccc.de·1d
🩹Self-Healing Systems
Few things, everywhere, all at once: Revolutionizing Movie Streaming, Data Compression, and Society at Large (mrmcd25)
cdn.media.ccc.de·2d
🔧Unikernel Development
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·3d·
Discuss: Hacker News
💎Refinement Types
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·2d
🤖Program Synthesis
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.org·2d
🧩Parser Combinators
Tokenizing Loops of Antibodies
arxiv.org·3d
🧮Lambda Calculus
GmSLM : Generative Marmoset Spoken Language Modeling
arxiv.org·2d
🧩Parser Combinators
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·5d·
Discuss: Hacker News
🔧Unikernel Development
I built a free tool to take down pirated versions of my app – AMA
news.ycombinator.com·3d·
Discuss: Hacker News
🍎Apple