History

Developing provably correct Rust code with Verus

Open thread

First rank

20

Best rank

6

Last rank

30

Observations

133

First seen

1789608160

Last seen

1789662327

Missing captures

0

Milestones

2

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

1. Rank 30

   148 points · 43 comments · observed 1789662327

2. Rank 28

   146 points · 42 comments · observed 1789661904

3. Rank 26

   146 points · 42 comments · observed 1789661470

4. Rank 25

   143 points · 40 comments · observed 1789661026

5. Rank 25

   142 points · 38 comments · observed 1789660588

6. Rank 23

   141 points · 37 comments · observed 1789660161

7. Rank 22

   141 points · 37 comments · observed 1789659723

8. Rank 23

   141 points · 37 comments · observed 1789659295

9. Rank 24

   141 points · 37 comments · observed 1789658856

10. Rank 25

    140 points · 37 comments · observed 1789658421

11. Rank 25

    140 points · 37 comments · observed 1789657983

12. Rank 26

    140 points · 37 comments · observed 1789657554

13. Rank 26

    139 points · 36 comments · observed 1789657119

14. Rank 26

    138 points · 36 comments · observed 1789656682

15. Rank 25

    137 points · 36 comments · observed 1789656240

16. Rank 25

    137 points · 36 comments · observed 1789655805

17. Rank 25

    135 points · 36 comments · observed 1789655361

18. Rank 25

    135 points · 36 comments · observed 1789654928

19. Rank 24

    135 points · 35 comments · observed 1789654485

20. Rank 25

    135 points · 34 comments · observed 1789654046

21. Rank 24

    135 points · 32 comments · observed 1789653616

22. Rank 23

    133 points · 32 comments · observed 1789653177

23. Rank 21

    132 points · 31 comments · observed 1789652751

24. Rank 21

    131 points · 31 comments · observed 1789652333

25. Rank 19

    131 points · 31 comments · observed 1789651914

26. Rank 19

    131 points · 27 comments · observed 1789651480

27. Rank 18

    131 points · 26 comments · observed 1789651051

28. Rank 17

    130 points · 25 comments · observed 1789650629

29. Rank 18

    130 points · 25 comments · observed 1789650201

30. Rank 17

    130 points · 25 comments · observed 1789649786

31. Rank 16

    130 points · 24 comments · observed 1789649369

32. Rank 16

    129 points · 24 comments · observed 1789648953

33. Rank 16

    128 points · 24 comments · observed 1789648540

34. Rank 17

    126 points · 23 comments · observed 1789648132

35. Rank 16

    125 points · 23 comments · observed 1789647727

36. Rank 16

    123 points · 23 comments · observed 1789647320

37. Rank 15

    123 points · 22 comments · observed 1789646907

38. Rank 17

    123 points · 22 comments · observed 1789646490

39. Rank 18

    122 points · 22 comments · observed 1789646083

40. Rank 17

    122 points · 21 comments · observed 1789645671

41. Rank 17

    122 points · 21 comments · observed 1789645266

42. Rank 19

    121 points · 21 comments · observed 1789644857

43. Rank 17

    121 points · 21 comments · observed 1789644436

44. Rank 18

    119 points · 21 comments · observed 1789644024

45. Rank 18

    119 points · 21 comments · observed 1789643616

46. Rank 16

    118 points · 21 comments · observed 1789643203

47. Rank 16

    118 points · 20 comments · observed 1789642786

48. Rank 17

    117 points · 20 comments · observed 1789642377

49. Rank 17

    116 points · 19 comments · observed 1789641967

50. Rank 16

    116 points · 19 comments · observed 1789641556

51. Rank 15

    116 points · 19 comments · observed 1789641141

52. Rank 15

    116 points · 19 comments · observed 1789640731

53. Rank 15

    115 points · 19 comments · observed 1789640326

54. Rank 15

    115 points · 18 comments · observed 1789639921

55. Rank 15

    114 points · 18 comments · observed 1789639501

56. Rank 15

    113 points · 18 comments · observed 1789639085

57. Rank 15

    113 points · 18 comments · observed 1789638675

58. Rank 15

    112 points · 18 comments · observed 1789638266

59. Rank 15

    112 points · 18 comments · observed 1789637863

60. Rank 16

    110 points · 18 comments · observed 1789637459

61. Rank 15

    110 points · 17 comments · observed 1789637053

62. Rank 15

    110 points · 17 comments · observed 1789636650

63. Rank 14

    108 points · 17 comments · observed 1789636249

64. Rank 13

    107 points · 13 comments · observed 1789635848

65. Rank 13

    107 points · 12 comments · observed 1789635447

