🐚 Bash Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
arxiv.org·23h
🧮Algebraic Archives
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·5h·
Discuss: Hacker News
🧪CBOR Fuzzing
Easy Forth
skilldrick.github.io·22h
🔗Concatenative Programming
LLM Failures
funcall.blogspot.com·3h·
Discuss: Hacker News
💻Programming languages
Building the Rust Compiler with GCC
fractalfir.github.io·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Why I Am Stupid
aartaka.me·12h
🔢Denotational Semantics
#0181: Why Elixir?
matthewsinclair.medium.com·1d
🌊Apache Kafka
CI/CD inputs: Secure and preferred method to pass parameters to a pipeline
about.gitlab.com·2d
🐚Shell Calculus
Bash Shell 5.3 Released with New Command Substitution
linuxiac.com·2d
🐚Bash FP
Maximizing Leverage in Software Systems
bencornia.com·2d
🌊Streaming Systems
Claude code modified my .bashrc without asking
antocuni.eu·13h·
Discuss: Hacker News
🔓Reverse engineering
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
[$] Toward the unification of kselftests and KUnit
lwn.net·13h
🔍Concolic Testing
guile lab notebook: on the move!
wingolog.org·12h
🧠Separation Logic
Practical Go Concurrency Tuning: Mastering Bottlenecks with pprof
dev.to·52m·
Discuss: DEV
⚡Performance Tools
My first verified (imperative) program
markushimmel.de·1d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Leveraging Elixir's hot code loading capabilities to modularize a monolithic app
lucassifoni.info·19h·
Discuss: Hacker News
🌐WASI
The REM-arkable Misadventures of LIST
masswerk.at·21h·
Discuss: Hacker News
📺VT100
An InfoSec Architect's First Taste of Temporal
supasaf.com·12h·
Discuss: Hacker News
⏰Temporal Logic
Hackers 'Shellter' Various Stealers in Red Team Tool to Evade Detection
darkreading.com·12h
🚀Indie Hacking