Tainnor

24 ms·

361.
by Tainnor 2y ago
If you take the analogy further, Germany also completely surrendered after WWII and came up with a new, democratic government. In the meantime, 12-16 millions of Germans were driven out of their homes in East Prussia never to return. It was
362.
by Tainnor 2y ago
Something like this maybe? https://en.m.wikipedia.org/wiki/Tomorrow's_Pioneers
363.
by Tainnor 2y ago
No, they're not. The point is that a finite tape isn't enough for an LBA.
364.
by Tainnor 2y ago
> 1) We know that for any string of data, I(data : ZFC) ≤ min(K(data), K(ZFC)) + O(1) What are I and K? What does "data : ZFC" mean?
365.
by Tainnor 2y ago
No, an LBA in general doesn't have a finite tape. It still has an infinite tape, to accommodate arbitrary length inputs, it's just that the tape cannot grow beyond the length of its input (or a constant multiple of it, which is eq
366.
by Tainnor 2y ago
True, but government provided affordable healthcare is different from charity. Turning down your friends' donations out of pride is one thing, refusing your healthcare provider covering your expenses I would find hard to believe.
367.
by Tainnor 2y ago
We can't really formalise what theorems humans would care about, so I'm afraid this is hard to answer rigorously. But there are some theorems many people care about and they don't have any known short proofs (e.g. Fermat&#x27
368.
by Tainnor 2y ago
Your comment is too brief for me to figure out what you mean by it.
369.
by Tainnor 2y ago
I'm in Germany and I'm also puzzled by how Americans view race. To me, black, white, etc. are just phenotypes, no more important than e.g. being blonde (of course, I realise that some people discriminate based on skin colour). The
370.
by Tainnor 2y ago
It doesn't work for every app. Not sure if it's opt-in or opt-out.
371.
by Tainnor 2y ago
> You don't see everything, neither do other forum participants, including the moderators. The stuff that I mentioned was really hard to miss. The question OP asked was, essentially, "is Stephen Wolfram actively contributing to
372.
by Tainnor 2y ago
For any possible definition of "short", there's only finitely many (and typically few) theorems that have a short proof, while there are infinitely many theorems (not all of them interesting). More in detail: Proofs are nothi
373.
by Tainnor 2y ago
Maybe the reason why people keep calling out Stephen Wolfram (and have been doing so for a decade) is because he has a history of making grandiose claims that do not always withstand closer scrutiny? I'm not claiming that Stephen Wolfr
374.
by Tainnor 2y ago
To me, TIL is just a phrase and not a "thing" that you actively seek out. I don't doubt that some people do this, people do everything imaginable, but on the list of problems I'd like to have, this rant seems quite high
375.
by Tainnor 2y ago
Tautologies are not necessarily uninteresting, all of mathematics is essentially about finding tautologies (on some level), but they're far typically from obvious.
376.
by Tainnor 2y ago
> It's, I think, quite relevant here to note that "word" is a famously hard to define concept in linguistics. That is, there is no generalized definition of the concept "word" that works across languages, writing
377.
by Tainnor 2y ago
90% of content on HN is repetitive. "Unit tests suck", "managers forcing return to the office are assholes", "Fauci lied about Covid", ... I've never seen a single of these things being called out. This is
378.
by Tainnor 2y ago
It's nice that you don't have this problem with the apps that you use, but others do.
379.
by Tainnor 2y ago
Having switched phones a couple of months ago, there didn't seem to be a good option. Either you need to have root - which means that most banking apps won't work anymore -, you need to backup to the cloud which a) not every app s
380.
by Tainnor 2y ago
That's weird, why does Stephen Wolfram gets some sort of special treatment here that nobody else seems to get - including people that are subject to much more common and intense criticism (just the other day there were people bitching
381.
by Tainnor 2y ago
The latter is a necessary, but not sufficient condition for the former.
382.
by Tainnor 2y ago
As others have already said, think of it as NAND, although in traditional logic this is typically called the "Sheffer stroke".
383.
by Tainnor 2y ago
I almost feel tempted to use your book to both learn about OS and improve my shitty Japanese. :)
384.
by Tainnor 2y ago
Definitely will at some point
385.
by Tainnor 2y ago
> Hacker News is pretty much far right when it comes to politics. Not necessarily always far-right, but almost obsessively anti-establishment.
386.
by Tainnor 2y ago
That's part of it but doesn't explain why Phat khaprao is sometimes spelled as phat krapow or similar. Although maybe that's just non-Thais mixing it up.
387.
by Tainnor 2y ago
Try Thailand. People will just make up whatever romanisation they want to. "Fookoosheema" would definitely happen there. They also sometimes randomly throw in an r, not exactly sure why (maybe hypercorrection, because casual speec
388.
by Tainnor 2y ago
I mean the same is true pretty much for most languages once English (or sometimes other) loanwords come into the picture. German for example doesn't technically have a "j" sound like in "John", but it's nowaday
389.
by Tainnor 2y ago
There's simply no reasonable way to base a transcription of another writing system on English phonology because the latter is highly irregular. It would also confuse literally anyone else who uses Latin script. English speakers who wan
390.
by Tainnor 2y ago
I was ready to say "oh no!" but the proposal is actually to use (a slightly modified form of) Hepburn which isn't that different from the current standard Kunrei-Shiki and most importantly makes phonetic sense. When I read &q

More ›