Tainnor

28 ms·

421.
by Tainnor 2y ago
> Also, when a "perfect" or near-perfect album is followed by a less exceptional performance it makes the second look bad even though it might be pretty good on it's own. If you only went by King Crimson's first two a
422.
by Tainnor 2y ago
Yeah, I disagree. Inheritance is the wrong tool for the job 99% of the time anyway.
423.
by Tainnor 2y ago
There are definitely some people that either don't understand that their explanations are completely confusing to beginners or that don't even care. Sadly, teaching isn't always valued in academia.
424.
by Tainnor 2y ago
I don't blame Kotlin for it, I blame Spring for it.
425.
by Tainnor 2y ago
> At some level if I didn't trust you to not write shitty code you wouldn't be on our team. Code review isn't about preventing "shitty code" because you don't trust your coworkers. Of course, if 99% of the t
426.
by Tainnor 2y ago
Everyone can do maths. All you need is pencil and paper. Or download Lean, if that's your preference. Of course it's possible that instead of "no gatekeeping" what you mean is "free tutoring".
427.
by Tainnor 2y ago
> And I don't need any of the tools you mention because it does the right thing by default. I mostly agree with you, but Spring+Kotlin does require the allopen plugin, so it's kind of hacking Kotlin to do the wrong thing (all c
428.
by Tainnor 2y ago
You don't need to stash deps in a subdirectory, IMHO that's a node.js design flaw that leads to tons of duplication. I don't think there's any other package manager for a popular language that works like this by default
429.
by Tainnor 2y ago
That's an observation opposite to mine. Having worked at several B2B and several B2C companies, I've found that the latter products were better and more interesting because they served an actual need . Sure, the B2C apps may have
430.
by Tainnor 2y ago
Yes because the existence of a basis for arbitrary vector spaces is equivalent to the axiom of choice.
431.
by Tainnor 2y ago
Constructivism is not mainstream mathematics. The theorem that every vector space has a basis, something that is used fairly often, is actually equivalent to the axiom of choice, something that isn't valid in constructive logic. For ma
432.
by Tainnor 2y ago
With the caveat that I don't really understand second order logic well enough to say all that much about it, there's a debate in the philosophy of mathematics as to whether second-order logic should count as the foundational logic
433.
by Tainnor 2y ago
People's tastes aren't innate and static. They're a function of trends, marketing, and importantly, availability.
434.
by Tainnor 2y ago
> However, my understanding is that the incompleteness results apply to only recursively enumerable axiomatic systems. I can find references for this. That's a matter of semantics as to what you consider the first incompleteness the
435.
by Tainnor 2y ago
> and that the second order axioms are not computably enumerable He says that true sentences in second order logic aren't computably enumerable, he's not talking about the axioms. > Don’t know if computably enumerable is t
436.
by Tainnor 2y ago
> Take the collection of all true statements and make that your axiomatic system. A complete proof system needs to be able to derive Γ |- φ for every pair Γ, φ such that Γ |= φ. Not just when Γ is the complete theory of some structure.
437.
by Tainnor 2y ago
"Tasting nice" is not an objective rubric.
438.
by Tainnor 2y ago
I'm familiar with norm_cast and push_cast, but they don't always do what I expect them to do or solve all the problems. Then there's also the issue (in my experience at least) that in order to e.g. define the real exp or cos
439.
by Tainnor 2y ago
> My second thought is: Maybe the market is telling us that we don't need so many cuisines. Think about it: There are probably 100+ distinct cuisines in the world. How many people have tried every single one? How many people have go
440.
by Tainnor 2y ago
For the past year or so, I've been trying (off and on) to formalise part of my undergraduate complex analysis course in Lean. It has been instructional and rewarding, but also sometimes frustrating. I only recently was able to fully de
441.
by Tainnor 2y ago
> My understanding - I’m not a logician - is that the second order Peano Axioms are categorical. The Incompleteness theorems don’t apply to this system since the axioms are not recursively enumerable Incompleteness does apply to second o
442.
by Tainnor 2y ago
Everyone who got tired of Ruby and Rails during its hype years has since moved on to various other technologies, now most of the people who are still working on Rails are the people who agree with its design choices, which explains the amou
443.
by Tainnor 2y ago
> In Germany the system is that you are guilty until proven innocent. This is total nonsense.
444.
by Tainnor 2y ago
Your business logic should not be tied your persistence, that's what I mean by it. By "domain objects" I don't mean that you need to embrace OOP, they could be simple structs without any associated logic. > PPS - N+1
445.
by Tainnor 2y ago
Rails and especially DHH particularly encourage not having any sort of separation between your domain objects and your persistence (and even your views), which is why N+1 queries are so goddamn common and why people are going to put confirm
446.
by Tainnor 2y ago
In which country is any of this different? Yes, if somebody is trying to scam you you may have to be prepared to go to court. I don't understand how else you're expecting a legal system to work.
447.
by Tainnor 2y ago
The presentation is confusing because of a mismatch between the headings/blurbs and what is being shown in the code examples. The heading of the entire page is "the essence of computation" but I'm not shown why the code
448.
by Tainnor 2y ago
There's a great deal of research on colour expression and perception in different languages - some of it summarized very well in Guy Deutscher's very accessible pop-sci book "Through the Language Glass". Nobody (edit: ap
449.
by Tainnor 2y ago
There's nothing to enforce. If a clause is invalid, you can ignore it.
450.
by Tainnor 2y ago
Oh I wasn't trying to say that NSA is in any way non-rigorous, only that if you make it rigorous it does require some machinery that is itself not terribly straightforward. As for whether that's worth it or not, I have no strong o

More ›