FStar
An ML-like language aimed at program verification
Google Play Developer Helpline has started rolling out
2021-06-04
Social and personal trade-offs of building a startup
2021-06-04
Startup Idea to Launch
2021-06-04
How do startups manage laptops/mobile phones for their remote employees?
2021-06-03
Show HN: LibHunt – Discover popular and related F# open-source projects
2021-06-03
Software Startup Outreach Valued at $4.2B in New Funding
2021-06-03
Get Started: Facebook SDK for iOS (SPM)
2021-06-03
Have autonomous robots started killing in war?
2021-06-03
Show HN: Chrome Extension to show electricity prices (starting with California)
2021-06-03
United Airlines will buy 15 planes from Boom Supersonic
2021-06-03
