Show HN: Novaflow (YC S25) – AI Data Analyst for Life Science Researchers
novaflowapp.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Software Engineer (Platform Infrastructure)
kaleido.io·2d·
Discuss: Hacker News
⎈Kubernetes
Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·2d·
Discuss: Hacker News, r/node, r/programming, r/typescript
⚙️PL Implementation
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·2d·
Discuss: Hacker News
📦Unikernel Systems
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·1d·
Discuss: Hacker News
📦Unikernel Systems
Using Protobuf to make Jira Cloud faster
atlassian.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Open Sources: Voices from the Open Source Revolution (1999)
oreilly.com·2d·
Discuss: Hacker News
💾Retro Computing
C++ with no classes?
pvs-studio.com·3d·
Discuss: r/cpp, r/programming
🐫OCaml
Can adversarial attacks by large language models be attributed?
arxiv.org·2d
🛡️seL4
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·1d
✓Automated Theorem Proving
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·1d
🐫Embedded OCaml
Checklists Are The Thief Of Joy
soatok.blog·5d·
Discuss: Hacker News
🛡️seL4
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
Agentic AI Is Quietly Replacing Developers
thenewstack.io·11h
🤖Program Synthesis
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·3d
🔠Type-Level Programming
Show HN: Tansive – AI Agents that won't accidentally restart your prod database
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·2d·
Discuss: Hacker News
🐫OCaml
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·2d
🛡️seL4