🐚 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·11h·
Discuss: r/linux
📝Shell Parsing
Slip – A Lisp System in JavaScript
lisperator.net·13h·
Discuss: Hacker News
🔗Lisp
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·5h·
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·10h
🔀XSLT
Let's Write a Macro in Rust
hackeryarn.com·11h·
Discuss: Hacker News
🦀Rust Macros
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Comma scripts
perrotta.dev·1d
🐚Shell Automation
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·4h·
Discuss: Hacker News
⬌Bidirectional Typing
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·7h·
Discuss: DEV
🔍Concolic Testing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·23h
⛪Church Encoding
Lobsters Interview with Zdsmith
lobste.rs·21h·
Discuss: Lobsters
🔗Concatenative Programming
Show HN: Static builds of popular open source libraries on npmjs.org
github.com·12h·
Discuss: Hacker News
🔓Open Source Software
Item Patterns and Struct Await
noratrieb.dev·21h·
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
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
A new breed of analyzers
daniel.haxx.se·15h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·19h
📞Session Types