FStar
An ML-like language aimed at program verification
Show HN: Joi – speech-tech exploration led to AI girlfriend on Telegram (NSFW)
2023-06-23
Ask HN: IP cameras that don't require an app or internet?
2023-06-23
Superior Stargazing with the PiFinder
2023-06-23
Startup's Big Battery Can Electrify Your Home and Make the Grid Greener
2023-06-23
A New Startup Is Bringing the Y Combinator Model to the Art World
2023-06-23
About GitHub’s use of your data
2023-06-23
Ask HN: CTO certificate programs (Haas/Wharton)
2023-06-23
Whatever happened to the SpaceX Starship explosion fall out?
2023-06-23
Nisus InfoClick: Stop Searching for Emails– Start Finding
2023-06-22
Ask HN: What are your favorite resources to learn Computer Science fundamentals?
2023-06-22
