News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by non-entity on Wednesday February 05, 2020 @10:39AM (#22247667)
Does Oberon have any major commerical usage? I read up on it a while back and thought it was a neat experiment
[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by nickpsecurity on Wednesday February 05, 2020 @11:30AM (#22248328)
It doesn't that I know of. Relevant to the C space, there is an embedded platform for it:

https://astrobe.com/Oberon.htm

[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by pjmlp on Wednesday February 05, 2020 @02:03PM (#22249991)
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.
[ Parent | on HN ]