🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Hosting a Static Website in a FreeBSD Jail with Bastille
discoverbsd.com·22h
🐡OpenBSD
Week 32 Status
blogs.gnome.org·2d
🦀Rust Macros
Starting with pytest’s parametrize
nedbatchelder.com·22h·
Discuss: Lobsters, r/programming
⚡Proof Automation
Save memory and CPU with an interning cache
chrispenner.ca·2d
⚡Cache Theory
Comefrom
en.wikipedia.org·3d·
Discuss: Hacker News
🔗Concatenative Programming
Python Exposes Phantom Dependencies With SBOM Screening
thenewstack.io·19h
🔓Decompilation
Up to 40 percent less overhead: Go 1.25 with new garbage collector
heise.de·1d
📟Vintage Protocols
sshrc: Bring your .bashrc, .vimrc, etc. with you when you SSH
github.com·12h·
Discuss: Hacker News
🛡️CLI Security
dgop: Stateless System Monitoring with Cursor-based Sampling - API & CLI
reddit.com·2d·
Discuss: r/linux
⚡Performance Tools
[BUG] Claude says "You're absolutely right!" about everything
github.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
Helping fluxcd redeploy helmrelease when configmaps/secrets change
reddit.com·1d·
Discuss: r/kubernetes
🧊Arctic Storage
Demystifying the (In)Security of QR Code-based Login in Real-world Deployments
usenix.org·1d
🛡️WASM Sandboxing
PwC and AWS Build Responsible AI with Automated Reasoning on Amazon Bedrock
aws.amazon.com·14h
⚡Proof Automation
Requiem for a 10x Engineer Dream
architecture-weekly.com·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
An (m,k)-firm Elevation Policy to Increase the Robustness of Time-Driven Schedules in 5G Time-Sensitive Networks
arxiv.org·5h
📡Network Calculus
Complex behaving Hardware with CircuitPython - Part II
hackster.io·1d
⚡Circuit Design
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·2d·
Discuss: Hacker News, r/LLM
💻Local LLMs
Catch and Fix Memory Leaks in Go Like a Pro
dev.to·3d·
Discuss: DEV
🦀Rusty Databases
Numerical Considerations in Weighted Model Counting
arxiv.org·3d
📐Error Bounds
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·2d
🧮SMT Solvers