History

SeL4 security proofs now complete on AArch64

Open thread

First rank

10

Best rank

1

Last rank

30

Observations

237

First seen

1787573304

Last seen

1787662319

Missing captures

3

Milestones

2

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

1. Rank 30

   192 points · 47 comments · observed 1787662319

2. Rank 28

   192 points · 47 comments · observed 1787661938

3. Rank 28

   192 points · 47 comments · observed 1787661554

4. Rank 28

   192 points · 47 comments · observed 1787661169

5. Rank 27

   192 points · 47 comments · observed 1787660795

6. Rank 27

   192 points · 47 comments · observed 1787660419

7. Rank 27

   192 points · 47 comments · observed 1787660042

8. Rank 28

   192 points · 47 comments · observed 1787659664

9. Rank 28

   192 points · 47 comments · observed 1787659285

10. Rank 28

    192 points · 47 comments · observed 1787658911

11. Rank 27

    192 points · 46 comments · observed 1787658539

12. Rank 27

    192 points · 44 comments · observed 1787658168

13. Rank 27

    192 points · 44 comments · observed 1787657793

14. Rank 27

    192 points · 44 comments · observed 1787657422

15. Rank 27

    192 points · 44 comments · observed 1787657047

16. Rank 27

    192 points · 43 comments · observed 1787656670

17. Rank 26

    192 points · 43 comments · observed 1787656295

18. Rank 26

    192 points · 43 comments · observed 1787655926

19. Rank 25

    192 points · 43 comments · observed 1787655556

20. Rank 25

    192 points · 43 comments · observed 1787655180

21. Rank 25

    192 points · 43 comments · observed 1787654810

22. Rank 25

    192 points · 43 comments · observed 1787654450

23. Rank 25

    192 points · 43 comments · observed 1787654077

24. Rank 25

    192 points · 43 comments · observed 1787653707

25. Rank 25

    191 points · 43 comments · observed 1787653340

26. Rank 24

    191 points · 43 comments · observed 1787652974

27. Rank 23

    190 points · 43 comments · observed 1787652594

28. Rank 24

    189 points · 43 comments · observed 1787652229

29. Rank 24

    189 points · 43 comments · observed 1787651866

30. Rank 23

    188 points · 43 comments · observed 1787651497

31. Rank 24

    188 points · 43 comments · observed 1787651127

32. Rank 23

    187 points · 43 comments · observed 1787650768

33. Rank 24

    187 points · 43 comments · observed 1787650406

34. Rank 24

    187 points · 43 comments · observed 1787650040

35. Rank 24

    187 points · 43 comments · observed 1787649678

36. Rank 26

    187 points · 43 comments · observed 1787649321

37. Rank 26

    187 points · 43 comments · observed 1787648954

38. Rank 26

    187 points · 43 comments · observed 1787648592

39. Rank 26

    187 points · 43 comments · observed 1787648220

40. Rank 26

    187 points · 43 comments · observed 1787647852

41. Rank 26

    186 points · 43 comments · observed 1787647485

42. Rank 25

    186 points · 43 comments · observed 1787647114

43. Rank 25

    186 points · 43 comments · observed 1787646753

44. Rank 25

    186 points · 43 comments · observed 1787646395

45. Rank 25

    186 points · 42 comments · observed 1787646037

46. Rank 25

    186 points · 42 comments · observed 1787645680

47. Rank 26

    186 points · 42 comments · observed 1787645315

48. Rank 26

    186 points · 42 comments · observed 1787644957

49. Rank 26

    186 points · 42 comments · observed 1787644593

50. Rank 26

    185 points · 42 comments · observed 1787644233

51. Rank 26

    185 points · 42 comments · observed 1787643870

52. Rank 26

    185 points · 42 comments · observed 1787643503

53. Rank 26

    182 points · 42 comments · observed 1787643141

54. Rank 25

    182 points · 42 comments · observed 1787642781

55. Rank 25

    182 points · 42 comments · observed 1787642414

56. Rank 26

    182 points · 42 comments · observed 1787642055

57. Rank 27

    182 points · 42 comments · observed 1787641689

