Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·9h·
Discuss: Hacker News
📺Vintage Apple
Clojure's Solutions to the Expression Problem
infoq.com·3d·
Discuss: Hacker News
🐫OCaml
Write Better with Vale
pragprog.com·23h·
Discuss: Hacker News
✓Automated Theorem Proving
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Most Rust GUI frameworks suck
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
Pulling an Inverse Conway Maneuver at Netflix (2023)
jivimberg.io·2d·
Discuss: Hacker News
👁️System Observability
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·3d·
Discuss: Hacker News
🔄Reproducible Builds
The 4p Developer: The Missing Layer in Platform Thinking
davidpoll.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Massively Parallel Agentic Simulations with Ray
anyscale.com·11h·
Discuss: Hacker News
⚙️Operating System Design
IO is special
blog.ploeh.dk·3d·
Discuss: Lobsters
💎Refinement Types
Quantum Algorithm Zoo
quantumalgorithmzoo.org·14h·
Discuss: Hacker News
🧠Automated Reasoning
High Dimensional Optimization Remains Hard
win-vector.com·2d·
Discuss: Hacker News
🏹Effect Systems
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·41m·
Discuss: Hacker News
🌐NetworkProtocols
The State of AI Gross Margins in 2025
tanayj.com·22h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·17h·
Discuss: Hacker News
🩹Self-Healing Systems
The Future of Agentic Coding Is Multiplayer
thenewstack.io·1d
🔄Reproducible Builds
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Rust's Enterprise Breakthrough Year
rust-trends.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Beyond Vibe Coded AI Slop: Agentic Workflows For Professionals
medium.com·22h·
Discuss: r/programming
⚙️PL Implementation