Tainnor

29 ms·

481.
by Tainnor 2y ago
I don't know anybody who first learns about new mathematical ideas from Wikipedia. Mathematics is a body of knowledge, not just simple isolated theorems or definitions. You learn new mathematics from textbooks. Even for reference purpo
482.
by Tainnor 2y ago
The different notations in calculus are unfortunately a historical accident and you're going to see all of them if you do anything with it (it's certainly not true that everyone in the field uses the same notation). I agree that i
483.
by Tainnor 2y ago
Weirdly enough, mathematicians have been manipulating expressions and writing proofs for centuries without (routinely) stumbling into contradictions all without the need of formal proof calculi or s-expressions. I have nothing but admiratio
484.
by Tainnor 2y ago
This sentiment comes up all the time here. Mathematics uses formalism because it's easier . It's easier to read "a(b+c+d) = ab+ac+ad" than > If there be two straight lines, and one of them be cut into any number of s
485.
by Tainnor 2y ago
Square roots are fundamental to (real and complex) analysis and to algebra (in the study of polynomials), so the two major branches of modern mathematics.
486.
by Tainnor 2y ago
Square roots are not some "mathematical trivia", they're amongst the most fundamental operations in mathematics.
487.
by Tainnor 2y ago
It's "obvious" in the sense that it's a trivial corollary of the completeness theorem (so it wouldn't be true for second order logic, for example). Hilbert's program failed in no contradiction to what GP wrote
488.
by Tainnor 2y ago
No, this has nothing to do with choice.
489.
by Tainnor 2y ago
I used to work at an edtech startup that was bought by Chegg. They let us write some code for 2 years, never knew exactly what to do with us (the managers they assigned us clearly had no knowledge of the problem domain) and then basically k
490.
by Tainnor 2y ago
Calculus has changed a lot since 1700. Newton and Leibniz didn't have formal definitions of limits (or alternatively, something like non-standard analysis) readily available. In terms of content, probably not much has changed in at lea
491.
by Tainnor 2y ago
> is absolutely possible to build a CRUD web app with reactive UI using modern tools in a few hours. Yes, but it also leads to tons of bikeshedding. "Should I implement a linter? Should I write unit tests? Integration tests? Should
492.
by Tainnor 2y ago
[flagged]
493.
by Tainnor 2y ago
I read this in Gilfoyle's voice.
494.
by Tainnor 2y ago
Well not really, since it was on the 4th stage.
495.
by Tainnor 2y ago
"Decisions that I disagree with" are one thing, treating people like children and telling them how to work is quite ridiculous. Yes, not everyone can afford to leave, but I definitely would at that point.
496.
by Tainnor 2y ago
And then there's Greek.
497.
by Tainnor 2y ago
This is about ActiveRecord, which tries very hard to convince you that a relational database works like objects in memory, especially when it comes to associations, saving etc. Hibernate is similar in that regard (although it at least enfor
498.
by Tainnor 2y ago
There are different ways of using jOOQ, some of them being more like an ORM (but still more low-level than Hibernate) and others less so. You can use the API in such a way that it just returns a general tuple object holding the result from
499.
by Tainnor 2y ago
In the sense that in Java (almost) everything is an object, a jOOQ query must of course return an object (such as a Record2<String, String>), but unlike Hibernate or AR, jOOQ doesn't enforce a 1:1 mapping between domain objects a
500.
by Tainnor 2y ago
As with any technology, there are its supporters and its detractors. I would say that it's popularity has definitely waned in the last 10-15 years, probably in part due to Javascript gaining more ground, perceived performance problems
501.
by Tainnor 2y ago
As someone who's worked in both stacks, I dislike both ActiveRecord and Hibernate for different reasons. ActiveRecord because it pushes the database layer into the model layer (and because Rails pushes the model layer into the view, th
502.
by Tainnor 2y ago
> The halting problem is thus decidable for non-infinite systems. That's only true in the most boring way possible, i.e. because every system must eventually halt in a universe where the laws of thermodynamics hold. If you replace &
503.
by Tainnor 2y ago
The gist of the article is of course correct, but it uses some terminology wrong. "Recursively enumerable" and "decidable" aren't applicable to instances of individual programs. In fact, every single instance of a p
504.
by Tainnor 2y ago
People can be pissed off as much as they want, but facts are not decided by majority opinion.
505.
by Tainnor 2y ago
> AfD is set up for a big win, so that will be that. The AfD is currently polling at about 18% of the vote. Alarming, yes, but nobody wants to work with them. The next government will likely be CDU led, with either the SPD or the Greens
506.
by Tainnor 2y ago
> Also to call the current German government "stable" is... a choice. Just hours after I wrote this, the German government basically imploded.
507.
by Tainnor 2y ago
Again, what specifically are you suggesting? To me, it looks as if neither the high nor the low road is working.
508.
by Tainnor 2y ago
Spain has a left-wing government, Poland is back to being centrist after getting rid of PiS, Switzerland has its own distinct government where all major parties are represented in perpetuity, ... Also to call the current German government &
509.
by Tainnor 2y ago
> So far, the policy differences between the different far-right parties in Europe hasn't really prevented them from cooperating They literally have. France's RN officially stopped collaborating with the German AfD over the lat
510.
by Tainnor 2y ago
idk, Berlin is full of Americans

More ›