🔗 Unification - abnv · Scour

Build a Compiler in Five Projects

kmicinski.com·1d

🎭Racket Modules

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·19h

📊Pratt Parsers

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·2d·

Discuss: r/golang

🔤Regex Engines

Revisiting Regular Types

abseil.io·15h

🚀Hindley-Milner+

Intersection of Two Linked Lists

dev.to·1d·

Discuss: DEV

⏭️Skip Lists

Let Lambda Come Over

yamlscript.org·1d

λLambda Calculus

Oatmeal - Constraint propagation for fun

eli.li·10h

🧩Constraint Solvers

isledb: An embedded key-value engine built on object storage in Go

reddit.com·2h·

Discuss: r/golang

🐹Go Internals

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)

arxiv.org·5d

🔗Unification Algorithms

An Introduction to XML Data Binding in C++

artima.com·15h

📋Template Compilers

Rob Pike's Simple Regular Expressions

bruceediger.com·11h

🔤Regex Engines

My take on transforming data

dev.to·12h·

Discuss: DEV

📋Souffle Datalog

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·2d·

Discuss: Hacker News

🌳Tree Walking

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·2d·

Discuss: Hacker News

🌊Reactive Languages

Differential Logic • 4

inquiryintoinquiry.com·26m

∫Mathematical DSLs

feldera/feldera: The Feldera Incremental Computation Engine

github.com·1d

🚂Cranelift IR

First Proof | Research-Level Math for AI Evaluation

1stproof.org·2d·

Discuss: Hacker News

🧩Constraint Solvers

Rebuilding the spellchecker

zverok.space·18h

⚡Tokenizer Benchmarks

Level up your C++ with Packt books

meetingcpp.com·15h

Loading more...