Easy dynamic dispatch using GLIBC Hardware Capabilities
kvr.at·15h·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Show HN: Novaflow (YC S25) – AI Data Analyst for Life Science Researchers
novaflowapp.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
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
The inevitable trend toward low code makes programming tedious
thefoggiest.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
Plurality Philosophy in an Oversized Nutshell
vitalik.eth.limo·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Should LLMs ask "Is this real or fiction?" before replying to suicidal thoughts?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4
Updated Goose Roadmap · grant program, dedicated team funding
github.com·1d·
Discuss: Hacker News
🍎XNU Internals
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
EN-ANALYSER – Open-source AI tool for network threat detection and analysis
github.com·5d·
Discuss: Hacker News
👁️System Observability
Can adversarial attacks by large language models be attributed?
arxiv.org·3d
🛡️seL4
ArchiveGPT: A human-centered evaluation of using a vision language model for image cataloguing
arxiv.org·2d
✓Automated Theorem Proving
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·2d
🐫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
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·36m·
Discuss: Hacker News
✓Automated Theorem Proving
Agentic AI Is Quietly Replacing Developers
thenewstack.io·18h
🤖Program Synthesis
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·4d
🔠Type-Level Programming