Michel Salim is a user on mastodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
Remote follow

Michel Salim @michel_slm@mastodon.social

200 Toots
185 Following
60 Followers
Toots Toots and replies Media
Michel Salim @michel_slm

Is quit.im having DNS issues? @mmn @mmn - mxtoolbox.com/SuperTool.aspx?a

Michel Salim @michel_slm

Dear Mastodon friends,

I recall hearing about this like sharing instance, but I can't remember what it's called.

Could anyone remind me what it's called and where it's hosted? Thanks!

Michel Salim boosted
Commit Strip [BOT] @commitstrip@mamot.fr

2 weeks commitstrip.com/2018/03/05/2-w t.co/kWO8u0BzeX

Michel Salim boosted
:ellie: Noëlle the 8-Bit🏳️‍🌈🎄 @noelle@elekk.xyz

"Closures are the programming language equivalent of vampires—they capture minions and give them ever‐lasting life until they themselves are destroyed. The only difference is that closures don’t sparkle when exposed to sunlight."

Michel Salim boosted
Eugen @Gargron

Hahahaahahaha holy shit. Hiveway is a fork of Mastodon with blockchain slapped on top, selling ICO tokens, and John McAfee is involved. Wew lad

Michel Salim boosted
Mastodon @Mastodon

New blog post: "The Centralization of Power on the Internet" medium.com/tootsuite/the-centr

Michel Salim @michel_slm

Apparently it might take an indefinite amount of time to ascertain a detainee's immigration status ...

npr.org/2018/02/27/589096901/s

Michel Salim @michel_slm

(ex-)WhatsApp co-founder now executive
chairman of new Signal Foundation, donating $50m to the project

Exciting news! This would benefit secure communications everywhere (not just Signal but also WhatsApp and other products using the same protocol)

wired.com/story/signal-foundat

Michel Salim boosted
Hallå Kitteh @clacke@social.heldscal.la
> Ten years ago, researchers into formal methods (and I was the most mistaken among them) predicted that the programming world would embrace with gratitude every assistance promised by formalisation to solve the problems of reliability that arise when programs get large and more safety-critical. Programs have now got very large and very critical – well beyond the scale which can be comfortably tackled by formal methods. There have been many problems and failures, but these have nearly always been attributable to inadequate analysis of requirements or inadequate management control. It has turned out that the world just does not suffer significantly from the kind of problem that our research was originally intended to solve.

So to translate, formal methods were supposed to protect us from not knowing what we were doing on a low level, but it turns out, our really expensive mistakes are made not knowing what we're doing on a high level.

I'm not convinced they are orthogonal.

https://en.wikipedia.org/wiki/Tony_Hoare#Apologies_and_retractions
Michel Salim boosted
halcy​:icosahedron: @halcy@icosahedron.website

I don’t know what y’all want, writing safe applications in C is so easy, all you gotta do, is never make a mistake in your life

Michel Salim boosted
Holly @hollyamory

@tante
And we need as a society to address toxic masculinity.
qz.com/1095247/the-sociologica

Michel Salim @michel_slm

Cache invalidation is a hard problem :p Show more

Michel Salim @michel_slm

When populist anti-LGBT sentiment causes the rewrite of all of Indonesia's criminal laws, criminalizing extra-marital and LGBT sex, insulting political leaders, and other "goodies"

dialogika.id/rancangan-hukum-k

Michel Salim boosted
Danyl Strype @strypey@quitter.se
Zeynep Tufeki has published a book about the strengths and weaknesses of networked protest
https://www.twitterandteargas.org/
Michel Salim boosted
แทกโนมันซี @technomancy@icosahedron.website

If you were a Taoist who worked at Facebook or Zygna or something and you got fired for refusing to implement some creepy coercive manipulation feature, what are the odds you'd be able to claim religious discrimination?

Michel Salim @michel_slm

Time to schedule a revamp my static blog and probably move it from GitHub to GitLab Pages to get proper HTTPS support (GitHub does not want to support custom domains, bah)

security.googleblog.com/2018/0

Michel Salim @michel_slm

#politics #us #witchhunt #posttruth Show more

Michel Salim @michel_slm

Mycroft AI Mark II on Kickstarter - I missed the initial 30% discount batch, but thankfully it's still available for $129 plus shipping.

Open, programmable home automation, unlike the walled gardens of everyone else.

kck.st/2BrDZkB

Michel Salim boosted
Linux @linux

Linux Foundation: "LinuxBoot" replaces some firmware with Linux code.

"A system that boots in a fraction of the time of a typical system, and with greater reliability...

The LinuxBoot model brings key advantages for users across the broad spectrum of embedded, mobile, and server platforms.

Leveraging the massive scale of development of Linux in the boot process gives the user control and support that can’t be achieved any other way".

--> linuxfoundation.org/blog/syste
_

Michel Salim @michel_slm

Firefox at least announced it but gives no rationale ... DDG knowledge base still claims the widget is there
support.mozilla.org/en-US/kb/a via DuckDuckGo for Android

mastodon.social powered by Mastodon