🐚 Bash FP

Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style

A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
CLI tool that translates plain English into Linux commands
reddit.com·8h·
Discuss: r/linux
📝Shell Parsing
Slip – A Lisp System in JavaScript
lisperator.net·10h·
Discuss: Hacker News
🔗Lisp
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
XProc 3 Steps as XSpec Test Helper Functions
medium.com·6h
🔀XSLT
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🌊Streaming Systems
Comma scripts
perrotta.dev·1d
🐚Shell Automation
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·3h·
Discuss: DEV
🔍Concolic Testing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·19h
⛪Church Encoding
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·1h·
Discuss: Hacker News
⬌Bidirectional Typing
Lobsters Interview with Zdsmith
lobste.rs·18h·
Discuss: Lobsters
🔗Concatenative Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·9h·
Discuss: Hacker News
🔓Open Source Software
Item Patterns and Struct Await
noratrieb.dev·18h·
Discuss: Hacker News
🦀Rust Macros
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
10 Command-Line Tools Every Data Scientist Should Know
kdnuggets.com·2d
🤖Archive Automation
A new breed of analyzers
daniel.haxx.se·11h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·16h
📞Session Types