Likely, provably correct software ++ Rapid iterations | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		csbartus on Nov 6, 2023 \| parent \| context \| favorite \| on: Ask HN: What are you passionate about at the momen... Likely, provably correct software ++ Rapid iterations

mcherm on Nov 7, 2023 [–]

I don't know that I've ever heard that combination together before. Can you share any thoughts on how to do both at the same time?

csbartus on Nov 7, 2023 | [–]

I have 3 slides for that ... https://www.osequi.com/ If questions ... ready to answer :D

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact