FStar
An ML-like language aimed at program verification
Show HN: Offline Kanban desktop app – cross-platform, built with Tauri and Nuxt
2023-09-05
Ask HN: How to start a solo web design business?
2023-09-05
TikTok has started routing European user data through its data center in Ireland
2023-09-05
The Evolution of CLM Software: Tracing the Transformative Journey
2023-09-04
Y Combinator removes Indian startup from batch over 'irregularities'
2023-09-04
Fun Facts About Llamas
2023-09-04
Ask HN: Cloud File Synchronization Solution with Archiving Support
2023-09-04
Ask HN: Fellowships/Memberships for non-founder startup employees?
2023-09-04
Ask HN: Resources to Get Started with Neurotech
2023-09-04
Show HN: uDSV.js – A faster CSV parser in 5KB (min)
2023-09-04
