lthms @lthms@mastodon.social

This 🧡

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

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

https://framavox.org/d/R0E91Wd4/plume-s-logo

Been there. Done that.

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

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

Seasonally-appropriate icon: deployed

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

Chickadee 0.3.0 is out! #gamedev

https://lists.gnu.org/archive/html/guile-user/2018-10/msg00003.html

(it's a Scheme game programming library)

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.

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

Overloaded type families http://blog.poisson.chat/posts/2018-09-29-overloaded-families.html #haskell

'Super Mario Bros.' speedrunner achieves nearly perfect record-breaking time - https://mashable.com/article/super-mario-bros-world-record/?europe=true#UwuB9ZZ7mPqD

Latest #ocaml weekly news is out
http://alan.petitepomme.net/cwn/2018.09.25.html

brought to you directly from #icfp2018

Now you're thinking with portals