H2-rich hydrothermal system driven by serpentinization in the western Pacific
science.org·12h·
Discuss: Hacker News
🩹Self-Healing Systems
Neo4j Launches Infinigraph. What is it?
neo4j.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Beginner Linux Home Lab Guide Made by a Beginner (no linux experience required)
drive.google.com·3d·
Discuss: r/homelab
🏠HomeLab
Why We No Longer Lock Premium Features
neon.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Scott Baker’s Magnetic Bubble Memory Mega-Post
hackaday.com·1h
💾Retro Computing
Show HN: PlanetScale CDC: Stream DB changes to Webhooks in real-time
planetscale-cdc.com·3d·
Discuss: Hacker News
⎈Kubernetes
Archipelago: Multi-Game Randomizer and Server
github.com·13h·
Discuss: Hacker News
📦Unikernel Systems
Beyond OOP and the future of development experience
bennett.ink·3d·
Discuss: r/programming
📊Runtime Verification
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·18h·
Discuss: Hacker News
🛡️seL4
Gülçin Yıldırım Jelínek: From DBA to DB Agents
xata.io·2d·
Discuss: Hacker News
👁️System Observability
The Moldable Development Environment
github.com·1d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.co·1d·
Discuss: Hacker News, r/LocalLLaMA
🧩Parser Combinators
Show HN: ZipZen – Lightweight Release Hosting for Binaries
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·9h·
Discuss: Hacker News
💎Refinement Types
Show HN: We wrote an open-source Text to CAD app
github.com·10h·
Discuss: Hacker News
🐫OCaml
Help needed: repurposing a px4-400d as storage for my nucs?
i.redd.it·2d·
Discuss: r/homelab
🔧Unikernel Development
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
✓Automated Theorem Proving
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·21h·
Discuss: Hacker News
🛡️seL4
vLLM with torch.compile: Efficient LLM inference on PyTorch
blog.vllm.ai·1d·
Discuss: Hacker News
🐫Embedded OCaml