🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Dot Battle - a Javascript Physics Toy
sheep.horse·2h
📟Terminal Physics
Lazy text capitalization with low latency large language models
blog.florianschulz.info·1d·
Discuss: Hacker News
🌀Brotli Internals
The eBPF Verifier – How Linux Safely Runs User Code in Kernel Space
qpoint.io·5d·
Discuss: Hacker News
🛡️eBPF Security
Haskell WebAssembly for Browser Interaction
funwithfunctions.com·4d·
Discuss: Hacker News
🛡️WASM Security
Tiger Style Coding Philosophy
tigerstyle.dev·3d·
Discuss: Hacker News
🔩Systems Programming
"The G in GPU is for Graphics damnit "
ut21.github.io·3d·
Discuss: Hacker News
🔲Cellular Automata
I Built GoForge to automate Go project setup
github.com·22h·
Discuss: Hacker News
🐚Bash Combinators
PEL-NAS: Search Space Partitioned Architecture Prompt Co-Evolutionary LLM-driven Hardware-Aware Neural Architecture Search
arxiv.org·2d
💻Local LLMs
ThinkBrake: Mitigating Overthinking in Tool Reasoning
arxiv.org·3d
🧮Z3 Solver
Automated Risk Calibration for Shipping Asset-Backed Securities via Dynamic Portfolio Optimization
dev.to·58m·
Discuss: DEV
⚙️Batch Processing
Analyzing Latent Concepts in Code Language Models
arxiv.org·3d
🔢Denotational Semantics
Observations from Working with Coding Agents
anyblockers.com·1d·
Discuss: Hacker News
⚡Proof Automation
The Secure Network Automation Playbook: Using Ansible, Python, and GitOps for Security
dev.to·1d·
Discuss: DEV
🤖Network Automation
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·17h·
Discuss: DEV
🧮Z3 Solver
Potential issues in curl found using AI assisted tools
dev.to·2d·
Discuss: DEV
💧Liquid Types
🧠Why OrKa-Reasoning: what orcas can teach us about building smart agent teams 🐋
dev.to·6h·
Discuss: DEV
🔲Cellular Automata
# 🧩 Build an MCP Server with ASP.NET Core
dev.to·21h·
Discuss: DEV
📡Network Stack
Multiply kernels on one system.
reddit.com·2h·
Discuss: r/linux
🔍eBPF
TypeNet Benchmark for development of authentication keystroke technologies
github.com·16h·
Discuss: Hacker News
🗜️LZSS Variants
GPT-5 Codex: How it solves for GPT-5's drawbacks
dev.to·4h·
Discuss: DEV
📏Code Metrics