Nando Sola boosted
Fuck this

Fucking Open Source washing

Fuck Google for making this a fucking trend. Fuck what open source means these days.

I am just gonna go full Stallman or something. Just because I can read some parts of your code doesn't mean it's open.

♲ @Jeff Atwood ( The hot new “you can do anything but compete with us” open source license 🤔
Nando Sola boosted

worth reading "Everything you should know about certificates and PKI but are too afraid to ask" -- I use a certificate to orchestrate

Nando Sola boosted

If you really want to help Firefox succeed, file a bug on when you find a broken website. Don't just switch back to Chrome; let Mozilla know there's a problem so they can try to fix it.

When browsers lose market share, they fall into the "compatibility death spiral." Sites don't bother to test, they break, and users flee to the browser that "just works." Mozilla is fighting this battle every day, and it just got harder.

Nando Sola boosted

Impresionante recreación, a modo de cámara fija, de la erupción que destruyó Pompeya:

Nando Sola boosted
Nando Sola boosted
Nando Sola boosted

Researchers at UCLA Riverside discover GPUs can be victims of the same kinds of attacks as Meltdown and Spectre, which have impacted Intel and AMD CPUs.

Nando Sola boosted

Sadly, my #35C3 talk was rejected. As promised, you can expect a blogpost about it soon:

We need to tell a story better than cyberpunk
hacker narratives in popular culture

Hackers' calls for the free and neutral internet, open technology and community-driven infrastructure are ignored by most of the public. We're instead seen as black hats trying to set the world on fire and political troublemakers. Is it because we don't present our values in ways accessible to regular people?

Nando Sola boosted

Por culpa de @mr_solo hemos estado @roberto_fernandez y yo leyendo sobre Rust todo el vuelo de vuelta a Bilbao.

Más cosas curiosas que pasan usando Mutt + plain/text:

"Hemos intentado enviarte este correo electrónico como HTML (imágenes y texto) pero desafortunadamente no ha sido posible.
Para verlo correctamente en tu navegador, por favor, haz clic en el siguiente enlace: […]"

Seguido por una URL ilegible de 239 caracteres.

🤣 Me parece que lo siguiente es poner como firma el ASCII ribbon:

Nando Sola boosted

FP rant Show more

Tras quince días usando Mutt y text/plain:

"[...]I'm going through my email list and I noticed you're not opening the
emails I've been sending recently. I don't want to send you anything you
don't want."

Nando Sola boosted

Don't forget that with a static type system, you can *choose* what you want to track statically. This makes your modeling choices explicit. Saying "I don't have this issue in dynlangs" is usually missing an implicit "because I chose to look the other way"

@ekaitz_zarraga Puede decirse que Haskell el el vehículo ideal para entender Mónadas y Category Theory. Hace un par de años no te habría dicho esto 🙂

@ekaitz_zarraga Todos los papers de Monads y CT recurren a Haskell. Ejecutar los ejemplos en el REPL (ghci) ayuda.

C++ te abre a Java, C#… Con Smalltalk o Ruby, entiendes Python, Lua… Haskell es accesible desde Scala. No hay más atajos porque hay poca comunidad y la gente se siente cómoda dentro del lenguaje.

Haskell te abre a Scala y a otros lenguajes más especiales, como Idris, Coq o Agda.

TL;DR si quieres entender este mundillo, necesitas un lenguaje 100% funcional y fuertemente tipado.

Buen workshop de en el de . Como siempre falto de tiempo, pero muchas preguntas. Es curioso cómo la gente que viene de lenguajes imperativos está más acostumbrada a introducciones más completas, donde se abren ficheros, se procesa texto y existe interacción. Algo que en Haskell requiere de IOMonads, Lenses y algo más.

Quizá introducir estos conceptos preliminarmente en lenguajes dinámicos como o sea más efectivo para que la gente no se líe.

Nando Sola boosted

As you have probably already heard: there is a new HyperThreading side-channel attack which was outlined in the original Spectre paper as a possible variant: leverage port contention on execution engines which is shared between Hyper-Threads. Paper should follow.



So if you haven’t done it already: disable SMT/HyperThreading!

Nando Sola boosted

My new colleagues at IBM Security wanted to hear more about so I updated my "OpenBSD and you" presentation

Nando Sola boosted

When I see a new "open source" software infrastructure startup with 20 employees, no significant community interest and a BoD full of VCs, I automatically wonder when they will shut down.

Show more

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!