FStar
An ML-like language aimed at program verification
The Bcrypt Password Hashing Algorithm Starts Its Long Goodbye
2023-05-25
MoviePass is back, and it starts at $10 / month
2023-05-25
Apache Flink Tutorials
2023-05-25
Ask HN: What are some public real-time data sources?
2023-05-25
Show HN: Zenitizer – Clean and Simple Meditation for Apple Devices
2023-05-25
Poolside – Former GitHub CTO starts foundation model startup
2023-05-25
Ask HN: Where do you find minimum wage software development jobs?
2023-05-25
Private Preview for Stargate-Mongoose Astra Support
2023-05-25
Show HN: Collaborative recipe manager for iOS, built with SwiftUI and Firebase
2023-05-25
Startup Ample says it can swap an EV battery in 5 minutes
2023-05-25
