You Can CVE Everything

Show Post

oh, sorry, I thought those were examples of language level guarantees. sure, yeah, those things are useful. but in context of this conversation I thought the question was like, "can you specify traits of the software's behavior that you want, and then have it generated blind according to that"

Show Post

I've seen that concept thrown around lately and that's what I'm not sure why I'd want to do

Show Post

Duckdb is the real one I think

Show Post

I'd just like to interject for a moment. What you're referring to as gnomefuckr, is in fact, GNU/gnomefuckr, or as I've recently taken to calling it, GNU plus gnomefuckr.

Show Post