secos · HackerTrans

vor 2 Monatendiscuss

| I would add the caveat "...as long as you have no competition." If you're in a market where alternatives exist, and they have the certification, you're definitely transparently losing sales. I wouldn't say that its definitive, but it creates a big challenge. And they 100% will use it against you.

secos

vor 2 Monatendiscuss

Talked with someone this morning who is using "formal methods" to validate their AI generated code.

They are using the same AI to generate the proofs.

secos

vor 2 Monatendiscuss

ah yes.

Lets indeed treat non-deterministic output exactly like we treat deterministic output.

secos

vor 3 Monatendiscuss

This. I remember many a time pmarca getting so upset and just blocking everyone who disagreed with him on Twitter. It was the weirdest thing.

secos

vor 4 Monatendiscuss

3x deeper than MBTI...

... that sounds horrible

secos

vor 5 Monatendiscuss

He didn't say anything close to "Shooting people in the street is wrong!"

How did you get that from the linked videos?

secos

vor 5 Monatendiscuss

You do not need optimism to do good. It helps motivate, but its not required.

comments