FStar
An ML-like language aimed at program verification
Apple Event (Starting at 10 a.m. PDT)
2020-09-15
Bot detection and protection service for AWS CloudFront
2020-09-15
Super Mario 3D All Stars uses two custom emulators for N64 and GC/Wii
2020-09-15
Still working from home? Time to start the ‘fake commute’
2020-09-15
State of Women in Tech and Startups 2020
2020-09-15
Bootstrap UI Components Recommendation
2020-09-15
Show HN: Stargate – An open source API framework for data
2020-09-15
Metabase Cloud
2020-09-15
Fundraising for Open Source Startups
2020-09-15
‘Starship Troopers’ Was a Warning to America
2020-09-15
