🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

The problem with inferring from a function call operator is that there may be more than one
devblogs.microsoft.com·2d·
Discuss: r/cpp
🦀Rust Verification
Lazy text capitalization with low latency large language models
blog.florianschulz.info·17h·
Discuss: Hacker News
🌀Brotli Internals
The eBPF Verifier – How Linux Safely Runs User Code in Kernel Space
qpoint.io·4d·
Discuss: Hacker News
🛡️eBPF Security
Show HN: URI-Transformer: AI architecture that models meaning. 99.9% less memory
github.com·5h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Digest #182: Vibe-Coded App Risks, GitHub npm Security, Zero-Downtime DB Migration & Kubernetes Load Balancing
devopsbulletin.com·1d
❄️Nix Adoption
This Week in Rust 619
this-week-in-rust.org·4d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Containers, Typescript, React and AI/LLMs
markjgsmith.com·3d
🎯Gradual Typing
Incremental Design, DevOps, Microservices & CICD • Michael Nygard & Dave Farley
youtube.com·1d
🔄Reproducible Builds
Demystifying Codensity Monads via Duality
arxiv.org·4d
🔀Category Theory
Fix(dd): ensure full block writes to handle partial writes to slow pipes
github.com·4d·
Discuss: Hacker News
📺VT100
Subtext Retrospective
subtext-lang.org·5d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Haskell WebAssembly for Browser Interaction
funwithfunctions.com·4d·
Discuss: Hacker News
🛡️WASM Security
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·3d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Encodings
The Anti-Truth Mandate: A Technical Flaw in Claude's Safety Architecture
github.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Automated Error Correction in Mismatch Repair via Deep Reinforcement Learning
dev.to·10h·
Discuss: DEV
🧬Copy Number Variants
Scaling Projects: How AI Transforms DevOps & Continuous Integration
dev.to·5h·
Discuss: DEV
🏠Homelab Orchestration
Title: "Breaking Down Design Patterns in Python: A Guide for Developers"
dev.to·1d·
Discuss: DEV
🔤Type Theory
Claude Code vs. Codex CLI: Head to Head
mattwigdahl.substack.com·1d·
Discuss: Substack
🦀Rust Macros
InvThink: Towards AI Safety via Inverse Reasoning
arxiv.org·2d
⚖️Hoare Logic
Say One Thing, Do Another? Diagnosing Reasoning-Execution Gaps in VLM-Powered Mobile-Use Agents
arxiv.org·2d
⚙️TLA+