Lately I’ve been realizing that I probably made a (small but important) mistake when choosing Proton Mail over @Tutanota Mail.

I truly respect and like both European companies, but what I’ve been noticing, and deeply appreciating, is how strong, healthy, and direct the relationship between Tuta and its users is. They communicate, they discuss, they listen.

It actually reminds me a lot of the @Vivaldi browser team, including @jon himself. And that kind of attitude is priceless, especially when it’s combined with such a clear stance on privacy & security, AI, and user-first values. That combination is simply top-tier.

I recently noticed Vivaldi starting some cooperation with Proton. Personally, I’d much rather see a collaboration with Tuta.

Rooting for you. Rooting for both teams (actually all three). Absolutely fantastic work.

#privacy #security #email #europeanTech #Vivaldi #Tuta #Proton

Joshua Rogers on his bug bounty experiences in 2025.

Positive for #curl, kafka-esque for all others mentioned. ‚BugCrowd‘ seems to a typical level-1 support company living on denials.

(Joshua also reported on Apache and pbly other projects where he could talk to the maintainers. I take #curl here as an example for FOSS projects interested in actually securing things.)

joshua.hu/2025-bug-bounty-stor…

Sensitive content Reveal/hide

"A set of supercritical carbon dioxide (CO2) power generation units commenced commercial operation on Saturday in Guizhou Province, southwest China, marking the country's pioneering commercial application of this innovative technology."

globaltimes.cn/page/202512/135…

China pioneers commercial use of supercritical CO2 power generation

^{www.globaltimes.cn}

No sé si es que uso los LLMs de forma distinta a otra gente, pero a mi me dan muy buenos resultados como vehículo de aprendizaje que me sería imposible (literalmente) hacer de otra forma. Tut largo, pero es que lo tenía que decir.

Os contaré mi experiencia concreta. Llevo tiempo en un plan para mejorar mis matemáticas. Con un LLM he podido aprender matemáticas formales de forma rigurosa, verificando las pruebas por mi mismo, algo que sin esa herramienta me era materialmente imposible por razones de accesibilidad.

Después de unos meses, he conseguido aprender un montón de lógica que no sabía (CNF, BNF, prenexado de fórmulas, semántica, el teorema de la solidez de la deducción natural sobre fórmulas de primer orden, por inducción en la altura de la derivación). Estrategias de prueba: contrapositiva, por contradicción, por inducción, inducción fuerte y estructural. En análisis real, entiendo bien los límites de las secuencias y funciones, la continuidad, los teoremas fundamentales como Bolzano, convergencia de una secuencia monótona acotada, valor intermedio, valor extremo. No sólo los entiendo sino que puedo escribir por mi cuenta las pruebas de los teoremas. Conseguí entender como funcionan los números complejos como representantes de una rotación del plano, raíces de complejos, y porque toda la trigonometría se simplifica enormemente con estas herramientas. En álgebra lineal, aprendí como calcular determinantes recursivamente, Gauss-Jordan, Gram-Schmidt, proyección, QR. Pero aún más importante, aprendí a entender el álgebra lineal desde el punto de vista de una aplicación lineal T sobre un espacio vectorial V en un campo F, independiente de una base, en vez de partir de la representación concreta de una matriz. Aprendí que el determinante de una aplicación lineal es una función multilineal, alternante, normalizada, de la imagen de unas bases ordenadas a un escalar, que representa la ratio del volumen orientado de la aplicación lineal. Hice todo el tema de expandir una función de este tipo sobre bases en 2d ((1,0), (0,1)) y vi salir de allí las permutaciones, hasta la típica fórmula de determinante de una matriz 2x2 (ad-bc).

Todo esto no fue fácil, no fue libre de frustración. La gente muchas veces dice que el objeto de un LLM es eliminar la frustración y la dificultad que dan lugar al aprendizaje. Pues no sé, si se usa así a lo mejor sí, pero tuve días en que pensé que no podía con esto. Yo siempre insisto en reproducir las pruebas, hacer los cálculos, hacer tests y ejercicios, y que se me corrija con rigor. En alguna ocasión el LLM me dijo, "tienes un conocimiento suficiente para continuar," a mi no me lo pareció, y seguí trabajando hasta que entendí el tema satisfactoriamente.

Las posibilidades de haber hecho esto sin un LLM, para mi, son cero. Porque me habría sido imposible encontrar material accesible (no es la primera vez que lo busco) y todavía más difícil poder preguntar dudas y que alguien me corrija los ejercicios. No se trata de que El LLM sustituya el esfuerzo intelectual; sino que suple la ausencia de material accesible y la posibilidad de corrección.

Por eso no me convence la afirmación general de que los LLMs son inútiles para aprender, o para x. Son herramientas muy fáciles de utilizar mal, y no son perfectos; en algún caso me dieron resultados erróneos (cosa que por cierto los profesores también hacen), lo cual incide en la necesidad de verificar todo; pero es que ese es mi método en todo caso, cuando aprendo matemáticas intento verificar todo. Quizá por eso me haya ido bien.

En resumen, esta tecnología me ha facultado para aprender cosas que hacía años que quería aprender y que hasta ahora siempre me había sido imposible. A la gente no le gusta la palabra democratizar en este contexto, pero me cuesta no usarla.

#IA #LLM #accesibilidad #aprendizaje

Buenos días desde la Administración Pública.

2 días laborables me quedan de año. Y como no podía ser de otra forma me han pedido expedientes judiciales urgentes. Bueno, para eso estamos.

Had my call with the CEO and a load of execs, had to take it from a park around the back of the Tate gallery as there was nowhere quiet and private enough.

Got roasted but fucking smashed it. CEO thanked me profusely for turning around a $10m shit show.

The fucker who caused all the drama tried to attribute some of the success to someone on their team who had absolutely nothing to do with it. I let that shit slide, for today. Record will get set straight, served ice cold, corporate climbing motherfucker.

Christmas isn't cancelled ✊

I see that Fernando Pereira is donating to OpenReview (with a public announcement) because he apparently cares about "open science" or "open research" or some such. That's news to me.

He is the Google VP who wrote a condescending, bizarre, what was meant to be anonymous, "privileged and confidential" letter which was then sent to the HR department, instructing me and my coauthors to retract our Stochastic Parrots paper.

I was considering setting up my #immich server for a while now, but ept putting it off because I thought migrating the photos from iCloud to immich would be hard. Several how to's explained you had to download the photos from Apple's privacy website in bulk, or export them on your Mac as separate files.

So, finally put to work: I made enough room on my Mac to export all of them, I exported all photos in original quality from the Photos app to some directory on the Mac, and setup my immich server.

Then, finally, being able to login on the mobile immich app, I see a simple 'backup' toggle. I can select all albums in the iOS Photos app and switch "enable backups" on.

Just like that, it uploads everything to my new immich instance. This couldn't have been easier. All my prep work wasn't needed.

So, if you have been holding off, don't. This is so easy.

So this constitutes embezzlement.

futurism.com/advanced-transpor…

SpaceX Is Buying Up an Unfathomable Number of Cybertrucks

SpaceX bought over 1,000 Cybertrucks from Tesla, a number that could rise to 2,000 over time, according to Electrek.

^{Victor Tangermann (Futurism)}

Beautiful live performance. youtu.be/D4_lX5bGssY?si=9_QWSy…

#music #livemusic #pop #indie

Holly Humberstone – The Walls Are Way Too Thin (Live on Later)

Subscribe – http://bit.ly/2fKbxWgStream more music on iPlayer – https://www.bbc.co.uk/iplayer/categories/music/featuredThis video:Watch Holly Humberstone per...

^YouTube

La Biblioteca Nacional de España publica la relación de autores de su catálogo cuya obra pasa a ser de dominio público en 2026

auxiliardebiblioteca.com/la-bi…

I'm so glad NVDA, Narrator, Orca, VoiceOver, TDSR, and Fenrir exist. I'm so, so glad JAWS is not the only desktop screen reader, and that FS did not persue JAWS for Mac.

I'm so glad that NVDA not only supports addons, but shows them off with the addon store! I'm so glad that NVDA is so inescapably popular that even big corporations support them, like Google Docs and Microsoft Office and countless others that say in their documentation that NVDA is supported.

#accessibility #blind #nvdasr #nvda #technology

"[...] Machines are made by men for man's benefit and progress, but when man ceases to control the products of his ingenuity and imagination he not only risks losing the benefit, but he takes a long and unpredictable step into...the Twilight Zone."

The story checks out.