🐚 Bash FP

Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style

Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
Three gripes about Go modules
jotaen.net·6h·
Discuss: Hacker News
🔓Reverse engineering
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming
The Pain Driven Workflow
magistr.me·1d·
Discuss: Hacker News
⚡Incremental Computation
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
rust-lang/rustfmt
github.com·22h
🦀Rust Macros
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Accidentally Made a Zig Dotenv Parser
dayvster.com·2d·
Discuss: Hacker News
🪟Awesome windows command-line
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Terraform Fileset Function: Filter and Deploy Specific Files
spacelift.io·9h·
Discuss: Hacker News
🧊Arctic Storage
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·2d·
Discuss: Hacker News
🔓Reverse engineering
Ask HN: Claude Code Alternative
news.ycombinator.com·10h·
Discuss: Hacker News
🪟Awesome windows command-line
Love C, Hate C: Web Framework Memory Problems
alew.is·20h·
Discuss: Hacker News
🔩Systems Programming
Building the Reasoning Engine at Axiom
axiommath.ai·4h·
Discuss: Hacker News
⚔️Lean Tactics
Managing Asynchronous Work with Celery and Redis
dev.to·13h·
Discuss: DEV
🌊Apache Kafka
Superpowers: How I'm using coding agents in October 2025
blog.fsck.com·1d
⚡Proof Automation