🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

The problem with inferring from a function call operator is that there may be more than one
devblogs.microsoft.com·3d·
Discuss: r/cpp
🦀Rust Verification
State of My Homelab 2025
mrkaran.dev·1d
🏠HomeLab
MoonScript, a language that compiles to Lua
moonscript.org·2d
🔗Concatenative Programming
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·4d·
Discuss: Hacker News
🛡️eBPF Security
Fine-Tuning Local Models with Docker Offload and Unsloth
docker.com·3d
🖥️Terminal Renaissance
Tiger Style Coding Philosophy
tigerstyle.dev·3d·
Discuss: Hacker News
🔩Systems Programming
Show HN: LINQ-to-SQL but for TypeScript – turn type-safe lambdas into SQL
github.com·1d·
Discuss: Hacker News
🧩SQLite Extensions
Llmswap: Avoid LLM vendor lock-in – 10 providers with top LMArena models
github.com·19h·
Discuss: Hacker News
🌀Brotli Internals
"The G in GPU is for Graphics damnit "
ut21.github.io·3d·
Discuss: Hacker News
🔲Cellular Automata
Real-time Fault Prognostics for Marine QNX Systems via Hybrid Kalman Filtering and Deep Reinforcement Learning
dev.to·4h·
Discuss: DEV
💾Persistence Strategies
PEL-NAS: Search Space Partitioned Architecture Prompt Co-Evolutionary LLM-driven Hardware-Aware Neural Architecture Search
arxiv.org·2d
💻Local LLMs
Unix philosophy and filesystem access makes Claude Code amazing
alephic.com·4d·
Discuss: Hacker News, r/ObsidianMD, r/linux
🔩Systems Programming
ThinkBrake: Mitigating Overthinking in Tool Reasoning
arxiv.org·3d
🧮Z3 Solver
I Built GoForge to automate Go project setup
github.com·20h·
Discuss: Hacker News
🐚Bash Combinators
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·14h·
Discuss: DEV
🧮Z3 Solver
Potential issues in curl found using AI assisted tools
dev.to·2d·
Discuss: DEV
💧Liquid Types