🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

The Two Versions of Parquet
jeronimo.dev·6h·
Discuss: Hacker News
💾Database Formats
Unification
eli.thegreenplace.net·3d·
Discuss: Hacker News
🤝Unification Algorithms
A Linux alternative? Debian/Hurd shows microkernel Unix dream is alive
theregister.com·3d·
Discuss: Hacker News
🔌Operating system internals
Introducing the illumos Cafe: Another Cozy Corner for OS Diversity
it-notes.dragas.net·3d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·6d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
DNS at IETF 123
blog.apnic.net·2d
🌐DNS Security
Open, Reproducible and Trustworthy Robot-Based Experiments with Virtual Labs and Digital-Twin-Based Execution Tracing
arxiv.org·3d
🔄Reproducible Builds
What the EU’s Cyber Resilience Act Means for Open Source
thenewstack.io·2h
🔓Open Source Software
The Prompting Brain: Neurocognitive Markers of Expertise in Guiding Large Language Models
arxiv.org·12h
🧠Intelligence Compression
From Passive Tool to Socio-cognitive Teammate: A Conceptual Framework for Agentic AI in Human-AI Collaborative Learning
arxiv.org·12h
🗺️Competency Maps
[D] Endorsement for cs.LG at arXiv as non-ML student?
reddit.com·2d·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
OpenBSD vs Linux: Benchmark Reveals 10x Performance Gap in Specific Workloads
discoverbsd.com·3d
🐡OpenBSD
Claude Code: Tips and Tricks
post-training.aitinkerers.org·2d·
Discuss: Hacker News
🌳Incremental Parsing
⚡ Go Arenas: Request‑Scoped Speed in 2025
dev.to·12h·
Discuss: DEV
⚡gRPC
How AI Agents Become Digital Employees of a Business
hackernoon.com·1d
⚡Proof Automation
Automated Electrochemical Impedance Spectroscopy Analysis via Reinforcement Learning for Corrosion Prediction
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
The Developer’s Guide to AI Application Testing: 10 Essential Tools for 2025
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·3d·
Discuss: DEV
🔗Constraint Handling
Anonymous Feedback vs 1:1 Conversations: Which Builds More Trust?
dev.to·11h·
Discuss: DEV
🌐Protocol Synthesis
MAD: A Benchmark for Multi-Turn Audio Dialogue Fact-Checking
arxiv.org·2d
🎙️Whisper