Ayhon @ayhon@qoto.org

Let's de-Musk social media. Posted in the centre of Berlin.
Thanks to #savesocial @bjoernsta and @hnnng
More at https://savesocial.eu/en/

Please boost and spread the word.
European alternatives for popular services from the USA. This page is far from perfect or complete but just an illustration that there are alternatives.
https://european-alternatives.eu/alternatives-to

This is also an interesting page with alternatives,
https://www.privacyguides.org/en/tools/

#EU #digitalservices #ICT #IT

The second part of Grant Sanderson's video interview with myself on the cosmic distance ladder is now out: https://www.youtube.com/watch?v=hFMaT9oRbs4

I wrote a blog post with additional commentary and corrections on both videos at https://terrytao.wordpress.com/2025/02/13/cosmic-distance-ladder-video-with-grant-sanderson-3blue1brown-commentary-and-corrections/

from the Swift team, now on Mastodon!

freedom of encryption is a human right

Due to rising costs, I'll be adjusting the prices of my game assets. This helps maintain quality and allows me to continue creating content. There'll be a 10% price increase, making the new price... well, still $0 I guess. Thank you for understanding.

www.gameassets.com

Obsidian is now free for work.

Starting today, the #Obsidian Commercial license is optional. Anyone can use Obsidian for work, for free. Explore the organizations that support Obsidian on our site.

https://obsidian.md/blog/free-for-work/

What if, some day, I kick you in the shin so hard that you hallucinate a cure to cancer? We could cure cancer! Wow!

I'm mean, wow wow wow!

Doesn't this make it a Moral Requirement that I kick you as often as possibe, to achieve that perfect kick?!

Yes! Yes, I must kick you! For humanity!

Hello EU people:

There is an EU citizen petition to ban the use of "conversion therapy" on LGBTQ+ folks (i.e., trying to de-LGBTQ us— a process often described as "torture"). If you're interested, you can sign it here:

https://eci.ec.europa.eu/043/public/#/screen/home

Please especially take note if you are a national of Spain, Slovenia, Belgium, or the Netherlands; the petition needs about 5x as many votes as it has now, but also needs to hit a threshold in four additional countries, and those are the four closest.

Thierry Coquand at Collège de France !
The first lesson will be on Thursday, March 13, 6pm. The next ones are on Mondays, 10am. [Edited]

https://www.college-de-france.fr/fr/agenda/lecon-inaugurale/la-theorie-des-types-de-russell-aux-assistants-la-demonstration/la-theorie-des-types-de-russell-aux-assistants-la-demonstration

Meet the splash for the upcoming Blender 4.4!

Featuring Flow, a film by Gints Zilbalodis. Golden Globe-winning film and 2025 Oscar nominee for Best Animated Feature Film and Best International Feature Film #b3d

I have a funded #PhD position for UK students, available with myself and @bentnib

This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.

Deadline: Thursday 20th March 2025

You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli

For now more details about the project are on my personal website.

https://tyde.systems/page/position/2025-jarss/

Please spread the words.

#dependentTypes #formalMethods #idris #programmingLanguageTheory #typeTheory #idris2 #computerSecurity #cybersecurity #securityByDesign #secureByDesign

A little thread on constructive mathematics and (tight) apartness relations in particular

#logic #math #constructiveMathematics

Secret Panel HERE https://tapas.io/episode/1709123

OpenAI shocked and appalled that an AI company would steal intellectual property

https://www.404media.co/openai-furious-deepseek-might-have-stolen-all-the-data-openai-stole-from-us/

I find it really cool how the compiler manages to work out all these type equalities: https://scastie.scala-lang.org/nrinaudo/KDOCMT3ETrKcQGq14hZCJw

I initially wrote this by hand and it was *painful*. But no, with Eq, just throw all the things in a pattern match and let the compiler sort them out.

Think of a number. ~ Kevin Buzzard. https://xenaproject.wordpress.com/2025/01/20/think-of-a-number/ #AI #LLMs #Math

Open Letter to Mark Zuckerberg

So... am I missing something, or am I breaking the compiler a little by overriding the `equals` method of a sum type?

https://scastie.scala-lang.org/nrinaudo/axeL5xlATteCz977XHh2lw/1

Want to do a #PhD about #WebAssembly and #ConfidentialComputing? Please contact me! We have well-paid PhD positions available.

You need to have a master's in computer science or equivalent, good technical skills and good writing skills.

These are on-site positions in the beautiful city of Ghent, Belgium.

See this thread for more info. Feel free to boost!

#FediHire