Magos Logis Logan @jmw150@qoto.org

@jrballesteros05

I kind of want a forest cabin now, to be honest.

Hmm... 3x

Hmm!

@izaya

I feel that. The implementation backlog just keeps growing.

Science vs engineering research really has that old "created vs discovered" vibe math has.

@vyivel

Yeah, I go with a simply typed lambda and stuff, and other math logic syntax. :)

@vyivel

Ah nice. I have a lambda at the begining of my prompt too.

@kubikpixel

I mean, they are whatever color I tell them to be. HTML is not magic.

*were

@claraturingxo no

@lucifargundam

I think they lowered the caffeine amount. I tried 3 pieces at once and felt basically nothing.

@barrett

Also yikes, my phones are always sub 200.

Even my personal laptop is like 100 USD.

I could make a mini supercomputer for 1k USD.

What are these people paying for? Hardware space for Apple's botnet?

@barrett love the growing insect eye

@eletrotupi Basically

@eletrotupi

Although I get why Haskell wants Pure FP. And, for theorem provers it makes a lot more sense.

Haskell's selling point is to be default lazy. This enforces pure FP and basically all of its other quirks. Laziness was popular in the programming language research community because it has a lot of fun properties.

But, I am surprised just as anyone that Haskell is sold as a general programming language. Resource constraints, and programmers that do not like the extra complexity and math are obvious problems for it.

@eletrotupi

Pure FP is like the "everything is an object" fanatisism Oracle tried to push with Java.

Regular FP seems pretty okay though. Racket seems like it let's you do just about anything you want.

@skells

Lol

His erdös number is either 2 or 3

A research buddy cannot figure out video conference software. So time to drive an hour and a half.

@sergeant@mstdn.social

Even with a pinephone they can triangulate a user's position. At least with those you can keep identification out of it, or simply turn off the device.

You know, discrete geometry is actually pretty great.

Many regular geometry things made it in. It is super easy to program with. And it has some of its own nice things too.