Tainnor

19 ms·

271.
by Tainnor 2y ago
In cases like GP, it's better to flag and move on.
272.
by Tainnor 2y ago
> and probably don't need for any of applied mathematics Basically everyone who uses mathematics in some applied capacity happily uses the real numbers.
273.
by Tainnor 2y ago
I don't at all understand where your confusion lies, but be assured that undecidability/noncomputability isn't "hokum". It's probably "regurgitated" in the sense that this is covered in about every &q
274.
by Tainnor 2y ago
That's irrelevant. They have an "input tape" and an "output tape" and whatever goes on inside the LLM could in principle be implemented in a TM (of course that wouldn't be efficient but that's besides the
275.
by Tainnor 2y ago
I'm confused by this. Why are you talking about Gödel? LLMs, like any model of computation, are subject to the limits of Turing Machines, so they cannot for example solve the halting problem.
276.
by Tainnor 2y ago
> for ie folks from Zurich its almost impossible to understand folks from Bern. And thise are 2 big cities pretty close to each other, not some remote mountain valley. This is absolutely not true. Bern is the capital and many people trav
277.
by Tainnor 2y ago
Machine translation has come a long way since then, but Google Translate continues to be so far behind it's quite ridiculous.
278.
by Tainnor 2y ago
Total non-sequitur.
279.
by Tainnor 2y ago
A similar sort of grammatical lenition is IIRC used in Sindarin, one of the languages created by JRR Tolkien who was inspired by Celtic languages.
280.
by Tainnor 2y ago
I'm not sure what would happen if you tried to add every single torii at Fushimi Inari to google maps.
281.
by Tainnor 2y ago
I have no interest in debating the merits of these jingoist talking points. I merely pointed out that "DHH's opinions are just average European opinions" is wrong.
282.
by Tainnor 2y ago
That's not all DHH is saying and I suspect that you know that. This isn't a majority position in Germany and probably not in many other European countries either: https://world.hey.com/dhh/leave-it-to-the-germ
283.
by Tainnor 2y ago
That's not a "mathematician" thing, it's a US thing. US universities, for some reason, insist on teaching mathematics twice, once with lots of handwaving and then at some point you get to do a "proof-based course&qu
284.
by Tainnor 2y ago
I live all the year in "Europe" (which, to let you in on a secret, is an entire continent with lots of different cultures) and I guarantee you that his opinions aren't "every dude's opinions". They're some
285.
by Tainnor 2y ago
> People are allowed to have their own opinions including the person you replied to
286.
by Tainnor 2y ago
You can certainly write complex applications in Rails that go beyond CRUD. But in my experience (which may be outdated, I haven't written Rails in years), it requires a lot of discipline and going beyond what Rails itself offers. Somet
287.
by Tainnor 2y ago
HashWithIndifferentAccess is one of these IMHO stupid design decisions of Rails that sacrifice maintainability (and consistency with Ruby, the language) just for the sake of making things slightly easier to write.
288.
by Tainnor 2y ago
> Is the remaining 10% of “formal correctness” worth the extra volume of characters on the screen? Yes, if only just for the ease of large-scale refactorings. And "extra volume of characters" is very limited if you use a modern
289.
by Tainnor 2y ago
I dislike it when people take one little cultural difference and try to use it to deduce all sorts of grand proclamations about the different cultures. Especially when it's trying to paint Japan as some sort of paradise country where e
290.
by Tainnor 2y ago
OTOH, some important things in Switzerland are still state-owned, like the railways or the post. Some people treat Switzerland like some libertarian paradise, but in reality, while Switzerland does tend to be more economically liberal than
291.
by Tainnor 2y ago
Mathematics isn't English. You don't wear the ring of integers on your finger, and you can't play football on the field of real numbers. You're the first person I ever see that pretends to be confused by what XOR means.
292.
by Tainnor 2y ago
> On the other hand, in mathematics "exclusive or" is a much more important logical function than parity. This is called uniqueness quantification and has its own symbol, ∃!
293.
by Tainnor 2y ago
There's a tradeoff here too. If your codebase was started in Java 6, I dearly hope you won't continue to write code in that style anymore for new code.
294.
by Tainnor 2y ago
> I can usually tell what type of type of experience devs have by the snarky, dismissive responses I've gotten on various internet forums over the last two decades. e.g. "Oh but you would never have this problem if you performe
295.
by Tainnor 2y ago
Combine a trip to Naoshima with an overnight stay, then take the ferry to Teshima the next day and explore the island by bike - that would be my suggestion.
296.
by Tainnor 2y ago
In Japan, absolutely yes. https://www.nbcnews.com/news/world/japan-toshodaji-temple-va...
297.
by Tainnor 2y ago
> There's really no way to make it attractive. https://www.re-thinkingthefuture.com/case-studies/a3439-chic... https://i0.wp.com/archeyes.com/wp-content/uploads/2024/09/
298.
by Tainnor 2y ago
I was in Uji recently, but I missed that train station because I used the JR line instead of Keihan (there are several train companies operating in and around Kyoto and sometimes they use different stations), what a shame in retrospect. I f
299.
by Tainnor 2y ago
Thanks for clarifying. I'm not that young anymore, but I haven't seen this sort of spoiler tagging since forever (assuming that I ever saw it), so I just really didn't know what was going on. Maybe a simple reference to ROT13
300.
by Tainnor 2y ago
This is a frustrating comment because it doesn't engage with anything the article is saying and just tries to counter it with the truism that "he doesn't owe anyone anything", something which the author specifically addr

More ›