🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Resolve a file’s path from its inode number
eclecticlight.co·7h
📦Deflate
A very short, very blunt, book note
logicmatters.net·1d
⚔️Lean Theorem
Free software activities in September 2025
chris-lamb.co.uk·15h
🔓Open Source Software
From Matmul to Meaning
evis.dev·1d·
Discuss: Hacker News
📐Linear Algebra
Python UV Fails in Codex
github.com·5h·
Discuss: Hacker News
🦀Rust Macros
What is Model Context Protocol (MCP) and why is it crucial for AI development?
techradar.com·3h
🔗Supply Chain
Week 12— Async API Calls: fetch, Axios, and Promises
infosecwriteups.com·2d
🌊Stream Processing
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·5d·
Discuss: Hacker News
📼Cassette Combinators
Elevenlabs releases open-source UI library for voice and audio applications
the-decoder.com·1h
🎙️Whisper
Complete Guide to Python Current Directory Management: Mastering File Path Operations
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
High-pass filtered fidelity-imposed network edit (HP-FINE) for robust quantitative susceptibility mapping from high-pass filtered phase
arxiv.org·9h
📊Learned Metrics
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·3d·
Discuss: DEV
⚙️Proof Engineering
Neural Jump ODEs as Generative Models
arxiv.org·2d
📊Quantization
Creating a realtime voice agent using OpenAI's new gpt-realtime speech-to-speech model
dev.to·1d·
Discuss: DEV
🎙️Whisper
Patch Now: ‘RediShell’ Threatens Cloud Via Redis RCE
darkreading.com·1d
🔓Hacking
🧩 Advanced Prompting for QA Engineers: How I Turned AI Into My Testing Partner
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Build a Task-Running AI Agent with the New ChatGPT AgentKit: A Step-by-Step Guide
dev.to·58m·
Discuss: DEV
🌐WASI
Embracing the parallel coding agent lifestyle
simonwillison.net·3d·
Discuss: Hacker News, Hacker News, Hacker News
⚔️Lean Tactics
Detecting DLL hijacking with machine learning: real-world cases
securelist.com·2d
🎫Kerberos Exploitation
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics