Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
📞Session Types
Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.com·10h
🌈Color Archaeology
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·2d
🌀Brotli Internals
Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.sh·10h·
Discuss: Hacker News
🌐NetworkProtocols
The tiny server is growing.
i.redd.it·2d·
Discuss: r/homelab
🌐IPFS
How to Eliminate DevOps Toil Using Automation Scripts
devops.com·1d
🐚Shell Automation
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·5d·
Discuss: Hacker News
🔒WASM Capabilities
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
A new breed of analyzers
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
A Search Engine in CSS – By Tim Carry – Algolia Stories
stories.algolia.com·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·4d·
Discuss: DEV
💧Liquid Types
Effective and Stealthy One-Shot Jailbreaks on Deployed Mobile Vision-Language Agents
arxiv.org·2d
🕵️Vector Smuggling
The Programmer Identity Crisis
hojberg.xyz·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Stryker Mutator
github.com·14h·
Discuss: Hacker News
🔧Binary Parsers
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·23h·
Discuss: DEV
🛡️Error Boundaries
The Trillion Dollar AI Software Development Stack
a16z.com·1d·
Discuss: Hacker News
⚡Proof Automation
Add `brew MCP-server`: a MCP server for Homebrew
github.com·1d·
Discuss: Hacker News
📻Homebrew Protocols
Show HN: Real-time Docker event watcher with multi-channel notifications
github.com·1d·
Discuss: Hacker News
⚡gRPC
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·20h·
Discuss: DEV
⚡Proof Automation
Show HN: OpenRun – Declarative web app deployment
github.com·13h·
Discuss: Hacker News
🔓Open Source Software