🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Enabling highly available global anycast DNS modifications with Galera
quantum5.ca·9h
🔄Sync Engine
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·5d
✅Archive Validation
Security Affairs newsletter Round 536 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·13h
🔓Hacking
Linux Meets AI: Top Machine Learning Frameworks You Need to Know
linuxjournal.com·13m·
Discuss: Hacker News
🧮Z3 Applications
Flang-Tidy Cleaning/Correcting Fortran Code In "Sort Of Opinionated Fashion"
phoronix.com·3d
🔗Functional Compilers
Linus Torvalds calls RISC-V code from Google engineer 'garbage' and that it 'makes the world actively a worse place to live' — Linux honcho puts dev on notice f...
tomshardware.com·1h
🖥️Modern Terminals
Beginner’s Guide to Gemini CLI: Install, Setup, and Use It Like a Pro
kdnuggets.com·4d
⚡Proof Automation
Rust 1.89 released
lwn.net·3d
🔒Linear Types
Instant-esque voice-to-text for Mac [Open Source]
github.com·2d·
Discuss: Hacker News
🎙️Whisper
Introduction to AI Agents: Building Your First Chatbot with Flowise and LangChain
dev.to·12h·
Discuss: DEV
🎙️Whisper
The Soft Architecture of Meaning: Language Against Entropy
medium.com·21h·
Discuss: Hacker News
🔲Cellular Automata
Adaptive Generative Design Optimization via Constraint-Aware Variational Autoencoders
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Resources for learning kubernetes
reddit.com·2d·
Discuss: r/kubernetes
📦Container Security
Automated Microbial Strain Optimization via Bio-Digital Twin Simulation and Bayesian Reinforcement Learning
dev.to·22h·
Discuss: DEV
🧮Algorithmic Cooking
CodeCraft
dev.to·18h·
Discuss: DEV
📜Proof Carrying Code
PRvL: Quantifying the Capabilities and Risks of Large Language Models for PII Redaction
arxiv.org·2d
🌀Brotli Internals
How OpenAI used a new data type to cut inference costs by 75%
theregister.com·5h·
Discuss: Hacker News
🎯Emulator Accuracy
Announcing Ropey 2.0 Beta
reddit.com·20h·
Discuss: r/rust
🦀Rust Borrowing
I Made An Encrypted, Security Optimized Gentoo on the Raspberry Pi 5 That's Easy
github.com·2d·
Discuss: Hacker News
🛡️RISC-V Security
Adaptive Multi-Modal Data Fusion for Anomaly Detection in Spacecraft Thermal Management Systems
dev.to·18h·
Discuss: DEV
👁️Observatory Systems