🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

KAYTUS MotusAI for Enterprise AI DevOps
servethehome.com·1d
💿Proxmox HA
Sustaining Package Repositories with Brian Fox
opensourcesecurity.io·8h
🔓Open Source Software
AI Coding Tools I Use to Ship Faster - Q4 2025
joshtronic.com·1d
🏗️Compiler Archaeology
Microformats – building blocks for data-rich web pages
microformats.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Subtext Retrospective
subtext-lang.org·6d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Inside PSL: Key Management, Sandboxing, and Secure Enclaves Explained
hackernoon.com·3d
🌳Archive Merkle Trees
This Week in Rust 619
this-week-in-rust.org·5d·
Discuss: Hacker News, r/rust
🦀Rust Macros
Real-Time Peer-to-Peer Energy Trading for Multi-Microgrids: Improved Double Auction Mechanism and Prediction-Free Online Trading Approach
arxiv.org·4h
🤝Consensus Algorithms
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·19h·
Discuss: DEV
⚡SMT Integration
GPT-5 Codex: How it solves for GPT-5's drawbacks
dev.to·18h·
Discuss: DEV
📏Code Metrics
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·4h
🔍BitFunnel
CodeRabbit CLI - Free AI code reviews in your CLI
dev.to·17h·
Discuss: DEV
🪟Awesome windows command-line
The State of Programming and Innovation
dev.to·14h·
Discuss: DEV
🔩Systems Programming
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·4h
🗣️Domain-Specific Languages
How Smart AI Prompts Supercharge Your Code
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Scalable Hyperbolic Embedding Optimization for Geometric Deep Learning on Modular Surfaces
dev.to·2h·
Discuss: DEV
🌀Hyperbolic Geometry
ESLint plugin for React Compiler users to flag manual memoization
github.com·11h·
Discuss: Hacker News
🎯Gradual Typing
90% of Claude Apps Leak Context. Here's How to Fix It Before It Costs You Thousands
dev.to·13h·
Discuss: DEV
🌳Incremental Parsing
PEL-NAS: Search Space Partitioned Architecture Prompt Co-Evolutionary LLM-driven Hardware-Aware Neural Architecture Search
arxiv.org·3d
💻Local LLMs
Adaptive Real-Time Process Anomaly Detection via Bayesian Dynamic Network Optimization
dev.to·1d·
Discuss: DEV
🌊Stream Processing