HackerTrans
TopNewTrendsCommentsPastAskShowJobs

secos

no profile record

comments

secos
·2 maanden geleden·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 maanden geleden·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 maanden geleden·discuss
ah yes.

Lets indeed treat non-deterministic output exactly like we treat deterministic output.
secos
·3 maanden geleden·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 maanden geleden·discuss
3x deeper than MBTI...

... that sounds horrible
secos
·5 maanden geleden·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 maanden geleden·discuss
You do not need optimism to do good. It helps motivate, but its not required.
secos
·vorig jaar·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
·vorig jaar·discuss
Blitzscaled? Yep.
secos
·vorig jaar·discuss
Ranked Choice Voting goes a long way to solving this as well.
secos
·vorig jaar·discuss
I meant the article was dumb. The clickbait title on HN doesn't match the meat of the article.
secos
·vorig jaar·discuss
Really? This is... dumb.
secos
·vorig jaar·discuss
I'd forgotten all about this library, its certainly come a long way!
secos
·vorig jaar·discuss
or raise taxes.
secos
·vorig jaar·discuss
This planet money article lays out the arguments for both with lots of interesting links to follow. https://www.npr.org/sections/planet-money/2025/02/18/g-s1-49...
secos
·3 jaar geleden·discuss
Well said.
secos
·3 jaar geleden·discuss
The ones I use today:

- Facebook

- Instagram (finally opened in the last two years)

- Youtube

- Linkedin

Perhaps I'm not getting your point, but... most of the major social platforms in the US are still open, except for Twitter.
secos
·3 jaar geleden·discuss
Thank you for reminding me why I dislike this place so much.

I've literally got the email right here: "As I mentioned on the phone, we structure them as a monthly subscription based on an annual agreement. Variables that affect pricing are the APIs you use to get data and the amount of data you consume each month. Our smallest packages fall between $5,000-$8,000 per month."

The price they quoted me, over the phone, was 6k. Doesn't mean we took it (we didn't) but that was what they were asking for. I know others that were paying 5k/mo.

And I know others who still had free accounts from way back in the day. Everyone is being swept up now.
secos
·3 jaar geleden·discuss
"Trust us, bro"
secos
·3 jaar geleden·discuss
That remains to be seen...

I would not be surprised if he could have offered the api $420/mo and 100x more apps were willing and/or able to pay.