Home
Blog
Blog Archive
Projects
Misc
All blog posts
I built a Voron
31 May 2024
3D Printing a Computer Cover
17 March 2024
A 2024 Update
1 March 2024
The Devil's Chessboard Problem Part 3
12 July 2020
Mystery Hunt 2018: Individual Puzzles
19 January 2018
Mystery Hunt 2018: Overall Thoughts
16 January 2018
Hard vs Unlikely
22 July 2017
High Potential Puzzle Patterns
27 June 2017
On Jargon
26 April 2017
Thoughts on Diversity
20 April 2017
Mixed Strategies
6 April 2017
Exploring Rust
29 March 2017
Trivial Dependent Types
22 March 2017
Math is About Communication
15 March 2017
A Look at Swiss Tournaments and Top Cuts
6 March 2017
Tournament Report: Anaheim VGC Regionals
22 February 2017
A Rant About AlphaGo Discussions
15 February 2017
An RNG Game Experiment
8 February 2017
Bernoulli Processes are Bad Gameplay
1 February 2017
The Value of a Vote
25 January 2017
Mystery Hunt 2017 Review
16 January 2017
The Tyranny of Vote Control
28 December 2016
Tournament Report: San Jose VGC Regionals
18 December 2016
On Taking Notes in Math Class
14 December 2016
Hearing Words: A Similar Problem for Humans and Computers
7 December 2016
Thoughts on Zen vs Cho Chikun
30 November 2016
How Fast is Fibonacci, Anyway?
23 November 2016
A Look at Approval Voting
16 November 2016
The World I Want
9 November 2016
Examples of Good Abstractions
26 October 2016
On Bluffing Games
19 October 2016
The Importance of Negative Feedback
12 October 2016
Fast-Slow Testing
5 October 2016
Observations From Japan
28 September 2016
Schedules, Obligation, and Stress
14 September 2016
Records in Haskell and Purescript
7 September 2016
Implementing Game Logic in Haskell Part 2: User Input
31 August 2016
Implementing Game Logic in Haskell Part 1: Handling Game State
24 August 2016
Unveiling Splendor Server
17 August 2016
Humans are Hard
10 August 2016
Mathematical Notation Is Great
3 August 2016
Coding is Communication
27 July 2016
The Devil's Chessboard Problem Part 2
20 July 2016
SGDQ 2016 Roundup
13 July 2016
The Devil's Chessboard Problem
29 June 2016
You Don't Have To
22 June 2016
Motivating Quotient Groups
15 June 2016
Once Upon a Time, This Problem May Have Been Hard
8 June 2016
Breaking Things is Better Than Them Breaking Themselves
1 June 2016
Starting From Solutions
25 May 2016
On Simplicity
18 May 2016
On Memorization
11 May 2016
The Witness, Preferences, and Quality
4 May 2016
My Experience With Stephen's Sausage Roll
27 April 2016
A Couple Site Improvements
20 April 2016
Good is Relative
13 April 2016
The Shape of Products
6 April 2016
Observations About Intuition
30 March 2016
A Note About Predictions
23 March 2016
Thoughts on AlphaGo vs Lee Sedol
16 March 2016
Real Numbers Can Be Stacks
9 March 2016
A Conjecture About Recurrent Neural Networks
2 March 2016
Why I Want Generics
24 February 2016
Confusion From Quantifiers
17 February 2016
What Vs How
10 February 2016
You Can Prove Primality
3 February 2016
Qualities of Well-Written Puzzles
27 January 2016
Mystery Hunt 2016 Review
20 January 2016
Things I Want To Do In 2016
13 January 2016
Reading Imperative Programs is Hard
11 January 2016
Monadic Infinite Nondeterminism
24 October 2014
Correlate Failure Modes
11 June 2014
The Discrete Fourier Transform and Circular Convolution
1 January 2014
Is this English?
19 November 2013
Types as Documentation
10 November 2013
Choosing a Blog System
10 October 2013