Software Engineer (Platform Infrastructure)
kaleido.io·2d·
Discuss: Hacker News
⎈Kubernetes
Cocoindex: Data Transformation for AI
cocoindex.io·2d·
Discuss: Hacker News
🛡️seL4
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·2d·
Discuss: Hacker News
📦Unikernel Systems
Bitwarden releases local MCP server to let AI agents securely access credentials
nerds.xyz·2d·
Discuss: Hacker News, r/selfhosted
🛡️seL4
Using Protobuf to make Jira Cloud faster
atlassian.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
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
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·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·5d·
Discuss: Hacker News
🛡️seL4
Keep secrets and configmaps syncronized across clusters and namespaces
github.com·3d·
Discuss: Hacker News
⎈Kubernetes
Show HN: Tansive – AI Agents that won't accidentally restart your prod database
github.com·4d·
Discuss: Hacker News
⎈Kubernetes
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·1d
🐫Embedded OCaml
Agentic AI Is Quietly Replacing Developers
thenewstack.io·6h
🤖Program Synthesis
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·3d
🔠Type-Level Programming
Why Elixir? A Rebuttal to Common Misconceptions
matthewsinclair.com·4d·
Discuss: Hacker News, Hacker News
🔄Reproducible Builds
🔐 Secure Multi-language Code Execution API – One REST Call to Run Code in 14+ Languages
reddit.com·4d·
Discuss: r/programming
🔄Reproducible Builds
Show HN: PromptDrifter – Catch LLM prompt drift before it breaks prod
github.com·3d·
Discuss: Hacker News
🔬Static Analysis
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·2d
🛡️seL4