Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
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.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://astrobe.com/Oberon.htm