Thanks, saving a click, not going for the article; not that it's necessarily bad or uninteresting; not that I wouldn't if I had more time on this planet.
I recently happened upon a comment (not on HN) that seemed to treat 'zugzwang' as a synonym for 'deadlock'. Possibly because 'zugzwang' sounds really cool and makes your inner voice sound intelligent to your inner ear.
The simple English article seems to imply the True Justified Belief 'definition'. I don't think the TJB really gets us anything.
For instance: why is 'true' included in the TJB triad? 'Justified' should cover it, no? This gap seems to be the cause of the Gettier silliness.
To expand on each part: 'believe' is a rather tricky Theory-of-Mind concept in itself. Eg: how familiar with a scientific model like AGW do you need to be to be allowed to 'believe' it? 'True' is similarly difficult. 'Justified' is the most sensible part, but that is still very difficult. I think science is what it boils down to.
I think philosophers really badly want a concept of Knowledge that is a meaningful and 'hard'. For their own title to make sense, actually. They love it; shame if it was all sloppy thinking.
This expression is often misused, it seems. It sounds so cool, 'scorched-earth tactics'... like 'medieval', 'fire-and-brimstone', 'kill it with fire', etcetera.
The alternatives to using previously or normally civilian buildings are, I believe, to be outdoors or in tents. Originally military buildings are too few and probably already in bad shape.
Very nice. Made me think of Paul Simon, made me relisten to Graceland, the song. Always a great listen, great sound. Thought it was just about him paying tribute to musical roots, 'Mississippi delta' and all that. But wait what? 'after the failure of his marriage.'... 'Actress and author Carrie Fisher'. Well internet, Today I Learned.
Huge aside aside, aren't these songs a little similar?
I use a very low-tech solution: I stick a <pre> tag at the start of javadoc comments, and make liberal use of empty lines for spacing.
So I don't use any advanced html tags and stuff. Of course I use @link, which is the most useful feature of javadoc.
BTW, maybe the 'meaning' of <style> tags should be clarified for ambitious documenters... It seems they only affect the one javadoc they are inside of, which is pretty useless.
Brings to mind Robert Pirsig's 'value rigidity' concept: 'an inability to revalue what one sees because of commitment to previous values.' I don't remember if there was a term for the opposite, but 'flexibility' seems to be right.
Good observations. Actually more important than it looks, I think. All those little helpful things.
Also worth discussing: micro-misfeatures to be avoided when designing new languages. Maybe non-micro-misfeatures, ie the lack thereof, can be considered a microfeature. Like, for example, uniformity.
And I just have to trot out my favorite example: Java import statements do not allow keywords and numbers in package names. So we can't put our Java source code in folders named 'import', 'long', or in paths like '2023/01/'. Great. For no good-enough reason - the syntax would actually be cleaner with a separate package name syntax. (BTW, this could be fixed, I think.)
Nestable comment syntax is also nice. At least some MLs (eg SML) has it, that I know of.
Indentation-sensitivity can also solve similar problems. (Indentation does not have to exclude requiring graphic termination. A formal language can require both. Or just a helpful tool.)
(Also agree with 'kebab-case', although the name is new to me and a bit weird.)
True. Many tanks have been destroyed. But the zillion tanks destroyed are often presented without context, and used to imply that resistance has a better prospect than is realistic. The number of remaining enemy tanks (or whatever) is seldom mentioned. Well, I guess that's what the GP was implying.
Didn't Excel gain the ability to use names at some point?
Is 'anominal' a word? As in 'anominal' or 'non-nominal' programming, or 'un-' or 'dis-'. Maybe Excel rises to 'pseudonominal'.
--- quote ---
Most users would use below nested IF function
=IF(B2=$F$3,$G$3,IF(B2=$F$4,$G$4,IF(B2=$F$5,$G$5,IF(B2=$F$6,$G$6,IF(B2=$F$7,$G$7,IF(B2=$F$8,$G$8))))))