⚡ Fusion Laws

Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·12h·
Discuss: Lobsters, Hacker News, r/programming
📦Compression Algorithms
Why I think ECL shouldn’t make you update your cause prio
lesswrong.com·15h
🚂Error Propagation
TypeScript Flaws (2024)
intercaetera.com·3h·
Discuss: Hacker News
📋Template Compilers
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🧩Constraint Solvers
Is Odin Just a More Boring C?
dayvster.com·17h·
Discuss: Hacker News
🐹Go Internals
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·7h
🎯Symbolic Execution
Node.js Streams in Production
dev.to·21h·
Discuss: DEV
📋JSON Parsers
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·1d
🔒Rust Borrowing
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·1h·
Discuss: Hacker News
🔀SSA Construction
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔗Concatenative Theory
Nonlinearly Self-Interacting Extended Bodies Move as Test Bodies in Effective External Fields
journals.aps.org·4h
💫Effect Systems
Gabriele Bartolini: CNPG Recipe 22 - Leveraging the New Supply Chain and Image Catalogs
gabrielebartolini.it·18h
🗑️Stack Scanning GC
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·7h
⚡functional programming
Hayashi – Architecture Boundary Diagrams as Code
github.com·11h·
Discuss: Hacker News
🔧API Design
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
🎲 Collaborative Text Editing from Scratch in Lexical
mortenson.coffee·19h
📝Rope Editors
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
Discuss: Lobsters, Hacker News
⚡functional programming
What can go wrong when using database transactions?
mariadbfordevelopers.com·7h·
Discuss: DEV
🧠Memory Models
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·10h·
Discuss: DEV
🧠Semantic Parsing