Pavel Panchekha

Blog

• Taylor Expansions of Taylor Expansions   math
  
• Arbitrary Precision, not Arbitrary Accuracy   math prog
  
• Complex Square Roots in math.js   math prog
  
• The Eigenvalue Game   math
  
• Paper Statistics with Git   tools
  
• Non-standard models   math
  
  • What is a model? (Part 1 of 6)
    
  • Defining a Logic (Part 2 of 6)
    
• 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)
    
• 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)
    
• The Gaussian and the Sine   math
  
• Tea physics   misc
  
• Xifed points   plt
  
• (call/cc call/cc) and friends   plt
  
• Engineering Taste   prog
  
• Organizing Objects   tools
  
• 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   tools
  
• 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)
    
• 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
  

Major Projects

• Casio
  

  

  Automatically avoid floating point precision problems.

• Hoot
  

  

  A new algorithm for writing eventually-consistent systems.

• Armstrong Algorithm
  

  

  A better algorithm for bit-rate adaptation in Wi-Fi. Github

• TimeTracker
  

  

  Records how I spend my time and visualizes the results. Github

• Complex Plotter
  

  

  Plots functions of a complex variable in high resolution. Github

Papers

Emacs Libraries

• Emacs Dropbox Client
  

  Connect to the Dropbox API from Emacs, no desktop client needed. Who said Emacs wasn't an OS? Github

• center-text-mode
  

  Makes your buffer 80-columns wide and centered in the window. Great for large monitors. Github

Python Modules

• files.py
  

  A natural and Pythonic interface to the file system. Github

• CLIArgs
  

  Parse command line arguments with a single import. Github

• MiniOperators
  

  Define new operators. Combine the clarity of English with the precision of infix. Github

• typed.py
  

  Inquisitive types (predicate-based dispatch with explicit sub-typing) for Python. Github

Configuration Files