🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

| Oligo Security
oligo.security·2h
📦Container Security
More From Casual
irreal.org·1d
🦀Rust Macros
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
Sync primitives are Functionally Complete
kprotty.me·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
📐Format Grammars
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
⚖️Hoare Logic
I built a Go CLI to automate my development workflow. Seeking feedback on its direction.
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🦀Rust Macros
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔀Category Theory
Generalizing over mutability in Rust
alexsaveau.dev·2d
🦀Rust Macros
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·6h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·3d·
Discuss: Hacker News, r/programming
📟Terminals
Why We Need to Know LR and Recursive Descent Parsing Techniques
tratt.net·2d·
Discuss: Lobsters, r/programming
🔗Parser Combinators
Getting Started with Building a Markdown Parser in Rust
hackernoon.com·1d
🦀Rust Macros
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com·1d·
Discuss: Hacker News
✅Archive Fixity
Learning the Bitter Lesson
rlancemartin.github.io·8h·
Discuss: Hacker News
⚡Incremental Computation
From Prompt to Pipeline: Large Language Models for Scientific Workflow Development in Bioinformatics
arxiv.org·3d
🦀Rust Macros
'Hello world' in Bismuth
enikofox.com·12h·
Discuss: Lobsters, Hacker News, r/programming
📺VT100
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·1d
🔄Language Evolution
Nova: A New Web Framework for Erlang
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Protocol Synthesis