The Curious Engineer

All blogs / Haskell

Russell O’Connor’s Blog

r6.ca/blog

HaskellMathCrypto / fintechSociety / politics / economy

’05’10’15’20’25
Posts
319 from 16 Dec 2001 to 2 Apr 2026
Posting
now and then (1 in the last year)
Kind
personal blog
Feed
https://r6.ca/blog/feed.atom

2026 1

  1. Nash Equilibrium for Terminal Maneuvers

2025 1

  1. The Right Number of YubiKeys is Three

2021 1

  1. On Building Consensus and Speedy Trial

2020 2

  1. Carbon Tax: Running my Numbers
  2. It Is Never a Compiler Bug Until It Is

2019 4

  1. Stochastic Elections Canada 2019 Results
  2. Stochastic Elections Canada 2019 Update
  3. Counterfactual Definiteness and the EPR paradox
  4. How can basic arithmetic make a self-referential sentence?

2018 2

  1. Why Is It Taking 20 Minutes to Mine This Bitcoin Block?
  2. Verifying Bech32 Checksums with Pen and Paper

2017 3

  1. Functor-Oriented Programming
  2. Taking Propositions as Types Seriously
  3. Some Random Thoughts of an Advanced Haskeller

2015 7

  1. Bell’s Casino Solution
  2. Stochastic Elections Canada 2015 Results
  3. Stochastic Elections Canada 2015 Update
  4. Clearing Up “Clearing Up Mysteries”
  5. Bell’s Casino Problem
  6. Parallel Evaluation of the Typed Lambda Calculus
  7. Secure diffie-hellman-group-exchange-sha256

2014 4

  1. Hard Drive Failure
  2. ICFP 2014 Post-Mortem
  3. How to Fake Dynamic Binding in Nix
  4. van Laarhoven Free Monad

2013 1

  1. Key Stretching

2012 7

  1. Investment Recovery
  2. On the Static Nature of Traversals
  3. Confession of a Haskell Hacker
  4. Polymorphic Update with van Laarhoven Lenses
  5. ACM Followup
  6. Mirco… Mezzo… Macroflation—Overheated Economy
  7. Local Song #1

2011 8

  1. Bug in OpenSSL?
  2. The ACM and Me
  3. A Very General Method of Computing Shortest Paths
  4. Stochastic Elections Canada 2011 Results
  5. I/O is not a monad
  6. Stochastic Elections Canada 2011 Update
  7. Git is Inconsistent
  8. What Happens When Mathematicians Cannot Do Induction Correctly?

2010 3

  1. Jaynes on Entropy
  2. ICFP 2010 Post-Mortem
  3. Constructive Classical Completeness

2009 5

  1. Believing In-Consistency
  2. 2009 Eclipse
  3. Do Not Play the Lottery Unless You Are a Millionaire
  4. Object Oriented Programmer’s Productivity
  5. James R Meyer vs Kurt Gödel

2008 11

  1. On Prorogation
  2. Haskell Lesson
  3. Picking Up Fractions of a Penny
  4. Betting on Minnesota
  5. Stochastic Elections Canada 2008 Results
  6. Stochastic Elections Canada 2008 Update
  7. UBC ESM 2008
  8. ICFP 2008 Post-Mortem
  9. No-Good Ethical Funds
  10. Patrick Adrian O’Connor
  11. Anti-War Play

2007 8

  1. Real Distributed Version Control Systems Don’t Require Tree Topologies
  2. Continuation Passing Style for Monads
  3. The Most Poignant Presidential Speech in American History
  4. Implementing the Kelly Criterion
  5. Kelly Criterion
  6. ICFP 2007 Post-Mortem
  7. Free Your Mind
  8. Technology, Entertainment, Design

2006 67

  1. An Outrageous New Perspective
  2. $0.002¢
  3. Full Disclosure
  4. Digital Archive on Paper (Part II)
  5. Digital Archive on Paper (Part I)
  6. Dow vs Euro
  7. Four Colour Hypermaps and Algebraic Numbers
  8. Cannonballs
  9. Help, Category Theorist Needed
  10. Radical Dreamers
  11. 20061108T210100Z
  12. Go Republicans
  13. pixietricks
  14. Functional Optimisation
  15. Iridium Flare
  16. Y Combinator in Haskell
  17. Dapper Drake
  18. The Power of Nightmares
  19. Eternal Sin and Radical Atheism
  20. New Tor Server
  21. Constructive Logic Is an Extension of Classical Logic
  22. Python on Planes
  23. DMCA Screws Over Music Industry
  24. C.e. sets
  25. SHA2 in Haskell
  26. Lazy vs. Strict
  27. Reading List: The Revolt of the Masses (1930)
  28. Escher and the Droste Effect
  29. Divine Proportions
  30. 20060608T200600Z
  31. The Night Sky
  32. Still Looking for Science Archive
  33. ZFC + Woodin Cardinals Consistent
  34. The Da Vinci Code
  35. 20060501T191400Z
  36. 7th Heaven
  37. Length of Proofs
  38. God Speaks Through Me
  39. On the Definition of Function
  40. User Interfaces and Iran Air Flight 655
  41. Bioengineered Tissue Replaces Human Organ
  42. Putting the Logical in Topological
  43. Recent Knowledge
  44. Low Power Computation
  45. TFP 2006
  46. Can’t Call Collect? Skype.
  47. Calculation
  48. Eclipse 2008
  49. Teaching Computer Graphics
  50. Free Speech
  51. Stochastic Elections Canada 2006 Results
  52. More Tears: Nasty, Poor, Brutish and Short
  53. Hunting
  54. You Can’t Be a Sweet Cucumber in a Vinegar Barrel
  55. The Long Tomorrow
  56. Evolution vs Intelligent Design
  57. Cuba Timezone
  58. Factors
  59. Notes from Entering Cuba
  60. Stochastic Elections Canada 2006 Update
  61. Hot Parliament
  62. If Every Vote Counted
  63. Iran War
  64. UBC ESM
  65. Iraqi Occupation
  66. 22C3: Darknet
  67. 22C3: Day 10

2005 96

  1. Private Investigations
  2. Factoring Is Hard
  3. Penguin Logic
  4. PDF Editing
  5. Liberty
  6. How Dedekind Screwed Up a Hundred Years of Mathematics
  7. You Think Your Holiday Tradition Is Weird?
  8. Market Pricing.
  9. Software Transactional Memory
  10. The Gulf of Tonkin Attacks
  11. Conjunctive Adverbs
  12. Declarations Are Restrictive or Nonrestrictive?
  13. Practical Foundations of Mathematics
  14. Catagory of Uniformly Continuous Functions
  15. Philosophy of Math Meme
  16. JFS, OS/2, & Linux
  17. Piecewise Continuous Functions
  18. Is Bush a Blackshirt?
  19. Murphy’s Law
  20. Few Digits
  21. More London Shooting
  22. A Lesson from Cryptography
  23. Republican Quotes
  24. Ordinal Logics and Gödel Sentences
  25. Risk—Is It Worth It?
  26. Bump Keys
  27. WTH Roundup
  28. Signing Digital Keys in Europe
  29. AWACS Overhead
  30. What The Hack
  31. Shoot to Kill
  32. Backup ≠ Archive
  33. Monads Everywhere
  34. Chaotic Orbits
  35. CBC Television
  36. Haskell Plotting
  37. Human Decision
  38. How It’s Made
  39. Brotherly Wisdom
  40. Satellite Maps
  41. Lemmings™
  42. The Evolution Will Not Be Televised
  43. On Writing Online Hytertext Articles
  44. Ununderline Hyperlinks
  45. Intensional vs Extensional Choice
  46. Subjective Black Hole
  47. Random and Quasiperidoic
  48. Bicycle Spam
  49. Mindless Sheep
  50. Does God Play Dice?
  51. GnuPlot
  52. George Galloway
  53. Hoary Hedgehog
  54. The Genie is Out of the Bottle
  55. Looking for Archives
  56. Information, Velocity, and Power
  57. Entropy of My Hard Drive
  58. Upside Down Temperature
  59. Temperature and Entropy
  60. Harddrive Enclosure and JFS
  61. Transferring Copyright
  62. Language Design
  63. Switching Focus
  64. US dollar
  65. Multi-Protocol Attacks
  66. Discontinuous Functions on the Reals
  67. Mathematics Enters a New Age
  68. Germany and the Bomb
  69. Accelerating Change
  70. Real Epiphiny
  71. Are More People Alive than Dead?
  72. Towards a Justification of My Research.
  73. Make Sucks
  74. Stopping SSH from Dropping Connections
  75. Non-homogeneous Inductive Types
  76. The True Name of Mathematical Objects
  77. Second Class Person
  78. End of Email
  79. 20050216T220500Z
  80. How to Write Numbers
  81. Axiom Systems
  82. Free Software and Esperanto
  83. How to Enter the Netherlands from Canada - 07
  84. Short Haskell Programs
  85. How to Enter the Netherlands from Canada - 06
  86. How to Enter the Netherlands from Canada - 05
  87. America and The Bomb
  88. How to Enter the Netherlands from Canada - 04
  89. How to Enter the Netherlands from Canada - 03
  90. Why Is Everyone So Interetested in My Sex?
  91. respectcopyrights.org
  92. How to Enter the Netherlands from Canada - 02
  93. How to Enter the Netherlands from Canada - 01
  94. What Language is This?
  95. Graphics
  96. 20050102T050700Z

