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 boomlinde on Wednesday February 05, 2020 @03:33PM (#22250709)
You are very nearly talking about the Intel Quark. They weren't very popular and Intel have since discontinued the line.
[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by oblio on Thursday February 06, 2020 @05:27AM (#22254946)
Oh, I must have missed that. They seem a bit too expensive for what I'm saying, I imagine these things have to cost cents to be worthwhile (50-70 cents or so).
[ Parent | on HN ]