History

What TLA+ can and can't check

Open thread

First rank

18

Best rank

6

Last rank

29

Observations

198

First seen

1790786861

Last seen

1790867867

Missing captures

0

Milestones

2

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

1. Rank 29

   220 points · 47 comments · observed 1790867867

2. Rank 29

   217 points · 47 comments · observed 1790867435

3. Rank 27

   215 points · 47 comments · observed 1790866942

4. Rank 27

   215 points · 47 comments · observed 1790866516

5. Rank 28

   215 points · 46 comments · observed 1790866090

6. Rank 26

   215 points · 46 comments · observed 1790865671

7. Rank 26

   214 points · 46 comments · observed 1790865215

8. Rank 27

   214 points · 46 comments · observed 1790864792

9. Rank 26

   211 points · 46 comments · observed 1790864314

10. Rank 26

    209 points · 46 comments · observed 1790863887

11. Rank 26

    208 points · 45 comments · observed 1790863453

12. Rank 27

    208 points · 45 comments · observed 1790863029

13. Rank 26

    208 points · 45 comments · observed 1790862603

14. Rank 26

    208 points · 45 comments · observed 1790862183

15. Rank 26

    207 points · 45 comments · observed 1790861748

16. Rank 24

    205 points · 44 comments · observed 1790861328

17. Rank 23

    205 points · 44 comments · observed 1790860912

18. Rank 23

    203 points · 44 comments · observed 1790860481

19. Rank 24

    203 points · 44 comments · observed 1790860053

20. Rank 22

    203 points · 44 comments · observed 1790859626

21. Rank 20

    203 points · 44 comments · observed 1790859215

22. Rank 20

    203 points · 43 comments · observed 1790858802

23. Rank 21

    201 points · 43 comments · observed 1790858393

24. Rank 21

    199 points · 43 comments · observed 1790857985

25. Rank 23

    198 points · 43 comments · observed 1790857576

26. Rank 22

    198 points · 43 comments · observed 1790857170

27. Rank 19

    197 points · 43 comments · observed 1790856763

28. Rank 20

    196 points · 43 comments · observed 1790856358

29. Rank 21

    196 points · 43 comments · observed 1790855950

30. Rank 20

    196 points · 42 comments · observed 1790855546

31. Rank 20

    195 points · 42 comments · observed 1790855132

32. Rank 20

    195 points · 41 comments · observed 1790854729

33. Rank 20

    195 points · 41 comments · observed 1790854329

34. Rank 21

    193 points · 41 comments · observed 1790853932

35. Rank 20

    193 points · 41 comments · observed 1790853532

36. Rank 20

    193 points · 41 comments · observed 1790853130

37. Rank 20

    193 points · 41 comments · observed 1790852730

38. Rank 20

    192 points · 41 comments · observed 1790852330

39. Rank 20

    191 points · 41 comments · observed 1790851926

40. Rank 18

    190 points · 41 comments · observed 1790851531

41. Rank 19

    188 points · 41 comments · observed 1790851128

42. Rank 19

    188 points · 41 comments · observed 1790850720

43. Rank 20

    187 points · 41 comments · observed 1790850320

44. Rank 19

    187 points · 41 comments · observed 1790849917

45. Rank 19

    187 points · 41 comments · observed 1790849516

46. Rank 19

    187 points · 41 comments · observed 1790849117

47. Rank 19

    187 points · 41 comments · observed 1790848715

48. Rank 19

    186 points · 41 comments · observed 1790848310

49. Rank 18

    186 points · 41 comments · observed 1790847914

50. Rank 18

    186 points · 41 comments · observed 1790847514

51. Rank 18

    186 points · 41 comments · observed 1790847121

52. Rank 17

    184 points · 41 comments · observed 1790846729

53. Rank 17

    184 points · 41 comments · observed 1790846324

54. Rank 17

    184 points · 41 comments · observed 1790845927

55. Rank 17

    184 points · 41 comments · observed 1790845526

56. Rank 17

    184 points · 41 comments · observed 1790845118

57. Rank 18

    184 points · 41 comments · observed 1790844721

58. Rank 18

    184 points · 41 comments · observed 1790844321

59. Rank 17

    184 points · 41 comments · observed 1790843921

60. Rank 17

    184 points · 41 comments · observed 1790843517

61. Rank 17

    184 points · 41 comments · observed 1790843114

62. Rank 14

    183 points · 41 comments · observed 1790842711

63. Rank 14

    183 points · 41 comments · observed 1790842315

64. Rank 15

    182 points · 41 comments · observed 1790841914

