tired-turtle

5 ms·

1.
by tired-turtle 4d ago
"Beware of bugs in the above code; I have only proved it correct, not tried it." — Knuth, 1977
2.
by tired-turtle 1mo ago
“is obvious” -- that’s what my Russian math professor said in college before skipping the rest of a proof. But was it?
3.
by tired-turtle 1mo ago
You’re right to point that out. The load-bearing seam of your logical retort is the hidden assumption that the teapot is in outer space, not at peace on a kitchen stovetop here on earth. I am sorry I had not considered this fact. \s
4.
by tired-turtle 2mo ago
And, soon, brand new, never before seen waterfront property! Invest now so your children can enjoy sand where St. Augustine grass once flourished. \s
5.
by tired-turtle 2mo ago
I wrote USD, not cash. Most transactions in USD are electronic, not physical, so it’s a little unclear what point you’re trying to make.
6.
by tired-turtle 2mo ago
That comparison to USD strikes me as disingenuous. Currency is a measure of social trust; it allows social contributions to be measured in a fungible unit. Cryptocurrencies erase this concept of social trust under the purported claim that a
7.
by tired-turtle 2mo ago
It is a great example of a garden path sentence. Our brains’ initial parse of that sentence, while sensible and probable, is incorrect. That is, the mind really wants to interpret “...for work, my website, and all...” as a list, but that le
8.
by tired-turtle 2mo ago
Don’t you think the speed at which obsolescence occurs matters? There’s a bit of survivorship bias here, in the sense of “I’ve been pulling my sled across this lake for 50 winters even when the temperature went above freezing. Never fell th
9.
by tired-turtle 2mo ago
But the very act of making and organizing your card deck is part of the SRS! It “sucks” because you get no dopamine hit from a fresh desk, as the reward system is not yet in place.
10.
by tired-turtle 2mo ago
And what has happened since 2024? https://kcrha.org/news-2026-point-in-time-pit-count-initial-...
11.
by tired-turtle 2mo ago
> And the number of people in tent encampments has dropped dramatically, it's become rare and short lived in most of the city. Do you have any data to support this claim?
12.
by tired-turtle 3mo ago
> a longer and broader history From what perspective? The American colonies repeatedly and flagrantly ignored foreign property and intellectual rights, e.g. via laws to protect domestic but not foreign authors. Samuel Slater was called S
13.
by tired-turtle 6mo ago
And the conflicts fizzled out because both parties remembered that the other also has a WMD? That was my point above.
14.
by tired-turtle 6mo ago
Edited my post above to clarify that I do not believe Iran has WMD. However, there is now messaging (on social media and on the NYT) from the US far right about how Iran has WMD. Take us back to 2003...
15.
by tired-turtle 6mo ago
Would the world be safer (or more endangered) if Iran had a nuclear weapon? Not sure if North Korea is a good example, but is that not a detente? Bad for the NK people, but not a geopolitical crisis. I cannot wrap my head around the current
16.
by tired-turtle 7mo ago
Unclear what you traffic scenario you are referring to, but in some localities (such as WA state) it is legal for bikes to roll through stop signs in certain scenarios. This makes sense considering a bike’s speed, its rider’s engagement, an
17.
by tired-turtle 7mo ago
Chinese is not too difficult a language, but it’s likely very different from your native language. Chinese morphology, tense, and overall grammar are far easier to learn than most European languages. Chinese speakers are extremely forgiving
18.
by tired-turtle 7mo ago
Does this effect refer to how HN commenters respond to one another in the comments?
19.
by tired-turtle 7mo ago
Can you explain the connection between KYC in banking and the Fourth Amendment? How does KYC constitute a government search/seizure?
20.
by tired-turtle 7mo ago
This is a sensible plan, given your username.
21.
by tired-turtle 7mo ago
If I had to guess, Americans say they dislike the 2008 bailouts to mean they dislike how Wall Street banks caused a recession.
22.
by tired-turtle 8mo ago
> his day-to-day activity now, where he merges code But even then...don't you think his insight into and ability to verify a PR far exceeds that of most devs (LLM or not)? Most of us cannot (reasonably) aspire to be like him.
23.
by tired-turtle 8mo ago
> We're all Linus Torvalds now. So...where's your OS and SCM? I get your point that wetware stills matter, but I think it's a bit much to contend that more than a handful of people (or everyone) is on the level of Linus To
24.
by tired-turtle 8mo ago
These parties aren’t screwing you. They’re offering a service at a price. You pay for convenience. You may not value your time, but most do. That’s why certain gas stations command a higher price.
25.
by tired-turtle 8mo ago
Have you heard of the trolley problem?
26.
by tired-turtle 8mo ago
Good thing you can fund it with your HSA or FSA in partnership with Truemed! \s
27.
by tired-turtle 9mo ago
The Tacoma has an extended bed version that is on the smaller end of pickups.
28.
by tired-turtle 9mo ago
While your point (about the potential for liberal authoritarianism) is true, reddit is an example of partisan, not authoritarian, behavior.
29.
by tired-turtle 10mo ago
That’s how insurance works. You pay for a plan you likely don’t need so everyone older than you is reasonably covered. If young people elected to get a barebones plan while in good health, who would subsidize them when they grow older?
30.
by tired-turtle 10mo ago
You don’t find love: you build it together.

More ›