HNHacker News
TopNewBestAskShowJobs

tired-turtle

272 karma · joined February 17, 2023

submissionscomments
tired-turtle··on Why I'm still bearish on LLMs after Navier-Stokes
Is it, though? If you design and build a winning F1 race car, did you also win the race?

Recent discourse around AI seems to conflate the semantics of winning: 1. you contributed to the win vs 2. you yourself were the winning driver.

tired-turtle··on Navier-Stokes Announcement
"Beware of bugs in the above code; I have only proved it correct, not tried it." — Knuth, 1977
tired-turtle··on AI isn’t outthinking mathematicians, it’s out-remembering them
“is obvious” -- that’s what my Russian math professor said in college before skipping the rest of a proof.

But was it?

tired-turtle··on SQLite Critical CVEs or LLM Slop?
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
tired-turtle··on The Strongest El Niño Ever
And, soon, brand new, never before seen waterfront property! Invest now so your children can enjoy sand where St. Augustine grass once flourished. \s
tired-turtle··on Codeberg Bans Cryptocurrency Projects
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.
tired-turtle··on Codeberg Bans Cryptocurrency Projects
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 anonymous transfer of “money” is good for society, forgetting why humans created currency in the first place. Anonymity abets money laundering, illicit drug trade, human trafficking/slavery, and CSAM, along with a raft of other antisocial behaviors.

Yes, you can do all of the above with USD, but you’ll have to put a lot more effort into doing so. Hence, it is fair to lump the bad in with the good for crypto (IMO) because it’s unclear how the benefits of crypto outweigh the antisocial behavior it enables. What has society gained in return?

tired-turtle··on A grumpy screed about AI in software engineering
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 leaves a dangling clause!

The sentence is grammatical but confusing.

tired-turtle··on AI 2040: Plan A
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 through!”

tired-turtle··on New AI tutor achieves 0.71-1.30 SD effect size in Dartmouth course [pdf]
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.
tired-turtle··on As downtown Seattle offices empty, city facing years of 'zombie' towers
And what has happened since 2024? https://kcrha.org/news-2026-point-in-time-pit-count-initial-...
tired-turtle··on As downtown Seattle offices empty, city facing years of 'zombie' towers
> 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?

tired-turtle··on US holds off blacklisting DeepSeek, more than 100 firms deemed security risks
> 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 Slater the Traitor in Britain for a reason.

tired-turtle··on Israel Strikes Oil Facilities in Iran
And the conflicts fizzled out because both parties remembered that the other also has a WMD? That was my point above.
tired-turtle··on Israel Strikes Oil Facilities in Iran
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...

tired-turtle··on Israel Strikes Oil Facilities in Iran
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 crisis except that it serves as a (deniable) mechanism for hindering China’s ability to stockpile oil, thereby stalling an invasion of Taiwan. Total guess.

edit: As a hypothetical. I’m not suggesting Iran has nuclear weapons.

tired-turtle··on Long Range E-Bike (2021)
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, and the overall difficulty of killing a pedestrian with a bike (compared to a vehicle).
tired-turtle··on We're no longer attracting top talent: the brain drain killing American science
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 too because modern Chinese speakers span dozens of dialects but all (except 东北人) learn a second dialect: Mandarin.

The characters are indeed a nuisance, but can be overcome with Anki/SRS. Chinese learners struggle with its tonal nature due to a lack of exposure to speaking/listening because they have no experience with tones. English speakers always decry Chinese tones as insurmountable as if it’s the only tonal language, but half of all languages are tonal, so it’s doable with practice.

In fact, Chinese has become more similar to Indo-European languages over the past century. Chinese now has an odd form of hypotaxis (think: conjugation, inflection, etc.), whereas it previously only had parataxis (combine two characters to generate something new). For example, 药性 (medicinal) is OG Chinese (ish), but now you have words like 科学性 and 简化, which make a lot more sense to an English speaker because they were noun-ified. Modern Chinese does this (literally) everywhere: all you see is 是, 性, 化, 的, 被. This makes the language much more amicable to an Indo-European native speaker.

Perhaps your difficulty is due to modern Chinese’s verbose (almost bureaucratic) syntax? These examples you gave make sense to me if you follow their literal reading. They sound stupid if translated to English, but not necessarily nonsensical.

tired-turtle··on I gave Claude access to my pen plotter
Does this effect refer to how HN commenters respond to one another in the comments?
tired-turtle··on State Attorneys General Want to Tie Online Access to ID
Can you explain the connection between KYC in banking and the Fourth Amendment? How does KYC constitute a government search/seizure?
tired-turtle··on I'm not worried about AI job loss
This is a sensible plan, given your username.
tired-turtle··on The Great Unwind
If I had to guess, Americans say they dislike the 2008 bailouts to mean they dislike how Wall Street banks caused a recession.
tired-turtle··on I miss thinking hard
> 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.

tired-turtle··on I miss thinking hard
> 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 Torvalds now that we have LLMs.

tired-turtle··on Your app subscription is now my weekend project
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.
tired-turtle··on Claude's new constitution
Have you heard of the trolley problem?
tired-turtle··on AWS raises GPU prices 15% on a Saturday, hopes you weren't paying attention
Good thing you can fund it with your HSA or FSA in partnership with Truemed! \s
tired-turtle··on Ford kills the All-Electric F-150
The Tacoma has an extended bed version that is on the smaller end of pickups.
tired-turtle··on Australia begins enforcing world-first teen social media ban
While your point (about the potential for liberal authoritarianism) is true, reddit is an example of partisan, not authoritarian, behavior.
tired-turtle··on 'A full-blown crisis': Americans brace for a surge in healthcare costs
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?

Page 1 of 3Next →