~pavpanchekha
I am Pavel Panchekha, a software engineer and theorist, and a Ph.D. student at the University of Washington. I study programming languages, with a focus on developer tools.
I prefer contact by email (PGP key) or in person. On Hacker News and Github, I am “pavpanchekha”.
Blog
- Floating Point Guarantees prog
- Major Key (a puzzle) misc
- Age-aware Data Structures algs
- Age-aware Array Search (Part 1 of 4)
- Tree Lookup (Part 2 of 4)
- Age-aware Array Search (Part 1 of 4)
- Stream Fuse Carefully plt
- Plotting Functions in D3 prog
- Pairs in Hindley-Milner Languages plt
- Fixed Points (in abstract) plt
- What is a fixed point? (Part 1 of 4)
- Fixed behaviors (Part 2 of 4)
- Attraction and Orders (Part 3 of 4)
- Stability (Part 4 of 4)
- What is a fixed point? (Part 1 of 4)
- The Gaussian and the Sine math
- Tea physics misc
- Xifed points plt
- (call/cc call/cc) and friends plt
- Engineering Taste prog
- Organizing Objects misc
- A Critique of ADT.scm prog
- Uniqode (a puzzle) misc
- Typing Analytics in Emacs tools
- Forward with Federated prog
- Package Management for the 21.1st Century misc
- Defending the Web prog
- The Law of Demeter, and a question of design plt
- The Levels of Concurrency plt
- Time, Clocks, and an Implementation in Erlang algs
- Injection is a Display-level Problem prog
- Zippers algs
- Huet Zippers (Part 1 of 4)
- Zippers as Derivatives (Part 2 of 4)
- Kiselyov Zippers (Part 3 of 4)
- Huet Zippers (Part 1 of 4)
- Programming With Types plt
- MIT Zephyr from Arch Linux tools
- Using Org-mode to Publish a Website tools
- Treaps: The Magical Awesome BBT algs
- Installing Ubuntu on LVM tools
- Sequences, Series, and Recursion math
- How to Draw a Heart in Polar Coordinates math
- 7919, 7853, and Li(x) math