65. Rank 15

    181 points · 41 comments · observed 1790841510

66. Rank 15

    181 points · 41 comments · observed 1790841107

67. Rank 14

    180 points · 41 comments · observed 1790840706

68. Rank 14

    178 points · 41 comments · observed 1790840305

69. Rank 15

    177 points · 40 comments · observed 1790839898

70. Rank 16

    177 points · 40 comments · observed 1790839499

71. Rank 16

    177 points · 40 comments · observed 1790839099

72. Rank 17

    176 points · 40 comments · observed 1790838699

73. Rank 17

    176 points · 40 comments · observed 1790838297

74. Rank 17

    176 points · 38 comments · observed 1790837888

75. Rank 18

    176 points · 36 comments · observed 1790837484

76. Rank 18

    176 points · 36 comments · observed 1790837071

77. Rank 17

    176 points · 36 comments · observed 1790836671

78. Rank 19

    176 points · 36 comments · observed 1790836269

79. Rank 19

    175 points · 36 comments · observed 1790835874

80. Rank 18

    175 points · 36 comments · observed 1790835479

81. Rank 18

    174 points · 36 comments · observed 1790835083

82. Rank 16

    173 points · 36 comments · observed 1790834679

83. Rank 18

    170 points · 36 comments · observed 1790834287

84. Rank 18

    169 points · 36 comments · observed 1790833896

85. Rank 20

    168 points · 36 comments · observed 1790833495

86. Rank 20

    165 points · 36 comments · observed 1790833101

87. Rank 20

    164 points · 35 comments · observed 1790832699

88. Rank 21

    164 points · 35 comments · observed 1790832302

89. Rank 20

    162 points · 35 comments · observed 1790831909

90. Rank 20

    161 points · 35 comments · observed 1790831515

91. Rank 19

    161 points · 35 comments · observed 1790831119

92. Rank 20

    160 points · 34 comments · observed 1790830721

93. Rank 19

    160 points · 34 comments · observed 1790830323

94. Rank 20

    157 points · 34 comments · observed 1790829926

95. Rank 19

    157 points · 34 comments · observed 1790829528

96. Rank 18

    157 points · 34 comments · observed 1790829133

97. Rank 18

    157 points · 34 comments · observed 1790828738

98. Rank 18

    156 points · 34 comments · observed 1790828336

99. Rank 18

    155 points · 34 comments · observed 1790827931

100. Rank 18

     153 points · 34 comments · observed 1790827535

101. Rank 19

     152 points · 34 comments · observed 1790827131

102. Rank 21

     152 points · 34 comments · observed 1790826735

103. Rank 21

     152 points · 34 comments · observed 1790826338

104. Rank 19

     152 points · 34 comments · observed 1790825919

105. Rank 21

     150 points · 34 comments · observed 1790825522

106. Rank 20

     150 points · 33 comments · observed 1790825125

107. Rank 21

     150 points · 33 comments · observed 1790824728

108. Rank 21

     149 points · 33 comments · observed 1790824324

109. Rank 21

     148 points · 33 comments · observed 1790823925

110. Rank 19

     147 points · 33 comments · observed 1790823505

111. Rank 20

     145 points · 33 comments · observed 1790823105

112. Rank 20

     145 points · 33 comments · observed 1790822707

113. Rank 19

     144 points · 32 comments · observed 1790822299

114. Rank 18

     144 points · 32 comments · observed 1790821901

115. Rank 17

     144 points · 32 comments · observed 1790821501

116. Rank 18

     144 points · 32 comments · observed 1790821109

117. Rank 20

     143 points · 32 comments · observed 1790820701

118. Rank 20

     141 points · 32 comments · observed 1790820298

119. Rank 19

     141 points · 32 comments · observed 1790819893

120. Rank 19

     141 points · 32 comments · observed 1790819491

121. Rank 19

     141 points · 31 comments · observed 1790819094

122. Rank 20

     141 points · 31 comments · observed 1790818699

123. Rank 22

     140 points · 31 comments · observed 1790818299

124. Rank 21

     140 points · 30 comments · observed 1790817894

125. Rank 22

     139 points · 30 comments · observed 1790817492

126. Rank 21

     139 points · 29 comments · observed 1790817094

127. Rank 24

     138 points · 29 comments · observed 1790816701

128. Rank 23

     138 points · 29 comments · observed 1790816302

129. Rank 24

     138 points · 29 comments · observed 1790815907

130. Rank 24

     134 points · 29 comments · observed 1790815515

131. Rank 25

     133 points · 29 comments · observed 1790815118

132. Rank 24

     133 points · 29 comments · observed 1790814721

