🐚 Bash Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

Pleasant Imperative Program Proofs with GallinaC
arxiv.org·11h
⚔️Lean Tactics
Show HN: Universal single-letter project commands to speed up your CLI workflow
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Compiling with Continuations
swatson555.github.io·11h·
Discuss: Hacker News
💻Programming languages
System Instruction Fixed Point
funcall.blogspot.com·20h·
Discuss: www.blogger.com
⚡Proof Automation
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·22h
🔀Category Theory
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·1d
🦀Rust Verification
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·4h·
Discuss: Hacker News
📦Container Security
How to implement the Outbox pattern in Go and Postgres
medium.com·1d·
Discuss: Lobsters
🔐CBOR
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·11h·
Discuss: r/programming
📏Code Metrics
A better future for JavaScript that won’t happen
jmason.ie·4h
🔄Language Evolution
The Ternary Manifesto
homepage.cs.uiowa.edu·5h
📝Concrete Syntax
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
📝Concrete Syntax
Concurrent Linguistic Error Detection (CLED): a New Methodology for Error Detection in Large Language Models
arxiv.org·11h
🔍Z3 Parsing
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
What Makes System Calls Expensive: A Linux Internals Deep Dive
blog.codingconfessions.com·21h·
Discuss: Hacker News
🔩Systems Programming
HTB Planning Machine Walkthrough | Easy HackTheBox Guide for Beginners
infosecwriteups.com·1d
🛡️CLI Security
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
Kubernetes Security can be Fun?
whitneylee.com·3h·
Discuss: Hacker News
📦Container Security
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·2d
🔗Topological Sorting
WebSocket Turbo Intruder: Unearthing the WebSocket Goldmine
portswigger.net·3h
🧪Protocol Fuzzing