FStar
An ML-like language aimed at program verification
Aiibb(A.I. Intention Bounty Boards) or How to save earth from skynet
2023-04-02
Have you ever wished there a professional version of TikTok?
2023-04-02
Planets without stars might have moons suitable for life
2023-04-02
Show HN: Integrating puzzle rush and spaced repetitions for chess training
2023-04-02
$70 RISC-V Computer from Pine64 Goes on Sale April 4
2023-04-02
Tell HN: Google search is getting worse
2023-04-02
Ask HN: What user-facing documentation tools for a startup?
2023-04-01
Ask HN: High demand and low supply for ML engineers?
2023-04-01
YC Application Review
2023-04-01
Show HN: The Open Source Technical Documentation Platform
2023-04-01
