FStar
An ML-like language aimed at program verification
IBM-er Shares 50 Python Projects (240 star)
2023-04-15
Show HN: Integrate third party APIs with ease using GraphQL
2023-04-15
The pros and cons of starting up in a downturn (2009)
2023-04-15
Fairtalk: A new social media platform built to unite people
2023-04-15
Tell HN: Twitter started mass suspending apps today for no reason
2023-04-15
Elon Musk is reportedly planning an A.I. startup to compete with OpenAI
2023-04-14
Elon Musk plans AI startup to rival OpenAI – FT
2023-04-14
WeatherGPT: Open-Source ChatGPT Plugin Starter Template
2023-04-14
Parler to be acquired by digital media company Starboard, shut down temporarily
2023-04-14
Elon Musk plans artificial intelligence startup to rival OpenAI
2023-04-14
