Hackernews posts about Buttondown.com

  1. What does “Undecidable” mean, anyway (buttondown.com)
    148 points by BerislavLopac 3 days ago | 182 comments
  2. E-COM: The $40M USPS project to send email on paper (buttondown.com)
    120 points by rfarley04 17 days ago | 125 comments
  3. Why Property Testing Finds Bugs Unit Testing Does Not (2021) (buttondown.com)
    57 points by Tomte 10 days ago | 89 comments
  4. Multiplexing (buttondown.com)
    18 points by ryandotsmith 19 days ago | discuss
  5. Write the most clever code you can (buttondown.com)
    17 points by todsacerdoti 22 days ago | 6 comments
  6. How to Not Get Poisoned in America (buttondown.com)
    5 points by leotravis10 26 days ago | discuss
  7. The weight of an entire industry trying to convince you that you're inadequate (buttondown.com)
    4 points by tobr 3 days ago | 1 comments
  8. How to Understand That Jepsen Report (buttondown.com)
    4 points by foldU 26 days ago | discuss
  9. Developer marketing is show and tell (buttondown.com)
    3 points by going_north 5 days ago | discuss
  10. Markdown Is Unformatted Formatting (buttondown.com)
    3 points by coloneltcb 12 days ago | discuss
  11. Modeling Awkward Social Situations with TLA+ (buttondown.com)
    3 points by BerislavLopac 17 days ago | discuss
  12. Any words of advice on trying to find a job? (buttondown.com)
    2 points by mooreds 3 days ago | discuss
  13. Finding hard 24 puzzles with planner programming (buttondown.com)
    2 points by todsacerdoti 11 days ago | discuss
  14. Kicking the Tires on CedarDB's SQL (buttondown.com)
    2 points by eatonphil 11 days ago | discuss
  15. I made a floor out of popsicle sticks (buttondown.com)
    2 points by mooreds 15 days ago | discuss
  16. Write the most clever code you possibly can (buttondown.com)
    1 points by rbanffy 15 days ago | discuss
  17. Write the most clever code you possibly can (buttondown.com)
    1 points by rbanffy 16 days ago | discuss
  18. How to Understand That Jepsen Report (buttondown.com)
    1 points by qianli_cs 26 days ago | discuss
  19. Notes on Buttondown.com (jmduke.com)
    126 points by luu 9 months ago | 89 comments
  20. Unusual Raku Features (buttondown.com)
    274 points by leontrolski 7 months ago | 157 comments
  21. Why Not Comments (buttondown.com)
    261 points by ghewgill 9 months ago | 277 comments
  22. AMP and why emails are not (and should never be) interactive (buttondown.com)
    222 points by maguay about 1 month ago | 165 comments
  23. Adventures in Probability (buttondown.com)
    165 points by kiyanwang 7 months ago | 40 comments
  24. The Opposite of Documentation is Superstition (2020) (buttondown.com)
    154 points by BerislavLopac 6 months ago | 84 comments
  25. Five Kinds of Nondeterminism (buttondown.com)
    135 points by BerislavLopac 3 months ago | 32 comments
  26. Pie doesn't need to be original unless you claim it so (buttondown.com)
    134 points by brianyu8 9 months ago | 103 comments
  27. It's not enough for a program to work – it has to work for the right reasons (buttondown.com)
    125 points by BerislavLopac 8 months ago | 65 comments
  28. Fine, I'll Play With Skiplists (buttondown.com)
    120 points by foldU 6 months ago | 15 comments
  29. Solving a “Layton Puzzle” with Prolog (buttondown.com)
    110 points by Tomte about 2 months ago | 28 comments
  30. The Halting Problem is a terrible example of NP-Harder (buttondown.com)
    108 points by BerislavLopac about 1 month ago | 114 comments
  31. TLA from First Principles (buttondown.com)
    103 points by ingve 7 months ago | 23 comments
  32. Formally Modeling Dreidel, the Sequel (buttondown.com)
    100 points by todsacerdoti 5 months ago | 26 comments
  33. Decoupling design from engineering (buttondown.com)
    84 points by jwworth 7 months ago | 33 comments
  34. Why do regexes use `$` and `^` as line anchors? (2024) (buttondown.com)
    79 points by srijan4 4 months ago | 45 comments
  35. Requirements change until they don't (buttondown.com)
    74 points by azhenley about 1 month ago | 22 comments
  36. Ternary Operators (buttondown.com)
    68 points by azhenley 7 months ago | 74 comments
  37. It's Time to Stop Building KV Databases (buttondown.com)
    65 points by foldU 2 months ago | 62 comments
  38. Verification-First Development (buttondown.com)
    65 points by vinipolicena 2 months ago | 24 comments
  39. State and time are the same thing (buttondown.com)
    63 points by BerislavLopac 9 months ago | 44 comments
  40. Are efficiency and horizontal scalability at odds? (buttondown.com)
    49 points by todsacerdoti 4 months ago | 37 comments
  41. Turing kicked us out of Heaven (2023) (buttondown.com)
    34 points by todsacerdoti 7 months ago | 42 comments
  42. Thoughts on DuckDB's Grammar Patching Thing (buttondown.com)
    34 points by foldU 6 months ago | 3 comments
  43. Propositional Parlor Puzzle (buttondown.com)
    27 points by foldU about 1 month ago | 4 comments
  44. ChatGPT Has No Place in the Classroom (buttondown.com)
    15 points by Tomte 6 months ago | 15 comments
  45. The CVM Algorithm (buttondown.com)
    13 points by todsacerdoti 7 months ago | 1 comments
  46. Bespoke-Stratos and Sky-T1: The Vicuna+Alpaca Moment for Reasoning (buttondown.com)
    9 points by swyx 4 months ago | 2 comments
  47. AI is creating a frictionless surveillance state (buttondown.com)
    8 points by herbertl about 2 months ago | discuss
  48. This Month in Ladybird: March 2025 (buttondown.com)
    7 points by oakesm9 about 2 months ago | discuss