FStar
An ML-like language aimed at program verification
We Developed a $8.5K/Month Reporting Tool for Influencers
2020-01-16
How does an introverted tech founder with no free time network?
2020-01-16
Show HN: Starter for Next.js and Firebase Authentication and Types/Styles/Tests
2020-01-15
Ask HN: Started job 3 months ago...not going as planned
2020-01-15
Ask HN: Love fixing bugs but don't enjoy coding anymore. Burnout?
2020-01-15
Six Mantras for a Technical Startup Co-Founder
2020-01-15
Ask HN: What are some local-focused tech products/services
2020-01-15
Are cloud costs killing companies?
2020-01-15
Facebook acquires Madrid-based cloud gaming startup PlayGiga
2020-01-15
Climate change means the US must start building big things again
2020-01-15
