Pinned toot

My girlfriend, reviewing my state of the art chapter: Wait, what is a monad?

Pinned toot

My hobbyist project has its own logo, thanks to Redily.

:blobmiou:

(you can have a look at her youtube channel if you wish: youtube.com/channel/UC21SVyVzu)

lthms boosted
lthms boosted

So uh, Mastodon has been around for 2 years now. Wow

lthms boosted

netbsd irc quote, intel Show more

lthms boosted

Hey, in case you missed it, you can choose the future #Plume logo, by adding your vote here:

framavox.org/d/R0E91Wd4/plume-

lthms boosted
lthms boosted

getting close to they live...

When you look through the lenses, the screens just go black. Plus, they double as sunglasses that look like the ones from the movie.

IRL Glasses are in beta. This means they are compatible with most TVs (LCD/LED) and some computers (LCD/LED). IRL glasses do not yet block smartphones or digital billboards (OLED).

#theylive #sunglasses #blocker #screens #adblock #animatedgif

Promotion of a friend Show more

lthms boosted

the father: OCaml
the son: WhyML
the holy ghost: Coq

lthms boosted

I wanted to create an ArtStation account to follow my girlfriend who just created a book there and it turned out... you need to give them a phone number to sign up.

... but whyyyy?

lthms boosted

privacy is your local scope where you perform your local reasoning

maybe people who don't think privacy is important are okay with programming by only mutating global variables

lthms boosted
lthms boosted

Learning a new programming language is much easier than mastering it's build, packaging, and distribution systems.
It may be the biggest mystery of software engineering how a system with such a simple job may be so complicated.

Oh nice it’s already!
Good luck everyone and have tons of fun!

This reminds me I have not decided yet whether or not I trying the this year

lthms boosted

When you're browsing on Firefox and you accident open in a new window instead of a new tab.

lthms boosted
lthms boosted
lthms boosted
lthms boosted
lthms boosted

Now you're thinking with portals

Show more
Mastodon

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!