λ Lambda Encodings - matmat · Scour

Let Lambda Come Over

yamlscript.org·13h

⬆️Lambda Lifting

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🐚Shell Monads

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·2h

🦀Rust Macros

Build a Compiler in Five Projects

kmicinski.com·8h

Polynomial-Time Solutions for Longest Common Subsequence Related Problems Between a Sequence and a Pangenome Graph

arxiv.org·1d

🕸️Graph Algorithms

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·1d·

Discuss: r/golang

🔍RegEx Engines

The Secret Life of Python: The Silent Type (Type Casting)

dev.to·2d·

Discuss: DEV

🔤Type Theory

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

en.wikipedia.org·1d·

Discuss: Hacker News

🧮Algebraic Datatypes

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·16h

🏗️Compiler Archaeology

Flexible and Economical UTF-8 Decoder

bjoern.hoehrmann.de·5h

🔤Character Encoding

I Write Games in C (yes, C)

jonathanwhiting.com·46m·

Discuss: Hacker News

🔩Systems Programming

en.wikipedia.org·5d·

Discuss: Lobsters

λLambda Formalization

erlang.org·1d·

Discuss: Hacker News

🦀Rusty Databases

Python’s Truthiness: A Code Smell Worth Sniffing

owl.billpg.com·1d·

Discuss: Hacker News

🧪Binary Fuzzing

Claude Code is the Inflection Point

developers.slashdot.org·6h

🔢Coding Theory

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🧠Separation Logic

Private Data Space Model

privatedata.space·2d

✅Format Verification

C and C++ dependencies, don't dream it, be it!

nibblestew.blogspot.com·48m·

Discuss: nibblestew.blogspot.com

🔗Dependency Resolution

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·1d·

Discuss: Hacker News

🔗Functional Compilers

Loading more...