🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·23h·
Discuss: DEV
🔗Lisp
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2h·
Discuss: Hacker News
🔓Decompilation
Issue 483
haskellweekly.news·19h
🔗Functional Compilers
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
💧Liquid Types
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·20h
🧬Functional Programming
OTW - Bandit Level 0 to Level 1
tbhaxor.com·2h
🛡️CLI Security
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·1d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
👑Isabelle
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
📝Concrete Syntax
I built a Go CLI to automate my development workflow. Seeking feedback on its direction.
reddit.com·10h·
Discuss: r/golang
🔓Open Source Software
More From Casual
irreal.org·16h
🦀Rust Macros
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·2d·
Discuss: Hacker News, r/programming
📟Terminals
Sync primitives are Functionally Complete
kprotty.me·21h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
Generalizing over mutability in Rust
alexsaveau.dev·2d
🦀Rust Macros
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·15h·
Discuss: Hacker News
✅Archive Fixity
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·23h
🦀Rust Macros
Hask Is Not a Category
math.andrej.com·1d·
Discuss: Hacker News
🔀Category Theory
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
✓Automated Theorem Proving
ShellGuard: Building an AI-Assisted Command Approval System for SSH Security
dev.to·9h·
Discuss: DEV
🐚Shell Automation