66. Rank 13

    106 points · 12 comments · observed 1789635034

67. Rank 13

    106 points · 12 comments · observed 1789634624

68. Rank 12

    105 points · 12 comments · observed 1789634216

69. Rank 12

    104 points · 12 comments · observed 1789633811

70. Rank 12

    103 points · 12 comments · observed 1789633415

71. Rank 11

    102 points · 12 comments · observed 1789633012

72. Rank 11

    102 points · 12 comments · observed 1789632612

73. Rank 11

    99 points · 12 comments · observed 1789632210

74. Rank 11

    97 points · 12 comments · observed 1789631799

75. Rank 11

    96 points · 12 comments · observed 1789631394

76. Rank 10

    95 points · 12 comments · observed 1789630991

77. Rank 8

    95 points · 12 comments · observed 1789630582

78. Rank 8

    95 points · 12 comments · observed 1789630168

79. Rank 8

    90 points · 12 comments · observed 1789629768

80. Rank 8

    90 points · 11 comments · observed 1789629363

81. Rank 10

    87 points · 11 comments · observed 1789628958

82. Rank 8

    86 points · 11 comments · observed 1789628542

83. Rank 10

    83 points · 11 comments · observed 1789628131

84. Rank 8

    83 points · 11 comments · observed 1789627730

85. Rank 8

    82 points · 11 comments · observed 1789627332

86. Rank 7

    82 points · 10 comments · observed 1789626925

87. Rank 7

    81 points · 10 comments · observed 1789626521

88. Rank 7

    80 points · 10 comments · observed 1789626119

89. Rank 7

    80 points · 10 comments · observed 1789625714

90. Rank 6

    79 points · 10 comments · observed 1789625315

91. Rank 6

    75 points · 10 comments · observed 1789624912

92. Rank 6

    74 points · 10 comments · observed 1789624511

93. Rank 6

    73 points · 10 comments · observed 1789624116

94. Rank 6

    71 points · 10 comments · observed 1789623712

95. Rank 6

    68 points · 10 comments · observed 1789623316

96. Rank 7

    65 points · 10 comments · observed 1789622920

97. Rank 7

    65 points · 9 comments · observed 1789622519

98. Rank 7

    62 points · 9 comments · observed 1789622126

99. Rank 7

    61 points · 9 comments · observed 1789621727

100. Rank 8

     59 points · 9 comments · observed 1789621331

101. Rank 10

     59 points · 9 comments · observed 1789620933

102. Rank 10

     58 points · 9 comments · observed 1789620538

103. Rank 10

     57 points · 9 comments · observed 1789620144

104. Rank 10

     56 points · 8 comments · observed 1789619745

105. Rank 10

     56 points · 7 comments · observed 1789619352

106. Rank 9

     54 points · 6 comments · observed 1789618944

107. Rank 8

     53 points · 5 comments · observed 1789618548

108. Rank 10

     50 points · 5 comments · observed 1789618148

109. Rank 9

     49 points · 5 comments · observed 1789617750

110. Rank 9

     49 points · 4 comments · observed 1789617354

111. Rank 9

     46 points · 4 comments · observed 1789616958

112. Rank 9

     43 points · 4 comments · observed 1789616557

113. Rank 8

     42 points · 2 comments · observed 1789616167

114. Rank 9

     39 points · 2 comments · observed 1789615772

115. Rank 8

     39 points · 2 comments · observed 1789615373

116. Rank 8

     39 points · 2 comments · observed 1789614977

117. Rank 7

     35 points · 2 comments · observed 1789614578

118. Rank 7

     33 points · 2 comments · observed 1789614181

119. Rank 7

     33 points · 2 comments · observed 1789613786

120. Rank 7

     31 points · 2 comments · observed 1789613390

121. Rank 8

     29 points · 2 comments · observed 1789612993

122. Rank 8

     29 points · 1 comments · observed 1789612593

123. Rank 8

     26 points · 1 comments · observed 1789612192

124. Rank 8

     24 points · 1 comments · observed 1789611792

125. Rank 8

     23 points · 1 comments · observed 1789611386

126. Rank 9

     17 points · 0 comments · observed 1789610983

127. Rank 9

     15 points · 0 comments · observed 1789610585

128. Rank 12

     12 points · 0 comments · observed 1789610182

129. Rank 12

     11 points · 0 comments · observed 1789609782

130. Rank 18

     8 points · 0 comments · observed 1789609372

131. Rank 24

     5 points · 0 comments · observed 1789608970

132. Rank 24

     5 points · 0 comments · observed 1789608566

133. Rank 20

     5 points · 0 comments · observed 1789608160

Unofficial Hacker News client; not affiliated with Y Combinator.