Hacker News new | ask | show | jobs
user: mathfan
created: 2017-10-11
karma: 224

submissions:

Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean
16 points | 2 comments
Asymptotically optimal approximate Hadamard matrices
19 points | 2 comments
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT
5 points | 0 comments
0 points | 0 comments
Sebastien Bubeck: Another twist in the Erdős problems story
5 points | 1 comments
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT
5 points | 1 comments
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT
17 points | 4 comments
0 points | 0 comments
The clustering behavior of sliding windows
97 points | 20 comments
0 points | 0 comments
Math Exposition on YouTube
140 points | 33 comments
0 points | 0 comments
You want ugly voting districts [video]
4 points | 3 comments
You Want Voting Districts to Be Only 4% Pretty [video]
4 points | 0 comments
You Want Voting Districts to Be Only 4% Pretty [video]
2 points | 0 comments
Why You Want Voting Districts to Be Only 4% Pretty [video]
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Utility Ghost: Gamified redistricting with partisan symmetry
80 points | 25 comments
Utility Ghost: Gamified redistricting with partisan symmetry
3 points | 0 comments
Redistricting as an NP-Hard Problem
1 points | 0 comments
Fair redistricting is NP-hard
2 points | 0 comments
Fair redistricting is hard
1 points | 0 comments
Gerrymandering with geographically compact districts
125 points | 113 comments
Partisan gerrymandering with geographically compact districts
1 points | 0 comments
Stop criticizing bizarrely shaped voting districts
2 points | 0 comments
An impossibility theorem for gerrymandering
51 points | 74 comments
Next year, voting districts may need to look gerrymandered to be constitutional
2 points | 0 comments