🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
💧Liquid Types
Death to Type Classes
jappie.me·3h·
Discuss: Hacker News
🧠Lisp Dialects
Digest #179: Vibe Coding Hype, DevOps Exercises, Terraform+MCP, Windows inside a Docker
devopsbulletin.com·1h
❄️Nix Adoption
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·23h
💻Local LLMs
NightMARE on 0xelm Street, a guided tour
elastic.co·15h
🧪Binary Fuzzing
The Data Backbone of LLM Systems
infoq.com·22h·
Discuss: Lobsters
🔗Constraint Handling
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔗Functional Compilers
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
🔤Type Theory
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
📝ABNF Parsing
Continuous Improvement in LLM Code Generation
blogger.com·2d
⚔️Lean Tactics
Shepherd × Goblins update
spritely.institute·2d
✨Effect Handlers
DHH is immortal, and costs $200M
danieltenner.com·1h·
Discuss: Hacker News
👑Isabelle
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·1d·
Discuss: Hacker News, r/rust
🦀Rust Macros
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Automated Semantic Anomaly Detection in Hybrid Quantum-Classical Codebases via Formal Verification & Statistical Profiling
dev.to·9h·
Discuss: DEV
👁️System Observability
Larry Wall – Present Continuous, Future Perfect (2006)
perl.org.il·2h·
Discuss: Hacker News
🐚Shell Calculus
Program management update — August 2025
blog.rust-lang.org·1d·
Discuss: Hacker News, r/rust
🦀Rust Macros
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Decompiling the GPL violated Linux kernel using Evolutionary Algorithms
far.chickenkiller.com·7h·
Discuss: Hacker News
🔩Systems Programming
Three tiny Go web-server experiments: exposing, executing, and extending
reddit.com·21h·
Discuss: r/golang
🌐WASI