Tainnor

52 ms·

751.
by Tainnor 3y ago
One of my pet peeves is how Germans have amazing bread, but then put the blandest possible stuff (like very tasteless Cheese, and one leaf of salad) on top of it, while Italians have great stuff to put on bread but the bread itself is so bo
752.
by Tainnor 3y ago
Yes. And in any case, that wasn't the point. I haven't seen anybody refer to pre-WWI European monarchies as "dictatorships".
753.
by Tainnor 3y ago
I'm not used to people calling monarchies dictatorships, even though they are in some ways similar. Until 1918, many states in Europe were monarchies.
754.
by Tainnor 3y ago
A country that is incredibly rich in historical significance (both good and bad), cultural traditions, art (historical and modern), regional variety and nature. Cities are walkable, public transport is mostly decent (it's perfectly fin
755.
by Tainnor 3y ago
Other people have already written this, but Berlin is not a good representation for Germany as a whole. It has been known for decades within Germany for having a dysfunctional government structure and administration (due in part to unclear
756.
by Tainnor 3y ago
> The importance of software. Thirty years ago I believed that technology would change our world in positive ways. Now, I’m less certain that software is in many cases necessarily, useful, or beneficial. 10-12 years ago, at the start of
757.
by Tainnor 3y ago
At least two times in my career I've (almost solo) worked on pet projects of a CTO or similar that were assigned almost no other resources and weren't really aligned with other stakeholders. It was usually fun while it lasted but
758.
by Tainnor 3y ago
> When another country occupies yours For the sake of other people who might run across your comments, the West Bank that Israel now occupies was captured during the Six-Day war from Jordan, who had previously illegally annexed it. >
759.
by Tainnor 3y ago
> I'm not denying any atrocities you are
760.
by Tainnor 3y ago
> Honestly, my social media bubble exposed me to exactly 0.5% of the videos on this site. Social media is cancer when it comes to delicate political conflicts and nothing exemplifies this more than the Israeli-Palestinian (formerly Israe
761.
by Tainnor 3y ago
People can have different opinions on the way Israel is conducting this war. I know I am conflicted. But Hamas is not a legitimate resistance movement. It is a fundamentalist, oppressive, terrorist regime. You do not stand to gain anything
762.
by Tainnor 3y ago
Multinomial coefficients are also used to define the multinomial distribution in probability which models e.g. the problem of "if I throw a fair die n times, how likely is it that I get exactly x1 ones, x2 twos, ..., x6 sixes?" -
763.
by Tainnor 3y ago
Your examples are all specifically about the ECHR (which legally is totally separate from the EU), but there are many other courts, both national and at the EU level, whose rulings regularly are enforced in member states, even against gover
764.
by Tainnor 3y ago
I don't think it should be "the way to go" because legal battles (especially before the Supreme Court) take forever to sort out, and in the meantime nobody can plan because nobody knows what's actually legal. I don'
765.
by Tainnor 3y ago
Courts are regularly imposing limits on what individual parties (notice the plural!) can do, what are you talking about?
766.
by Tainnor 3y ago
> They never actually apply the laws locally, or they carve out exceptions. This is incorrect: https://www.enforcementtracker.com/
767.
by Tainnor 3y ago
Not that strange, unfortunately. Governments have a habit of passing laws (or budgets) that are then eventually declared unconstitutional by courts. We've had several cases of this happening in Germany in recent years (budgets, rent co
768.
by Tainnor 3y ago
Linus Torvalds is apparently trying to do better (although I haven't followed up with the progress), but more importantly, while he might be (have been) unnecessarily rude and aggressive, he's not entitled (as far as I know). I do
769.
by Tainnor 3y ago
I don't want to excuse rudeness or a sense of entitlement. But I think we can still understand where it comes from. A lot of these people probably work on crappy codebases where "let's just add a random dependency without any
770.
by Tainnor 3y ago
I think this might be an anglophone thing. In at least a number of other cultures, you wouldn't use nicknames for figures of authority, and one-syllable names are uncommon in general.
771.
by Tainnor 3y ago
Lean for proving theorems, and some complex analysis.
772.
by Tainnor 3y ago
Pre-calc mathematics can be a bit boring because it consists mostly of a lot of technicalities that aren't themselves super interesting. A lot of those technicalities are connected in ways that unfortunately become only apparent in muc
773.
by Tainnor 3y ago
You should look up provable security. And also, while security proofs typically rely on unproven assumptions, correctness proofs in cryptography are "regular" proofs for all intents and purposes. You can't even do RSA etc. wi
774.
by Tainnor 3y ago
> symbolic solving of equations got obsoleted with numerical solving That never happened, symbolic and numerical mathematics coexist to this day. Cryptography, for example, relies on exact arithmetic. On that note, good luck trying to so
775.
by Tainnor 3y ago
it's technically false for Haskell, but is considered mostly good practice. It would be true for Idris.
776.
by Tainnor 3y ago
> And if P neq NP, then SAT might not be P. Small correction: If P != NP, then SAT definitely isn't in P. That's because SAT is NP-complete, so if it was in P, every other NP problem could be polynomially reduced to it and woul
777.
by Tainnor 3y ago
> everything we can ask computers (or restated, math with real-world applications) can be rephrased in terms of finding a solution to a SAT instance SAT is limited to propositional calculus which is far too weak for most mathematics.
778.
by Tainnor 3y ago
That's some of the most confidently written nonsense I've read in a while. > all mathematics will be replaced with an automated process FOL is undecidable, so we know this is impossible.
779.
by Tainnor 3y ago
As someone who had only used GNOME or DEs based on / inspired by it for 18 years, I had to switch over to KDE on my work laptop because GNOME was giving me endless trouble with the external monitor for some reason (to the point where I
780.
by Tainnor 3y ago
In other words, in order to get the "massive productivity boost" often cited as the main selling point of LLMs, you need to have completed a thorough training on prompt engineering, and if you get something slightly wrong (e.g. a

More ›