FStar
An ML-like language aimed at program verification
Will India's 60 Year Semiconductor Struggle Finally Yield Chips?
2023-02-19
Show HN: Love, Lust and Passion – AI generated mild eroticas
2023-02-19
AI won’t make artists redundant – thanks to information theory
2023-02-19
IRIS²: The EU’s Response to Musk’s Starlink
2023-02-19
Ask HN: I need a new laptop are the new M2 MacBooks worth the price?
2023-02-19
EU announces its own “Starlink”
2023-02-19
A deep-learning search for technosignatures from 820 nearby stars [pdf]
2023-02-19
Ask HN: Interested in Creating a Series of Analysis Videos on Startups
2023-02-18
Ask HN: Setting up Mac for dev work
2023-02-18
Show HN: Noya – A new kind of design tool
2023-02-18