133. Rank 24

     133 points · 29 comments · observed 1790814308

134. Rank 26

     133 points · 29 comments · observed 1790813897

135. Rank 25

     131 points · 29 comments · observed 1790813490

136. Rank 25

     131 points · 29 comments · observed 1790813088

137. Rank 23

     131 points · 29 comments · observed 1790812685

138. Rank 23

     130 points · 29 comments · observed 1790812286

139. Rank 23

     130 points · 29 comments · observed 1790811885

140. Rank 24

     127 points · 29 comments · observed 1790811476

141. Rank 25

     125 points · 29 comments · observed 1790811077

142. Rank 24

     125 points · 29 comments · observed 1790810669

143. Rank 25

     125 points · 29 comments · observed 1790810266

144. Rank 24

     123 points · 29 comments · observed 1790809862

145. Rank 24

     122 points · 29 comments · observed 1790809450

146. Rank 23

     121 points · 29 comments · observed 1790809047

147. Rank 24

     119 points · 28 comments · observed 1790808630

148. Rank 23

     118 points · 28 comments · observed 1790808214

149. Rank 24

     118 points · 28 comments · observed 1790807800

150. Rank 23

     116 points · 28 comments · observed 1790807380

151. Rank 22

     116 points · 28 comments · observed 1790806972

152. Rank 22

     115 points · 28 comments · observed 1790806562

153. Rank 21

     115 points · 28 comments · observed 1790806143

154. Rank 15

     113 points · 27 comments · observed 1790805730

155. Rank 17

     112 points · 27 comments · observed 1790805308

156. Rank 17

     110 points · 25 comments · observed 1790804890

157. Rank 18

     109 points · 25 comments · observed 1790804474

158. Rank 17

     109 points · 25 comments · observed 1790804055

159. Rank 17

     109 points · 25 comments · observed 1790803636

160. Rank 14

     109 points · 23 comments · observed 1790803210

161. Rank 13

     107 points · 23 comments · observed 1790802792

162. Rank 11

     106 points · 23 comments · observed 1790802377

163. Rank 13

     102 points · 22 comments · observed 1790801942

164. Rank 12

     98 points · 21 comments · observed 1790801515

165. Rank 12

     96 points · 21 comments · observed 1790801079

166. Rank 12

     94 points · 19 comments · observed 1790800628

167. Rank 11

     93 points · 16 comments · observed 1790799947

168. Rank 12

     91 points · 15 comments · observed 1790799508

169. Rank 11

     87 points · 15 comments · observed 1790799071

170. Rank 10

     82 points · 14 comments · observed 1790798641

171. Rank 9

     82 points · 13 comments · observed 1790798221

172. Rank 9

     81 points · 12 comments · observed 1790797803

173. Rank 10

     77 points · 11 comments · observed 1790797389

174. Rank 9

     74 points · 11 comments · observed 1790796977

175. Rank 6

     72 points · 10 comments · observed 1790796558

176. Rank 7

     66 points · 10 comments · observed 1790796138

177. Rank 7

     65 points · 10 comments · observed 1790795722

178. Rank 7

     63 points · 10 comments · observed 1790795303

179. Rank 7

     61 points · 10 comments · observed 1790794879

180. Rank 7

     58 points · 10 comments · observed 1790794467

181. Rank 7

     57 points · 10 comments · observed 1790794048

182. Rank 10

     51 points · 9 comments · observed 1790793624

183. Rank 10

     49 points · 9 comments · observed 1790793215

184. Rank 10

     47 points · 7 comments · observed 1790792795

185. Rank 11

     42 points · 7 comments · observed 1790792378

186. Rank 12

     39 points · 6 comments · observed 1790791965

187. Rank 12

     36 points · 5 comments · observed 1790791541

188. Rank 12

     34 points · 4 comments · observed 1790791118

189. Rank 15

     31 points · 4 comments · observed 1790790696

190. Rank 15

     27 points · 4 comments · observed 1790790276

191. Rank 14

     24 points · 3 comments · observed 1790789856

192. Rank 13

     19 points · 3 comments · observed 1790789428

193. Rank 12

     17 points · 3 comments · observed 1790789005

194. Rank 13

     15 points · 1 comments · observed 1790788573

195. Rank 14

     13 points · 1 comments · observed 1790788149

196. Rank 16

     10 points · 1 comments · observed 1790787719

197. Rank 18

     8 points · 1 comments · observed 1790787301

198. Rank 18

     7 points · 0 comments · observed 1790786861

Unofficial Hacker News client; not affiliated with Y Combinator.