HN Explorer

mathfan

↗ HN profile [ 68.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Doing math together in the age of AI (dustingmixon.wordpress.com)
    1 points 0
  2. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com)
    16 points 2
  3. Asymptotically optimal approximate Hadamard matrices (arxiv.org)
    19 points 1
  4. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
    5 points 0
  5. Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com)
    5 points 1
  6. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
    5 points 1
  7. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
    17 points 4
  8. The clustering behavior of sliding windows (arxiv.org)
    97 points 20
  9. Math Exposition on YouTube (dustingmixon.wordpress.com)
    140 points 33
  10. You want ugly voting districts [video] (youtube.com)
    4 points 3
  11. You Want Voting Districts to Be Only 4% Pretty [video] (youtube.com)
    4 points 0
  12. You Want Voting Districts to Be Only 4% Pretty [video] (youtube.com)
    2 points 0
  13. Why You Want Voting Districts to Be Only 4% Pretty [video] (youtube.com)
    4 points 0
  14. Utility Ghost: Gamified redistricting with partisan symmetry (arxiv.org)
    80 points 25
  15. Utility Ghost: Gamified redistricting with partisan symmetry (arxiv.org)
    3 points 0
  16. Redistricting as an NP-Hard Problem (medium.com)
    1 points 0
  17. Fair redistricting is NP-hard (arxiv.org)
    2 points 0
  18. Fair redistricting is hard (arxiv.org)
    1 points 0
  19. Gerrymandering with geographically compact districts (dustingmixon.wordpress.com)
    125 points 113
  20. Partisan gerrymandering with geographically compact districts (dustingmixon.wordpress.com)
    1 points 0
  21. Stop criticizing bizarrely shaped voting districts (theconversation.com)
    2 points 0
  22. An impossibility theorem for gerrymandering (dustingmixon.wordpress.com)
    51 points 74
  23. Next year, voting districts may need to look gerrymandered to be constitutional (dustingmixon.wordpress.com)
    2 points 0