History

C*: Unifying Programming and Verification in C (2025)

Open thread

First rank

21

Best rank

5

Last rank

30

Observations

85

First seen

1788884451

Last seen

1788920544

Missing captures

3

Milestones

2

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

1. Rank 30

   71 points · 41 comments · observed 1788920544

2. Rank 28

   71 points · 41 comments · observed 1788918960

3. Rank 28

   71 points · 41 comments · observed 1788918563

4. Rank 27

   71 points · 41 comments · observed 1788918170

5. Rank 27

   71 points · 41 comments · observed 1788917766

6. Rank 27

   71 points · 41 comments · observed 1788917366

7. Rank 29

   71 points · 41 comments · observed 1788916967

8. Rank 29

   70 points · 41 comments · observed 1788916562

9. Rank 28

   70 points · 41 comments · observed 1788916164

10. Rank 29

    69 points · 41 comments · observed 1788915772

11. Rank 28

    69 points · 41 comments · observed 1788915377

12. Rank 27

    69 points · 41 comments · observed 1788914983

13. Rank 27

    69 points · 41 comments · observed 1788914580

14. Rank 27

    69 points · 41 comments · observed 1788914181

15. Rank 27

    69 points · 41 comments · observed 1788913774

16. Rank 28

    68 points · 41 comments · observed 1788913373

17. Rank 27

    68 points · 41 comments · observed 1788912978

18. Rank 27

    68 points · 41 comments · observed 1788912582

19. Rank 26

    67 points · 41 comments · observed 1788912183

20. Rank 27

    67 points · 41 comments · observed 1788911772

21. Rank 26

    67 points · 41 comments · observed 1788911373

22. Rank 26

    67 points · 40 comments · observed 1788910975

23. Rank 25

    67 points · 40 comments · observed 1788910576

24. Rank 25

    66 points · 40 comments · observed 1788910175

25. Rank 25

    66 points · 39 comments · observed 1788909766

26. Rank 25

    65 points · 39 comments · observed 1788909361

27. Rank 24

    65 points · 39 comments · observed 1788908953

28. Rank 23

    65 points · 38 comments · observed 1788908557

29. Rank 22

    65 points · 38 comments · observed 1788908152

30. Rank 21

    65 points · 38 comments · observed 1788907749

31. Rank 20

    65 points · 38 comments · observed 1788907349

32. Rank 21

    65 points · 38 comments · observed 1788906946

33. Rank 20

    65 points · 38 comments · observed 1788906571

34. Rank 20

    64 points · 38 comments · observed 1788906176

35. Rank 20

    64 points · 38 comments · observed 1788905759

36. Rank 20

    64 points · 38 comments · observed 1788905347

37. Rank 19

    64 points · 38 comments · observed 1788904932

38. Rank 19

    63 points · 38 comments · observed 1788904506

39. Rank 17

    62 points · 37 comments · observed 1788904082

40. Rank 19

    61 points · 35 comments · observed 1788903657

41. Rank 20

    60 points · 34 comments · observed 1788903233

42. Rank 19

    59 points · 34 comments · observed 1788902821

43. Rank 19

    58 points · 33 comments · observed 1788902409

44. Rank 17

    57 points · 33 comments · observed 1788901988

45. Rank 18

    57 points · 33 comments · observed 1788901569

46. Rank 19

    56 points · 33 comments · observed 1788901143

47. Rank 18

    56 points · 33 comments · observed 1788900716

48. Rank 20

    55 points · 33 comments · observed 1788900305

49. Rank 18

    53 points · 33 comments · observed 1788899890

50. Rank 17

    52 points · 33 comments · observed 1788899468

51. Rank 18

    51 points · 33 comments · observed 1788899043

52. Rank 18

    50 points · 33 comments · observed 1788898603

53. Rank 18

    47 points · 32 comments · observed 1788898174

54. Rank 18

    47 points · 32 comments · observed 1788897750

55. Rank 18

    45 points · 32 comments · observed 1788897324

56. Rank 18

    43 points · 32 comments · observed 1788896902

57. Rank 17

    43 points · 31 comments · observed 1788896468

58. Rank 16

    43 points · 31 comments · observed 1788896025

59. Rank 15

    43 points · 31 comments · observed 1788895595

60. Rank 15

    42 points · 31 comments · observed 1788895160

61. Rank 14

    41 points · 30 comments · observed 1788894723

62. Rank 14

    41 points · 29 comments · observed 1788894293

63. Rank 14

    40 points · 29 comments · observed 1788893852

64. Rank 15

    39 points · 29 comments · observed 1788893429

65. Rank 14

    38 points · 27 comments · observed 1788893000

66. Rank 14

    38 points · 26 comments · observed 1788892571

67. Rank 13

    38 points · 26 comments · observed 1788892154

68. Rank 13

    37 points · 26 comments · observed 1788891730

69. Rank 14

    35 points · 25 comments · observed 1788891260

70. Rank 14

    33 points · 25 comments · observed 1788890795

71. Rank 13

    32 points · 23 comments · observed 1788890364

72. Rank 13

    31 points · 23 comments · observed 1788889939

73. Rank 12

    31 points · 21 comments · observed 1788889510

74. Rank 10

    30 points · 20 comments · observed 1788889073

75. Rank 9

    28 points · 19 comments · observed 1788888639

76. Rank 7

    27 points · 17 comments · observed 1788888225

77. Rank 5

    27 points · 17 comments · observed 1788887802

78. Rank 7

    20 points · 12 comments · observed 1788887381

79. Rank 6

    17 points · 9 comments · observed 1788886961

80. Rank 6

    16 points · 9 comments · observed 1788886546

81. Rank 8

    15 points · 7 comments · observed 1788886120

82. Rank 10

    12 points · 4 comments · observed 1788885703

83. Rank 11

    9 points · 3 comments · observed 1788885276

84. Rank 12

    7 points · 2 comments · observed 1788884863

85. Rank 21

    4 points · 2 comments · observed 1788884451

Unofficial Hacker News client; not affiliated with Y Combinator.