58. Rank 26

    182 points · 41 comments · observed 1787641323

59. Rank 28

    182 points · 41 comments · observed 1787640954

60. Rank 28

    182 points · 41 comments · observed 1787640588

61. Rank 28

    182 points · 40 comments · observed 1787640225

62. Rank 28

    181 points · 39 comments · observed 1787639857

63. Rank 27

    181 points · 39 comments · observed 1787639495

64. Rank 27

    180 points · 39 comments · observed 1787639131

65. Rank 27

    180 points · 39 comments · observed 1787638768

66. Rank 27

    179 points · 39 comments · observed 1787638407

67. Rank 27

    179 points · 39 comments · observed 1787638049

68. Rank 27

    178 points · 39 comments · observed 1787637687

69. Rank 27

    178 points · 39 comments · observed 1787637327

70. Rank 28

    177 points · 39 comments · observed 1787636971

71. Rank 28

    177 points · 39 comments · observed 1787636608

72. Rank 29

    177 points · 39 comments · observed 1787636248

73. Rank 30

    176 points · 39 comments · observed 1787635168

74. Rank 27

    176 points · 38 comments · observed 1787634812

75. Rank 29

    176 points · 38 comments · observed 1787634453

76. Rank 29

    176 points · 38 comments · observed 1787633716

77. Rank 30

    176 points · 38 comments · observed 1787633359

78. Rank 30

    176 points · 38 comments · observed 1787633000

79. Rank 30

    176 points · 38 comments · observed 1787632639

80. Rank 29

    176 points · 38 comments · observed 1787632278

81. Rank 30

    176 points · 38 comments · observed 1787631916

82. Rank 30

    176 points · 38 comments · observed 1787631558

83. Rank 26

    176 points · 38 comments · observed 1787631202

84. Rank 24

    175 points · 38 comments · observed 1787630843

85. Rank 18

    175 points · 38 comments · observed 1787630471

86. Rank 18

    175 points · 38 comments · observed 1787630112

87. Rank 18

    174 points · 38 comments · observed 1787629755

88. Rank 18

    174 points · 38 comments · observed 1787629390

89. Rank 18

    174 points · 38 comments · observed 1787629034

90. Rank 17

    174 points · 38 comments · observed 1787628676

91. Rank 19

    174 points · 38 comments · observed 1787628320

92. Rank 19

    174 points · 38 comments · observed 1787627963

93. Rank 19

    174 points · 38 comments · observed 1787627601

94. Rank 19

    174 points · 38 comments · observed 1787627245

95. Rank 18

    173 points · 38 comments · observed 1787626873

96. Rank 20

    173 points · 38 comments · observed 1787626504

97. Rank 20

    173 points · 38 comments · observed 1787626146

98. Rank 20

    173 points · 38 comments · observed 1787625786

99. Rank 20

    172 points · 38 comments · observed 1787625425

100. Rank 19

     172 points · 38 comments · observed 1787625061

101. Rank 19

     171 points · 38 comments · observed 1787624701

102. Rank 19

     171 points · 38 comments · observed 1787624347

103. Rank 19

     171 points · 38 comments · observed 1787623989

104. Rank 20

     171 points · 38 comments · observed 1787623628

105. Rank 20

     171 points · 38 comments · observed 1787623246

106. Rank 20

     171 points · 38 comments · observed 1787622884

107. Rank 19

     171 points · 38 comments · observed 1787622528

108. Rank 19

     171 points · 38 comments · observed 1787622164

109. Rank 19

     171 points · 38 comments · observed 1787621803

110. Rank 19

     171 points · 38 comments · observed 1787621441

111. Rank 18

     171 points · 38 comments · observed 1787621077

112. Rank 19

     170 points · 38 comments · observed 1787620722

113. Rank 19

     170 points · 38 comments · observed 1787620361

114. Rank 21

     170 points · 38 comments · observed 1787620001

115. Rank 21

     170 points · 38 comments · observed 1787619630

116. Rank 21

     170 points · 38 comments · observed 1787619269

117. Rank 19

     170 points · 38 comments · observed 1787618907

