Here's a picture of me in my new Aira glasses. Aira is an on call service that gives blind people the ability to get visual tasks done. It's like having a co-pilot who gives you directions and visual information. My Aira agent helped me line up the picture and then snapped it for me using my phone's camera.
category theory. gem found on ncatlab. Show more
"There are indeed ‘magic wands’ that automatically produce the definition of [a] monoidal category, but most of these magic wands are so heavy that only more advanced wizards can lift them."
the line between crying and laughing is very thin on ncatlab (for me at least).
Today, we installed #FreedomBox on Olimex's LIME2 single-board computer.
Here's what it looks like without a case! This single-board is a fully functional computer which we made into a private server.
The LIME2 board is Open Source Hardware. Learn more: https://www.olimex.com/wiki/A20-OLinuXino-LIME2#Hardware
There has to be a story here... Guess someone’s apology didn’t go well?
Please consider writing your hashtags in upper camelcase so screen readers have a chance at figuring them out.
#whyistayonmastodon sounds like an giant undecipherable mess of sounds.
#WhyIStayOnMastodon reads out "Why I Stay On Mastodon" 😄
(Reason #44 I stay here: my previous requests like this have been generally well-received, proving that most people are awesome.)
The great thing about Banach Tarski jokes is there's really only one Banach Tarski joke but if you arrange it right you can get as many Banach Tarski jokes as you could ever want.
Is there really anyone who receives these “Call for Papers” e-mails and suddenly goes “Oh, this conference looks nice, I'll write a paper for it”?
I'm going to write a lot more about this in the coming days but the most important takeaway from my first few days of switching my main development machine to Linux (Pop!_OS 18.04)?
I. Do. Not. Miss. The. Mac. One. Bit.
Everything Just Works (tm), including my USB-C-only LG external monitor (which doesn't even work with Laura's older MacBook Pro), Magic Trackpad, etc. And there are things I actually enjoy more about the experience. Never thought I'd be writing this about Linux. Exciting times!
Liberapay is in trouble, here's our blog post that explains the situation and what you should do if you're one of our 2000 active users: https://medium.com/liberapay-blog/liberapay-is-in-trouble-b58b40714d82
I just learned that the name of Frama-C, the analyzer developed by my lab, means FRAmework for Modular Analysis of C code: http://julien.signoles.free.fr/publis/2015_fac.pdf
Used, among others, to verify the critical software of the Airbus A380 plane.
So OCaml is quite a niche language, but it's used to certify planes :p
Our cyborg executive director is part of a growing modern movement asking, "Who controls the tech inside us?" https://www.digitaltrends.com/cool-tech/cyborg-law-and-rights-of-augmented-humans/
@rhiaro “I resent the control corporations have over people and their everyday lives. I hate the surveillance society we have accidently brought upon ourselves,” says Amy Guy, a coder from Scotland who helped build a platform called ActivityPub to connect decentralized Web sites. ― https://www.vanityfair.com/news/2018/07/the-man-who-created-the-world-wide-web-has-some-regrets
“Before Twitter, before algorithmic timelines filtered our reality for us, before surveillance capitalism, there was RSS: Really Simple Syndication … As we move away from the centralised web to the peer web, it’s time to rediscover, re-embrace, and reclaim RSS.”
With so many lives at stake, computer scientists and healthcare IT pros are motivated to develop strategies that keep patients safe from medical device hackers. They’re making progress. https://www.hpe.com/us/en/insights/articles/medical-device-security-hacking-prevention-measures-1806.html
You! Me! Science! Together.
ʕノ•ᴥ•ʔノ ︵ ♥❤❣💞
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!