NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·15h·
Discuss: Hacker News
🔤DSLs
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Show HN: ArtifyAi – AI Text-to-Image Tool by 30 image models models
artifyai.app·35m·
Discuss: Hacker News
📺Vintage Apple
Clojure's Solutions to the Expression Problem
infoq.com·3d·
Discuss: Hacker News
🐫OCaml
Agentic AI Runs on Tools
simplicityissota.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Most Rust GUI frameworks suck
reddit.com·14h·
Discuss: r/rust
❄️Nixified Development
Shape Checking for Annotated Tensor Names
github.com·6h·
Discuss: Hacker News
🐫OCaml
Built an AI news agent that stops information overload
reckoning.dev·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Reverse Engineering a Robot Mower’s Fence
hackaday.com·2h
🩹Self-Healing Systems
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
The 4p Developer: The Missing Layer in Platform Thinking
davidpoll.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Massively Parallel Agentic Simulations with Ray
anyscale.com·1h·
Discuss: Hacker News
⚙️Operating System Design
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types
High Dimensional Optimization Remains Hard
win-vector.com·2d·
Discuss: Hacker News
🏹Effect Systems
Quantum Algorithm Zoo
quantumalgorithmzoo.org·5h·
Discuss: Hacker News
🧠Automated Reasoning
The Future of Agentic Coding Is Multiplayer
thenewstack.io·1d
🔄Reproducible Builds
The State of AI Gross Margins in 2025
tanayj.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
HN: Arambh Labs: agentic platform for cyber defense
arambhlabs.com·8h·
Discuss: Hacker News
🩹Self-Healing Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems