The Curious Engineer

All blogs / Math

Stories by Chris Smith on Medium

medium.com/@cdsmithus

MathHaskellFunctional / PL theory

’24’25’26
Posts
71 from 9 Jul 2024 to 21 Aug 2026
Posting
now and then (3 in the last year)
Kind
personal blog
Feed
https://medium.com/feed/@cdsmithus

2026 3

  1. How to (Almost) Trisect an Angle
  2. Athena Loses a Bet
  3. To Flip Or Not To Flip

2025 2

  1. Rebooting NYHaskell
  2. Threshold Strategy in Approval and Range Voting

2024 5

  1. When is a call stack not a call stack?
  2. Playing With a Game
  3. Collatz and Base 2 / Base 3 Duality
  4. The Collatz Step and 2-adic Integers
  5. Collatz Computations in Base 2 and 3

Undated 61

  1. The logarithm of a sum 69dd76199790
  2. Yes thats the logistic function a very important function indeed 51767fb9c94f
  3. Matrices arent the most intuitive way to think about that technique eb40e3da705c
  4. Continued fractions haskell equational reasoning property testing and rewrite rules in action 77a16d750e3f
  5. Interesting d7d6fcfc8725
  6. Gibbards theorem vs stable matching 22b55732ee5e
  7. Towers of hanoi from a random start db22d09da027
  8. Announcing hmock 0 3 cc0ece3c8c92
  9. Monoids are composable list summarizers 77d2baf23ffc
  10. Athena loses a bet 539cb2f40215
  11. Nascent ghc proposal source rewrite rules and optional constraints 810a2f6051eb
  12. Fun with category theory and dynamical systems f470ea5e7809
  13. Coming soon virtual haskell cohack 49413b5113a1
  14. Announcing hmock 0 2 95f21e8a0c25
  15. I was a holdout for a long time but have recently been using vscode with haskell language server f2e2e0e9d08c
  16. September virtual cohack recap 53ef9833316f
  17. Youre invited to the october virtual haskell cohack 10bc7a4eb4e9
  18. Yes absolutely 6e54e535b395
  19. Collatz computations in base 2 and 3 af04976d7826
  20. Playing with a game 0dd944082e2c
  21. Geometry dimensions and elections ea2f642d5175
  22. Ive put the code on github at https github com cdsmith cfrac 60ace7d3b416
  23. Collatz and base 2 base 3 duality 01d44cdfbe5a
  24. The semigroup of exponentially weighted moving averages 860a3e28409d
  25. Ah yes i see 5715ebf7d67a
  26. I just dont see any evidence or logic in support of this claim quite the opposite in fact a395a5fd455a
  27. I think this might be making the same kind of error that i expect the equal vote coalition is 5c391522b684
  28. Pair programming with chatgpt haskell 1c4490b71da6
  29. Threshold strategy in approval and range voting 03e59d624b72
  30. Casting a ballot for unpopular candidates is usually the best strategy since theres still some ee7f3b3b848b
  31. Weekend project voronoi mosaics b68307559aa3
  32. Absolutely 23509feecf8
  33. What youre describing could correspond to any number of voting systems depending on what you mean 2b5e9ad21bba
  34. I agree that this is at least personally a reason i find approval and score based voting a bit 77e689eb4f2a
  35. I dont know much about the history of irv in australia but the history in the united states has fc932c8dad5f
  36. Here are the tactical voting strategies 3bfea729bc9a
  37. Approval and score voting are intrinsically tactical ac2ad2ffd663
  38. I am aware that approval voting doesnt have a straightforward honest strategy and mentioned d0af67ce687
  39. This is definitely considering only the single winner case 4b285794ab27
  40. Someone else mentioned this as well but the evidence seems to be mixed in any case c6e26faeb6da
  41. That was a statement about a particular model of voters 5fa37bb87cc5
  42. I did make a mistake here regarding the possibility of tactical voting but it wasnt to just cacf75036e5b
  43. Ah yes this is a good point eb742ec1b11b
  44. Simulating elections with spatial voter models 1ff50892390
  45. Thanks for the reply c05dbdfa6bb5
  46. Its just more general 7e8fbf06a8eb
  47. Im not clear on what you mean here but ideologically the effect of plurality voting is to make 2065be7a0b46
  48. Im sorry you feel that way about our current election system in the united states which 3995cc3286da
  49. Hmm well i did read your article 39f2319b32c8
  50. Election monoids and equal votes 309a9ef74bbb
  51. To flip or not to flip d4811e66120b
  52. The collatz step and 2 adic integers 6f003efaf81c
  53. When is a call stack not a call stack f7f12d7aabbe
  54. How hard is it 7202915e5d8b
  55. Yes thats in fact the point here showing that pruning of machines wins the race in base 3 is 647629dda4ca
  56. This is getting into semantics ec810279a2a2
  57. Im going to defend medium a little here because i ve worked on content abuse across a number of 85172c793798
  58. How to almost trisect an angle c5c6aaf40620
  59. Rebooting nyhaskell 84b3f8056ffa
  60. Whats going on with this and https lhotka net weblog codingstandardshorrorstory aspx html 51187a8383db
  61. Yes thats actually a very nice way to look at it 48cc5faedce9