Hexagons are the bestagons.

I think this would only be comfortable and lay nicely if the bestagons are slightly curved, and I wonder if a topologist might answer how that would affect the tiling.

A curve on one axis seems manageable, but unless you’re making pauldrons, you’re going to have octagons that bend in two directions at the shoulder. Making those tile correctly seems as if it might be challenging.

Looks like someone just finished a snack!

There’s a false equivalency here. Array sizes have nothing to do with static typing. For evidence, look at your own words: if undisputed strongly typed languages don’t support X, then X probably doesn’t have anything to do with strong typing. You’re conflating constraints or contracts or specific type features with type theory.

On the topic of array sizes, are you suggesting that size isn’t part of the array type in Go? Or that the compiler can’t perform some size constraint checks at compile time? Are you suggesting that Rust can perform compile time array bounds checking for all code that uses arrays?

Converse man lives in a converse world.

Maybe it depends on your definition of “part of”, but

a := make([]int, 5)
len(a) == 5
len("hello") == 5

Arrays in Go have associated sizes.

But that’s beside the point; what does array size metadata have to do with strong typing?

I feel safe in my house, but I didn’t reacquire my concealed carry permit when I moved states, mostly because I almost never carried in all the years I had it.

I really need to get off my ass and complete the requirements in this new state and get that permit.

…exactamundo…

Sounds like a great time for literate programming to make a come back.

OTOH, that’s a strength of OpenAI: writing reasonable-sounding explanations in plain speech.

On a side note, they are currently debating whether or not to allow Mobility scooters In bike lanes. It looks like the answer will be yes.

Oh, for accessibility, sure; you make special exemptions to accommodate people who need them. If people who don’t need them start abusing those considerations, then the regulations tend to change.

You don’t park in the handicapped spot just because it’s not convenient. If people who don’t need it turn bike lanes into streets crammed with little cars, you’re going to see some real push-back.

Now, did you know that sevral good Lisp and Scheme implementations like SBCL, Chez Scheme or Racket compile to native code, even when they are dynamically typed languages? This is done by type inference.

Compiled or not, inferred or not (Go has type inference; most modern, compiled languages do), the importance of strong typing is that it detects typing errors at compile time, not at run time. Pushing inference into the compile phase also has performance benefits. If a program does type checking in advance of execution, it is by definition strongly typed.

I’m not a history buff, but what I remember about the successful violent ones is that they tended to end up little better than what they replaced. So, point for non-violent ones.

Circumstances are important, though. For non-violent protests to be successful, the oppressors have to see the protesters as human. A theory I believe which has weight is that Ghandi didn’t understand that the British may have thought Indians were lesser, but they didn’t systemically dehumanize them, and were generally reluctant to treat them as animals, and so protests could have an effect. The Nazis made an effort to dehumanize Jews (and other minorities), and had fewer reservations about wholesale slaughtering. Uprisings were squashed by the sheer expediency of mowing down entire crowds.

What concerns me is the same rhetoric used on the far Right to dehumanize the Left and minorities. The real danger is the precedent of training people to see the opposition not as people, but as animals.

I’m sidestepping the fact that humans are animals; the science doesn’t matter, the important thing is the desensitizing and moral rationalization.

You got me.

Java is still interpreted. It compiles to bytecode for a virtual machine, which then executes a for a simulated CPU. The bytecode interpreter has gotten very good, and optimizes the bytecode as it runs; nearly every Java benchmark excluded warm-up because it takes time for the huge VM to load up and for the optimization code to analyze and settle.

Java is not the gold standard for statically typed compiled languages. It’s gotten good, but it barely competes with far younger, far less mature statically typed compiled languages.

You’re comparing a language that has existed since before C and has had decades of tuning and optimization, to a language created when Lisp was already venerable and which only started to get the same level of performance tuning decades after that. Neither of which can come close to Rust or D, which are practically infants. Zig is an infant; it’s still trying to be a complete language with a complete standard library, and it’s still faster than SBCL. Give it a decade and some focus on performance tuning, and it’ll leap ahead. SBCL is probably about a fast as it will ever get.

I tried to be careful about the biblical reference. It’s been translated as “apple” since at least the 12th century CE.

The biblical comment was not to argue that the Torah said “apple”, but that it has been translated as “apple” for centuries, demonstrating that the apple has been a commonly known fruit in Britain for a long time; and that ripe apples are frequently red.

I agree with you!

Word definitions are like the lowest common denominator consensus version of those individual meaning, but they are changing slightly all the time as people change. Dictionaries are just documenting that evolution, but are constantly playing catch-up

This is my pet peeve, and yet I know I’m wrong. I hate Miriam Webster for being a catalog of slang; it’s not a dictionary, anymore. OED is the only English dictionary. Words have meanings, despite 20% of the population misunderstanding or intentionally redefining them.

And yet, and yet… it is not possible to argue against popular usage in natural languages. The best you can do is use a conlang that enforces strict no-evolution rules, such as the stance Esperanto has traditionally taken. Or learn Volpuk, a logic based language that strives to eliminate all ambiguity and achieves only being impossible to use outside of extremely narrow circumstances, because that’s not how humans think.

This is one of the great internal conflicts in my world: natural language evolves and changes, and context alters meaning even further; and yet I desire reliable definitions and disambiguity, and shudder when I see MW has added “boomer: N. An older person.”

That sounds interesting. What’s a mobility scooter? What are the implications of the classification? How would you use this? Are mobility scooters allowed on bike lanes, and what is the opinion of the bicycling community about having small cars on their lanes, if so? If not, where do you drive this?

I read the same 3.5% article, but I don’t see where you’re quoting it and am not sure what “democracy movement” means in this context. Could you explain?

An indisputable fact is that static typing and compilation virtually eliminate an entire class of runtime bugs that plague dynamically typed languages, and it’s not an insignificant class.

If you add a type checker to a dynamically typed language, you’ve re-invented a strongly typed, compiled language without adding any of the low hanging fruit gains of compiling.

Studies are important and informative; however, it’s really hard to fight against the Monte Carlo evidence of 60-ish years of organic evolution: there’s a reason why statically typed languages are considered more reliable and fast - it’s because they are. There isn’t some conspiracy to suppress Lisp.

It works on X11, so I’d say Wayland.

It probably depends on the printer. I helped dad install Mint on a used laptop he bought, and the only help he needed with the printer was figuring out which config application to open to add it.

I use system-config-printer to set up both our Canon and Epson printers any time I install a fresh Linux here; it works flawlessly.