History

What we have learned at OpenShell applying formal methods to control AI agents

Open thread

First rank

24

Best rank

21

Last rank

28

Observations

21

First seen

1789489663

Last seen

1789498426

Missing captures

0

Milestones

0

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

1. Rank 28

   24 points · 9 comments · observed 1789498426

2. Rank 30

   22 points · 10 comments · observed 1789497986

3. Rank 30

   22 points · 10 comments · observed 1789497538

4. Rank 29

   22 points · 10 comments · observed 1789497095

5. Rank 29

   21 points · 10 comments · observed 1789496657

6. Rank 30

   20 points · 10 comments · observed 1789496219

7. Rank 30

   19 points · 10 comments · observed 1789495790

8. Rank 28

   18 points · 10 comments · observed 1789495355

9. Rank 29

   17 points · 8 comments · observed 1789494883

10. Rank 29

    15 points · 7 comments · observed 1789494439

11. Rank 27

    15 points · 7 comments · observed 1789494003

12. Rank 26

    15 points · 6 comments · observed 1789493562

13. Rank 26

    15 points · 5 comments · observed 1789493124

14. Rank 29

    14 points · 5 comments · observed 1789492694

15. Rank 27

    14 points · 5 comments · observed 1789492263

16. Rank 23

    14 points · 5 comments · observed 1789491834

17. Rank 21

    14 points · 4 comments · observed 1789491403

18. Rank 26

    12 points · 4 comments · observed 1789490976

19. Rank 21

    10 points · 4 comments · observed 1789490535

20. Rank 26

    8 points · 2 comments · observed 1789490102

21. Rank 24

    6 points · 2 comments · observed 1789489663

Unofficial Hacker News client; not affiliated with Y Combinator.