Notices by ☆ Dmitri ☭ (yogthos@mastodon.social), page 13

Academic Torrents – Making 27TB of research data available http://academictorrents.com/

what arguing on the internet looks like 😂

this is how a rabbit swims

ON/OFF/ON/OFF/ON/OFF...

https://www.theonion.com/starbucks-unveils-7-wake-up-slap-1819580082

space themed Soviet postcards circa 1980, featuring art by Andrei Sokolov

Facebook put out a patent application for a face recognition system that will match your face in stores and correlate it with your social media profile to assign you a shopper trust level.

That's some seriously dystopian shit right there.

https://www.nytimes.com/2018/07/09/technology/facebook-facial-recognition-privacy.html

this is brilliant Elon Musk Submarit game 😂

@natecull @kurisu something like lambda calculus is very generic in nature. So while you can encode all your types using it in principle, it's not very practical.

Domain specific abstractions allow us to mold the language to the problem domain as opposed to going the other way around. Ultimately we want to be thinking in terms that are as close to the domain as possible.

@natecull @kurisu I've come to the conclusion that complex types are contextual in nature. My experience is that it's best to encode data using generic data structure, and contextualize when it's used in a specific domain.

The same piece of data can have many different meanings depending on the context it's used in. I find that the problem with types is that you end up contextualizing prematurely, and that makes it difficult to move data between domains.

Why do people do this?

NODE mini #server.

Pretty slick open source single board computer (#RasPi) mod:

https://n-o-d-e.net/node_mini_server.html

Morning

https://cybre.space/media/hRyELveVwKTVq2ioT44

If only you knew how many companies you rely on day-to-day, that lets your infrastructure function (as well as it can) without imploding, still use company-issued Blackberry phones

And have a swath of SCADA switches exposed to the internet