🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
✓Automated Theorem Proving
Wombat's Book of Nix
mhwombat.codeberg.page·2d·
Discuss: Lobsters, Hacker News
❄nix
How to navigate huge Rust codebase?
reddit.com·1d·
Discuss: r/rust
🔩Systems Programming
The Unix philosophy applied to development environments
byronsharman.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Metasploit Wrap-Up 10/03/2025
rapid7.com·1d
🛡️CLI Security
Higher-Level Design Patterns
qouteall.fun·1d·
Discuss: Hacker News
✨Algebraic Effects
original ↗
lmika.org·21h
🔗Concatenative Programming
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·18h·
Discuss: Hacker News
🧪CBOR Fuzzing
Learning Ruby as a Pythonista
tech.stonecharioteer.com·12h·
Discuss: Hacker News
🦀Rust Macros
Myth Busters: Is Rust a Slam Dunk?
infoq.com·2h·
Discuss: Hacker News
🦀Embedded Rust
Breaking decompilers with single-function, and no-main() C codebases
joshua.hu·1d·
Discuss: Hacker News
🧠Lisp Dialects
OpenAI's GPT-OSS-20B Model and Safety Alignment Issues in a Low-Resource Language
arxiv.org·1d
🌐Protocol Synthesis
EasyOS – An experimental Linux distribution (2025)
easyos.org·3h·
Discuss: Hacker News
🔌Operating system internals
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·21h·
Discuss: Hacker News
🔤Type Theory
Solving Reproducibility Challenges in Deep Learning and LLMs: Our Journey
ingonyama.com·7h·
Discuss: Hacker News
💻Local LLMs
Nucleic acid biosecurity screening against generative protein design tools
science.org·1d·
Discuss: Hacker News
🔲Cellular Automata
System 1 Programming
hydrick.net·1d·
Discuss: Hacker News
⚖️Hoare Logic
dgsh – Directed Graph Shell
www2.dmst.aueb.gr·4d·
Discuss: Hacker News
📝Shell Parsing
Error management on the Stack?
reddit.com·2d·
Discuss: r/golang
🐚Bash Monads
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·1d·
Discuss: Hacker News
📼Cassette Combinators