118. Rank 19

     170 points · 38 comments · observed 1787618547

119. Rank 20

     170 points · 37 comments · observed 1787618179

120. Rank 20

     168 points · 37 comments · observed 1787617813

121. Rank 18

     168 points · 37 comments · observed 1787617445

122. Rank 18

     168 points · 37 comments · observed 1787617083

123. Rank 20

     167 points · 36 comments · observed 1787616724

124. Rank 20

     165 points · 36 comments · observed 1787616351

125. Rank 20

     165 points · 36 comments · observed 1787615970

126. Rank 20

     165 points · 36 comments · observed 1787615610

127. Rank 21

     165 points · 36 comments · observed 1787615248

128. Rank 21

     165 points · 36 comments · observed 1787614880

129. Rank 22

     165 points · 36 comments · observed 1787614510

130. Rank 20

     164 points · 36 comments · observed 1787614140

131. Rank 21

     163 points · 36 comments · observed 1787613769

132. Rank 21

     162 points · 36 comments · observed 1787613403

133. Rank 21

     162 points · 36 comments · observed 1787613040

134. Rank 21

     161 points · 36 comments · observed 1787612673

135. Rank 21

     161 points · 36 comments · observed 1787612304

136. Rank 20

     160 points · 36 comments · observed 1787611928

137. Rank 20

     160 points · 36 comments · observed 1787611560

138. Rank 20

     160 points · 36 comments · observed 1787611188

139. Rank 19

     160 points · 35 comments · observed 1787610819

140. Rank 20

     159 points · 35 comments · observed 1787610440

141. Rank 21

     159 points · 35 comments · observed 1787610063

142. Rank 19

     158 points · 35 comments · observed 1787609688

143. Rank 20

     158 points · 34 comments · observed 1787609308

144. Rank 20

     158 points · 34 comments · observed 1787608931

145. Rank 21

     158 points · 34 comments · observed 1787608553

146. Rank 20

     158 points · 34 comments · observed 1787608181

147. Rank 19

     157 points · 34 comments · observed 1787607816

148. Rank 20

     157 points · 34 comments · observed 1787607452

149. Rank 21

     156 points · 34 comments · observed 1787607066

150. Rank 20

     153 points · 34 comments · observed 1787606683

151. Rank 20

     153 points · 34 comments · observed 1787606305

152. Rank 17

     153 points · 34 comments · observed 1787605922

153. Rank 17

     152 points · 34 comments · observed 1787605550

154. Rank 16

     152 points · 34 comments · observed 1787605161

155. Rank 16

     152 points · 34 comments · observed 1787604777

156. Rank 16

     151 points · 34 comments · observed 1787604394

157. Rank 16

     151 points · 34 comments · observed 1787604014

158. Rank 16

     151 points · 34 comments · observed 1787603639

159. Rank 15

     151 points · 34 comments · observed 1787603252

160. Rank 15

     150 points · 33 comments · observed 1787602887

161. Rank 14

     150 points · 33 comments · observed 1787602502

162. Rank 14

     148 points · 32 comments · observed 1787602115

163. Rank 15

     148 points · 32 comments · observed 1787601732

164. Rank 16

     148 points · 31 comments · observed 1787601339

165. Rank 15

     148 points · 31 comments · observed 1787600964

166. Rank 14

     148 points · 31 comments · observed 1787600577

167. Rank 14

     148 points · 31 comments · observed 1787600194

168. Rank 14

     148 points · 31 comments · observed 1787599801

169. Rank 16

     146 points · 31 comments · observed 1787599422

170. Rank 16

     146 points · 31 comments · observed 1787599040

171. Rank 14

     146 points · 31 comments · observed 1787598664

172. Rank 14

     145 points · 31 comments · observed 1787598279

173. Rank 15

     144 points · 31 comments · observed 1787597892

174. Rank 14

     142 points · 31 comments · observed 1787597520

175. Rank 13

     142 points · 31 comments · observed 1787597143

176. Rank 13

     142 points · 31 comments · observed 1787596765

177. Rank 14

     142 points · 31 comments · observed 1787596393

178. Rank 12

     142 points · 31 comments · observed 1787596014

