FStar
An ML-like language aimed at program verification
Platforms Starter Kit: a template for site builders and low-code tools
2022-01-20
Stop paying tech debts, start maintaining code
2022-01-20
European Commission's Open Source Programme Office Starts Bug Bounties
2022-01-20
Ask HN: How do weigh the financial outcome when starting a startup?
2022-01-20
The Cambridge startup tracking Covid in America’s wastewater
2022-01-20
NaturalDocs: Plain English Code Documentation
2022-01-20
Where Do Great Startup Ideas Come From? [video]
2022-01-20
Must-Have Tools to Grow Your Startup in 2022
2022-01-20
Dutch startup wants to fly electric globally from 2030
2022-01-20
A New Map of the Sun’s Local Bubble
2022-01-20
