Hackernews posts about Buttondown.com

  1. My Gripes with Prolog (buttondown.com)
    155 points by azhenley 18 days ago | 102 comments
  2. The Liskov Substitution Principle does more than you think (buttondown.com)
    29 points by ulrischa 27 days ago | 3 comments
  3. Refinement Without Specification (buttondown.com)
    29 points by BerislavLopac 13 days ago | 1 comments
  4. How to bury your father (2025) (buttondown.com)
    3 points by NaOH 14 days ago | 1 comments
  5. My Gripes with Prolog (buttondown.com)
    3 points by RebelPotato 19 days ago | discuss
  6. My Gripes with Prolog (buttondown.com)
    3 points by zdw 19 days ago | discuss
  7. The Parasocial Model of Disability (buttondown.com)
    3 points by speckx 27 days ago | discuss
  8. The Case of a Curious SQL Query (buttondown.com)
    3 points by vitaelabitur 28 days ago | discuss
  9. I deserve to write at least two or three more arithmetic expression parsers (buttondown.com)
    2 points by ibobev 20 days ago | discuss
  10. Granular API Keys for Buttondown (buttondown.com)
    1 points by mooreds 4 days ago | discuss
  11. Online, Asynchronous Schema Change in F1 (buttondown.com)
    1 points by ibobev 6 days ago | discuss
  12. Delayed Code Generation (buttondown.com)
    1 points by ibobev 13 days ago | discuss
  13. DevOps'ish Returns (buttondown.com)
    1 points by oaf357 20 days ago | discuss
  14. Menger's Horse Enclosure (buttondown.com)
    1 points by ibobev 28 days ago | discuss
  15. Notes on Buttondown.com (jmduke.com)
    126 points by luu over 1 year ago | 89 comments
  16. Many hard LeetCode problems are easy constraint problems (buttondown.com)
    679 points by mpweiher 5 months ago | 533 comments
  17. Syntax highlighting is a waste of an information channel (2020) (buttondown.com)
    346 points by swyx 4 months ago | 171 comments
  18. How RSS beat Microsoft (buttondown.com)
    315 points by vidyesh 5 months ago | 181 comments
  19. Unusual Raku Features (buttondown.com)
    274 points by leontrolski about 1 year ago | 157 comments
  20. Why Not Comments (buttondown.com)
    261 points by ghewgill over 1 year ago | 277 comments
  21. The many JavaScript runtimes of the last decade (buttondown.com)
    256 points by LinguaBrowse 6 months ago | 97 comments
  22. AMP and why emails are not (and should never be) interactive (buttondown.com)
    222 points by maguay 10 months ago | 165 comments
  23. Why did containers happen? (buttondown.com)
    208 points by todsacerdoti 4 months ago | 280 comments
  24. Three ways formally verified code can go wrong in practice (buttondown.com)
    184 points by todsacerdoti 4 months ago | 113 comments
  25. Famous cognitive psychology experiments that failed to replicate (buttondown.com)
    172 points by PaulHoule 5 months ago | 142 comments
  26. Adventures in Probability (buttondown.com)
    165 points by kiyanwang about 1 year ago | 40 comments
  27. What does “Undecidable” mean, anyway (buttondown.com)
    156 points by BerislavLopac 8 months ago | 183 comments
  28. The death of thread per core (buttondown.com)
    155 points by ibobev 4 months ago | 68 comments
  29. The Opposite of Documentation is Superstition (2020) (buttondown.com)
    154 points by BerislavLopac about 1 year ago | 84 comments
  30. Caching is an abstraction, not an optimization (buttondown.com)
    136 points by samuel246 7 months ago | 128 comments
  31. Solving LinkedIn Queens with SMT (buttondown.com)
    135 points by azhenley 8 months ago | 47 comments
  32. Five Kinds of Nondeterminism (buttondown.com)
    135 points by BerislavLopac 12 months ago | 32 comments
  33. Pie doesn't need to be original unless you claim it so (buttondown.com)
    134 points by brianyu8 over 1 year ago | 103 comments
  34. It's not enough for a program to work – it has to work for the right reasons (buttondown.com)
    125 points by BerislavLopac over 1 year ago | 65 comments
  35. E-COM: The $40M USPS project to send email on paper (buttondown.com)
    120 points by rfarley04 9 months ago | 125 comments
  36. Fine, I'll Play With Skiplists (buttondown.com)
    120 points by foldU about 1 year ago | 15 comments
  37. I Prefer RST to Markdown (2024) (buttondown.com)
    114 points by shlomo_z 6 months ago | 113 comments
  38. Solving a “Layton Puzzle” with Prolog (buttondown.com)
    110 points by Tomte 10 months ago | 28 comments
  39. The Halting Problem is a terrible example of NP-Harder (buttondown.com)
    108 points by BerislavLopac 10 months ago | 114 comments
  40. When would you ever want bubblesort? (2023) (buttondown.com)
    108 points by atan2 about 2 months ago | 86 comments
  41. TLA from First Principles (buttondown.com)
    103 points by ingve over 1 year ago | 23 comments
  42. Formally Modeling Dreidel, the Sequel (buttondown.com)
    100 points by todsacerdoti about 1 year ago | 26 comments
  43. How to Not Build the Torment Nexus (buttondown.com)
    91 points by p3_1080 6 months ago | 40 comments
  44. Email was the user interface for the first AI recommendation engines (buttondown.com)
    84 points by coloneltcb 4 months ago | 34 comments