Hackernews posts about Buttondown.com

  1. Solving LinkedIn Queens with SMT (buttondown.com)
    135 points by azhenley 19 days ago | 47 comments
  2. How to leave the house (buttondown.com)
    55 points by zdw 5 days ago | 68 comments
  3. The PowerPad tablet was pretty cool! Its ad in PC World 1984 was...not (buttondown.com)
    10 points by rfarley04 16 days ago | discuss
  4. Eudora – The legendary email client power users wouldn't let die (buttondown.com)
    8 points by microsoftedging 18 days ago | discuss
  5. Monotone Functions and Cache Lines (buttondown.com)
    4 points by Bogdanp 8 days ago | discuss
  6. Buttondown's email subscription spam firewall (docs.buttondown.com)
    3 points by bjhess 25 days ago | 1 comments
  7. AI is a gamechanger for TLA+ users (buttondown.com)
    3 points by mpweiher 26 days ago | discuss
  8. Caching is an Abstraction, not an Optimization (buttondown.com)
    2 points by samuel246 about 15 hours ago | discuss
  9. Caching is an Abstraction, not an Optimization (buttondown.com)
    2 points by eatonphil 1 day ago | discuss
  10. A new dataviz+streaming project all about The Office (2020) (buttondown.com)
    2 points by Tomte 3 days ago | discuss
  11. The Principle of LII (buttondown.com)
    2 points by coloneltcb 5 days ago | discuss
  12. You can cheat a test suite with a big enough polynomial (buttondown.com)
    2 points by bundie 7 days ago | discuss
  13. Monotone Functions and Cache Lines (buttondown.com)
    2 points by thunderbong 7 days ago | discuss
  14. When Age Comes (buttondown.com)
    2 points by mooreds 13 days ago | discuss
  15. Two Christenings and a Funeral (buttondown.com)
    1 points by surprisetalk 8 days ago | discuss
  16. AI is a gamechanger for TLA+ users (buttondown.com)
    1 points by todsacerdoti 26 days ago | discuss
  17. Notes on Buttondown.com (jmduke.com)
    126 points by luu 10 months ago | 89 comments
  18. Unusual Raku Features (buttondown.com)
    274 points by leontrolski 8 months ago | 157 comments
  19. Why Not Comments (buttondown.com)
    261 points by ghewgill 10 months ago | 277 comments
  20. AMP and why emails are not (and should never be) interactive (buttondown.com)
    222 points by maguay 2 months ago | 165 comments
  21. Adventures in Probability (buttondown.com)
    165 points by kiyanwang 8 months ago | 40 comments
  22. What does “Undecidable” mean, anyway (buttondown.com)
    156 points by BerislavLopac about 1 month ago | 183 comments
  23. The Opposite of Documentation is Superstition (2020) (buttondown.com)
    154 points by BerislavLopac 7 months ago | 84 comments
  24. Five Kinds of Nondeterminism (buttondown.com)
    135 points by BerislavLopac 4 months ago | 32 comments
  25. Pie doesn't need to be original unless you claim it so (buttondown.com)
    134 points by brianyu8 10 months ago | 103 comments
  26. It's not enough for a program to work – it has to work for the right reasons (buttondown.com)
    125 points by BerislavLopac 9 months ago | 65 comments
  27. E-COM: The $40M USPS project to send email on paper (buttondown.com)
    120 points by rfarley04 about 2 months ago | 125 comments
  28. Fine, I'll Play With Skiplists (buttondown.com)
    120 points by foldU 7 months ago | 15 comments
  29. Solving a “Layton Puzzle” with Prolog (buttondown.com)
    110 points by Tomte 3 months ago | 28 comments
  30. The Halting Problem is a terrible example of NP-Harder (buttondown.com)
    108 points by BerislavLopac 3 months ago | 114 comments
  31. TLA from First Principles (buttondown.com)
    103 points by ingve 8 months ago | 23 comments
  32. Formally Modeling Dreidel, the Sequel (buttondown.com)
    100 points by todsacerdoti 7 months ago | 26 comments
  33. Decoupling design from engineering (buttondown.com)
    84 points by jwworth 8 months ago | 33 comments
  34. Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com)
    79 points by srijan4 5 months ago | 45 comments
  35. Requirements change until they don't (buttondown.com)
    74 points by azhenley 2 months ago | 22 comments
  36. Ternary Operators (buttondown.com)
    68 points by azhenley 8 months ago | 74 comments
  37. It's Time to Stop Building KV Databases (buttondown.com)
    65 points by foldU 3 months ago | 62 comments
  38. Verification-First Development (buttondown.com)
    65 points by vinipolicena 4 months ago | 24 comments
  39. State and time are the same thing (buttondown.com)
    63 points by BerislavLopac 10 months ago | 44 comments
  40. Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com)
    57 points by Tomte about 1 month ago | 89 comments
  41. Are efficiency and horizontal scalability at odds? (buttondown.com)
    49 points by todsacerdoti 5 months ago | 37 comments
  42. Turing kicked us out of Heaven (2023) (buttondown.com)
    34 points by todsacerdoti 8 months ago | 42 comments
  43. Thoughts on DuckDB's Grammar Patching Thing (buttondown.com)
    34 points by foldU 7 months ago | 3 comments
  44. Propositional Parlor Puzzle (buttondown.com)
    27 points by foldU 2 months ago | 4 comments
  45. Multiplexing (buttondown.com)
    18 points by ryandotsmith about 2 months ago | discuss
  46. Write the most clever code you can (buttondown.com)
    17 points by todsacerdoti about 2 months ago | 6 comments