HackerTrans
TopNewTrendsCommentsPastAskShowJobs

secos

no profile record

comments

secos
·2 miesiące temu·discuss
| 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
·2 miesiące temu·discuss
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
·2 miesiące temu·discuss
ah yes.

Lets indeed treat non-deterministic output exactly like we treat deterministic output.
secos
·3 miesiące temu·discuss
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
·4 miesiące temu·discuss
3x deeper than MBTI...

... that sounds horrible
secos
·5 miesięcy temu·discuss
He didn't say anything close to "Shooting people in the street is wrong!"

How did you get that from the linked videos?
secos
·5 miesięcy temu·discuss
You do not need optimism to do good. It helps motivate, but its not required.
secos
·w zeszłym roku·discuss
To me it feels like an awkward API that creates opportunities to work the limitations of a normal API... which to me is not a great thing. Potentially useful, sure, but not great.
secos
·w zeszłym roku·discuss
Blitzscaled? Yep.