🐚 Bash FP

Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style

Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·22h
💎Information Crystallography
Cactus Language • Semantics 3
inquiryintoinquiry.com·16h
🔢Denotational Semantics
Codeminer42 Dev Weekly #82
blog.codeminer42.com·15h
🎯Gradual Typing
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·3d
🦀Rust Macros
How to Enable SFTP Without Shell Access on Ubuntu
digitalocean.com·2h·
Discuss: Hacker News
🛡️CLI Security
JVM stack is about to be massively modernized
medium.com·14h·
Discuss: Hacker News
🔗Dependency Resolution
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·1d·
Discuss: Hacker News
λLambda Encodings
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Is GRPO Broken?
neelsomaniblog.com·7h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Running new applications on old glibc
lightofdawn.org·2d·
Discuss: Hacker News
🔗Static Linking
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
English - the hottest programming language of the future
dev.to·15h·
Discuss: DEV
🔄Language Evolution
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·1d·
Discuss: Hacker News
✨Effect Handlers
The Project That Made Me Choose C Again
hackernoon.com·2d
🔩Systems Programming
Why it took 4 years to get a lock files specification
snarky.ca·4h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
OSD600: Lab 5
dev.to·7h·
Discuss: DEV
❄️Nix Flakes
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🦀Rust Borrowing
resterm: terminal-first client for working HTTP, GraphQL, and gRPC
reddit.com·1d·
Discuss: r/golang
⚡gRPC