News for hackers. Stuff that matters.

A comment on The Future of Markdown. Parent comment

Re:The Future of Markdown by acuozzo on Friday October 26, 2012 @12:22PM (#4702907)
> Is it perfect? No, and no software is.

You may want to look into seL4. (If you consider formal verification to be perfection, that is.)

[ Parent | on HN ]

There are no comments on this comment yet.