k0k0r0

10 ms·

61.
by k0k0r0 4y ago
My sarcams detector failed to reach a reliable evaluation of this comment.
62.
by k0k0r0 4y ago
About that slice indexing problem I wrote a bug-report for the language specification like two years ago. The language specification itself is not clear about what types can be used as indices. Accepting int32 and similiar could be regarded
63.
by k0k0r0 4y ago
The irony of your user name is great. Is that a throw-away account?
64.
by k0k0r0 4y ago
See my comment to a sibling.
65.
by k0k0r0 4y ago
That's maybe true in some fields of mathematics. In others that's misleading, and the usual understanding of canonical as unprecisely defined "obvious choice" is definitely more helpful.
66.
by k0k0r0 4y ago
Thank you very much!
67.
by k0k0r0 4y ago
Yeah, that's somewhat correct but misses the intention. Back than classical algebraic geometry started to get extremely messy and mathematicians got lost in a maze. And would prove wrong theorems and stuff, a lot of notions they used w
68.
by k0k0r0 4y ago
Any recommendation for a (short) introduction to HoTT for a working mathematician?
69.
by k0k0r0 4y ago
Not a professional here - by my own standart at least - however I also program in C++ for a living (among other languages). Definitely Stockholm-Syndrom in my case. Was the first language in which I was forced to work on some larger codebas
70.
by k0k0r0 4y ago
That's true until people are suddenly hungry odr thirsty. Hunger or thrist will force them to act. And not necesserily nicely.
71.
by k0k0r0 4y ago
As someone else put it nicely: People seem to rather fight the sun than capitalism.
72.
by k0k0r0 4y ago
That's a valid and good question.
73.
by k0k0r0 4y ago
Exactly that the point. It's not clear. Except for whenever the main theorem of global class theory applies. Then it's clear up to a minus sign.
74.
by k0k0r0 4y ago
TL;DR To objects/sets are equal if and only if there is a canonical isomorphism/bijection between them. What that is is not necessarily clear, but there is an exception regarding abelian groups accotiated to a field, where the can
75.
by k0k0r0 4y ago
Indeed, this was very interesting. However, I missed a bit what changes to my diet I could do to improve myicrobiome. I would be glad to hear a scientist like her discussing this.
76.
by k0k0r0 4y ago
Seems like you found yourself a new hobby.
77.
by k0k0r0 4y ago
I'd argue choosing to use PlayStore for downloading Apps is already abuse. It's negligience towards the creators. On the other hand you don't need to put your app there, except for maybe if you want to attract some users.&#x2
78.
by k0k0r0 4y ago
FairMail is an insanely good Email-App. I have little to compare to, but it's sick how good FairMail is. I'd be surprised if there is something comparably good.
79.
by k0k0r0 4y ago
Did you actally read the thread? His rage-quit feels actually quite tragic right now. Additionally to the insane problems with Google and the PlayStore-enviroment/ecosystem, his girlfriend is currently sick, and taking care of her is h
80.
by k0k0r0 4y ago
Oh, yeah that issue with the date related urgency calculation. I couldn't figure that out, too. I even started skimming through the code, but gave up since I couldn't find it within 10 minutes. I really love using taskwarrior, but
81.
by k0k0r0 4y ago
FairMail impressively good. I am truly amazed by FairMail.
82.
by k0k0r0 4y ago
Seems like a cool project. However, what I definitely would need is to set dates to be within a specified time frame. Sometimes I write till like 3 am in the morning, and I would like to hide that. So like a hook, that makes some linear res
83.
by k0k0r0 5y ago
I don't entirely agree with the framing of this comment, but I'd like to share an expierience which is related. A couple of years into our relationship my significant other finally realized, that if she wants me to do specific tas
84.
by k0k0r0 5y ago
Wow. I never considered this before: Explaining certain kinds of behavior as the result of society-wide (patriarchaic) conditioning may be sexist itself, because it denies the womans individual agancy.
85.
by k0k0r0 5y ago
This is worth its own post on HN
86.
by k0k0r0 5y ago
Actually I am a sorry for this dismissive answer. This was inappropriate. And after only a couple of seconds of thought, I noticed (at least) one of your points is not related to the danger of addiction and indeed very interesting. Even wit
87.
by k0k0r0 5y ago
See my comment to a sibling.
88.
by k0k0r0 5y ago
Yeah, this didn't clearify my question. So the problem is addiction. Not the fun in itself.
89.
by k0k0r0 5y ago
I had some strange change of mind about this. Previously, I was shocked about long waiting times as well. I must note that in my area the waiting time is rather a low 1 digit number of months, so the situation here is much less severe. But
90.
by k0k0r0 5y ago
Honest question: Why should we kill the fun? I mean addiction is a problem, but having a great time definitely isn't, right? Or do I miss something?

More ›