schoen

29 ms·

421.
by schoen 2y ago
https://www.sefaria.org/Pirkei_Avot.1.14?lang=bi "He used to say, if I am not for myself, who will be for me?"
422.
by schoen 2y ago
The career in question is radiology .
423.
by schoen 2y ago
There's a joke in Portuguese where "entre, meu bem" is translated to English as "between, my well" (in context it should be "come in, my dear").
424.
by schoen 2y ago
What do you think their blind spot is here? Do you have a preferred approach to intermediary liability? (former EFFer)
425.
by schoen 2y ago
I bet it was a conscious decision to crowdsource it instead of automating it in order to get people more interested in the fish. It seems like it's drawing a pretty substantial fan base!
426.
by schoen 2y ago
Wow, it looks like there are also interviews recorded with him in his nursing home after his retirement! https://www.youtube.com/@latintalk9556/videos He had a lot more energy earlier in his life (of course), but you c
427.
by schoen 2y ago
I've mentioned here that I got to study with him in his summer course the very last year it was held in Rome (when he got sick and ultimately came back to the U.S.). He was a really cool guy and teacher of some really cool students, ma
428.
by schoen 2y ago
I love that there's a serious debate about which pasta shape is the best metaphor for particular software engineering patterns!
429.
by schoen 2y ago
The review you linked to is pretty critical of the book. Do you have an opinion about its criticisms?
430.
by schoen 2y ago
(2013)
431.
by schoen 2y ago
I did not know this was a thing! https://en.wikipedia.org/wiki/Muon_tomography
432.
by schoen 2y ago
"The adversary" is standard terminology in analyzing cryptographic security. It would be interesting to figure out who introduced it. I looked briefly on Google Scholar, and I see it's used in the modern sense as early as Yao
433.
by schoen 2y ago
> Not “Church of the Scalzi,” which is actually the name of a church in Venice, Italy. Oh right, "scalzi" means 'barefoot' (mpl) in Italian! https://en.wiktionary.org/wiki/scalzo#Italian
434.
by schoen 2y ago
In some contexts in computer science and computer security, this is also called "answering adversarially ".
435.
by schoen 2y ago
I remembered that Smullyan usually handles this by having an outsider introduce the rules, rather than by having an islander (etc.) who is subject to the rules try to explain them. In the movie the goblins themselves are explaining their ow
436.
by schoen 2y ago
One cute thing there is that the insane people (and vampires) have immediately inconsistent beliefs. For example, they believe "the sky is red", "the sky is yellow", "the sky is green"... Also, they believe &qu
437.
by schoen 2y ago
In Smullyan's formulation, the overall statement uttered by a liar must be logically false, even though it might contain conjuncts that are true, or might convey large amounts of useful and accurate information. For example, Smullyan w
438.
by schoen 2y ago
An oddity here (that I think Smullyan is often careful about when introducing his knight and knave puzzles) is that the goblins in the story appeared to agree with each other about the surrounding context (that there is one liar and one t
439.
by schoen 2y ago
FSF's Venn diagram: https://www.gnu.org/philosophy/categories.html Some people seem to have gravitated toward saying that only copyleft licenses are "free software" (because FSF promotes both concepts?),
440.
by schoen 2y ago
(2021)
441.
by schoen 2y ago
I just had another thought about this. Programmers are pretty accustomed to thinking of functions as verbs. In some programming styles, we're even explicitly encouraged to name our functions after verbs describing what they do. Sometim
442.
by schoen 2y ago
> Maybe if Euler had been raised in a language with a S-O-V sentence structure, we would write (x)f instead. This is an interesting question but it's further complicated by how frequently Euler was writing in Latin, which usually pr
443.
by schoen 2y ago
> This doesn't really get you to the maximum, because f might be computing max(x, y) + 5, but it does show the idea. Perhaps { int | _ >= x && _ >= y && (_ == x || _ == y) } ? I just proved in Coq that if all o
444.
by schoen 2y ago
Apparently some aspects of Idris, Dafny, and (maybe) Isabelle are helping less-awesome logicians derive programs from their specifications nowadays. (I haven't tried any of these languages so I don't have a personal story of how h
445.
by schoen 2y ago
Huh, this is kind of like other trivial objects in mathematics (typically the empty object and the universal object). One trivial property is "this program computes what this program computes" while the other trivial property is p
446.
by schoen 2y ago
My high school CS teacher in the 1990s had been influenced by this and told me that formal proofs of correctness (like with loop invariants, as here) were extremely tedious and that few people were willing to actually go through with them o
447.
by schoen 2y ago
Congratulations! That's terrific news.
448.
by schoen 2y ago
Unless there's a different kind of rotation in later levels, what happens after forming a line is equivalent to having the existing structure "collapse" under gravity (any suspended blocks fall straight down). This is purely
449.
by schoen 2y ago
Probably the date(1) command? That's how I took it.
450.
by schoen 2y ago
> dd style arg=value Likely inspired by JCL syntax! https://en.wikipedia.org/wiki/Dd_(Unix)#History

More ›