I wrote a small blog post on the equivalence between ℤ-graded rings and affine schemes with a 𝔾ₘ-action: https://jdw.codeberg.page/blog/graded-rings/

I sometimes see posts with »subpost« as content warning. What does that mean? @ah

@typst is fun!

15 years after the first circulation in the form of lecture notes for Ravi Vakil's algebraic geometry class, his popular introduction to Grothendieck-style algebraic geometry »The Rising Sea« is now available for preorder as a published book by Princeton […] [Original post on mathstodon.xyz]

Can we do the thing we did about #chatcontrol about #wealthtax#chatcontrolnext?

This might be a stupid question, but is there some way to open mastodon links with my Android mastodon client by default? I guess it's difficult because of the different domain names used by the various mastodon servers… Is there something like `mailto:`?

A discussion by the mathematician and historian of mathematics W. Scharlau of the unpublished novel »Eine Frau« (»A woman«) by Hanka Grothendieck, the mother of Alexander Grothendieck. I wish so hard that there was some way to get a copy to read, it sounds super interesting! Appearantly there […]

A discussion by the mathematician and historian of mathematics W. Scharlau of the unpublished novel »Eine Frau« (»A woman«) by Hanka Grothendieck, the mother of Alexander Grothendieck. I wish so hard that there was some way to get a copy to read, it sounds super interesting! Appearantly there […]

Can someone explain to a non-logician what locales have to do with »structures« in proof assistants? I come from an algebraic geometry background and I know about locales mostly as a special class of topoi, or as a constructive alternative to topological spaces. I know very little deep […]

When doing pure rust and the compiler is happy (and you're doing proper error handling) you can be reasonably sure that your program won't crash. So when I'm using the Rust bindings to GTK for GUI programming and my program crashes, I'm extra disappointed :(

I finally sat down and imported the books I read over the last years to my bookworm profile @jdw. Check out Bookwyrm (https://joinbookwyrm.com/) if you like #books and the #fediverse#booksand check out my profile if you're interested in the books I read 🙂

There now is a recording of the ad-hoc #datenspuren "usable end-to-end" talk from friday evening, german audio only https://app.media.ccc.de/v/ds25-603-usable-end-to-end-security-with-delta-chat-and-chatmail