k0k0r0

9 ms·

31.
by k0k0r0 4y ago
Wow, I have never looked at humanity from this view point. Thank you for changing my mind! The negativity of the other comments to your post is simple astonishing. I can understand that you are sick of that.
32.
by k0k0r0 4y ago
This comment seems to implicitly assume a) that corporal punishment is the only or only effective way to ensure nobody or at least less students have to fear other peers b) corporal punishment is any effective at all c) the necessity to f
33.
by k0k0r0 4y ago
Wow, this vizualization is amazing!
34.
by k0k0r0 4y ago
I am lucky to be paid to work on SAT. I wouldn't yet say I am an expert, yet, but it is really a pleasure to do so. Trying to improve on algorithms to solve these problems is truly humbling. Edit: Fixed a typo.
35.
by k0k0r0 4y ago
Funniest reply I read in a while
36.
by k0k0r0 4y ago
If I understand you correctly, then that exactly what I am talking about. You might see this as bitmask. That's correct.
37.
by k0k0r0 4y ago
They use a variant of that in most Modern SAT solvers for the literal encoding by the way, i.e. in order to encode negation of variables, which traditionally are represented with negative integers. Mostly, because they then use the encoded
38.
by k0k0r0 4y ago
Yeah, it is like a mass psychosis.
39.
by k0k0r0 4y ago
My sarcasm detector is not sure about this one.
40.
by k0k0r0 4y ago
As someone else once pointed out here on hacker news: "Mankind will rather fight the sun than capitalism."
41.
by k0k0r0 4y ago
I find it extremely necessary to disuss stuff. Both, in my family and with coworkers. That's where I feel it is needed most. To get along even in case of disagreement is like the most important thing to me, and feels like a duty. Basic
42.
by k0k0r0 4y ago
Well, that's one of the main points from Marx analysis of capitalism.
43.
by k0k0r0 4y ago
The major of my city is a proven liar. She was elected nonetheless. The president of my country seems to be somehow more or less losely involved in fraud at enourmous scales. He was elected nonetheless. I feel like people stopped caring lon
44.
by k0k0r0 4y ago
I sincerly hope that works.
45.
by k0k0r0 4y ago
I don't know much about that Email and legal stuff, but here in Germany I pay a couple of Euros every month to a well-known and respected company whose server is set up in such a way that my emails can be used in court without any issu
46.
by k0k0r0 4y ago
A related thing that seems unthinkable for many people now is how dynamic opinions are. Like, not intelectually, but from experience understanding that my world view currently firmly stands on a foundation that might very well fall apart so
47.
by k0k0r0 4y ago
I don't know blaze and I am just learning make, but make seems amazing for partial builds.
48.
by k0k0r0 4y ago
Yeah, I am currently learning make, and I feel kind of confused by a lot of comments: Either I really don't understand make, yet, or people really didn't understand that make is for building files from other files and handling the
49.
by k0k0r0 4y ago
Pretty much discussion about make as a task runner, and maybe the following is just a very specific use case: make test I combined learning make with learning TDD, or rather develope some individual style of TDD. I am astonished how effecti
50.
by k0k0r0 4y ago
I actually hope I get something similar. Some kind of flu, corona of whatever and then they stop. That would be great, but not only that: I totally believe this is very well likely. Some stomach problem of mine I had for years once went awa
51.
by k0k0r0 4y ago
TL;DR Yeah, got some of them as well. I wouldn't say their too bad, but on the other hand I had many sleepless nights already because of them. I am almost thirty and male, btw. Cause I think my rather young age and gender does play a r
52.
by k0k0r0 4y ago
Do you feel similar about the climate catastrophe?
53.
by k0k0r0 4y ago
Edit: Sorry about that duplicate. I couldn't see my other comment and thought my phone has failed submitting. Yes, I totally agree. Often I upvote a comment I disagree with since it nevertheless is a thoughtful and important contributi
54.
by k0k0r0 4y ago
This is such a great idea! Very often I disagree with some comment and nevertheless upvote, because that comment is really thoughtful and is an important contribution to the discussion with important subjects or perspectives that need to be
55.
by k0k0r0 4y ago
Bullet chess, e.g. each player gets a minute for the whole game.
56.
by k0k0r0 4y ago
Bullet Chess, e.g. both players get a minute for the whole game.
57.
by k0k0r0 4y ago
For the brave among you, I actually can recommend reading some parts of it. His main ideas are quite interesting. I wasn't really able to follow, but nevertheless I was able to get something out of it. I find the idea and subject inter
58.
by k0k0r0 4y ago
Underrated comment.
59.
by k0k0r0 4y ago
A former coworker of mine was in the process of publishing a really nice paper about a framework that allows concurrent resp. simultaneous verification of proofs generated by most state-of-the-art SAT Solvers, which drastically reduced the
60.
by k0k0r0 4y ago
Another SAT developer here. Most prominently, SAT Solvers are used in the design and construction of CPUs. See the EDA Challenge of the SAT Competition 2021.

More ›