FStar
An ML-like language aimed at program verification
Ask HN: What were your first steps in system architecture/design?
2022-09-07
Stop using Twitter and start using Planny to tweet instead
2022-09-07
`int('1' * 4301)` will raise ValueError starting with Python 3.10.7
2022-09-07
Career Paths from Senior Software Engineer and Beyond(Discussion)
2022-09-07
Ask HN: Any pre-funding founders received a SBIR SeedFund grant?
2022-09-07
Tell HN: Runops YC W21 scraped my email from Git and keeps spamming me
2022-09-07
Hydrogen battery startup says it has $700M order backlog
2022-09-07
Planetary heist: Astronomers show stars can steal Jupiter-sized planets
2022-09-07
Bangalore, India's Silicon Valley, grapples to deal with rains, floods
2022-09-07
Ask HN: Who uses ad blocking browser extensions? What do you recommend?
2022-09-07
