laarcnew | comments | discord | tags | ask | show | place | submitlogin

Here's what I wrote you last March:

"I like math :) My pet peeve is just people overstating the use of existing formal methods. (Researching new ways to prove properties of programs is also great.)"

I think what got this post to have an effect was the clear-eyed acceptance of limitations, which in turn helped me see where they could actually help me today.

Ok, I misremembered. I hear you. I originally got that from Guttman who focused on shredding claims of high-assurance security as much as verification. Others and I did submit a few things on limitations to Lobsters. They were general. I'll resubmit them to Laarc after I dig them up if you're interested. They might find them interesting, too.


Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)