Ayhon @ayhon@qoto.org
Computer Science and Mathematics
Joined Apr 2022
Ayhon
boosted
from the Swift team, now on Mastodon!
Ayhon
boosted
Ayhon
boosted
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
Ayhon
boosted
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.
@mra Fair enough, ~~Coq~~ Rocq is also really cool. Also potentially more amenable if you have done OCaml before. Have fun with it!
@mra xD, welcome to the rabbit hole. Next, you have to give Lean a try
Ayhon
boosted
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!
@kepano Perhaps an unpopular opinion, but as cool as the Graph view is, I just don't use it in my day to day. If I had to think of something that had to go, I'd probably pick that (even over mermaid, although that's also a good candidate)
Ayhon
boosted
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.
@freebliss What changes have they taken recently? I remember they talked about integrating AI with their editor a while back, but I always saw it as more of a PR move than an actual focus of the company.
I guess that what I'm really asking is what impact this will have in the development of Zed.
Ayhon
boosted
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]
Ayhon
boosted
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
Ayhon
boosted
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
@thmprover @jonmsterling I see, thank you very much.
@thmprover @jonmsterling Sorry, if this is a reply to a previous toot, would you mind sending me the link? I'd like to follow up on the context, but Mastodon doesn't seem to be loading previous messages. If your toot was meant to be standalone, what book are you referring to?
Ayhon
boosted
A little thread on constructive mathematics and (tight) apartness relations in particular
Ayhon
boosted
@roberth See you in FOSDEM!
@root42 @MPI_ScienceOfLight they did!
Computer Science and Mathematics
Joined Apr 2022
