Ayhon @ayhon@qoto.org

Help us create a vision for Rust's future, by taking part in our vision survey!

Check out the blog post: https://blog.rust-lang.org/2025/04/04/vision-doc-survey.html

Hell yeah https://maly.io/@MattiSG/114267173929565150

My cousin
who is young and angry
tells me at this point
she is waiting for the crash,
she is hoping for the crash,
she can only see a better world
built on the wreckage of this one,
so sympathetically
I try to remind her
that many of us
will be buried in that wreckage.

SILKSONG MENTIONED!

I feel like the brainwashing delivered by our Advanced Functional Programming course has gone pretty well, given two students turned up to the exam with Agda T-shirts.

** Speaker announcement ** Catch this talk at RustWeek 2025!

Speakers: David Barsky & Lukas Wirth
Title: Salsa in Rust-Analyzer

Info & tickets: https://rustweek.org/talks/salsa/

See you in Utrecht 13-17 May, 2025!

#rustweek #rustlang

When Signal was designed, our threat model was protecting the communications of civil society, journalists, just regular citizens ...

The threat model of military operations & sharing your hate of Europeans was not what Signal was designed for. Ephemeral messages and cryptographic deniability are not fit for communications that require accountability.
But I appreciate their effort to make government more efficient by adding journalists to the chat instead of requiring to go through FOIA.

Being confused about which account belongs to which person is known to security professionals as a state management problem.

…

…

I'll see myself out

Which academic field has the best puns in paper titles? Examples welcome!

I've now published my blog post, "I want a good parallel computer." https://raphlinus.github.io/gpu/2025/03/21/good-parallel-computer.html . Thanks much to all the feedback on the draft, I'd like to think I've clarified some things that might have been confusing.

There are just a few days left now to register for the Midlands Graduate School (MGS) in Sheffield, 7-11 April 2025. Eight fantastic courses on category theory, type theory, coalgebra, semantics and more.

Registration closes on Monday 24th March.

https://tinyurl.com/MGS-2025

The first production ready version of The Rocq Prover 9.0 has been released today, see https://rocq-prover.org/releases/9.0.0 on our new official website! In the coming weeks, we'll migrate the Discourse, Zulip and Github organizations, please bear with us and don't hesitate to report broken links! Packages for opam and nix will be coming soon.

La théorie des types, de Russell aux assistans à la demostration. ~ Thierry Coquand. https://www.youtube.com/live/78CQ2A5_EvI #TypeTheory #ITP #Logic #Math

Here is a followup to my previous "consolidate #Bevy microblogging" post, which includes our final decision:
https://github.com/bevyengine/bevy/discussions/18302

that... uh- y- you do realize that... alright then

was trying to figure out how to implement some algebraic structures based on what i've been learning in my course on automated proof verifiers and anyway that's why i googled "coq rings" your honour

Should you wish to find a permanent (tenured) research position in France.

It's now too late to apply to the 2025 positions at CNRS or INRIA, but it may be a good idea to start chatting with groups about a 2026 application.

36th European Summer School in Logic, Language and Information
https://2025.esslli.eu/

Registration is now open for students!

Boosts are appreciated.

#logic #computerscience

Dear American friends, I know for a fact that many of you were as horrified as I was over the shameless display BLOATUS put on in the Oval Office yesterday.
I decided this morning that rather than seethe about it, I'd do something meaningful with my anger.
Below is the URL of Ukraine's official fundraising page. Maybe you could chip in a small amount, and/or give this a boost to spread the word? Thanks, and remember, there's still many more of us than of them!

https://u24.gov.ua/