FStar
An ML-like language aimed at program verification
Bosque programming language at 3 – starting next phase
2022-04-20
AI Startups and the Hunt for Tech Talent in Vietnam
2022-04-20
Looking for a tech co founder for fintech startup
2022-04-20
Show HN: DTL: a language and JavaScript lib to transform and manipulate data
2022-04-20
Ask HN: DB Migration and Deployment Race Strategy
2022-04-20
Stardog Optimizer: Arch and Cardinality Estimates for Graph Queries [video]
2022-04-20
Security for SaaS 101: quick guide to build secure SaaS
2022-04-20
Show HN: Unique Star – random 5-letter string when you star a repository
2022-04-20
Getting Started with Email Using Pine
2022-04-19
Google Docs changing language and speech. This is how it starts
2022-04-19
