𝕽𝖚𝖆𝖎𝖉𝖍𝖗𝖎𝖌𝖍 @ sxan @midwest.social

🅸 🅰🅼 🆃🅷🅴 🅻🅰🆆.

---

Read more

Posts

25

Comments

3,675

Joined

3 yr. ago

Lemmy does. I don't, but Lemmy will shank you in a dark alley for drug money, like an American Badger.

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

 go

    
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?

Most heads of state of western democracies do not have the authority to enact such measures, much less in so short a deadline. And their political opponents will simply drag their feet on any approval process and let you eliminate a rival. Most of the billionaires live in countries without a dictator (quite yet, anyway) who could comply, even if they wanted to.

You're most likely right. No checking account at any bank has an interest rate that's going to pay enough interest in 2 days to make such a scheme worthwhile, even if the sums were an order of magnitude greater than the numbers GP quotes. Especially with a $6 check processing fee, which is itself a scam.

It can't have been for the interest.

Esperanto is going to be in the lower left somewhere.

The issue with the graph isn't the contents, it's the axes. What's "objectively easy" for Europeans is not necessarily objectively easy for Asians.

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.

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.

He could certainly degrowth the planet. But, than, we're well on the way to doing that ourselves.

Remember those found-footage style videos that were going around a decade or so ago, where there was this mysterious figure in black who just appeared and was offing criminals in fairly graphic ways? There was speculation that it was a viral ad for some anti-hero superhero movie, but it never materialized.

That's the way. Be mysterious. Be featureless. Don't talk. Give them no way to track you after it wears off: appear, do, disappear. Repeat for 48 hours, then disappear.

I still think it wouldn't last long. The temptations of power and wealth will override any fear; after year, it'll be back to business as usual. 5 years later, it'd be mostly forgotten.

Now, if you could parse out 48 hours in 2 hour chunks over 12 years, with a couple of "examples" every year at random times, that might have a lasting effect. Do it 4 years in a row, give it a break for 2 or 3 years and let people think it night be over and strike again... that would probably have a more lasting effect. But I still think, at some point after your powers run out a decade or two at most and the shenanigans would start again. Humans believe what they want to believe, and what they're best at deluding themselves and is "that can't happen to 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.

The end, though, is the same. lemmy.ml well still want their version, so they can have their own content rules. What you're suggesting is functionally centralization, which is already an issue for Lemmy based on its design; consolidation would aggravate it.

Eventually, lemmy.ml !linux users would want to have their own community to enforce rules programming.dev won't. Diaspora is inevitable. Consolidation fixes the wrong problem - a better solution would facilitate less centralization.

So:

• Lemmy provides the information
• It's the client responsibility to do the interleaving

Yeah?

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.

Naw, giant lava trenches sound like a good idea.

No. The inner edge of the Oort Cloud is 10 light days away. The outer edge of 100 ld away.

The math looks like:

• 1 AU is the distance from the Sun to Earth.
• The Earth is 8 light minutes from Sol
• The inner edge of the Oort Cloud is (minimum) 2,000 AU ≈ 16,000 light-minutes, or 11 day light days.
• The outer edge is about 100,000 AU away; that's about a year and a half to get from the inner edge to the outer edge, traveling at the speed of light.

The Oort Cloud is not only mind bogglingly far away, it's about 50x deeper than it is away from the sun.

Those are minimum estimates; some estimates have the inner cloud edge 28 AU away.

The original Superman wasn't a god, but it got hyperbolic over the years with one-upmanship until he was indistinguishable from a god. Canonically, beings regularly travel between star systems, so FTL is not uncommon in the DC universe. Heck, in Invincible (not DC), even relatively low-power beings travel FTL all over, all the time. Spacetime doesn't work the same in comics. So, Superman can travel FTL, and the Oort Cloud would be reachable. But he'd have to travel at least 20x the speed of light to get to the Cloud and back in a day, and thousands of times faster if he wants to explore it at all, or see the outer edge.

That's a pretty good starting list. I don't know that I'd waste time trying to show them anything; just go straight to disposal.

I, too, was thinking "murder." It solves only a sort term problem though. Within a few years, you'd just have a new batch.

The system is broken. Capitalism as we practice it is broken; our political systems are broken (some more than others). That won't be fixed by DXing a bunch of oligarchs.

NK is really taking "cannon fodder" to the extreme. Too many mouths to feed, I guess.

The worst things about kids are their parents.