FStar
An ML-like language aimed at program verification
Clever credit: How African startups use data and distribution to de-risk lending
2023-03-05
Ask HN: Build a startup in the US while on H-1B Visa?
2023-03-05
Customizing the startup chime on a 1999 G3 iMac
2023-03-05
Ask HN: How do you know if leaving your 1st software job will make you happier?
2023-03-04
Startup's bladeless flying car could reach Mach 0.8 – Big Think
2023-03-04
Show HN: HN Hiring Data Playground
2023-03-04
Why shouldn't I choose my back-end language randomly?
2023-03-04
Ask HN: How to organize research papers you've read?
2023-03-04
Ask HN: Is web design still worth learning in the age of no-code tools and AI?
2023-03-04
The AI Journey So Far. Getting Started with Midjourney, DALL-E, and ChatGPT
2023-03-04
