FStar
An ML-like language aimed at program verification
Ask HN: Feeling Hopeless and Lost at 23
2023-02-05
Isn't ChatGPT unfair to the sources it scraped data from?
2023-02-05
Starlink Africa debut ran into a familiar Nigeria problem
2023-02-05
FOSDEM 2023 – Starting an Open Source Startup
2023-02-05
Interesting subtitling of a video from the 1950s
2023-02-05
Show HN: A game that determines your level of JavaScript ecosystem knowledge
2023-02-05
Google Invests Almost $400M in ChatGPT Rival Anthropic
2023-02-05
Ask HN: Grants that ACTUALLY pay you to pursue your passion?
2023-02-05
Ask HN: What if the customer does not know what they want?
2023-02-05
Musk claims Twitter will start sharing ad revenue with Blue subscribers
2023-02-05
