⚡ Fusion Laws - abnv · Scour

G\"odel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication

arxiv.org·23h

🔬Hindley-Milner

Compose Stability and Recomposition Optimization — @Stable/@Immutable/skippable

dev.to·1d·

Discuss: DEV

🌈Gradual Languages

Completing the formal proof of higher-dimensional sphere packing

math.inc·9h·

Discuss: Hacker News

🧮Combinator Calculus

Provably Unlearnable Data Examples

papers.cool·1d

🔍Lens Libraries

The 185-Microsecond Type Hint

blog.sturdystatistics.com·6h·

Discuss: Lobsters, Hacker News, r/programming

⚡Interpreter Optimization

Show HN: Turn – A compiled systems language for agentic computation

news.ycombinator.com·12h·

Discuss: Hacker News

Structured Outputs for LLMs

ternarysearch.blogspot.com·21h·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·16h

⚡Partial Evaluation

Variants of Merge-Width and Applications

arxiv.org·23h

🌲Deforestation

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)

yellowduck.be·1d

🌳Tree Shaking

math.columbia.edu·12h

🔗Category Theory

Fault-tolerant resolving power domination of fractal cubic network

sciencedirect.com·1d

⏭️Skip Lists

Pareto Principles Fail for Infinite Worlds

avramhiller.substack.com·12h·

Discuss: Substack

♾️Codata Types

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

Vibecoding Challenge 2: The Five Feathers (Spring 2026)

gist.github.com·13h·

Discuss: Lobsters, Hacker News

🌱Tiny Languages

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·6h·

Discuss: Hacker News

🤐Zipper Structures

Efficient and Portable Mixture-of-Experts Communication

research.perplexity.ai·7h

📋JSON Parsing

SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance

cekrem.github.io·1d·

Discuss: Hacker News, r/programming

🚀Hindley-Milner+

How do you handle domain-specific transformation logic without hardcoding it?

news.ycombinator.com·16h·

Discuss: Hacker News

🎨Domain-Specific Languages

Loading more...