HN Explorer

mathfan

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