⚡ Fusion Laws

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

Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·7h·
Discuss: Lobsters, Hacker News
📦Compression Algorithms
Why I think ECL shouldn’t make you update your cause prio
lesswrong.com·10h
🚂Error Propagation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·21h
🔒Rust Borrowing
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·19h
🧩Constraint Solvers
Node.js Streams in Production
dev.to·16h·
Discuss: DEV
📋JSON Parsers
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·3h
🎯Symbolic Execution
Is Odin Just a More Boring C?
dayvster.com·12h·
Discuss: Hacker News
🐹Go Internals
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·3h
⚡functional programming
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Nonlinearly Self-Interacting Extended Bodies Move as Test Bodies in Effective External Fields
journals.aps.org·28m
💫Effect Systems
Gabriele Bartolini: CNPG Recipe 22 - Leveraging the New Supply Chain and Image Catalogs
gabrielebartolini.it·13h
🗑️Stack Scanning GC
Hayashi – Architecture Boundary Diagrams as Code
github.com·7h·
Discuss: Hacker News
🔧API Design
🎲 Collaborative Text Editing from Scratch in Lexical
mortenson.coffee·15h
📝Rope Editors
What can go wrong when using database transactions?
mariadbfordevelopers.com·2h·
Discuss: DEV
🧠Memory Models
**Hyperdimensional Semantic Graph Fusion for Enhanced Knowledge Extraction & Reasoning**
dev.to·5h·
Discuss: DEV
🧠Semantic Parsing
News for September 2025
ptreview.sublinear.info·2d
🎲Property Testing
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·16h
🚪Function Prologues
Show HN: TinqerJS – LINQ Inspired ORM for TypeScript Supporting Postgres, SQLite
tinqerjs.org·8h·
Discuss: Lobsters, Hacker News, r/javascript
🗃️Query Compilation