~pavpanchekha
There are some pages that have material I wanted to put online. If you want to contact me, please do so through email. There's also a page up about other instances of me online.
Blog
- Uniqode (a puzzle) puzzles
- Typing Analytics in Emacs emacs
- Forward with Federated cs dist
- Package Management for the 21.1st Century linux cs
- Defending the Web web
- The Law of Demeter, and a question of design cs plt
- The Levels of Concurrency cs dist plt
- Time, Clocks, and an Implementation in Erlang cs dist
- Injection is a Display-level Problem cs
- Zippers cs 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 cs plt
- MIT Zephyr from Arch Linux linux
- Using Org-mode to Publish a Website emacs
- Treaps: The Magical Awesome BBT cs algs
- Installing Ubuntu on LVM linux
- Sequences, Series, and Recursion math
- How to Draw a Heart in Polar Coordinates math
- 7919, 7853, and Li(x) math