◎
·9 min read
From Regex to Automata to Generators
How regular expressions compile to deterministic finite automata — with an interactive visualizer, a DFA-powered string generator, and a note on closing the loop with property-based testing.
Tag
#algorithms
7 posts tagged with this.
◈
·11 min read
Fuzzy Search: Typos, Tries, and the Algorithms Behind Instant Results
A deep dive into how fuzzy search works — from edit distance and tries to stemming, BK-trees, and how Lucene/Elasticsearch find typo-tolerant matches at scale.
#
·8 min read
Perfect Hash Functions: Collision-Free by Design
A deep dive into perfect hash functions — what they are, why they matter, how to find one efficiently with parallel search, and how they compare to JavaScript's built-in Map.
◆
·2 min read
Binary Search — Every Variant
The three forms of binary search you need to know: exact match, leftmost insertion point, and rightmost insertion point.
◆
·1 min read
Networker
A pipe-rotation puzzle game inspired by graph theory. Connect all sources to all sinks by rotating pipe segments. Puzzles are procedurally generated using an algorithm similar to maze generation.
◆
·6 min read
Buckaroo: Conflict-Driven Dependency Resolution for C++
How Buckaroo's dependency resolver borrows ideas from SAT solvers — using conflict-driven clause learning to prune the search space and resolve C++ packages blazingly fast.
◆
·4 min read
Buckaroo
A decentralised package manager for Buck and Bazel projects, written in F# and winner of the 2019 F# open-source challenge, that resolves dependencies directly from source control using conflict-driven clause learning.
All tags
#c++18#interactive13#visualization9#algorithms7#math6#functional-programming6#performance5#build-tools5#game5#mobile5#react-native5#javascript4#frontend4#typescript4#package-management4#header-only4#optimization3#case-study3#coroutines3#lazy-evaluation3#ptrace3#expo3#finance2#simulation2#webgl2#machine-learning2#llm2#react2#data-structures2#search2#python2#monorepo2#architecture2#ci-cd2#devops2#buckaroo2#sat2#type-erasure2#memory-management2#smart-pointers2#error-handling2#terminal2#ansi2#buck2#bazel2#linux2#sandbox2#systems2#symbolic-computation1#computer-science1#gpu1#graphics1#webgpu1#probability1#paradox1#statistics1#templates1#music1#acoustics1#algebra1#cellular-automata1#complexity1#nlp1#evaluation1#solidjs1#reactivity1#automata1#testing1#compiler1#distributed-systems1#consensus1#raft1#signal-processing1#nx1#micro-frontends1#docker1#teamcity1#web1#dependency-resolution1#redux1#rxjs1#refactoring1#code-analysis1#git1#version-control1#benchmarking1#library1#concurrency1#value-semantics1#type-safety1#cli1#feature-flags1#dx1#next.js1#mdx1#ai1#developer-tools1#agents1#orchestration1#mcp1#cognitive1#neuroscience1#physics1#bullet-hell1#mathematics1#linear-algebra1#hypervisor1#kvm1#graph-theory1#tracing1#static-analysis1#fsharp1#cpp1#reactive1