spj

joined 3 years ago
[–] spj@sh.itjust.works 1 points 2 weeks ago

Harmful: compilers

Better alternative: magnetized needle and a steady hand

[–] spj@sh.itjust.works 1 points 2 weeks ago

Mutation (or not) is a matter of runtime semantics, not surface semantics. Let the compiler figure it out. (Functional-but-in-place c.f. Koka, Roc, Lean4)

Purity and referential transparency make writing correct, zero-maintenance code easy.

Although you can extract a lot of money from your customers if you deliver inscrutible code that needs a lot of maintenance.

[–] spj@sh.itjust.works 4 points 2 weeks ago (10 children)

Modern OOP is an antipattern.

[–] spj@sh.itjust.works 4 points 2 weeks ago

I try to only write in easy language if I can. My favorite one is Lean4.

There's lots of this vs that discussion in this thread. IMO the most useful such distinction I've encountered is languages that encourage you to think about data vs languages that encourage you to think about transformations (of data). Excel and modern OOP are the former while haskell and digital signal processing are the latter.

[–] spj@sh.itjust.works 1 points 3 weeks ago (1 children)

She and Foucault oppressed plenty.

[–] spj@sh.itjust.works 4 points 1 month ago (1 children)

Immigration and customs enforcement? Huh?

[–] spj@sh.itjust.works 3 points 3 months ago

Now I'm thinking about Flat Stanley Parable

[–] spj@sh.itjust.works 8 points 9 months ago* (last edited 9 months ago)

If you want the machine to just work and not require or encourage you to fool around with it all the time, debian is the answer. Other than installing security updates, you don't have to think about it.

[–] spj@sh.itjust.works 34 points 1 year ago (1 children)
  1. This coffee shop does not exist
  2. Coffee shops in PDX don't look like the one in the picture
  3. I've never seen a stray dog in Portland; they would be quickly caught by animal control
  4. This would be a huge health code violation and the place would be shut down

Garbage post from top to bottom