asplake

Oops yes! And unfortunately it still doesn't work for n=0

Edit: prod(range(1, n+1)) does work

How about:

  from math import prod # from Python 3.8 onwards
  
  def factorial(n):
      return prod(range(n+1))

“As all joins involve the primary key…”

Often but not always the case

Edit: at least not in SQL, and therefore SQL databases. If the language being described here isn't actually SQL, that could still be a problem.

By checking that the number is equal to its negative?

As I recall, Paul Krugman’s 2008 Nobel Prize lecture would be a good place to start to understand why, economically at least, cities are they way they are, have the size distribution they have, and so on. For a philosophical delve into how cities and other large scale products of society emerge, you could try DeLanda.

> To release memory we simply release the blob itself, so it's like a batched deallocation, sort of. The consequence here is that all of our types must be:

> 1. trivially copyable (: Copy if we speak in Rust)

> 2. trivially destructible (i.e. they can't have impl Drop)

2 (Drop) seems obvious enough, but why 1 (Copy)? There’s a bit of Rust knowledge implicit there that I’m unaware of, and I might not be alone in that. Could someone explain?

By convention making today a quiet news day, politics-wise

See also (relative to whom Count Binface is a newcomer) The Official Monster Raving Loony Party https://www.loonyparty.com/

In the expected format, it renders (gives or causes to be) a representation of the requested resource.

So pleased to see this. Had fun playing with the language but at the time learning OTP seemed a big ask

Very good book. Autopoiesis, co-evolution – really interesting concepts

Edit: https://en.wikipedia.org/wiki/Autopoiesis https://en.wikipedia.org/wiki/Coevolution

Ugh - the “burning platform”. Is it ever used authentically? Does it ever go well? I do believe that its typically inauthentic use is mostly self-defeating – people can smell inauthenticity a mile away.

Per jjgreen’s comment, in UK law, for CSAM, an actual child need not be involved. Same logic proposed for non-consensual deepfakes.

It was cleverly anticipating the HN headline mangler

> let’s assume that there exists a universal language U such that it always gives us the shortest description length for all strings.

Read on a bit and it looks like proof by contradiction:

> However, let’s bring back the paradox we discussed above. According to that paradox, U cannot exist or U cannot provide shorter descriptions than every arbitrary L.

There is a sense also of merely moving the problem. If you can’t write a correct program, can you write a correct specification? For many problem domains it would make little sense even to try.

On the flip side, type systems bring at least some sense of proof into programming.

On that, and slightly further off topic, if there’s a tutorial, cookbook, or worked example of using OTP but written in Gleam, I would lap it up. Enjoyed learning the language but kinda got stuck there. I didn’t want to have learn Elixir or Erlang just for that.

Windows Phone is dead. If that was Google’s play, it was very successful.

Intrigued to see how this plays out in the UK. Will they able to sell this feature? Will it be enabled?

Not quite on the same scale but still quite striking, I frequently drive past Sheffield’s Trinity United Reformed Church: https://modernmooch.com/2018/08/19/trinity-united-reform-chu...

"Just decorate your idempotent operations" – implies to me that the idempotency of your functions is your responsibility.

Non .NET server-side?

:-) Is F# a contender outside the .NET world?

Thanks. Unfamiliar with the Node ecosystem, that escaped me

Very tempted! Installation instructions?

> How does Gleam run in the browser?

There was some detail in its announcement in January: https://gleam.run/news/gleams-new-interactive-language-tour/

Failure to drive those displays, big TVs or projectors for the most part

Speaking of video, I’m on my second MacBook Air and have been very happy with them both except for one consistent concern, their unreliability with regard to external displays. It bothers me sufficiently for me to bring my Apple TV with me when delivering training, which is kinda ridiculous. I think my next one will be a Pro. That’s a pity really – I like the Air form factor and I don’t really need the extra power. I do think I need a real HDMI port though.

Fortran is old – 1958 onwards. It has precedence here, though at what point it separated the two behaviours into mod and modulo functions I don’t know.

Edit: From what I can tell, standardised in Fortran 90, presumably older than that.

The first word of an editorialised title, frowned upon here, and not mentioned in the abstract (which I did read)