Hacker Timesnew | past | comments | ask | show | jobs | submit | secos's commentslogin

| 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.


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.


And how they are doing? I think this might be a solid research program - but that blog presented it as some kind of practical approach.


That's why you should just subscribe to multiple LLM vendors. One model to write specs, one to write code against the specs and another to validate the code. Problem solved. (I have heard this proposed at work.)


ah yes.

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


We could make it deterministic


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.


Blocking people that annoy him on Twitter is the only humanizing thing about him. Deciding that someone has annoyed you enough on that platform that you don't care to ever hear from them ever again is the only thing that made that platform usable when you have any minimal audience.

"I've known you for all of 10 seconds and enjoyed not a single one of them" followed by blocking is good, actually. That doesn't make you any more correct or wrong, of course.


3x deeper than MBTI...

... that sounds horrible


I fully agree. Did you take the test? I'd love your feedback too.


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

How did you get that from the linked videos?


The first video says that Thiel is answering the question "What do you make of people celebrating Luigi?" and his response was "There may be things wrong with our healthcare system, but you have to have an argument and find a way to convince people" and that shooting random CEOs "isn't going to work".

Somehow I'm supposed to be led to believe this makes Thiel come across as stupid. My only guess as to how is because the OP must think that shooting CEOs in the street is an obvious rational good and that opposing such is idiocy, or reactionary fascism (in leftist usage, a synonym for idiocy), or so on.


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


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.


Blitzscaled? Yep.


Ranked Choice Voting goes a long way to solving this as well.


Does it? Could you explain which mechanism you suggest using? Because the main results from social choice theory about ranked choice voting that come to mind seem to be all about impossibility of fair elections (eg Arrow) or even paradoxical situations such as cyclic preferences (eg Condorcet).


These kinds of perfectionism complaints keep the status quo of FPTP, which is the worst of them all.


Since none of the proposed replacements can be perfect according to the theory, let’s just stick with the worst one.

Big fat /s


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: