🐚 Shell Monads

Functional Shell, Pipeline Composition, Error Handling, Shell Abstractions

AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·1d·
Discuss: Hacker News
📼Cassette Combinators
It’s a JAX, JAX, JAX, JAX World
statmodeling.stat.columbia.edu·1d·
Discuss: Hacker News
⬆️Lambda Lifting
Restoring Reliability in the AI-Aided Software Development Life Cycle
cacm.acm.org·1d
📏Code Metrics
Big Ball of Mud: What You Need to Know About the Antipattern, How to Avoid It, and More
hackernoon.com·2d
🧩WASM Components
Kubernetes Orchestration is More Than a Bag of YAML
yokecd.github.io·2d·
Discuss: r/golang, r/programming
🌊Streaming Systems
Bram Cohen: How Claude Web Is Broken
bramcohen.com·6h·
Discuss: Hacker News
🧮Z3 Solver
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1h·
Discuss: Hacker News
🎯Interactive Provers
About Making Shit Up as a Service
msuaas.com·1d·
Discuss: Hacker News
🔒WASM Capabilities
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·4h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Title: Unleashing the Power of Functools: Static Decorators in Action
dev.to·2d·
Discuss: DEV
⬆️Lambda Lifting
Fun with HyperLogLog and SIMD
vaktibabat.github.io·12h·
Discuss: Hacker News, r/rust
📊HyperLogLog
Blogpost: A Mental Model for GPU Engineering for LLMs
modelcraft.substack.com·12h·
Discuss: Substack
🔩Systems Programming
Sguaba: Type-safe spatial math in Rust
youtube.com·5d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Python feels sucky to use now
kix.dev·14h·
Discuss: Hacker News
🎯Gradual Typing
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·4h·
Discuss: Hacker News
⚡Incremental Computation
Stochastic Activations
gonzoml.substack.com·1h·
Discuss: Substack
📊Quantization
Show HN: AutoRules AI – Check all files against a list of questions
markwylde.com·5h·
Discuss: Hacker News
⚡Proof Automation
Why Developer Experience Is More Than Just Better Tooling
blog.pragmaticdx.com·8h·
Discuss: Hacker News
❄️Nix Adoption
Microformats – building blocks for data-rich web pages
microformats.org·9h·
Discuss: Hacker News
📝Concrete Syntax
Evaluating Coding Agents with Terminal-Bench 2.0
snorkel.ai·21h·
Discuss: Hacker News
🖥️Terminal Renaissance