179. Rank 13

     142 points · 31 comments · observed 1787595633

180. Rank 14

     141 points · 31 comments · observed 1787595250

181. Rank 13

     141 points · 31 comments · observed 1787594866

182. Rank 12

     141 points · 31 comments · observed 1787594479

183. Rank 11

     140 points · 31 comments · observed 1787594101

184. Rank 11

     140 points · 31 comments · observed 1787593718

185. Rank 11

     139 points · 31 comments · observed 1787593330

186. Rank 12

     137 points · 31 comments · observed 1787592949

187. Rank 10

     135 points · 31 comments · observed 1787592561

188. Rank 10

     135 points · 31 comments · observed 1787592176

189. Rank 9

     135 points · 31 comments · observed 1787591784

190. Rank 9

     135 points · 31 comments · observed 1787591391

191. Rank 8

     131 points · 30 comments · observed 1787591000

192. Rank 8

     130 points · 30 comments · observed 1787590609

193. Rank 7

     129 points · 30 comments · observed 1787590209

194. Rank 7

     128 points · 30 comments · observed 1787589815

195. Rank 7

     127 points · 30 comments · observed 1787589434

196. Rank 7

     126 points · 30 comments · observed 1787589044

197. Rank 7

     126 points · 30 comments · observed 1787588644

198. Rank 7

     125 points · 30 comments · observed 1787588261

199. Rank 7

     123 points · 30 comments · observed 1787587860

200. Rank 6

     121 points · 29 comments · observed 1787587452

201. Rank 5

     115 points · 28 comments · observed 1787587050

202. Rank 5

     113 points · 28 comments · observed 1787586639

203. Rank 4

     106 points · 28 comments · observed 1787586251

204. Rank 4

     103 points · 27 comments · observed 1787585869

205. Rank 3

     102 points · 25 comments · observed 1787585480

206. Rank 2

     101 points · 25 comments · observed 1787585095

207. Rank 2

     101 points · 25 comments · observed 1787584715

208. Rank 2

     101 points · 23 comments · observed 1787584334

209. Rank 2

     97 points · 21 comments · observed 1787583948

210. Rank 2

     95 points · 21 comments · observed 1787583562

211. Rank 2

     92 points · 20 comments · observed 1787583178

212. Rank 2

     88 points · 20 comments · observed 1787582792

213. Rank 2

     87 points · 19 comments · observed 1787582408

214. Rank 2

     83 points · 19 comments · observed 1787582020

215. Rank 2

     81 points · 17 comments · observed 1787581634

216. Rank 2

     79 points · 16 comments · observed 1787581245

217. Rank 2

     78 points · 16 comments · observed 1787580858

218. Rank 2

     76 points · 16 comments · observed 1787580473

219. Rank 2

     73 points · 16 comments · observed 1787580091

220. Rank 2

     70 points · 16 comments · observed 1787579705

221. Rank 2

     65 points · 16 comments · observed 1787579322

222. Rank 2

     64 points · 15 comments · observed 1787578943

223. Rank 2

     64 points · 15 comments · observed 1787578564

224. Rank 1

     61 points · 15 comments · observed 1787578185

225. Rank 1

     58 points · 13 comments · observed 1787577813

226. Rank 1

     54 points · 11 comments · observed 1787577436

227. Rank 1

     51 points · 11 comments · observed 1787577066

228. Rank 1

     46 points · 10 comments · observed 1787576695

229. Rank 1

     40 points · 9 comments · observed 1787576316

230. Rank 1

     37 points · 9 comments · observed 1787575939

231. Rank 1

     34 points · 6 comments · observed 1787575574

232. Rank 1

     31 points · 4 comments · observed 1787575199

233. Rank 1

     27 points · 2 comments · observed 1787574807

234. Rank 1

     19 points · 2 comments · observed 1787574424

235. Rank 3

     9 points · 0 comments · observed 1787574047

236. Rank 4

     5 points · 0 comments · observed 1787573677

237. Rank 10

     3 points · 0 comments · observed 1787573304

Unofficial Hacker News client; not affiliated with Y Combinator.