Tainnor

36 ms·

601.
by Tainnor 2y ago
> surprisingly rightwing If I try to put it into (very reductive) descriptive terms, I might say that the "left" puts more emphasis on the fact that people are victims of circumstances, while the "right" puts more emp
602.
by Tainnor 2y ago
I have no idea what GP was trying to say with his "it's mostly European users" comment, but as a European who does worry about climate change, I don't think that climate change denialism is somehow less extreme in the US
603.
by Tainnor 2y ago
> The whole COVID Pandemic and the 2020 election definetly brought a lot of nuts out of the woodwork, and they never left. HN was downright insufferable during the pandemic, it really made me think about leaving. Thankfully, nowadays the
604.
by Tainnor 2y ago
Your response to "stop hyping single studies" is... a single anecdote.
605.
by Tainnor 2y ago
> Cherry-picking a highly successful, well-known example doesn't prove a point. There must be hundreds, if not thousands, of successful scientific discoveries that went into something as complicated as the moon landing, and if you s
606.
by Tainnor 2y ago
I'm also a bit skeptical about Kotlin multiplatform, but I haven't seen it become an issue so far. Spring e.g. fully supports Kotlin (and so do tools like Gradle) and I've never had any issue with things not working. Calling
607.
by Tainnor 2y ago
that's just operator overloading and it exists in many statically typed languages too
608.
by Tainnor 2y ago
Which is no worse than the situation in a dynamically typed language where every field in every object could be optional. Dynamic typing advocates sometimes miss that statically typed languages don't force you to encode every invariant
609.
by Tainnor 2y ago
So much syntax to enable something that other languages have had for 10+ years. That's why I can't take the "Java is as good as Kotlin now" arguments seriously.
610.
by Tainnor 2y ago
That's on Java, though. Many other languages such as Kotlin, Swift, etc. have better ways of dealing with this, e.g. in Kotlin Car(make = "Buick", model = "LeSabre")
611.
by Tainnor 2y ago
Maybe for happy path cases. I've tried to ask ChatGPT how you can do a certain non-obvious thing with Kafka, and it just started inventing things. Turns out, that thing isn't actually possible to do with Kafka (by design).
612.
by Tainnor 2y ago
"longest DJ" isn't a compound, it's a noun modified by an adjective, and as such it would be written as two different words in German as well ("längster DJ").
613.
by Tainnor 2y ago
Unless of course you work in a wild-west codebase where you can basically tell who wrote what code because everyone has a distinct style and they never converge. ugh
614.
by Tainnor 2y ago
The debate about a surveillance state isn't the same debate as whether it should be allowed to deny the Holocaust. I know 0 Germans who are bothered by the latter.
615.
by Tainnor 2y ago
If it comes to that, I just hope the EU courts will strike it down.
616.
by Tainnor 2y ago
Using pure SHA for passwords is almost equally bad as MD5, because the biggest problem with these algorithms is their speed (MD5 is completely broken when it comes to collision resistance, of course, but that's not the main concern w
617.
by Tainnor 2y ago
> Most of my time coding is spent on none of: elegant solutions, complex problems, or precise specifications. I find that deeply sad and it's probably one of the reasons why I'm partially disillusioned in programming as a profe
618.
by Tainnor 2y ago
I have my reservations about the quality of LLM generated code, but since I have neither studied ML in depth, nor compared different LLMs enough, I'll refrain from addressing that side of the debate - except maybe for noting that &quot
619.
by Tainnor 2y ago
And any decent IDE will highlight a variable that is declared but unused. We already have "artificial intelligence" in the form of IDEs, linters, compilers, etc. but some people apparently think we should just throw it all away no
620.
by Tainnor 2y ago
> the worst quality on the market not a big fan of Pizza Hut, but believe me: there's much worse.
621.
by Tainnor 2y ago
You're analogy is flawed. Pythagoras' theorem is about right triangles. "a^2+b^2=c^2" isn't about triangles, it's not even a theorem, it's simply an equation (typically a diophantine one) that is satisfi
622.
by Tainnor 2y ago
> Which, _again_ is a taylor series. Mathlib defines cos x = (exp(ix)+exp(-ix))/2, which is not a definition via Taylor series (even though you can derive the Taylor series of cos quite easily from it). exp is defined as a Taylor se
623.
by Tainnor 2y ago
> Any function can be defined as a taylor series. First of all, that's wrong. It's only true for analytic functions. Second of all, sin and cos appear in all sorts of contexts that are not primarily geometric (such as harmonic
624.
by Tainnor 2y ago
> You can also define it as `3.14159...` just because. That's not a rigorous definition, though, because it doesn't tell you what those "..." expand to.
625.
by Tainnor 2y ago
To quote myself: > cos can be defined via its power series or via the exp function (if you use complex numbers).
626.
by Tainnor 2y ago
I absolutely hate how they won't explain crucial gameplay details (never mind the confusing story/lore) and somehow that's part of the experience. DS2 seems particularly bad (case in point, that ridiculous adaptability stat -
627.
by Tainnor 2y ago
Modern mathematics is more likely than not going to define pi as twice the unique zero of cos between 0 and 2, and cos can be defined via its power series or via the exp function (if you use complex numbers). None of this involves geometry
628.
by Tainnor 2y ago
> I now feel not only that I don’t like determinants but that I’m allergic even to matrices Determinants are totally basis-invariant, however, similar matrices have the same determinant.
629.
by Tainnor 2y ago
> Use row reduction instead Or, if you're using exact arithmetic (e.g. cryptography), you should use something like the Bareiss algorithm - Gaussian elimination is only polynomial if you use floats: https://en.m.wikipedia
630.
by Tainnor 2y ago
You might have been lucky. The "metro" in Cologne is notoriously unreliable, to the point that there's even a word "KVB minutes" to explain why sometimes the train will be arriving in 2 minutes for about 10 minutes.

More ›