🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Encodings

Church Numerals, SKI Combinators, Functional Programming, Type Theory

Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·7h·
Discuss: DEV
🧬Functional Programming
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·13h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Superimposed codes
blog.sesse.net·11m
💾Binary codes
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
higher: Your favourite Haskell type classes for Rust (2023)
github.com·21h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Typst Examples Book
sitandr.github.io·1d
📝Concrete Syntax
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Experiments with DNA Compression and Generating Complimentary Base Pairs
arianfarid.me·2d
🧬Palindrome Codes
Discover C++26’s compile-time reflection
lemire.me·10h·
Discuss: Hacker News
🦀Rust Macros
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·19h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Stuck Between 24 Rocks and an NP-Hard Place
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
⚔️Lean Tactics
From Object-Oriented to Functional Programming. A Fractal Metamorphisis.
dev.to·2d·
Discuss: DEV
🧬Functional Programming
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔤Type Theory
Struggling with lambda functions? Learn them in 3 easy steps.
dev.to·16h·
Discuss: DEV
λLambda Formalization
Loading...Loading more...
AboutBlogChangelogRoadmap