Quantum Computing: Hype or Hope?
physicsworld.com·2d·
Discuss: Hacker News
💾Retro Computing
Flag this post
Switching from GPG to Age
luke.hsiao.dev·2d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
An eBPF Loophole: Using XDP for Egress Traffic
loopholelabs.io·3d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·5d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·2d·
Discuss: Lobsters, Hacker News, r/rust
🔀OCaml Multicore
Flag this post
Postgres Internals Hiding in Plain Sight
crunchydata.com·15h·
Discuss: Hacker News
🎯GADT
Flag this post
Smaller Surfaces
nrempel.com·6d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Agents were LLMs all along
terezatizkova.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Flag this post
What Makes a Good QA?
news.ycombinator.com·13h·
Discuss: Hacker News
🛡️seL4
Flag this post
channels-console - Real-time monitoring, metrics and logs for Rust channels
github.com·2d·
Discuss: r/rust
💬Mach Messages
Flag this post
Federated app store for self-hosted AI agents (Apache-2.0)
dev.to·2d·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
Material for MkDocs Is No More Long Live Zensical
duerrenberger.dev·1d·
Discuss: Hacker News
📦Opam
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·4d·
Discuss: Hacker News
🐫OCaml
Flag this post
Part 2: Building MCP Servers to Control a Home Coffee Roaster - An Agentic Development Journey with Warp Agent
dev.to·5d·
Discuss: DEV
🏠HomeLab
Flag this post
A new language for COBOL workloads, built on GO!
dev.to·2d·
Discuss: DEV
🐫Embedded OCaml
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Introducing Realm9: Solving Enterprise Environment Chaos with AI
dev.to·5d·
Discuss: DEV
🔧DevOps
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·8h·
Discuss: DEV
🔌APIs
Flag this post
NDC Conferences: The future & challenges of cloud - Anders Lybecker - NDC Copenhagen 2025
dev.to·8h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Flag this post
Agentic DevOps: I Let GitHub Copilot Run My Entire CI/CD Pipeline (And Lived to Tell the Tale)
dev.to·2d·
Discuss: DEV
🔧DevOps
Flag this post