FStar
An ML-like language aimed at program verification
Hearham ham radio repeater listing app (Repeater-START) is now ported to Windows
2022-02-16
Ask HN: What's the remote job search like for US developers nowadays?
2022-02-16
Meeting Rules for Startups
2022-02-16
Where is Starman going to be in the future?
2022-02-15
YouTube Star Is Also a Retail Empire
2022-02-15
B2B Supply chain startup Bizongo completes ESOP buyback worth $3.7 Mn
2022-02-15
Why is it required in Cofounder Match for founders to indicate formal work?
2022-02-15
Getting Started with Python in 2022 – pyenv and poetry
2022-02-15
A startup is a company designed to grow fast
2022-02-15
The GitHub Stars in our eyes
2022-02-15
