Ayhon @ayhon@qoto.org

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

That #Pixelfed is now in the Top 10 of most downloaded APPs in the USA, also means that we, as a Fediverse community, have to come together.

If you see a link somewhere, PLEASE support your PIXELFED server. Even when it is just with $2, $10 or $50.

Their operational costs are surely skyrocketing and we have to make sure that this does not become a Fediverse debacle but a Fediverse success story.

EDIT: I just received this link:
https://pixelfed.org/support-our-project

@jaredwhite
#Fediverse #TopApp #Support

New blog post: the gen auto-trait problem

https://blog.yoshuawuyts.com/gen-auto-trait-problem

There is an open question whether `gen {}` blocks in Rust should return `Iterator` or `IntoIterator`. I believe the right answer here is the latter, and I spent some time writing out an example for it.

@yaxu i am aware of @tonofcrates's work on Nota, which addresses a similar set of problems/desiderata: https://willcrichton.net/nota/

...i think part of the issue here is that everyone wants something slightly different and has different deal-breakers.

from https://www.tumblr.com/nex3/771522130582044672

Once again, a big year-on-year jump in atmospheric CO₂!
Based on daily values from Mauna Loa, the December average was ~425.4 ppm, that's ~3.5 ppm more than last year.

#co2 #emissions #climatechange

New Year’s Eve in Taiwan ♥︎

> Some cheer and toast to welcome the New Year. In Taiwan, people cry their eyes out.

https://www.cnn.com/travel/taiwan-new-years-eve-crying-tradition-vive-lamour-intl-hnk/index.html