FStar
An ML-like language aimed at program verification
EV startup Lucid plans to lay off hundreds of workers
2023-03-28
12-card star puzzle/sculpture
2023-03-28
Is is possible to create 12 AI startup in 12 Months?
2023-03-28
Show HN: An open-source monitoring tool like zabbix or prometheus
2023-03-28
Ask HN: How do you know that it's time to shutdown your startup?
2023-03-28
Ask HN: Did Reddit just shut down i.reddit.com?
2023-03-28
Show HN: SQLMesh – The Future of DataOps
2023-03-28
Show HN: Pester Companies
2023-03-28
Show HN: Django-LLM (manage langchain in Django)
2023-03-28
JWST gets best view yet of planet in hotly pursued star system
2023-03-28
