Hackernews posts about Buttondown.com

  1. Syntax highlighting is a waste of an information channel (2020) (buttondown.com)
    336 points by swyx 6 days ago | 158 comments
  2. Why did containers happen? (buttondown.com)
    208 points by todsacerdoti 5 days ago | 277 comments
  3. Three ways formally verified code can go wrong in practice (buttondown.com)
    182 points by todsacerdoti 6 days ago | 113 comments
  4. Email was the user interface for the first AI recommendation engines (buttondown.com)
    84 points by coloneltcb 15 days ago | 34 comments
  5. This Month in Ladybird: September 2025 (buttondown.com)
    22 points by bpierre 16 days ago | discuss
  6. Self-Extracting F3 (buttondown.com)
    5 points by ibobev 12 days ago | discuss
  7. A (1995) company that made nothing but bad ads (buttondown.com)
    4 points by rfarley04 16 days ago | discuss
  8. The Phase Change (buttondown.com)
    3 points by BerislavLopac 2 days ago | discuss
  9. Ordering Types in SQL (buttondown.com)
    3 points by eatonphil 3 days ago | discuss
  10. Ordering Types in SQL (buttondown.com)
    3 points by ibobev 5 days ago | discuss
  11. Supply Chain Risks in Late 2025 (buttondown.com)
    3 points by welovebunnies 14 days ago | discuss
  12. I have been diving deep into the world of FinOps (buttondown.com)
    3 points by mooreds 19 days ago | discuss
  13. I Misunderstood Rejection Sampling All This Time (buttondown.com)
    2 points by ibobev 24 days ago | discuss
  14. Do blind people understand vision? (buttondown.com)
    1 points by marcacohen 5 days ago | discuss
  15. Your creativity is benevolent, and you can always return to it (buttondown.com)
    1 points by herbertl 11 days ago | discuss
  16. How to Die (buttondown.com)
    1 points by speckx 14 days ago | discuss
  17. Another Sampling Technique (buttondown.com)
    1 points by ibobev 19 days ago | discuss
  18. Notes on Buttondown.com (jmduke.com)
    126 points by luu about 1 year ago | 89 comments
  19. Many hard LeetCode problems are easy constraint problems (buttondown.com)
    679 points by mpweiher about 1 month ago | 533 comments
  20. How RSS beat Microsoft (buttondown.com)
    315 points by vidyesh about 1 month ago | 181 comments
  21. Unusual Raku Features (buttondown.com)
    274 points by leontrolski 11 months ago | 157 comments
  22. Why Not Comments (buttondown.com)
    261 points by ghewgill about 1 year ago | 277 comments
  23. The many JavaScript runtimes of the last decade (buttondown.com)
    256 points by LinguaBrowse 3 months ago | 97 comments
  24. AMP and why emails are not (and should never be) interactive (buttondown.com)
    222 points by maguay 6 months ago | 165 comments
  25. Famous cognitive psychology experiments that failed to replicate (buttondown.com)
    172 points by PaulHoule about 1 month ago | 142 comments
  26. Adventures in Probability (buttondown.com)
    165 points by kiyanwang 12 months ago | 40 comments
  27. What does “Undecidable” mean, anyway (buttondown.com)
    156 points by BerislavLopac 5 months ago | 183 comments
  28. The Opposite of Documentation is Superstition (2020) (buttondown.com)
    154 points by BerislavLopac 11 months ago | 84 comments
  29. Caching is an abstraction, not an optimization (buttondown.com)
    136 points by samuel246 4 months ago | 128 comments
  30. Solving LinkedIn Queens with SMT (buttondown.com)
    135 points by azhenley 4 months ago | 47 comments
  31. Five Kinds of Nondeterminism (buttondown.com)
    135 points by BerislavLopac 8 months ago | 32 comments
  32. Pie doesn't need to be original unless you claim it so (buttondown.com)
    134 points by brianyu8 about 1 year ago | 103 comments
  33. It's not enough for a program to work – it has to work for the right reasons (buttondown.com)
    125 points by BerislavLopac about 1 year ago | 65 comments
  34. E-COM: The $40M USPS project to send email on paper (buttondown.com)
    120 points by rfarley04 5 months ago | 125 comments
  35. Fine, I'll Play With Skiplists (buttondown.com)
    120 points by foldU 11 months ago | 15 comments
  36. I Prefer RST to Markdown (2024) (buttondown.com)
    114 points by shlomo_z 2 months ago | 113 comments
  37. Solving a “Layton Puzzle” with Prolog (buttondown.com)
    110 points by Tomte 6 months ago | 28 comments
  38. The Halting Problem is a terrible example of NP-Harder (buttondown.com)
    108 points by BerislavLopac 6 months ago | 114 comments
  39. TLA from First Principles (buttondown.com)
    103 points by ingve 12 months ago | 23 comments
  40. Formally Modeling Dreidel, the Sequel (buttondown.com)
    100 points by todsacerdoti 10 months ago | 26 comments
  41. How to Not Build the Torment Nexus (buttondown.com)
    91 points by p3_1080 2 months ago | 40 comments
  42. Decoupling design from engineering (buttondown.com)
    84 points by jwworth 12 months ago | 34 comments
  43. Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com)
    79 points by srijan4 9 months ago | 45 comments
  44. Requirements change until they don't (buttondown.com)
    74 points by azhenley 6 months ago | 22 comments
  45. Ternary Operators (buttondown.com)
    68 points by azhenley 12 months ago | 74 comments
  46. It's Time to Stop Building KV Databases (buttondown.com)
    65 points by foldU 7 months ago | 62 comments
  47. Verification-First Development (buttondown.com)
    65 points by vinipolicena 7 months ago | 24 comments