⚡ Fusion Laws

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

Feeds to Scour
SubscribedAll
Scoured 77863 posts in 309.5 ms
Unification of Deterministic Higher-Order Patterns
arxiv.org·1d
🔗Unification Algorithms
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·10h
🔗Memory Linearization
Preview
Report Post
Checked exceptions and lambdas
dev.to·36m·
Discuss: DEV
🛡️Error Handling
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·1d·
Discuss: r/rust
🪆Embedded DSLs
Preview
Report Post
TypeScript levels up with type stripping
infoworld.com·38m
🌈Gradual Languages
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
✨Gleam
Preview
Report Post
Kolmogorov Complexity
en.wikipedia.org·21h·
Discuss: Hacker News
λLambda Calculus
Preview
Report Post
CAP Theorem Explained: Beyond the "Pick Two" Myth
blog.ahmazin.dev·3h·
Discuss: Hacker News
πPi Calculus
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·17h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·17h·
Discuss: Hacker News
🔄Bootstrapping
Preview
Report Post
Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward L\"owenheim-Skolem Theorem
arxiv.org·1d
📜Proof Languages
Preview
Report Post
Engage Prometheus in the Rust Ecosystem: A PromCon 2025 Talk Recap
blog.devops.dev·51m
⚙️TOML Parsers
Preview
Report Post
dolthub/dolt v1.81.0
github.com·1d
⚙️Configuration Parsing
Preview
Report Post
Postmortem on TreeTracker Join: Simple, Optimal, Fast
zhu45.org·2d·
Discuss: Hacker News
🌳Tree Algorithms
Preview
Report Post
Human-Aligned Decision Transformers for planetary geology survey missions with zero-trust governance guarantees
dev.to·12h·
Discuss: DEV
🚂Error Propagation
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·1d·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
Free papers, get your free papers here!
esat.kuleuven.be·14h
🔗Hash Functions
Preview
Report Post
Variation on Iota
toolofthought.com·3d·
Discuss: Hacker News
🔢Bit Manipulation
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·17h·
Discuss: Hacker News
🔒Rust Borrowing
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
✅Configuration Validation
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help