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.

Michel Salim @michel_slm@mastodon.social

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
Michel Salim boosted

"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

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

(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
> 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

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

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
Zeynep Tufeki has published a book about the strengths and weaknesses of networked protest
https://www.twitterandteargas.org/
Michel Salim boosted

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?

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

#politics #us #witchhunt #posttruth Show more

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 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
_

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

Anyone knows why both Firefox and DuckDuckGo recently removed their search widget? Can't find an explanation anywhere



mastodon.social/media/Kq6vG73g