snek_boi@lemmy.ml to

Showerthoughts@lemmy.world · 2 年前

Algebra in school is like a compiler with shitty type inference: you rarely have to write type annotations and you can easily end up with impossible states.

92

Algebra in school is like a compiler with shitty type inference: you rarely have to write type annotations and you can easily end up with impossible states.

snek_boi@lemmy.ml to

Showerthoughts@lemmy.world · 2 年前

Chat

Gnome Kat@lemmy.blahaj.zone
link
fedilink
arrow-up
8·
2 年前
Terrible naming all around in maths, half the shit is named after dead French or German dudes.
- octoperson@sh.itjust.works
  link
  fedilink
  arrow-up
  1·
  2 年前
  Leonard Euler was just the 16th century maths version of Alan Smithee that people wrote on papers as a joke, and you can’t convince me otherwise.

Showerthoughts@lemmy.world

showerthoughts@lemmy.world

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !showerthoughts@lemmy.world

A “Showerthought” is a simple term used to describe the thoughts that pop into your head while you’re doing everyday things like taking a shower, driving, or just daydreaming. The most popular seem to be lighthearted clever little truths, hidden in daily life.

Here are some examples to inspire your own showerthoughts:

Rules

All posts must be showerthoughts
The entire showerthought must be in the title
No politics
- If your topic is in a grey area, please phrase it to emphasize the fascinating aspects, not the dramatic aspects. You can do this by avoiding overly politicized terms such as “capitalism” and “communism”. If you must make comparisons, you can say something is different without saying something is better/worse.
- A good place for politics is c/politicaldiscussion
Posts must be original/unique
Adhere to Lemmy’s Code of Conduct and the TOS

If you made it this far, showerthoughts is accepting new mods. This community is generally tame so its not a lot of work, but having a few more mods would help reports get addressed a little sooner.

Whats it like to be a mod? Reports just show up as messages in your Lemmy inbox, and if a different mod has already addressed the report, the message goes away and you never worry about it.

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1.14K users / day
3.71K users / week
7.26K users / month
16.6K users / 6 months
19 local subscribers
35.6K subscribers
2.24K Posts
61.1K Comments
Modlog