News for hackers. Stuff that matters.

A comment on Formal Verification Creates Hacker-Proof Code (2016). Parent comment

Re:Formal Verification Creates Hacker-Proof Code (2016) by ashafer on Saturday April 25, 2020 @09:53PM (#22983566)
As one of my coworkers put it:

"A talented programmer can write and verify 4 lines of code a day"

seL4 has some cool ideas, but I can't stress enough how miserable it is to develop for.

[ Parent | on HN ]
Re:Formal Verification Creates Hacker-Proof Code (2016) by CalChris on Sunday April 26, 2020 @09:04AM (#22986845)
Do you mean it's miserable to develop the seL4 microkernel or do you mean it's miserable to develop applications on top of seL4? If the latter, is it any different from any other microkernel?
[ Parent | on HN ]