2004 45

  1. What the #$*! Do We Know!?
  2. Exchange Rate
  3. Y2K Taught Us Nothing.
  4. 20041110T014300Z
  5. Exchange
  6. Post-Election
  7. CNN Kabuki
  8. Passport Application
  9. mutable const
  10. More Haste, Less Speed
  11. Fun Things to Do If You Are Lazy
  12. My Laptop is Working Again
  13. Gnome Under TWM
  14. The Triumph of Hope over Self-Interest
  15. Excluded Middle Almost Reasonable.
  16. 20040616T023400Z
  17. Defensive Programming
  18. Water and Life
  19. Voting System
  20. Programming in C++ is Not Humanly Possible
  21. How to Migrate a (Sub)key into a New Key
  22. More Futures Market
  23. Flying West
  24. ATM and Euros
  25. Quantum Curvature
  26. ZF still consistent
  27. Green Ice Tea
  28. Raytracing in Sinc
  29. Creative Commons Flash
  30. Copyright in Canada
  31. Dinner Party
  32. Prisoners Have the Right to Vote
  33. Electrical Wiring in the House
  34. How to Recover Passwords from Mozilla
  35. Constructive Set Theory
  36. 20040227T011600Z
  37. proletariat
  38. Person Stop
  39. Worthless Textbooks
  40. Spanking
  41. Wiki Wiki Web
  42. 20040117T000800Z
  43. Electronics Stores
  44. Tall structures
  45. Inscriber

2003 42

  1. Triforce
  2. Unwired
  3. Traffic
  4. Functions on Reals
  5. P2P legal in Canada
  6. HTML Geekiness
  7. Liberty Measles
  8. Equal Sign Considered Harmful
  9. Quackman
  10. Hermann’s Grid with Dots
  11. My Life at Berkeley
  12. Kids Play
  13. Damn You Redundancy
  14. Eclipse
  15. Tomacco
  16. 20031029T170100Z
  17. Got Milk
  18. Bad fmt
  19. French is hard
  20. Geodesic Triangles
  21. Amnesty works
  22. brown eggs
  23. Damn you ACPI
  24. Damn you apt-get
  25. Disk Quota
  26. Hilary Clinton Chances to Win the Democratic Nomination
  27. No Euro for Sweden
  28. Prisoners Dilemma Inverse Problem
  29. Differential Geometry
  30. Algebra
  31. 20030903T201200Z
  32. Understanding
  33. Black Holes
  34. Aliens and Radio Waves
  35. Us Troops Turn Botched Saddam Raid Into A Massacre
  36. Foresight Exchange
  37. I’m dumb
  38. Entropy and Temperature
  39. Economy of Everquest
  40. Rurouni Kenshin
  41. MP3 Sucks
  42. To Do

2001 1

  1. Math 145