History

Anatomy of a Lean proof for software engineers

Open thread

First rank

11

Best rank

10

Last rank

30

Observations

97

First seen

1790965847

Last seen

1791007677

Missing captures

8

Milestones

2

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

1. Rank 30

   103 points · 33 comments · observed 1791007677

2. Rank 30

   103 points · 33 comments · observed 1791007288

3. Rank 30

   103 points · 33 comments · observed 1791006901

4. Rank 29

   101 points · 31 comments · observed 1791006117

5. Rank 30

   99 points · 31 comments · observed 1791005727

6. Rank 30

   99 points · 30 comments · observed 1791005331

7. Rank 26

   94 points · 21 comments · observed 1791002227

8. Rank 25

   94 points · 21 comments · observed 1791001836

9. Rank 25

   93 points · 19 comments · observed 1791001449

10. Rank 27

    93 points · 19 comments · observed 1791001053

11. Rank 27

    93 points · 19 comments · observed 1791000663

12. Rank 26

    92 points · 19 comments · observed 1791000276

13. Rank 26

    92 points · 18 comments · observed 1790999884

14. Rank 28

    91 points · 18 comments · observed 1790999495

15. Rank 27

    90 points · 18 comments · observed 1790999106

16. Rank 27

    90 points · 18 comments · observed 1790998711

17. Rank 26

    90 points · 18 comments · observed 1790998322

18. Rank 26

    90 points · 18 comments · observed 1790997936

19. Rank 25

    90 points · 18 comments · observed 1790997541

20. Rank 25

    89 points · 17 comments · observed 1790997146

21. Rank 25

    89 points · 16 comments · observed 1790996758

22. Rank 24

    88 points · 16 comments · observed 1790996362

23. Rank 26

    87 points · 15 comments · observed 1790995969

24. Rank 25

    86 points · 15 comments · observed 1790995573

25. Rank 25

    85 points · 15 comments · observed 1790995178

26. Rank 24

    84 points · 15 comments · observed 1790994785

27. Rank 26

    83 points · 14 comments · observed 1790994385

28. Rank 25

    82 points · 13 comments · observed 1790993987

29. Rank 25

    82 points · 13 comments · observed 1790993589

30. Rank 24

    81 points · 13 comments · observed 1790993195

31. Rank 24

    81 points · 13 comments · observed 1790992790

32. Rank 23

    81 points · 13 comments · observed 1790992395

33. Rank 17

    79 points · 13 comments · observed 1790991998

34. Rank 22

    77 points · 10 comments · observed 1790991594

35. Rank 22

    76 points · 10 comments · observed 1790991197

36. Rank 22

    76 points · 10 comments · observed 1790990801

37. Rank 22

    74 points · 10 comments · observed 1790990407

38. Rank 24

    74 points · 10 comments · observed 1790990011

39. Rank 24

    73 points · 8 comments · observed 1790989605

40. Rank 24

    73 points · 8 comments · observed 1790989195

41. Rank 24

    72 points · 7 comments · observed 1790988796

42. Rank 23

    72 points · 7 comments · observed 1790988403

43. Rank 22

    72 points · 7 comments · observed 1790988008

44. Rank 23

    71 points · 7 comments · observed 1790987614

45. Rank 23

    71 points · 7 comments · observed 1790987216

46. Rank 22

    71 points · 7 comments · observed 1790986818

47. Rank 22

    71 points · 7 comments · observed 1790986418

48. Rank 25

    70 points · 6 comments · observed 1790986021

49. Rank 25

    69 points · 6 comments · observed 1790985601

50. Rank 23

    68 points · 6 comments · observed 1790985205

51. Rank 22

    68 points · 6 comments · observed 1790984797

52. Rank 22

    68 points · 6 comments · observed 1790984392

53. Rank 22

    67 points · 6 comments · observed 1790983989

54. Rank 21

    67 points · 6 comments · observed 1790983591

55. Rank 20

    66 points · 5 comments · observed 1790983192

56. Rank 20

    65 points · 5 comments · observed 1790982782

57. Rank 20

    64 points · 5 comments · observed 1790982385

58. Rank 21

    60 points · 4 comments · observed 1790981974

59. Rank 21

    59 points · 3 comments · observed 1790981578

60. Rank 19

    59 points · 3 comments · observed 1790981175

61. Rank 18

    57 points · 2 comments · observed 1790980769

62. Rank 20

    56 points · 1 comments · observed 1790980365

63. Rank 21

    55 points · 1 comments · observed 1790979957

64. Rank 20

    53 points · 1 comments · observed 1790979558

65. Rank 19

    52 points · 1 comments · observed 1790979146

66. Rank 19

    52 points · 1 comments · observed 1790978751

67. Rank 20

    50 points · 1 comments · observed 1790978342

68. Rank 21

    50 points · 1 comments · observed 1790977928

69. Rank 17

    49 points · 1 comments · observed 1790977507

70. Rank 19

    48 points · 1 comments · observed 1790977089

71. Rank 20

    48 points · 1 comments · observed 1790976675

72. Rank 18

    45 points · 1 comments · observed 1790976268

73. Rank 16

    44 points · 1 comments · observed 1790975857

74. Rank 19

    42 points · 0 comments · observed 1790975449

75. Rank 17

    39 points · 0 comments · observed 1790975044

76. Rank 16

    38 points · 0 comments · observed 1790974630

77. Rank 19

    36 points · 0 comments · observed 1790974218

78. Rank 27

    35 points · 0 comments · observed 1790973801

79. Rank 28

    35 points · 0 comments · observed 1790973383

80. Rank 29

    33 points · 0 comments · observed 1790972969

81. Rank 29

    33 points · 0 comments · observed 1790972560

82. Rank 29

    32 points · 0 comments · observed 1790972142

83. Rank 24

    30 points · 0 comments · observed 1790971728

84. Rank 28

    27 points · 0 comments · observed 1790971314

85. Rank 26

    23 points · 0 comments · observed 1790970894

86. Rank 27

    21 points · 0 comments · observed 1790970476

87. Rank 23

    20 points · 0 comments · observed 1790970060

88. Rank 25

    18 points · 0 comments · observed 1790969629

89. Rank 23

    17 points · 0 comments · observed 1790969204

90. Rank 23

    16 points · 0 comments · observed 1790968774

91. Rank 18

    15 points · 0 comments · observed 1790968354

92. Rank 15

    14 points · 0 comments · observed 1790967937

93. Rank 15

    12 points · 0 comments · observed 1790967513

94. Rank 13

    9 points · 0 comments · observed 1790967094

95. Rank 10

    8 points · 0 comments · observed 1790966684

96. Rank 17

    6 points · 0 comments · observed 1790966269

97. Rank 11

    6 points · 0 comments · observed 1790965847

Unofficial Hacker News client; not affiliated with Y Combinator.