It doesn't that I know of. Relevant to the C space, there is an embedded platfor... | Hacker News

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

		nickpsecurity on Feb 5, 2020 \| parent \| context \| favorite \| on: ZZ is a modern formally provable dialect of C It doesn't that I know of. Relevant to the C space, there is an embedded platform for it: https://astrobe.com/Oberon.htm

pjmlp on Feb 5, 2020 [–]

One should note that this company is in business for around 20 years now, so they get by, even if they aren't SV like rich.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact