History

Synthesizing Loop-Free Programs with Rust and Z3 (2020)

Open thread

First rank

18

Best rank

11

Last rank

29

Observations

34

First seen

1789455341

Last seen

1789468946

Missing captures

0

Milestones

1

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

1. Rank 29

   16 points · 0 comments · observed 1789468946

2. Rank 29

   16 points · 0 comments · observed 1789468533

3. Rank 29

   16 points · 0 comments · observed 1789468119

4. Rank 29

   16 points · 0 comments · observed 1789467709

5. Rank 28

   16 points · 0 comments · observed 1789467301

6. Rank 27

   15 points · 0 comments · observed 1789466892

7. Rank 27

   14 points · 0 comments · observed 1789466483

8. Rank 26

   13 points · 0 comments · observed 1789466073

9. Rank 25

   13 points · 0 comments · observed 1789465661

10. Rank 24

    13 points · 0 comments · observed 1789465255

11. Rank 22

    13 points · 0 comments · observed 1789464846

12. Rank 22

    13 points · 0 comments · observed 1789464437

13. Rank 22

    13 points · 0 comments · observed 1789464026

14. Rank 20

    13 points · 0 comments · observed 1789463618

15. Rank 20

    12 points · 0 comments · observed 1789463205

16. Rank 20

    12 points · 0 comments · observed 1789462790

17. Rank 19

    11 points · 0 comments · observed 1789462385

18. Rank 18

    11 points · 0 comments · observed 1789461975

19. Rank 17

    10 points · 0 comments · observed 1789461563

20. Rank 17

    10 points · 0 comments · observed 1789461144

21. Rank 17

    10 points · 0 comments · observed 1789460732

22. Rank 16

    10 points · 0 comments · observed 1789460321

23. Rank 16

    10 points · 0 comments · observed 1789459910

24. Rank 15

    10 points · 0 comments · observed 1789459500

25. Rank 11

    10 points · 0 comments · observed 1789459078

26. Rank 17

    9 points · 0 comments · observed 1789458666

27. Rank 16

    8 points · 0 comments · observed 1789458259

28. Rank 16

    7 points · 0 comments · observed 1789457849

29. Rank 12

    7 points · 0 comments · observed 1789457433

30. Rank 11

    6 points · 0 comments · observed 1789457015

31. Rank 21

    4 points · 0 comments · observed 1789456593

32. Rank 20

    3 points · 0 comments · observed 1789456173

33. Rank 19

    3 points · 0 comments · observed 1789455755

34. Rank 18

    3 points · 0 comments · observed 1789455341

Unofficial Hacker News client; not affiliated with Y Combinator.