Software Engineer (Platform Infrastructure)
kaleido.io·1d·
Discuss: Hacker News
⎈Kubernetes
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·1d·
Discuss: Hacker News, r/node, r/programming, r/typescript
⚙️PL Implementation
Cocoindex: Data Transformation for AI
cocoindex.io·1d·
Discuss: Hacker News
🛡️seL4
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·1d·
Discuss: Hacker News
📦Unikernel Systems
The zero-day that could've compromised every Cursor and Windsurf user
bleepingcomputer.com·23h·
Discuss: Hacker News
📦Unikernel Systems
Should LLMs ask "Is this real or fiction?" before replying to suicidal thoughts?
news.ycombinator.com·20h·
Discuss: Hacker News
🛡️seL4
Using Protobuf to make Jira Cloud faster
atlassian.com·2d·
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·1d·
Discuss: Hacker News
💾Retro Computing
C++ with no classes?
pvs-studio.com·3d·
Discuss: r/cpp, r/programming
🐫OCaml
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Btrfs Allocator Hints
lwn.net·3d·
Discuss: Hacker News, r/programming
❄️Nix
Linux Foundation adopts A2A to help solve one of AI's most pressing challenges
zdnet.com·3d·
Discuss: Hacker News
🛡️seL4
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·3d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Why LLM Authorization is Hard
osohq.com·3d·
Discuss: Hacker News
🛡️seL4
(Attempting to) Engineer the chaos out of AI agents
trunk.io·2d·
Discuss: Hacker News
🧪Property-Based Testing
EN-ANALYSER – Open-source AI tool for network threat detection and analysis
github.com·4d·
Discuss: Hacker News
👁️System Observability
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
Checklists Are The Thief Of Joy
soatok.blog·4d·
Discuss: Hacker News
🛡️seL4