Latest Posts

The Prompt Foreman(www.dbreunig.com)
2025-07-07
Inverse Triangle Inequality(matklad.github.io)
2025-07-07
Cat Facts Cause Context Confusion(www.dbreunig.com)
2025-07-05
Parasites Found(mmapped.blog)
2025-07-01
Want to meet people, try charging them for it?(notes.eatonphil.com)
2025-06-28
How to Fix Your Context(www.dbreunig.com)
2025-06-26
Prompts vs. Context(www.dbreunig.com)
2025-06-26
RSS Server Side Reader(matklad.github.io)
2025-06-26
How Long Contexts Fail(www.dbreunig.com)
2025-06-22
Debugging memory leaks in Postgres, jemalloc edition(notes.eatonphil.com)
2025-06-21
An Agentic Case Study: Playing Pokémon with Gemini(www.dbreunig.com)
2025-06-17
The Drawbridges Go Up(www.dbreunig.com)
2025-06-16
Let the Model Write the Prompt(www.dbreunig.com)
2025-06-11
Claude’s System Prompt Changes Reveal Anthropic’s Priorities(www.dbreunig.com)
2025-06-03
Box combinators(mmapped.blog)
2025-06-01
Using ‘Slop Forensics’ to Determine Model Ancestry(www.dbreunig.com)
2025-05-30
A Small Model Just for Structured Output(www.dbreunig.com)
2025-05-30
Will the Model Eat Your Stack?(www.dbreunig.com)
2025-05-27
Cheerleading(notes.eatonphil.com)
2025-05-26
When Test Coverage Isn't Enough(jezenthomas.com)
2025-05-23
Debugging memory leaks in Postgres, heaptrack edition(notes.eatonphil.com)
2025-05-22
ChatGPT Heard About Eagles Fans(www.dbreunig.com)
2025-05-21
Don't Skip HTML Validation(jezenthomas.com)
2025-05-20
Open Source Can't Coordinate(matklad.github.io)
2025-05-20
Profiling Challenge Results(matklad.github.io)
2025-05-19
StackOverflow’s LLM-Accelerated Decline(www.dbreunig.com)
2025-05-16
Scalar Select Anti-Pattern(matklad.github.io)
2025-05-14
Leibniz's Dream and Dijkstra's nightmare(www.jeremykun.com)
2025-05-13
My Graduate Career in Math(www.jeremykun.com)
2025-05-12
Claude’s System Prompt: Chatbots Are More Than Just Models(www.dbreunig.com)
2025-05-07
You Got Commands in My Prompt!(www.dbreunig.com)
2025-05-06
Performance Profile Visualization Challenge(matklad.github.io)
2025-05-06
DuckDB is Probably the Most Important Geospatial Software of the Last Decade(www.dbreunig.com)
2025-05-03
Three degrees of validity(mmapped.blog)
2025-04-26
Burn your title(notes.eatonphil.com)
2025-04-22
Against Horizontal Scroll(matklad.github.io)
2025-04-22
A Fun Zig Program(matklad.github.io)
2025-04-21
Transactions are a protocol(notes.eatonphil.com)
2025-04-20
The Wisdom of Artificial Crowds(www.dbreunig.com)
2025-04-19
Things Zig comptime Won't Do(matklad.github.io)
2025-04-19
Test Spies in Haskell(jezenthomas.com)
2025-04-18
HEIR talk at FHE.org(www.jeremykun.com)
2025-04-15
Underusing Snapshot Testing(matklad.github.io)
2025-04-15
3000 days of Duolingo(mmapped.blog)
2025-04-14
What We Mean When We Say “Think”(www.dbreunig.com)
2025-04-11
The Dynamic Between Domain Experts & Developers Has Shifted(www.dbreunig.com)
2025-04-10
Does Baby Have Hat(www.jeremykun.com)
2025-04-01
Static types are for perfectionists(mmapped.blog)
2025-04-01
Things that go wrong with disk IO(notes.eatonphil.com)
2025-03-27
Phil Eaton on Technical Blogging(notes.eatonphil.com)
2025-03-25
A 10x Speedup in GHCi(jezenthomas.com)
2025-03-07
"As Code"(mitchellh.com)
2025-03-04
Minimal downtime Postgres major version upgrades with EDB Postgres Distributed(notes.eatonphil.com)
2025-02-28
My 4-year-old declares 36 the best number(www.jeremykun.com)
2025-02-23
HTTP Verbs in Yesod Forms(jezenthomas.com)
2025-02-22
ONNX introduction(mmapped.blog)
2025-02-17
From web developer to database developer in 10 years(notes.eatonphil.com)
2025-02-15
Anyone know of an approachable proof of the Caratheodory-Fejer theorem?(www.jeremykun.com)
2025-02-10
Explainable Linear Programs(www.jeremykun.com)
2025-02-07
Welcoming Ghostty Subsystem Maintainers(mitchellh.com)
2025-02-07
My Technological Regrets(jezenthomas.com)
2025-01-30
Edit for clarity(notes.eatonphil.com)
2025-01-29
An explosion of transitive dependencies(notes.eatonphil.com)
2025-01-25
Embedding Python in Rust (for tests)(notes.eatonphil.com)
2025-01-22
Supercede's House Style for Haskell(jezenthomas.com)
2025-01-20
2024 retrospective(mmapped.blog)
2025-01-20
Logical replication in Postgres: Basics(notes.eatonphil.com)
2025-01-17
I'll be at the JMM(www.jeremykun.com)
2025-01-08
2024 in Retrospect(jezenthomas.com)
2025-01-07
Epiphanies from Tape Measures(www.jeremykun.com)
2025-01-04
Fully Homomorphic Encryption and the Public(www.jeremykun.com)
2025-01-03
Advent of Code 2024(mmapped.blog)
2025-01-02
How I run a coffee club(notes.eatonphil.com)
2024-12-31
Ghostty: Reflecting on Reaching 1.0(mitchellh.com)
2024-12-26
Picking up volleyball in NYC with Goodrec and New York Urban(notes.eatonphil.com)
2024-12-26
Square joy: tile crush(mmapped.blog)
2024-12-16
1 million page views(notes.eatonphil.com)
2024-11-28
Transposing tensor files(mmapped.blog)
2024-11-22
The last few months in HEIR(www.jeremykun.com)
2024-11-15
Attention spans for math and stories(www.jeremykun.com)
2024-11-15
I Feel Unsafe(jezenthomas.com)
2024-11-15
Exploring Postgres's arena allocator by writing an HTTP server from scratch(notes.eatonphil.com)
2024-11-06
Effective unemployment and social media(notes.eatonphil.com)
2024-11-05
Carnival of Mathematics #233(www.jeremykun.com)
2024-11-01
How This Blog Does IndieWeb(www.jeremykun.com)
2024-10-31
Checking linearizability in Go(notes.eatonphil.com)
2024-10-31
Programming avant-garde(mmapped.blog)
2024-10-31
Ghostty 1.0 is Coming(mitchellh.com)
2024-10-22
LWE Attack Benchmarking Project(www.jeremykun.com)
2024-10-15
Intuitions for Distributed Consensus by Phil Eaton(notes.eatonphil.com)
2024-10-08
Pledging $300,000 to the Zig Software Foundation(mitchellh.com)
2024-10-01
Build a serverless ACID database with this one neat trick (atomic PutIfAbsent)(notes.eatonphil.com)
2024-09-29
Tagged Union Subsets with Comptime in Zig(mitchellh.com)
2024-09-23
Be someone who does things(notes.eatonphil.com)
2024-09-23
Effective design docs(mmapped.blog)
2024-09-15
Dynamic Programming Fail(www.jeremykun.com)
2024-09-12
Conditionally Disabling Code with Comptime in Zig(mitchellh.com)
2024-09-12
Packing Matrix-Vector Multiplication in Fully Homomorphic Encryption(www.jeremykun.com)
2024-09-07
Shift Networks(www.jeremykun.com)
2024-09-02
Obsession(notes.eatonphil.com)
2024-08-24
What's the big deal about Deterministic Simulation Testing?(notes.eatonphil.com)
2024-08-20
Transaction models are programming paradigms(mmapped.blog)
2024-08-16
Webmentions and POSSE improvements(www.jeremykun.com)
2024-08-07
MLIR — Defining Patterns with PDLL(www.jeremykun.com)
2024-08-04
Polynomial dialect and mlir-opt tutorial upstreamed(www.jeremykun.com)
2024-08-02
Fully Homomorphic Encryption in Production Systems(www.jeremykun.com)
2024-07-31
Delightful, production-grade replication for Postgres(notes.eatonphil.com)
2024-07-30
Ben Recht on Meehl's Philosophical Psychology(www.jeremykun.com)
2024-07-27
Is it c? Or is it с?(jezenthomas.com)
2024-07-16
A reawakening of systems programming meetups(notes.eatonphil.com)
2024-07-07
A write-ahead log is not a universal part of durability(notes.eatonphil.com)
2024-07-01
Detecting field names with C++ metaprogramming(www.jeremykun.com)
2024-06-25
Barycentric Lagrange Interpolation(www.jeremykun.com)
2024-06-21
The plan-execute pattern(mmapped.blog)
2024-06-20
The limitations of LLMs, or why are we doing RAG?(notes.eatonphil.com)
2024-06-17
Confusion is a muse(notes.eatonphil.com)
2024-06-14
Random life updates(www.jeremykun.com)
2024-06-06
Zig's New CLI Progress Bar Explained(andrewkelley.me)
2024-05-30
How I run a software book club(notes.eatonphil.com)
2024-05-30
Enlightenmentware(mmapped.blog)
2024-05-20
Math databases(www.jeremykun.com)
2024-05-17
Implementing MVCC and major SQL transaction isolation levels(notes.eatonphil.com)
2024-05-16
Experiments with POSSE(www.jeremykun.com)
2024-05-13
Remez and function approximations(www.jeremykun.com)
2024-05-06
A High-Level Technical Overview of Fully Homomorphic Encryption(www.jeremykun.com)
2024-05-04
Extending HTTPS outcalls(mmapped.blog)
2024-04-29
What makes a great technical blog(notes.eatonphil.com)
2024-04-10
A paper reading club at work; databases and distributed systems research(notes.eatonphil.com)
2024-04-05
Joining Polar as an Advisor(mitchellh.com)
2024-04-04
Unusual Tips for Parenting Toddlers(www.jeremykun.com)
2024-04-01
Good names form Galois connections(mmapped.blog)
2024-04-01
Finding memory leaks in Postgres C code(notes.eatonphil.com)
2024-03-27
Redis Renamed to Redict(andrewkelley.me)
2024-03-22
Zig, Rust, and other languages(notes.eatonphil.com)
2024-03-15
First month on a database team(notes.eatonphil.com)
2024-03-11
Tabletop Games Based on Math Problems(www.jeremykun.com)
2024-03-09
Universal domain types(mmapped.blog)
2024-02-26
Ghostty Devlog 006(mitchellh.com)
2024-02-12
An intuition for distributed consensus in OLTP systems(notes.eatonphil.com)
2024-02-08
Why We Can't Have Nice Software(andrewkelley.me)
2024-02-04
The off-chain reporting protocol(mmapped.blog)
2024-01-30
Writing a minimal in-memory storage engine for MySQL/MariaDB(notes.eatonphil.com)
2024-01-09
Make your own way(notes.eatonphil.com)
2023-12-27
Ghostty Devlog 005(mitchellh.com)
2023-12-06
The numeric tower fiasco(mmapped.blog)
2023-11-22
Exploring a Postgres query plan(notes.eatonphil.com)
2023-11-19
MLIR — A Global Optimization and Dataflow Analysis(www.jeremykun.com)
2023-11-15
MLIR — Lowering through LLVM(www.jeremykun.com)
2023-11-01
Writing a storage engine for Postgres: an in-memory Table Access Method(notes.eatonphil.com)
2023-11-01
MLIR — Dialect Conversion(www.jeremykun.com)
2023-10-23
io_uring basics: Writing a file to disk(notes.eatonphil.com)
2023-10-19
The Techno-Optimist Manifesto(andrewkelley.me)
2023-10-17
Socks, a matching game based on an additive combinatorics problem(www.jeremykun.com)
2023-10-14
Go database driver overhead on insert-heavy workloads(notes.eatonphil.com)
2023-10-05
Grapheme Clusters and Terminal Emulators(mitchellh.com)
2023-10-02
Intercepting and modifying Linux system calls with ptrace(notes.eatonphil.com)
2023-10-01
Reorient GitHub Pull Requests Around Changesets(mitchellh.com)
2023-09-30
Ghostty Devlog 004(mitchellh.com)
2023-09-28
How do databases execute expressions?(notes.eatonphil.com)
2023-09-21
MLIR — Canonicalizers and Declarative Rewrite Patterns(www.jeremykun.com)
2023-09-20
Encoding Schemes in FHE(www.jeremykun.com)
2023-09-18
MLIR — Verifiers(www.jeremykun.com)
2023-09-13
Talk: Introducing Ghostty and Some Useful Zig Patterns(mitchellh.com)
2023-09-12
MLIR — Folders and Constant Propagation(www.jeremykun.com)
2023-09-11
MLIR — Using Traits(www.jeremykun.com)
2023-09-07
Computing Percentages Easier(www.jeremykun.com)
2023-09-05
Eight years of organizing tech meetups(notes.eatonphil.com)
2023-09-04
Ghostty Devlog 003(mitchellh.com)
2023-08-24
So Long, Twitter and Reddit(andrewkelley.me)
2023-08-23
MLIR — Defining a New Dialect(www.jeremykun.com)
2023-08-21
Thinking about functional programming(notes.eatonphil.com)
2023-08-15
Flat in-order binary trees(mmapped.blog)
2023-08-13
MLIR — Using Tablegen for Passes(www.jeremykun.com)
2023-08-10
MLIR — Writing Our First Pass(www.jeremykun.com)
2023-08-10
MLIR — Running and Testing a Lowering(www.jeremykun.com)
2023-08-10
MLIR — Getting Started(www.jeremykun.com)
2023-08-10
Google's Recent FHE work, and starting HEIR(www.jeremykun.com)
2023-08-10
Ghostty Devlog 002(mitchellh.com)
2023-08-05
Ghostty Devlog 001(mitchellh.com)
2023-07-13
We put a distributed database in the browser – and made a game of it(notes.eatonphil.com)
2023-07-11
Two's Complement and Group Theory(www.jeremykun.com)
2023-07-10
Mach’s principle(mmapped.blog)
2023-07-02
Metaprogramming in Zig and parsing CSS(notes.eatonphil.com)
2023-06-19
Candid for engineers(mmapped.blog)
2023-06-14
My Approach to Building Large Technical Projects(mitchellh.com)
2023-06-01
Integrating Zig and SwiftUI(mitchellh.com)
2023-05-27
Implementing the Raft distributed consensus protocol in Go(notes.eatonphil.com)
2023-05-25
Two books I recommend to developers(notes.eatonphil.com)
2023-05-16
My favorite software subreddits(notes.eatonphil.com)
2023-05-16
ckBTC internals: event log(mmapped.blog)
2023-05-01
Prompt Engineering is for Transactional Prompting(mitchellh.com)
2023-04-24
Using Nix with Dockerfiles(mitchellh.com)
2023-04-23
Prompt Engineering vs. Blind Prompting(mitchellh.com)
2023-04-14
Growth of AI Through a Cloud Lens(mitchellh.com)
2023-04-04
We're Knot Friends(www.jeremykun.com)
2023-04-01
If composers were hackers(mmapped.blog)
2023-04-01
Errors and Zig(notes.eatonphil.com)
2023-03-21
Scaling Rust builds with Bazel(mmapped.blog)
2023-03-20
My Startup Banking Story(mitchellh.com)
2023-03-14
Sample Extraction from RLWE to LWE(www.jeremykun.com)
2023-02-27
Book summary: Building a Second Brain(mmapped.blog)
2023-02-25
Notes from Neal Gabler's Walt Disney(notes.eatonphil.com)
2023-02-18
When Rust hurts(mmapped.blog)
2023-02-14
Google's Fully Homomorphic Encryption Compiler — A Primer(www.jeremykun.com)
2023-02-13
Lessons learned streaming building a Scheme-like interpreter in Go(notes.eatonphil.com)
2023-01-30
An effective product manager(notes.eatonphil.com)
2023-01-23
Tutorial: stable-structures(mmapped.blog)
2023-01-20
The year in books: 2022(notes.eatonphil.com)
2023-01-12
Favorite compiler and interpreter resources(notes.eatonphil.com)
2023-01-05
General book recommendations(notes.eatonphil.com)
2023-01-04
In response to a frontend developer asking about database development(notes.eatonphil.com)
2023-01-01
Estimating the Security of Ring Learning with Errors (RLWE)(www.jeremykun.com)
2022-12-28
IC internals: the ICP ledger(mmapped.blog)
2022-12-19
Negacyclic Polynomial Multiplication(www.jeremykun.com)
2022-12-09
Is it worth writing about?(notes.eatonphil.com)
2022-12-01
A Programmer-Friendly I/O Abstraction Over io_uring and kqueue(notes.eatonphil.com)
2022-11-23
Polynomial Multiplication Using the FFT(www.jeremykun.com)
2022-11-16
Designing error types in Rust(mmapped.blog)
2022-11-15
Writing a SQL database, take two: Zig and RocksDB(notes.eatonphil.com)
2022-11-13
A minimal RocksDB example with Zig(notes.eatonphil.com)
2022-10-30
A database without dynamic memory allocation(notes.eatonphil.com)
2022-10-12
IC internals: Internet Identity storage(mmapped.blog)
2022-10-12
Carnival of Mathematics #209(www.jeremykun.com)
2022-10-02
Fungible tokens: payment flows(mmapped.blog)
2022-09-21
A minimal distributed key-value database with Hashicorp's Raft library(notes.eatonphil.com)
2022-09-17
Key Switching in LWE(www.jeremykun.com)
2022-08-29
What's the big deal about key-value databases like FoundationDB and RocksDB?(notes.eatonphil.com)
2022-08-23
SQLite has pretty limited builtin functions(notes.eatonphil.com)
2022-08-21
Fungible tokens 101(mmapped.blog)
2022-08-05
Container scheduling strategies for integration testing 14 different databases in Github Actions(notes.eatonphil.com)
2022-07-25
Modulus Switching in LWE(www.jeremykun.com)
2022-07-16
Implementing a simple jq clone in Go, and basics of Go memory profiling(notes.eatonphil.com)
2022-07-10
IC internals: XNet protocol(mmapped.blog)
2022-07-01
One year as a solo dev building open-source data tools without funding(notes.eatonphil.com)
2022-06-10
Square joy: pre-order(mmapped.blog)
2022-06-05
Let's build a distributed Postgres proof of concept(notes.eatonphil.com)
2022-05-17
"Practical Math" Preview: Collect Sensitive Survey Responses Privately(www.jeremykun.com)
2022-05-14
SQLite in Go, with and without cgo(notes.eatonphil.com)
2022-05-12
IC internals: orthogonal persistence(mmapped.blog)
2022-04-27
HTML event handler attributes: down the rabbit hole(notes.eatonphil.com)
2022-04-26
Interview With Phil of DataStation(notes.eatonphil.com)
2022-04-17
Surveying SQL parser libraries in a few high-level languages(notes.eatonphil.com)
2022-04-11
Cocktails(www.jeremykun.com)
2022-04-01
Debug like Feynman, test like Faraday(mmapped.blog)
2022-04-01
Writing a document database from scratch in Go: Lucene-like filters and indexes(notes.eatonphil.com)
2022-03-28
Silent Duels—Constructing the Solution part 2(www.jeremykun.com)
2022-03-24
My next book will be "Practical Math for Programmers"(www.jeremykun.com)
2022-03-16
Contributing to Complex Projects(mitchellh.com)
2022-03-13
Speeding up Go's builtin JSON encoder up to 55% for large arrays of objects(notes.eatonphil.com)
2022-03-03
Zig Build System Internals(mitchellh.com)
2022-02-24
SMTP protocol basics from scratch in Go: receiving email from Gmail(notes.eatonphil.com)
2022-02-20
Square joy: trapped rainwater(mmapped.blog)
2022-02-15
Zig Sema: ZIR => AIR(mitchellh.com)
2022-02-13
Zig AstGen: AST => ZIR(mitchellh.com)
2022-02-12
Zig Parser(mitchellh.com)
2022-02-11
Zig Tokenizer(mitchellh.com)
2022-02-10
The world of PostgreSQL wire compatibility(notes.eatonphil.com)
2022-02-08
How to recommend books, or, stop recommending SICP(notes.eatonphil.com)
2022-01-31
Bootloader basics(notes.eatonphil.com)
2022-01-23
Rust at scale: packages, crates, and modules(mmapped.blog)
2022-01-20
dsq: Commandline tool for running SQL queries against JSON, CSV, Excel, Parquet, and more.(notes.eatonphil.com)
2022-01-11
Analyzing large JSON files via partial JSON parsing(notes.eatonphil.com)
2022-01-06
The year in books: 11 to recommend in 2021(notes.eatonphil.com)
2022-01-05
Writing a minimal Lua implementation with a virtual machine from scratch in Rust(notes.eatonphil.com)
2021-12-28
Running SQL Server in a container on Github Actions(notes.eatonphil.com)
2021-12-16
The Gadget Decomposition in FHE(www.jeremykun.com)
2021-12-11
A swarm of replicated state machines(mmapped.blog)
2021-12-01
Implementing zip archiving in Golang: unzipping(notes.eatonphil.com)
2021-11-23
Benchmarking esbuild, swc, tsc, and babel for React/JSX projects(notes.eatonphil.com)
2021-11-13
Building a fast SCSS-like rule expander for CSS using fuzzy parsing(notes.eatonphil.com)
2021-10-31
Exploring PL/pgSQL part two: implementing a Forth-like interpreter(notes.eatonphil.com)
2021-10-29
Effective Rust canisters(mmapped.blog)
2021-10-25
Exploring PL/pgSQL: Strings, arrays, recursion, and parsing JSON(notes.eatonphil.com)
2021-10-24
Experimenting with column- and row-oriented datastructures(notes.eatonphil.com)
2021-10-18
Group Actions and Hashing Unordered Multisets(www.jeremykun.com)
2021-10-14
Notes on running Electron(notes.eatonphil.com)
2021-10-13
Enumerating and analyzing 40+ non-V8 JavaScript implementations(notes.eatonphil.com)
2021-09-21
Carnival of Mathematics #197(www.jeremykun.com)
2021-09-01
Writing a simple JSON library from scratch: a tour through modern C++(notes.eatonphil.com)
2021-08-26
Parser generators vs. handwritten parsers: surveying major language implementations in 2021(notes.eatonphil.com)
2021-08-21
Practical? Common Lisp on the JVM: A quick intro to ABCL for modern web apps(notes.eatonphil.com)
2021-08-05
Writing an efficient object previewer for JavaScript(notes.eatonphil.com)
2021-07-15
React without webpack: fast path to a working app from scratch(notes.eatonphil.com)
2021-07-08
Controlled HTML select element in React has weird default UX(notes.eatonphil.com)
2021-06-25
Leaders, you need to share organization success stories more frequently(notes.eatonphil.com)
2021-06-22
Languages you can run in the browser, part 1: Python, JavaScript, SQLite(notes.eatonphil.com)
2021-06-17
Searching for RH Counterexamples — Exploring Data(www.jeremykun.com)
2021-06-14
Coolest hard-tech companies in NYC 2021(notes.eatonphil.com)
2021-06-04
Writing a Jinja-inspired template library in Python(notes.eatonphil.com)
2021-05-23
Learning a new codebase: hacking on nginx(notes.eatonphil.com)
2021-04-04
Regression and Linear Combinations(www.jeremykun.com)
2021-03-29
How to get better at recursion(notes.eatonphil.com)
2021-03-07
Searching for RH Counterexamples — Productionizing(www.jeremykun.com)
2021-03-06
Searching for RH Counterexamples — Scaling Up(www.jeremykun.com)
2021-02-16
Searching for RH Counterexamples — Performance Profiling(www.jeremykun.com)
2021-02-02
Extending gosql to supporting LIMIT and OFFSET(notes.eatonphil.com)
2021-01-23
Searching for RH Counterexamples — Deploying with Docker(www.jeremykun.com)
2021-01-04
The year in books: 20 to recommend in 2020(notes.eatonphil.com)
2020-12-27
Static analysis with semgrep: practical examples using Docker(notes.eatonphil.com)
2020-12-20
Emulating linux/AMD64 userland: interpreting an ELF binary(notes.eatonphil.com)
2020-11-26
The impact of management teams as a decision-making group, in startups and enterprise(notes.eatonphil.com)
2020-11-11
Standard ML in 2020(notes.eatonphil.com)
2020-10-25
Optimization Models for Subset Cover(www.jeremykun.com)
2020-10-20
Searching for RH Counterexamples — Unbounded Integers(www.jeremykun.com)
2020-10-13
Searching for RH Counterexamples — Search Strategies(www.jeremykun.com)
2020-09-28
Searching for RH Counterexamples — Adding a Database(www.jeremykun.com)
2020-09-11
Searching for RH Counterexamples — Setting up Pytest(www.jeremykun.com)
2020-09-11
The case for comments in code(notes.eatonphil.com)
2020-09-07
Writing a simple Python compiler: 1. hello, fibonacci(notes.eatonphil.com)
2020-08-16
Taylor Series and Accelerometers(www.jeremykun.com)
2020-07-26
A single-node Kubernetes cluster without virtualization or a container registry(notes.eatonphil.com)
2020-07-25
Generating a full-stack application from a database(notes.eatonphil.com)
2020-06-14
Generating a REST API from a database(notes.eatonphil.com)
2020-06-06
Contextual Symbols in Math(www.jeremykun.com)
2020-05-22
Musings on A New Interface for Mathematics(www.jeremykun.com)
2020-05-17
Second Edition of A Programmer's Introduction to Mathematics(www.jeremykun.com)
2020-05-17
RFCs and asynchronous-first culture(notes.eatonphil.com)
2020-05-16
Writing a SQL database from scratch in Go: 4. a database/sql driver(notes.eatonphil.com)
2020-05-10
Writing a SQL database from scratch in Go: 3. indexes(notes.eatonphil.com)
2020-05-01
Writing a SQL database from scratch in Go: 2. binary expressions and WHERE filters(notes.eatonphil.com)
2020-04-12
Studying foreign languages with inbox zero(notes.eatonphil.com)
2020-04-04
`zig cc`: a Powerful Drop-In Replacement for GCC/Clang(andrewkelley.me)
2020-03-24
Reviewing the Surface Book 2(notes.eatonphil.com)
2020-03-18
Writing a SQL database from scratch in Go: 1. SELECT, INSERT, CREATE and a REPL(notes.eatonphil.com)
2020-03-06
A minimal REST API in Java(notes.eatonphil.com)
2020-02-01
The Communicative Value of Using Git Well(www.jeremykun.com)
2020-01-14
Writing a lisp compiler from scratch in JavaScript: 6. an x86 upgrade(notes.eatonphil.com)
2019-12-08
A Good Year for "A Programmer's Introduction to Mathematics"(www.jeremykun.com)
2019-12-01
Confusion and disengagement in meetings(notes.eatonphil.com)
2019-11-30
Interpreting Go(notes.eatonphil.com)
2019-10-12
Administering Kubernetes is hard(notes.eatonphil.com)
2019-09-30
Unit testing C code with gtest(notes.eatonphil.com)
2019-08-31
Writing an x86 emulator from scratch in JavaScript: 2. system calls(notes.eatonphil.com)
2019-07-20
Silent Duels—Constructing the Solution part 1(www.jeremykun.com)
2019-06-30
Why I'm donating $150/month (10% of my income) to the musl libc project(andrewkelley.me)
2019-06-24
Writing a lisp compiler from scratch in JavaScript: 6. LLVM system calls(notes.eatonphil.com)
2019-06-22
Math Versus Dirty Data(www.jeremykun.com)
2019-06-08
Writing an x86 emulator from scratch in JavaScript: 1. a stack and register machine(notes.eatonphil.com)
2019-05-21
Tail call elimination(notes.eatonphil.com)
2019-05-14
Writing a lisp compiler from scratch in JavaScript: 4. LLVM conditionals and compiling fibonacci(notes.eatonphil.com)
2019-05-04
Responsibility and ownership(notes.eatonphil.com)
2019-04-30
A Working Mathematician's Guide to Parsing(www.jeremykun.com)
2019-04-20
Interpreting TypeScript(notes.eatonphil.com)
2019-04-14
Writing a web server from scratch: 1. HTTP and sockets(notes.eatonphil.com)
2019-04-06
Writing a simple JSON path parser(notes.eatonphil.com)
2019-03-27
Writing a lisp compiler from scratch in JavaScript: 3. LLVM(notes.eatonphil.com)
2019-03-10
AOT-compilation of Javascript with V8(notes.eatonphil.com)
2019-02-26
Silent Duels—Parsing the Construction(www.jeremykun.com)
2019-01-28
Windows(notes.eatonphil.com)
2019-01-20
Writing a lisp compiler from scratch in JavaScript: 2. user-defined functions and variables(notes.eatonphil.com)
2019-01-20
Silent Duels and an Old Paper of Restrepo(www.jeremykun.com)
2018-12-31
Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones Operating System(andrewkelley.me)
2018-12-04
A Programmer's Introduction to Mathematics(www.jeremykun.com)
2018-12-01
Writing a lisp compiler from scratch in JavaScript: 1. lisp to assembly(notes.eatonphil.com)
2018-11-20
On NYC, Tokyo and Seoul(notes.eatonphil.com)
2018-10-20
Why (and how) to read books(notes.eatonphil.com)
2018-09-26
String Matching based on Compile Time Perfect Hashing in Zig(andrewkelley.me)
2018-09-15
Compiling dynamic programming languages(notes.eatonphil.com)
2018-09-02
Hanabi: a card game for logicians(www.jeremykun.com)
2018-08-10
btest: a language agnostic test runner(notes.eatonphil.com)
2018-08-04
Visualizing an Assassin Puzzle(www.jeremykun.com)
2018-07-24
I Quit My Cushy Job at OkCupid to Live on Donations to Zig(andrewkelley.me)
2018-06-07
Writing to be read(notes.eatonphil.com)
2018-05-18
Writing a simple JSON parser(notes.eatonphil.com)
2018-05-06
Finishing up a FreeBSD experiment(notes.eatonphil.com)
2018-04-28
For mathematicians, = does not mean equality(www.jeremykun.com)
2018-04-13
A parlor trick for SET(www.jeremykun.com)
2018-03-25
Book Review: ANSI Common Lisp(notes.eatonphil.com)
2018-03-25
Earthmover Distance(www.jeremykun.com)
2018-03-05
Starting a minimal Common Lisp project(notes.eatonphil.com)
2018-03-05
Zig: January 2018 in Review(andrewkelley.me)
2018-02-11
Unsafe Zig is Safer Than Unsafe Rust(andrewkelley.me)
2018-01-24
Interview with the D Language Blog: BSDScheme(notes.eatonphil.com)
2018-01-20
First few hurdles writing a Scheme interpreter(notes.eatonphil.com)
2018-01-10
Zig: December 2017 in Review(andrewkelley.me)
2018-01-03
NP-hard does not mean hard(www.jeremykun.com)
2017-12-29
Binary Search on Graphs(www.jeremykun.com)
2017-11-08
Linear Programming and Healthy Diets — Part 2(www.jeremykun.com)
2017-09-24
Notes on Math and Gerrymandering(www.jeremykun.com)
2017-08-14
Boolean Logic in Polynomials(www.jeremykun.com)
2017-07-24
Mathematical Genealogy(www.jeremykun.com)
2017-06-22
Duality for the SVM(www.jeremykun.com)
2017-06-12
Formulating the Support Vector Machine Optimization Problem(www.jeremykun.com)
2017-06-05
The Inner Product as a Decision Rule(www.jeremykun.com)
2017-05-22
Testing Polynomial Equality(www.jeremykun.com)
2017-04-24
Bayesian Ranking for Rated Items(www.jeremykun.com)
2017-03-13
Deploying FreeBSD on Linode unattended in minutes(notes.eatonphil.com)
2017-03-11
The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm(www.jeremykun.com)
2017-02-27
A Better Way to Implement Bit Fields(andrewkelley.me)
2017-02-17
Zig: Already More Knowable Than C(andrewkelley.me)
2017-02-14
Zig Programming Language Blurs the Line Between Compile-Time and Run-Time(andrewkelley.me)
2017-01-30
Troubleshooting a Zig Regression with apitrace(andrewkelley.me)
2017-01-17
Walking through a basic Racket web service(notes.eatonphil.com)
2016-12-29
A Spectral Analysis of Moore Graphs(www.jeremykun.com)
2016-11-03
Voltage, Temperature, and Harmonic Functions(www.jeremykun.com)
2016-09-26
Guest post, "What's up with graph Laplacians?"(www.jeremykun.com)
2016-09-20
Zero-Knowledge: Definitions and Theory(www.jeremykun.com)
2016-09-19
Zero Knowledge Proofs for NP(www.jeremykun.com)
2016-08-01
The Blum-Blum-Shub Pseudorandom Generator(www.jeremykun.com)
2016-07-11
Zero Knowledge Proofs — A Primer(www.jeremykun.com)
2016-07-05
Singular Value Decomposition Part 2: Theorem, Proof, Algorithm(www.jeremykun.com)
2016-05-16
Singular Value Decomposition Part 1: Perspectives on Linear Algebra(www.jeremykun.com)
2016-04-18
Tensorphobia and the Outer Product(www.jeremykun.com)
2016-03-28
Introduction to the Zig Programming Language(andrewkelley.me)
2016-02-08
Big Dimensions, and What You Can Do About It(www.jeremykun.com)
2016-02-08
Concrete Examples of Quantum Gates(www.jeremykun.com)
2016-01-11
Hashing to Estimate the Size of a Stream(www.jeremykun.com)
2016-01-04
Load Balancing and the Power of Hashing(www.jeremykun.com)
2015-12-28
The Inequality(www.jeremykun.com)
2015-11-23
A Quasipolynomial Time Algorithm for Graph Isomorphism: The Details(www.jeremykun.com)
2015-11-12
Serial Dictatorships and House Allocation(www.jeremykun.com)
2015-10-26
One definition of algorithmic fairness: statistical parity(www.jeremykun.com)
2015-10-19
The Boosting Margin, or Why Boosting Doesn't Overfit(www.jeremykun.com)
2015-09-21
The Welch-Berlekamp Algorithm for Correcting Errors in Data(www.jeremykun.com)
2015-09-07
The Čech Complex and the Vietoris-Rips Complex(www.jeremykun.com)
2015-08-06
What does it mean for an algorithm to be fair?(www.jeremykun.com)
2015-07-13
Methods of Proof — Diagonalization(www.jeremykun.com)
2015-06-08
Weak Learning, Boosting, and the AdaBoost algorithm(www.jeremykun.com)
2015-05-18
The Many Faces of Set Cover(www.jeremykun.com)
2015-05-04
Markov Chain Monte Carlo Without all the Bullshit(www.jeremykun.com)
2015-04-06
The Codes of Solomon, Reed, and Muller(www.jeremykun.com)
2015-03-23
Finding the majority element of a stream(www.jeremykun.com)
2015-03-09
Hamming's Code(www.jeremykun.com)
2015-03-02
A Proofless Introduction to Information Theory(www.jeremykun.com)
2015-02-16
Zero-One Laws for Random Graphs(www.jeremykun.com)
2015-02-09
The Giant Component and Explosive Percolation(www.jeremykun.com)
2015-02-02
Multiple Qubits and the Quantum Circuit(www.jeremykun.com)
2015-01-26
The Quantum Bit(www.jeremykun.com)
2014-12-15
A Motivation for Quantum Computing(www.jeremykun.com)
2014-12-08
Linear Programming and the Simplex Algorithm(www.jeremykun.com)
2014-12-01
Learning a single-variable polynomial, or the power of adaptive queries(www.jeremykun.com)
2014-11-18
The Complexity of Communication(www.jeremykun.com)
2014-11-10
On the Computational Complexity of MapReduce(www.jeremykun.com)
2014-10-05
Making Hybrid Images(www.jeremykun.com)
2014-09-29
Occam's Razor and PAC-learning(www.jeremykun.com)
2014-09-19
A Rook Game(www.jeremykun.com)
2014-08-31
When Greedy Algorithms are Perfect: the Matroid(www.jeremykun.com)
2014-08-26
Parameterizing the Vertex Cover Problem(www.jeremykun.com)
2014-08-25
An Update on "Coloring Resilient Graphs"(www.jeremykun.com)
2014-07-14
When Greedy Algorithms are Good Enough: Submodularity and the (1—1/e)-Approximation(www.jeremykun.com)
2014-07-07
The Mathematics of Secret Sharing(www.jeremykun.com)
2014-06-23
Turn Your Raspberry Pi into a Music Player Server(andrewkelley.me)
2014-06-20
Laptop Review - Bonobo Extreme(andrewkelley.me)
2014-06-12
Linear Programming and Healthy Diets — Part 1(www.jeremykun.com)
2014-06-02
Learning to Love Complex Numbers(www.jeremykun.com)
2014-05-26
Community Detection in Graphs — a Casual Tour(www.jeremykun.com)
2014-05-19
My Quest to Build the Ultimate Music Player(andrewkelley.me)
2014-04-22
A problem that is not (properly) PAC-learnable(www.jeremykun.com)
2014-04-21
Sending and Authenticating Messages with Elliptic Curves(www.jeremykun.com)
2014-04-14
Stable Marriages and Designing Markets(www.jeremykun.com)
2014-04-02
Elliptic Curve Diffie-Hellman(www.jeremykun.com)
2014-03-31
Connecting Elliptic Curves with Finite Fields(www.jeremykun.com)
2014-03-19
Want to make a great puzzle game? Get inspired by theoretical computer science.(www.jeremykun.com)
2014-03-17
Programming with Finite Fields(www.jeremykun.com)
2014-03-13
Martingales and the Optional Stopping Theorem(www.jeremykun.com)
2014-03-03
(Finite) Fields — A Primer(www.jeremykun.com)
2014-02-26
Elliptic Curves as Python Objects(www.jeremykun.com)
2014-02-24
On Coloring Resilient Graphs(www.jeremykun.com)
2014-02-21
Elliptic Curves as Algebraic Structures(www.jeremykun.com)
2014-02-16
Simulating a Biased Coin with a Fair Coin(www.jeremykun.com)
2014-02-12
Elliptic Curves as Elementary Equations(www.jeremykun.com)
2014-02-10
Simulating a Fair Coin with a Biased Coin(www.jeremykun.com)
2014-02-08
Introducing Elliptic Curves(www.jeremykun.com)
2014-02-08
Fixing Bugs in "Computing Homology"(www.jeremykun.com)
2014-01-23
RealityMining, a Case Study in the Woes of Data Processing(www.jeremykun.com)
2014-01-21
How to Conquer Tensorphobia(www.jeremykun.com)
2014-01-17
Comparing Filesystem Performance in Virtual Machines(mitchellh.com)
2014-01-10
Probably Approximately Correct — a Formal Theory of Learning(www.jeremykun.com)
2014-01-02
The Two-Dimensional Fourier Transform and Digital Watermarking(www.jeremykun.com)
2013-12-30
Bandits and Stocks(www.jeremykun.com)
2013-12-09
Lagrangians for the Amnesiac(www.jeremykun.com)
2013-11-30
Adversarial Bandits and the Exp3 Algorithm(www.jeremykun.com)
2013-11-08
Optimism in the Face of Uncertainty: the UCB1 Algorithm(www.jeremykun.com)
2013-10-28
The Universal Properties of Map, Fold, and Filter(www.jeremykun.com)
2013-09-30
Anti-Coordination Games and Stable Graph Colorings(www.jeremykun.com)
2013-09-09
Do Not Use bodyParser with Express.js(andrewkelley.me)
2013-09-06
The Erdős-Rényi Random Graph(www.jeremykun.com)
2013-08-22
Linear Regression(www.jeremykun.com)
2013-08-18
JavaScript Callbacks are Pretty Okay(andrewkelley.me)
2013-08-17
I am not a "JavaScript Developer".(andrewkelley.me)
2013-08-14
7dRTS Game Reviews(andrewkelley.me)
2013-07-30
Cauchy-Schwarz Inequality (and Amplification)(www.jeremykun.com)
2013-07-23
Pillagers! 7dRTS Game Development Journal(andrewkelley.me)
2013-07-23
Private Methods in JavaScript(andrewkelley.me)
2013-07-17
Functoriality(www.jeremykun.com)
2013-07-14
Spot the Fail(andrewkelley.me)
2013-07-10
Reservoir Sampling(www.jeremykun.com)
2013-07-05
Guest Post: Torus-Knotted Baklava(www.jeremykun.com)
2013-06-28
Packer(mitchellh.com)
2013-06-28
The Tao of Vagrant(mitchellh.com)
2013-06-18
Miller-Rabin Primality Test(www.jeremykun.com)
2013-06-16
Why Theoretical Computer Scientists Aren't Worried About Privacy(www.jeremykun.com)
2013-06-10
Statically Recompiling NES Games into Native Executables with LLVM and Go(andrewkelley.me)
2013-06-07
Automation Obsessed(mitchellh.com)
2013-06-06
Conferences, Summer Work, and an Advisor(www.jeremykun.com)
2013-06-03
Rings — A Second Primer(www.jeremykun.com)
2013-06-01
Universal Properties(www.jeremykun.com)
2013-05-24
Properties of Morphisms(www.jeremykun.com)
2013-05-15
Bezier Curves and Picasso(www.jeremykun.com)
2013-05-11
Categories as Types(www.jeremykun.com)
2013-05-04
Rings — A Primer(www.jeremykun.com)
2013-04-30
Introducing Categories(www.jeremykun.com)
2013-04-24
Categories, What's the Point?(www.jeremykun.com)
2013-04-16
Probabilistic Bounds — A Primer(www.jeremykun.com)
2013-04-15
Computing Homology(www.jeremykun.com)
2013-04-10
A Sample of Standard ML, the TreeSort Algorithm, and Monoids(www.jeremykun.com)
2013-04-07
Homology Theory — A Primer(www.jeremykun.com)
2013-04-03
Conditional (Partitioned) Probability — A Primer(www.jeremykun.com)
2013-03-28
Methods of Proof — Induction(www.jeremykun.com)
2013-03-21
Abandoning Rubygems(mitchellh.com)
2013-03-21
Seam Carving for Content-Aware Image Scaling(www.jeremykun.com)
2013-03-04
APPLE: My Key to Success(mitchellh.com)
2013-03-04
Methods of Proof — Contradiction(www.jeremykun.com)
2013-02-28
Methods of Proof — Contrapositive(www.jeremykun.com)
2013-02-22
Methods of Proof — Direct Implication(www.jeremykun.com)
2013-02-16
Why there is no Hitchhiker's Guide to Mathematics for Programmers(www.jeremykun.com)
2013-02-08
k-Means Clustering and Birth Rates(www.jeremykun.com)
2013-02-04
Rapid Development Email Templates with Node.js(andrewkelley.me)
2013-01-30
Depth- and Breadth-First Search(www.jeremykun.com)
2013-01-22
The New Normal(mitchellh.com)
2013-01-21
The Fundamental Group — A Primer(www.jeremykun.com)
2013-01-12
Probability Theory — A Primer(www.jeremykun.com)
2013-01-04
Groups — A Second Primer(www.jeremykun.com)
2012-12-22
Neural Networks and the Backpropagation Algorithm(www.jeremykun.com)
2012-12-09
Groups — A Primer(www.jeremykun.com)
2012-12-08
Information Distance — A Primer(www.jeremykun.com)
2012-12-04
Ramsey Number Lower Bound(www.jeremykun.com)
2012-12-02
Constructing Topological Spaces — A Primer(www.jeremykun.com)
2012-11-11
There are Infinitely Many Primes (Erdős)(www.jeremykun.com)
2012-11-10
Topological Spaces — A Primer(www.jeremykun.com)
2012-11-04
Decision Trees and Political Party Classification(www.jeremykun.com)
2012-10-08
Complete Sequences and Magic Tricks(www.jeremykun.com)
2012-10-02
Infinitely Many Primes (Using Topology)(www.jeremykun.com)
2012-09-26
Trees—A Primer(www.jeremykun.com)
2012-09-16
K-Nearest-Neighbors and Handwritten Digit Classification(www.jeremykun.com)
2012-08-26
Metric Spaces — A Primer(www.jeremykun.com)
2012-08-26
Machine Learning — Introduction(www.jeremykun.com)
2012-08-04
The Cellular Automaton Method for Cave Generation(www.jeremykun.com)
2012-07-29
Dynamic Time Warping for Sequence Comparison(www.jeremykun.com)
2012-07-25
The Fast Fourier Transform(www.jeremykun.com)
2012-07-18
Principal Component Analysis(www.jeremykun.com)
2012-06-28
The Discrete Fourier Transform — A Primer(www.jeremykun.com)
2012-06-23
Streaming Median(www.jeremykun.com)
2012-06-14
Thoughts after a Year of Math ∩ Programming(www.jeremykun.com)
2012-06-12
Generalized Functions — A Primer(www.jeremykun.com)
2012-06-06
The Fourier Transform — A Primer(www.jeremykun.com)
2012-05-27
Double Angle Trigonometric Formulas(www.jeremykun.com)
2012-05-19
False Proof – 2 = 4, As the Limit of an Infinite Power Tower(www.jeremykun.com)
2012-05-05
The Fourier Series—A Primer(www.jeremykun.com)
2012-04-25
Kolmogorov Complexity—A Primer(www.jeremykun.com)
2012-04-21
Optimally Stacking the Deck—Texas Hold 'Em(www.jeremykun.com)
2012-04-09
Classic Nintendo Games are NP-Hard(www.jeremykun.com)
2012-03-22
Caching (and Memoization)(www.jeremykun.com)
2012-03-22
In Place Uniform Shuffle(www.jeremykun.com)
2012-03-18
Learning Programming — Finger-Painting and Killing Zombies(www.jeremykun.com)
2012-03-15
Other Complexity Classes(www.jeremykun.com)
2012-02-29
P vs. NP, A Primer (And a Proof Written in Racket)(www.jeremykun.com)
2012-02-23
Busy Beavers, and the Quest for Big Numbers(www.jeremykun.com)
2012-02-08
Fundamental Theorem of Algebra (With Picard's Little Theorem)(www.jeremykun.com)
2012-02-07
Cryptanalysis with N-Grams(www.jeremykun.com)
2012-02-03
The Fundamental Theorem of Algebra (with Galois Theory)(www.jeremykun.com)
2012-02-02
Handshake Lemma(www.jeremykun.com)
2012-01-29
The Fundamental Theorem of Algebra (with the Fundamental Group)(www.jeremykun.com)
2012-01-22
The Fundamental Theorem of Algebra (with Liouville)(www.jeremykun.com)
2012-01-17
Word Segmentation, or Makingsenseofthis(www.jeremykun.com)
2012-01-15
A Spoonful of Python (and Dynamic Programming)(www.jeremykun.com)
2012-01-12
Numerical Integration(www.jeremykun.com)
2012-01-08
Random (Psychedelic) Art(www.jeremykun.com)
2012-01-01
Row Reduction Over A Field(www.jeremykun.com)
2011-12-30
Metrics on Words(www.jeremykun.com)
2011-12-19
Holidays and Homicide(www.jeremykun.com)
2011-11-25
Tiling a Chessboard with Dominoes (Opposite Colors Removed)(www.jeremykun.com)
2011-11-18
Z[√2] has Infinitely Many Units(www.jeremykun.com)
2011-11-07
Conway's Game of Life in Conway's Game of Life(www.jeremykun.com)
2011-11-03
False Proof: 1 = 2 (with Calculus)(www.jeremykun.com)
2011-10-25
The Smallest Non-Cyclic Simple Group has Order 60(www.jeremykun.com)
2011-10-08
A Taste of Racket(www.jeremykun.com)
2011-10-02
N Choose 2 is the Sum of the First N-1 Integers(www.jeremykun.com)
2011-10-02
n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)(www.jeremykun.com)
2011-09-04
Graduate Studies(www.jeremykun.com)
2011-08-17
The Square Root of 2 is Irrational (Geometric Proof)(www.jeremykun.com)
2011-08-14
The Perceptron, and All the Things it Can't Perceive(www.jeremykun.com)
2011-08-11
A Dash of Python(www.jeremykun.com)
2011-08-10
How to be Successful at PyWeek(andrewkelley.me)
2011-08-07
Programming Primers—An Introduction(www.jeremykun.com)
2011-08-06
John Muir Trail from the Perspective of Andrew Kelley(andrewkelley.me)
2011-08-04
Number Theory—A Primer(www.jeremykun.com)
2011-07-30
Encryption & RSA(www.jeremykun.com)
2011-07-29
False Proof—All Numbers are Describable in at Most Twenty Words(www.jeremykun.com)
2011-07-28
Eigenfaces, for Facial Recognition(www.jeremykun.com)
2011-07-27
Inner Product Spaces—A Primer(www.jeremykun.com)
2011-07-25
Möbius Transformations are Isometries of a Sphere(www.jeremykun.com)
2011-07-23
Hunting Serial Killers(www.jeremykun.com)
2011-07-20
False Proof—The Reals are Countable(www.jeremykun.com)
2011-07-19
False Proof—All Horses are the Same Color(www.jeremykun.com)
2011-07-16
Graph Coloring, or Proof by Crayon(www.jeremykun.com)
2011-07-14
Three Circles and Collinear Centers of Dilation(www.jeremykun.com)
2011-07-13
Optimally Stacking the Deck—Kicsi Poker(www.jeremykun.com)
2011-07-11
Set Theory—A Primer(www.jeremykun.com)
2011-07-09
False Proof—31.5 = 32.5(www.jeremykun.com)
2011-07-07
False Proof—There are Finitely Many Primes(www.jeremykun.com)
2011-07-05
False Proof—1 = 2(www.jeremykun.com)
2011-07-05
Geometric Series with Geometric Proofs(www.jeremykun.com)
2011-07-05
Turing Machines—A Primer(www.jeremykun.com)
2011-07-04
Determinism and Finite Automata—A Primer(www.jeremykun.com)
2011-07-02
Sums of k Powers(www.jeremykun.com)
2011-07-01
Turing Machines and Conway's Dreams(www.jeremykun.com)
2011-06-30
The Wild World of Cellular Automata(www.jeremykun.com)
2011-06-29
Tiling a Chessboard(www.jeremykun.com)
2011-06-26
Teaching Mathematics—Graph Theory(www.jeremykun.com)
2011-06-26
Area of a Triangle(www.jeremykun.com)
2011-06-24
Sums of the first n numbers, squares(www.jeremykun.com)
2011-06-24
The Party Problem(www.jeremykun.com)
2011-06-23
Number of Games in a Tournament(www.jeremykun.com)
2011-06-23
Google's Page Rank—Why it Doesn't Work Anymore(www.jeremykun.com)
2011-06-21
Google's Page Rank—The Final Product(www.jeremykun.com)
2011-06-20
Featured Posts(www.jeremykun.com)
2011-06-20
Linear Algebra—A Primer(www.jeremykun.com)
2011-06-19
Google's PageRank—A First Attempt(www.jeremykun.com)
2011-06-18
Big-O Notation—A Primer(www.jeremykun.com)
2011-06-14
Well Orderings and Search(www.jeremykun.com)
2011-06-14
Prime Design(www.jeremykun.com)
2011-06-13
Google's PageRank—Introduction(www.jeremykun.com)
2011-06-12
Lemming - PyWeek #12 Game Development Journal(andrewkelley.me)
2011-04-02