FStar
An ML-like language aimed at program verification
40 years ago, NPR had to apologize for airing 'Return of the Jedi' spoilers
2023-05-26
Ask HN: Is PhD in AI worth it if I'd like to conduct my own research?
2023-05-26
Show HN: I made an in-browser code editor with code replay and REPL
2023-05-26
I started a mirco agency to fund my SaaS
2023-05-26
Show HN: Pika – Custom ChatGPT-like chatbots for any website
2023-05-26
NASA safety panel skeptical of Starliner readiness for crewed flight
2023-05-26
Ask HN: Have any managers/team leads been asked to layoff staff b/c of AI?
2023-05-26
US study finds 1 in 10 get long Covid after Omicron
2023-05-26
Ask HN: How to cope up with fear of failure before starting up?
2023-05-26
Ask HN: Are there any computer interfaces for not humans?
2023-05-26
