FStar
An ML-like language aimed at program verification
Scans – TCP Connections with Data That Starts With: Mglndd_
2022-03-20
Windows 11 getting basics right with better UI/UX
2022-03-20
Show HN: Medusa-extender new release 1.6.0
2022-03-20
Ask HN: How to properly set up an online business?
2022-03-20
Engineering Blogs (21k stars) inactive from last 9 months
2022-03-20
Firefox now blocks Ad-filtering add-ons (uBlock Origin, AdBlock) in China
2022-03-20
Russians using VPNs for truth on Ukraine starts fights among friends and family
2022-03-20
Think your kid is ready to start learning how to code? Try this drawing exercise
2022-03-20
Windows 11 build 22579 is out with nameable Start menu folders
2022-03-19
I want to create a new VR controller
2022-03-19
