History

OpenAI’s Navier-Stokes release included a Lean 4 formal proof

Open thread

First rank

17

Best rank

1

Last rank

30

Observations

49

First seen

1789075823

Last seen

1789095661

Missing captures

0

Milestones

2

Top is rank 1. Gaps between captures are not reconstructed.

1. Rank 30

   143 points · 144 comments · observed 1789095661

2. Rank 30

   141 points · 142 comments · observed 1789095255

3. Rank 29

   141 points · 139 comments · observed 1789094840

4. Rank 29

   141 points · 139 comments · observed 1789094429

5. Rank 28

   141 points · 139 comments · observed 1789094025

6. Rank 29

   141 points · 139 comments · observed 1789093626

7. Rank 27

   140 points · 139 comments · observed 1789093217

8. Rank 26

   139 points · 138 comments · observed 1789092806

9. Rank 26

   139 points · 137 comments · observed 1789092388

10. Rank 26

    139 points · 137 comments · observed 1789091976

11. Rank 24

    139 points · 137 comments · observed 1789091558

12. Rank 24

    139 points · 137 comments · observed 1789091147

13. Rank 23

    139 points · 136 comments · observed 1789090729

14. Rank 22

    138 points · 134 comments · observed 1789090313

15. Rank 23

    138 points · 133 comments · observed 1789089898

16. Rank 19

    136 points · 132 comments · observed 1789089486

17. Rank 19

    134 points · 131 comments · observed 1789089076

18. Rank 19

    132 points · 131 comments · observed 1789088668

19. Rank 19

    131 points · 131 comments · observed 1789088263

20. Rank 16

    130 points · 131 comments · observed 1789087858

21. Rank 15

    129 points · 131 comments · observed 1789087448

22. Rank 15

    128 points · 128 comments · observed 1789087036

23. Rank 14

    128 points · 126 comments · observed 1789086627

24. Rank 16

    127 points · 124 comments · observed 1789086205

25. Rank 16

    126 points · 122 comments · observed 1789085786

26. Rank 16

    125 points · 121 comments · observed 1789085381

27. Rank 16

    124 points · 121 comments · observed 1789084968

28. Rank 15

    122 points · 119 comments · observed 1789084554

29. Rank 10

    121 points · 118 comments · observed 1789084148

30. Rank 9

    119 points · 115 comments · observed 1789083744

31. Rank 11

    118 points · 114 comments · observed 1789083340

32. Rank 10

    115 points · 112 comments · observed 1789082930

33. Rank 9

    113 points · 109 comments · observed 1789082512

34. Rank 9

    110 points · 107 comments · observed 1789082094

35. Rank 8

    107 points · 101 comments · observed 1789081680

36. Rank 8

    105 points · 95 comments · observed 1789081266

37. Rank 7

    102 points · 85 comments · observed 1789080838

38. Rank 12

    98 points · 82 comments · observed 1789080424

39. Rank 6

    95 points · 76 comments · observed 1789080008

40. Rank 5

    92 points · 71 comments · observed 1789079597

41. Rank 1

    88 points · 64 comments · observed 1789079171

42. Rank 1

    72 points · 53 comments · observed 1789078744

43. Rank 1

    66 points · 33 comments · observed 1789078330

44. Rank 1

    56 points · 23 comments · observed 1789077916

45. Rank 1

    44 points · 11 comments · observed 1789077503

46. Rank 1

    32 points · 5 comments · observed 1789077090

47. Rank 3

    17 points · 1 comments · observed 1789076664

48. Rank 5

    8 points · 0 comments · observed 1789076247

49. Rank 17

    3 points · 0 comments · observed 1789075823

Unofficial Hacker News client; not affiliated with Y Combinator.