History

The Case Against Formal Verification, 50 Years Later

Open thread

First rank

5

Best rank

1

Last rank

25

Observations

45

First seen

1786913192

Last seen

1786929191

Missing captures

0

Milestones

2

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

1. Rank 25

   78 points · 72 comments · observed 1786929191

2. Rank 21

   78 points · 70 comments · observed 1786928833

3. Rank 20

   78 points · 69 comments · observed 1786928474

4. Rank 18

   77 points · 66 comments · observed 1786928116

5. Rank 16

   77 points · 63 comments · observed 1786927758

6. Rank 16

   77 points · 63 comments · observed 1786927396

7. Rank 16

   76 points · 63 comments · observed 1786927040

8. Rank 14

   76 points · 62 comments · observed 1786926683

9. Rank 13

   76 points · 62 comments · observed 1786926325

10. Rank 12

    76 points · 62 comments · observed 1786925964

11. Rank 12

    75 points · 62 comments · observed 1786925605

12. Rank 17

    73 points · 62 comments · observed 1786925245

13. Rank 17

    72 points · 62 comments · observed 1786924869

14. Rank 17

    71 points · 62 comments · observed 1786924503

15. Rank 16

    71 points · 62 comments · observed 1786924147

16. Rank 16

    71 points · 61 comments · observed 1786923793

17. Rank 12

    69 points · 59 comments · observed 1786923425

18. Rank 12

    68 points · 58 comments · observed 1786923064

19. Rank 12

    67 points · 57 comments · observed 1786922698

20. Rank 11

    67 points · 57 comments · observed 1786922337

21. Rank 8

    66 points · 56 comments · observed 1786921974

22. Rank 9

    63 points · 54 comments · observed 1786921610

23. Rank 8

    63 points · 52 comments · observed 1786921240

24. Rank 8

    59 points · 50 comments · observed 1786920876

25. Rank 8

    57 points · 48 comments · observed 1786920512

26. Rank 8

    55 points · 47 comments · observed 1786920147

27. Rank 7

    53 points · 44 comments · observed 1786919787

28. Rank 7

    52 points · 44 comments · observed 1786919427

29. Rank 5

    52 points · 43 comments · observed 1786919062

30. Rank 5

    50 points · 41 comments · observed 1786918697

31. Rank 1

    48 points · 38 comments · observed 1786918337

32. Rank 1

    45 points · 30 comments · observed 1786917969

33. Rank 1

    41 points · 26 comments · observed 1786917596

34. Rank 1

    37 points · 23 comments · observed 1786917229

35. Rank 1

    34 points · 21 comments · observed 1786916872

36. Rank 1

    31 points · 20 comments · observed 1786916503

37. Rank 1

    29 points · 19 comments · observed 1786916139

38. Rank 1

    28 points · 15 comments · observed 1786915767

39. Rank 1

    24 points · 12 comments · observed 1786915400

40. Rank 1

    21 points · 6 comments · observed 1786915034

41. Rank 2

    17 points · 5 comments · observed 1786914663

42. Rank 2

    13 points · 4 comments · observed 1786914298

43. Rank 3

    11 points · 2 comments · observed 1786913929

44. Rank 5

    8 points · 1 comments · observed 1786913561

45. Rank 5

    4 points · 0 comments · observed 1786913192

Unofficial Hacker News client; not affiliated with Y Combinator.