Tainnor

59 ms·

871.
by Tainnor 3y ago
Of course, you need auditive input to study music (although interestingly medieval education would have disagreed with this). But visual depictions also help a lot with music theory. Seeing the structure of, say, a sonata's first movem
872.
by Tainnor 3y ago
Let's take something like Gödel's First Incompleteness Theorem. I may not know anything about it. I might have heard something vague about it being about "the limits of mathematics". I might know somewhat more specifical
873.
by Tainnor 3y ago
> Prior to any major advance in any field of intellectual endeavor there are approximately zero percent of workers in that field who thought that the thing that led to the advance was a good idea. This is exactly why major advances are r
874.
by Tainnor 3y ago
A difference in degree maybe, but not in kind. Trust is a central part of science, without it no advance would be possible. > being able to, in principle, rederive things from scratch Basically no scientist nowadays has any hope of being
875.
by Tainnor 3y ago
Legal according to whom? The laws are different in different countries.
876.
by Tainnor 3y ago
> it becomes clear that the israeli side depends on people being apathetic to whats going on. this is flamebait
877.
by Tainnor 3y ago
Even scientists can't help but trusting other scientists. Nobody can rederive everything from scratch.
878.
by Tainnor 3y ago
> Well, duh, nothing is consumed by a computer for its own sake. Except, you know, proofs that are automatically checked by a proof system. It's really hard to take a suggestion like "mathematical notation should be replaced by
879.
by Tainnor 3y ago
Mathematical papers, textbooks, lecture notes, in-person and video lectures, etc. are produced and consumed by humans and not computers.
880.
by Tainnor 3y ago
That is not what I mean by "for humans". Also, LaTeX != mathematical notation.
881.
by Tainnor 3y ago
There is at least one person commenting that mathematical notation is stupid in every maths submission on HN, and the author usually never gives any indication as to having made any contributions towards mathematical research. It's an
882.
by Tainnor 3y ago
Most mathematics isn't written for computers, but for humans, so that's why mathematical notation is optimised for that use case. If you want to write mathematics for computers, you can use Coq, Lean, etc. - or, in a different dir
883.
by Tainnor 3y ago
There's a difference between a flawed proof (e.g. Wiles's original proof of FLT which was found to contain a gap) and outright crankery, though. There are more mathematical cranks than most people would think, and their arguments
884.
by Tainnor 3y ago
> When I see an example of a successful commune or communist society, I'll think about changing my mind. You have completely failed to understand what I was trying to say, instead quoting something out of context. I'm assuming
885.
by Tainnor 3y ago
I'll give you some unsolicited advice: You come off as rather arrogant and I would suggest reflecting on it. The idea that "legions of HNers" are telling you you're wrong sounds like confirmation bias. I basically see th
886.
by Tainnor 3y ago
BigDecimals aren't floats, though. They're arbitrary precision rational numbers.
887.
by Tainnor 3y ago
Floating point values are definitely perfectly representable as strings - worst case, you just output the binary as a string - but what you may refer to is that many exact fractions can't be represented exactly as floats and/or th
888.
by Tainnor 3y ago
> What do you think about the notion that many/most people who claim they are neither left nor right end up demonstrating that they are actually pretty right-wing? I'm not even sure how to respond to that. Maybe this is true fo
889.
by Tainnor 3y ago
I can guarantee you that you're neither the only person, on HN or elsewhere, that "understands how free markets work" (if anyone can every truly fully understand a complex emergent system), nor are most people incapable of re
890.
by Tainnor 3y ago
Maybe, but nobody has invaded the US or Western Europe for a while now. I think the counterargument that I would mount is that what people want, or think what they want, isn't necessarily what is good for them. This is obviously a very
891.
by Tainnor 3y ago
Obviously you can build successful apps with frameworks (just as you can write them without, or with lighter-weight frameworks). The question is always how maintainable it will be. Of course, there's also always survivorship bias if we
892.
by Tainnor 3y ago
> the reality is that 99% of work is basic CRUD making with sprinkle of business logic/validation People always say this and it doesn't match my experience at all. I must be left to conclude that different people live in very d
893.
by Tainnor 3y ago
Language extensions don't suddenly turn compile-time errors into runtime errors like certain reflection-heavy Java frameworks do. But it's true that there's too many different ways of writing Haskell and that makes it very un
894.
by Tainnor 3y ago
Ruby on Rails also fights you tooth and nail if you try to do anything off the beaten path.
895.
by Tainnor 3y ago
I have plenty of things to criticise about frameworks, but this submission isn't really about frameworks - it's supposed to be a parody about certain enterprise design patterns. I think the joke's a bit stale by now, but it&#
896.
by Tainnor 3y ago
TIL, but still: the lecturer changing their book preference at the last minute still seems different than "you have to use edition 15 of this book (which came out 3 months ago) which is exactly the same as all the previous editions, bu
897.
by Tainnor 3y ago
I don't think you can count "zero interest" as being a learning disability. I hated drawing and still do (and other things too), but I could probably still learn the basics of it if, say, my life depended on it.
898.
by Tainnor 3y ago
> Well, books also continue to fail a lot of people Yes, because learning is hard. A book is not a guarantee that you'll learn something - but neither is any other sort of resource. The thesis of this discussion is that "books
899.
by Tainnor 3y ago
Well, instead of individual educators the blame could be on faculties or whole universities who maybe strike deals with publishers.
900.
by Tainnor 3y ago
That's of course deplorable. But it just feels to me that if it happens so regularly, there must be some systemic causes and not just instances of invidual educators being bribed

More ›