🐚 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
MoonScript, a language that compiles to Lua
moonscript.org·2d
🔗Concatenative Programming
Lazy text capitalization with low latency large language models
blog.florianschulz.info·20h·
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
Subtext Retrospective
subtext-lang.org·5d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
The Anti-Truth Mandate: A Technical Flaw in Claude's Safety Architecture
github.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Title: "Breaking Down Design Patterns in Python: A Guide for Developers"
dev.to·1d·
Discuss: DEV
🔤Type Theory
Unix philosophy and filesystem access makes Claude Code amazing
alephic.com·3d·
Discuss: Hacker News, r/ObsidianMD, r/linux
🔩Systems Programming
Scaling Projects: How AI Transforms DevOps & Continuous Integration
dev.to·8h·
Discuss: DEV
🏠Homelab Orchestration
InvThink: Towards AI Safety via Inverse Reasoning
arxiv.org·2d
⚖️Hoare Logic
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·2d
🌳Archive Merkle Trees
Tiger Style Coding Philosophy
tigerstyle.dev·3d·
Discuss: Hacker News
🔩Systems Programming
Say One Thing, Do Another? Diagnosing Reasoning-Execution Gaps in VLM-Powered Mobile-Use Agents
arxiv.org·2d
⚙️TLA+
Observations from Working with Coding Agents
anyblockers.com·1d·
Discuss: Hacker News
⚡Proof Automation
Luke Plant: Breaking “provably correct” Leftpad
lukeplant.me.uk·3d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Encodings
Fine-Tuning Local Models with Docker Offload and Unsloth
docker.com·2d
🖥️Terminal Renaissance
benbjohnson/litestream
github.com·9h
🔄Sync Engine
Automated Harmonic Oscillation Analysis via Multi-Modal Data Fusion and Predictive Modeling
dev.to·7h·
Discuss: DEV
✨Algebraic Effects
Claude Code vs. Codex CLI: Head to Head
mattwigdahl.substack.com·1d·
Discuss: Substack
🦀Rust Macros
Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL
github.com·1d·
Discuss: Hacker News
🧩SQLite Extensions