This is perhaps why the comment added "Just like Martin Odersky intended it to be!" There are just too many ways to use Scala, and everyone thinks they're doing it "idiomatically".
Pattern matching with only positional destructuring is a bad feature. I've written enough Scala to say this with confidence.
>> state of the art GCs > That just isn't true Generational ZGC is free for everyone to use.
>> Preemptive scheduling plus M:N mapping AFAIK, in the current implementation, Java's virtual threads yields only when they block (cooperative). But the spec allows a JVM to implement them as preemptive.
Kotlin's coroutines basically had the same API as Go's. But also the ability to confine some coroutines' execution into certain threads (e.g. UI main thread). Then they added structured concurrency, which roughly solves…
As noted in the article: > This feature does have some limitations, for instance when we have multiple nested function calls, but in those cases an explicit lambda expression is always still possible. I've also…
> explicitly written to do this In that case I want the signature of "this function pre-computes, then returns another function" and "this function takes two arguments" to be different, to show intent. > achieved…
The premise of this joke is dead since 2020, when ZGC was production ready.
> ditch ORMs ... make good use of SQL I think Java (or other JVM languages) are then best positioned, because of jooq. Still the best SQL generation library I've used.
https://github.com/peterklijn/hammerspoon-shiftit I use ShiftIt (a lovely project, but dead) reimplemented in Hammerspoon. It is very comprehensive.
I guess the answer has to depend on demographics. But if we are spitballing, it probably wouldn't be all bad for every country to have a Lee Kuan Yew.
https://www.tiktok.com/@chloedav1s_ is the first account mentioned in the article. (Unless TikTok's UI is horrendously bad and I misunderstood) They are literally still images.
Your scenario is sth like: guy sees bad AI, good AI, and genuine content in his feed. Bad AI gives him confidence in his ability to detect slop, but he thinks the good AI is genuine content. Here the higher the quality…
I checked out one of the accounts mentioned, mostly to check if I can discern fake accounts. The content is just still pictures. I'd dismiss those whether or not they're AI. Well, I'm not on TikTok anyway. This reminds…
> Most home cooks (I would bet millions) are not worrying about "the cutting experience" Indeed, and they won't buy the knife at this price anyway. My point is that not being dishwasher-safe does not matter for…
I don't think anyone who cares about the cutting experience would put a knife into a dishwasher.
Asked for numbers, got a link. Let's see. They can manufacture 80 GWh a year. To get through dunkelflaute with moderate renewable percentage we need tens of TWh. Not to belittle Tesla, but that's 3 orders of magnitude…
My question is a few math operations away from "how much batteries capacity can we deploy to support how much % of renewables in the short-medium term, while still having a stable grid". My "100%" phrasing was sloppy,…
On the spectrum between pure communism and pure capitalism, modern China is closer to the US than the US is close to pure capitalism. > has resulted in big changes The change was allowing market forces to align…
> straight/naive rewrite was ~3 times faster How much of that do you think comes from reduced allocations/indirections? Now I really want to try out OxCaml and see if I can approximate this speedup by picking up low…
PS rereading this I think "hope you're a Haskeller" might be read as an insult. That's not my intention, here's why I mention Haskell. 1. It's THE other language with a type system based on HM. 2. Variant constructors…
> I'm not sure why Me neither. > you are entirely correct that sealed types can fully model sum types I want to be wrong, in that case I learn something new.
Oh if you use those features to express what "sum type as subtyping" can, it sure gets confusing. But it's not those things that I want to express that are hard to reason about, the confusing part is the additions to…
Good point, well there's Ordering type built-in in Haskell (LT | EQ | GT). Ordering -> bool has 2^3=8 values (const true, const false, == LT, == EQ, == GT, is_lte, is_gte, ne) EDIT: now you see why I used the smallest…
A first-order function type is already exponential. A sum type has as many possible values as the sum of its cases. E.g. `A of bool | B of bool` has 2+2=4 values. Similarly for product types and exponential types. E.g.…
This is perhaps why the comment added "Just like Martin Odersky intended it to be!" There are just too many ways to use Scala, and everyone thinks they're doing it "idiomatically".
Pattern matching with only positional destructuring is a bad feature. I've written enough Scala to say this with confidence.
>> state of the art GCs > That just isn't true Generational ZGC is free for everyone to use.
>> Preemptive scheduling plus M:N mapping AFAIK, in the current implementation, Java's virtual threads yields only when they block (cooperative). But the spec allows a JVM to implement them as preemptive.
Kotlin's coroutines basically had the same API as Go's. But also the ability to confine some coroutines' execution into certain threads (e.g. UI main thread). Then they added structured concurrency, which roughly solves…
As noted in the article: > This feature does have some limitations, for instance when we have multiple nested function calls, but in those cases an explicit lambda expression is always still possible. I've also…
> explicitly written to do this In that case I want the signature of "this function pre-computes, then returns another function" and "this function takes two arguments" to be different, to show intent. > achieved…
The premise of this joke is dead since 2020, when ZGC was production ready.
> ditch ORMs ... make good use of SQL I think Java (or other JVM languages) are then best positioned, because of jooq. Still the best SQL generation library I've used.
https://github.com/peterklijn/hammerspoon-shiftit I use ShiftIt (a lovely project, but dead) reimplemented in Hammerspoon. It is very comprehensive.
I guess the answer has to depend on demographics. But if we are spitballing, it probably wouldn't be all bad for every country to have a Lee Kuan Yew.
https://www.tiktok.com/@chloedav1s_ is the first account mentioned in the article. (Unless TikTok's UI is horrendously bad and I misunderstood) They are literally still images.
Your scenario is sth like: guy sees bad AI, good AI, and genuine content in his feed. Bad AI gives him confidence in his ability to detect slop, but he thinks the good AI is genuine content. Here the higher the quality…
I checked out one of the accounts mentioned, mostly to check if I can discern fake accounts. The content is just still pictures. I'd dismiss those whether or not they're AI. Well, I'm not on TikTok anyway. This reminds…
> Most home cooks (I would bet millions) are not worrying about "the cutting experience" Indeed, and they won't buy the knife at this price anyway. My point is that not being dishwasher-safe does not matter for…
I don't think anyone who cares about the cutting experience would put a knife into a dishwasher.
Asked for numbers, got a link. Let's see. They can manufacture 80 GWh a year. To get through dunkelflaute with moderate renewable percentage we need tens of TWh. Not to belittle Tesla, but that's 3 orders of magnitude…
My question is a few math operations away from "how much batteries capacity can we deploy to support how much % of renewables in the short-medium term, while still having a stable grid". My "100%" phrasing was sloppy,…
On the spectrum between pure communism and pure capitalism, modern China is closer to the US than the US is close to pure capitalism. > has resulted in big changes The change was allowing market forces to align…
> straight/naive rewrite was ~3 times faster How much of that do you think comes from reduced allocations/indirections? Now I really want to try out OxCaml and see if I can approximate this speedup by picking up low…
PS rereading this I think "hope you're a Haskeller" might be read as an insult. That's not my intention, here's why I mention Haskell. 1. It's THE other language with a type system based on HM. 2. Variant constructors…
> I'm not sure why Me neither. > you are entirely correct that sealed types can fully model sum types I want to be wrong, in that case I learn something new.
Oh if you use those features to express what "sum type as subtyping" can, it sure gets confusing. But it's not those things that I want to express that are hard to reason about, the confusing part is the additions to…
Good point, well there's Ordering type built-in in Haskell (LT | EQ | GT). Ordering -> bool has 2^3=8 values (const true, const false, == LT, == EQ, == GT, is_lte, is_gte, ne) EDIT: now you see why I used the smallest…
A first-order function type is already exponential. A sum type has as many possible values as the sum of its cases. E.g. `A of bool | B of bool` has 2+2=4 values. Similarly for product types and exponential types. E.g.…