the-smug-one

26 ms·

301.
by the-smug-one 6y ago
I wouldn't take a picture of clothed children or adults at the beach either. I wouldn't commercialize a clothed picture of my baby son. I am not shocked when I see a nude child, whether in a picture or in real life, so for me it w
302.
by the-smug-one 6y ago
There really is no particular reason that a picture of a clothed baby is any less private than that of a nude one, in my mind. Did you not see nude children at the beach as an 11-year old child?
303.
by the-smug-one 6y ago
If by "public domain" you mean "public knowledge", then it should indirectly be public knowledge through elected officials. Do you have any reason to believe that the military should be treated equally to healthcare fun
304.
by the-smug-one 6y ago
The amount of sleep required depends on the person and their living situation. I normally feel best on 7-8 hours of sleep. When training hard I require 9 hours. There are genetic outliers who require less sleep (google it). Anecdotally: I h
305.
by the-smug-one 6y ago
That's just not true. I often fail to be pleasant when I am in England, because the culture is different enough that when I try to be nice I mess it up in some manner. We can have the intent of being pleasant but fail to appear pleasan
306.
by the-smug-one 6y ago
That is technically correct, but green threads were available in Java 1.1 :). They just weren't popular enough (I guess).
307.
by the-smug-one 6y ago
Government funded research is responsible for much of the innovations, competition and successes of the 20th & 21st centuries. Let's be honest: Every single company which is dependent on the internet has the govt to thank for their
308.
by the-smug-one 6y ago
There is a certain irony in you describing what billionaires have done but govt has not as "moon shots". You really have no proof that the govt could not have done these things, especially as govts has funded a lot of technology w
309.
by the-smug-one 6y ago
You got any specific examples or texts that one should know of?
310.
by the-smug-one 6y ago
>Paxos is also in the partially synchronous setting - it requires some network synchrony in order to terminate, just like streamlet As far as I've understood it Paxos is fully asynchronous, but you can either guarantee correctness o
311.
by the-smug-one 6y ago
It hides the complexity in the first bullet point: "The protocol proceeds in synchronized epochs." That is, we're now solving consensus for a synchronous system. So for example the Paxos assumption: >Messages are sent asyn
312.
by the-smug-one 6y ago
The goal of the Swedish pandemic strategy wasn't herd immunity. It was to keep the spread under control such that our healthcare wasn't overrun, and try our best to ensure that risk groups aren't exposed. It's not been a
313.
by the-smug-one 6y ago
What programs can do is "loop invariant synthesis" (for people that want to google it), this is still quite tricky to do. There's a reason that humans also find loop invariants tricky.
314.
by the-smug-one 6y ago
Warning! Lots of disjointed thoughts below. I've used Frama-C ACSL+WP and it was incredibly painful to use to prove basically anything. For me the main issue was that Frama-C can say 3 things about your specs: Yes, No, and Don't k
315.
by the-smug-one 6y ago
> I was once working on a Scheme compiler but abandoned the efforts once I realized the enormous negative impact that call/cc has on writing compilers, interpreters, and library code. Isn't implementing call/cc trivial if
316.
by the-smug-one 6y ago
You could always split your types into frontend and backend types where the backend ones are more open and the frontend ones are more restricted. I don't necessarily mean FE/BE as on the web. A lot of code is only interested in sh
317.
by the-smug-one 6y ago
I don't understand why you're sarcastic, it's as if you did not read my post.
318.
by the-smug-one 6y ago
How about instead the Emacs website and splash screen recommends different `flavours' of Emacs instead? Such as Doom and Prelude for example. No reason to change vanilla Emacs. Stop having Emacs be the recommended way to install and us
319.
by the-smug-one 6y ago
This is a relatively new practice, invented by Robert Maxwell in the 1950s or so.