FStar
An ML-like language aimed at program verification
A Zoom Call, Fake Names and an A.I. Presentation Gone Awry
2023-08-07
Launch HN: GitStart (YC S19) – Remote junior devs working on production PRs
2023-08-07
Japan to start Fukushima water release within weeks – report
2023-08-07
Show HN: Reproducible Development Environment for LLM
2023-08-07
Need to setup a dev team. any suggestions
2023-08-07
BBC Womans' Hour: Facebook whistleblower Frances Haugen (starts at 13:00)
2023-08-06
Ask HN: Founder for 10 years; looking to get a job – what jobs am I fit for?
2023-08-06
James Webb Space Telescope Reveals the Ring Nebula in Exquisite Detail
2023-08-06
Ask HN: What micro-services work best?
2023-08-06
Starlite: The miracle material that could be lost forever
2023-08-06
