Pinned toot

Hey,,,, I will not buy any more books from you until you stop harassing the Internet Archive with lawsuits, and I will advice everyone I know to do the same.

I'm also happy that the current POTUS has lost the election, but people shouldn't congregate in masses during the peak of a pandemic... really sad to watch to be honest.

I really can't understand why some people finds 's variable rebinding confusing, yet these same people are alright with the concept of shadowing in nested functions, let expressions, etc. 🤷

"STOP [TESTING|COUNTING|MONITORING]" are the words of those who crave for an autocracy.

RT As we prepare for Election Day, know that help is available for voters who need it.
📞 English: 866-OUR-VOTE (866-687-8683)
📱 Spanish: 888-VE-Y-VOTA (888-839-8682)
☎️ Asian languages: 888-API-VOTE (888-274-8683)
📳 Arabic: 844-YALLA-US (844-925-5287)


It turns out mobile network operators here in the UK require a (local) phone number to register for a new phone number. It reminds me to the scissors I bought few months ago which came in a package that required scissors to open it.

RT If you have any problem with casting your vote or if you observe a problem at your polling place, contact your county Supervisor of Elections office immediately. If that does not resolve the issue, please call

WOW 's Informed Delivery is one of the most insecure services I have ever seen: anyone can setup a change of address, subscribe for "Informed Delivery" and *without any sort of verification* get mail covers scans for any (residential?) address you would like to target O_O

And it really baffles me that there's still no *A GitHub for journalists*...

Scientific journalism (i.e. the practice of including raw source materials in news articles) with a transparent, version controlled, editorial process. That's what I want.

RT BREAKING: President Trump is exempting Alaska's entire Tongass National Forest from the roadless rule, making more more than 9.3 million acres eligible for logging and other development. It is one of the biggest public lands rollbacks of his presidency.

Oh no, another Android update 😫
app switch is so glitchy, and I guess there is no way to go back to the old square button...

I can't explain how ridiculously difficult is to travel to the UK with pets right now... In other news, I am moving to Bristol in two weeks :p

My new feature for Elixir's IEx is now in master: press tab after the open parentheses in a function application to see its definition; useful for when you don't remember the order of the arguments 😄

Last night I was just trying to understand the motivations for intuitionistic logic (and constructive mathematics in general) but I was struggling with the idea of no law of the excluded middle & double negation - then I found this video by Andrej Bauer 😂

RT A blue-jacketed high school demonstrator known as "lunch brother" is monitored by police as he reads a copy of the pro-democracy Apple Daily at an MTR station. He is known for his, often one-man, "Lunch With You" protests. Photo: StandNews.

Show older

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!