Here’s the tech powering ICE’s deportation crackdown
techcrunch.com·22h·
Discuss: Hacker News
🧗Climbing Tech
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·11h·
Discuss: Hacker News
🛡️seL4
Scaling and mechanical optimality of bristled wings in microinsects
pnas.org·15h·
Discuss: Hacker News
🔧Unikernel Development
Looking for feedback: heads-up poker training app
app.pokerheads.de·2d·
Discuss: r/programming
🎮Verification Games
Astrophysics Source Code Library
ascl.net·2d·
Discuss: Hacker News
🐫OCaml
Performance Improvements in .NET 10
devblogs.microsoft.com·3d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Operational Intelligence – the new horizon of observability
squaredup.com·17h·
Discuss: Hacker News
👁️System Observability
Cross-platform gRPC Test tool
reddit.com·3d·
Discuss: r/programming
📺Vintage Apple
Few things, everywhere, all at once: Revolutionizing Movie Streaming, Data Compression, and Society at Large (mrmcd25)
cdn.media.ccc.de·1d
🔧Unikernel Development
Show HN: Forked styled-components with optimizations (40% faster for Linear)
github.com·2d·
Discuss: Hacker News
💎Refinement Types
LavaMoat – tools for sandboxing your dependency graph
github.com·4d·
Discuss: Hacker News
🛡️seL4
An Explainable Deep Neural Network with Frequency-Aware Channel and Spatial Refinement for Flood Prediction in Sustainable Cities
arxiv.org·3d
💎Refinement Types
The Engineer in the AI Age: The Orchestrator and Architect
thenewstack.io·1d
🤖Program Synthesis
LAVA: Language Model Assisted Verbal Autopsy for Cause-of-Death Determination
arxiv.org·2d
🧩Parser Combinators
Scaffolding for production vibe coding
interjectedfuture.com·4d·
Discuss: Hacker News
🔬Static Analysis
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·4d·
Discuss: Hacker News
🔧Unikernel Development
The productivity paradox of AI coding assistants
cerbos.dev·1d·
Discuss: Hacker News, r/programming
👁️System Observability