FStar
An ML-like language aimed at program verification
Show HN: NextJS Starter Template with Tailwind 2, TypeScript, ESLint, Prettier
2021-05-16
GitHub Actions Down
2021-05-16
Ask HN: What are some great examples of well-written, clean, and minimal code?
2021-05-16
FsAutoComplete (F# LSP server) 0.46 Released
2021-05-16
Breathing Through the Rectum Saves Oxygen-Starved Mice and Pigs
2021-05-16
Why does Starship belly flop? (by the Everyday Astronaut)
2021-05-15
Are you aware what you lose by just clicking OK to get started using something?
2021-05-15
How to Give a ‘Miami [Startup]Tour': Brian Bracken Spills His Secrets of Success
2021-05-15
The Parable of the Indie Hacker and the Startup Founder
2021-05-15
The chip shortage is driving up tech prices–starting with TVs
2021-05-15
