banner
jdw.mathstodon.xyz.ap.brid.gy
Jakob
@jdw.mathstodon.xyz.ap.brid.gy
0 followers 0 following 9 posts
Hi 👋 I’m a mathematician based in Germany. A while ago I completed a Ph.D. in non-archimedean geometry. Nowadays I try to maintain mathematics as an active hobby. Apart […] 🌉 bridged from ⁂ https://mathstodon.xyz/@jdw, follow @ap.brid.gy to interact
mathstodon.xyz
Posts Media Videos Starter Packs
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 1h
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]
The cover of Ravi Vakil's new book »The Rising Sea: Foundations of Algebraic Geometry«. The cover image is a modification of Hokusai's woodblock print »The Great Wave off Kanagawa« in a red color scheme.
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 1d
Can we do the thing we did about #chatcontrol about #wealthtax next?
2 2
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 1d
@pojntfx So this would mean, the clients would have to add support for `mastodon://` links and people posting mastodon links on the internet would need to prefix their links with this handler?
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 1d
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:`?
1
Reposted by Jakob
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 5d
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 […]
Original post on mathstodon.xyz
mathstodon.xyz
1 2
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 5d
I just learned that Pierre Cartier who apparently was one of the people owning a copy of »Eine Frau« died in 2024: https://arxiv.org/abs/2411.07409
Pierre Cartier: A Visionary Mathematician
This article reflects on the life and mathematical contributions of Pierre Cartier, a distinguished figure in 20th- and 21st-century mathematics. As a key member of the Bourbaki collective, Cartier played a pivotal role in the formalization and modernization of mathematics. His work spanned fields such as algebraic geometry, representation theory, mathematical physics, and category theory, leaving an indelible mark on the discipline. Beyond his technical achievements, Cartier was celebrated for his intellectual generosity and humanistic approach to science, shaping not only mathematical thought but also the broader cultural understanding of the field.
arxiv.org
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 5d
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 […]
Original post on mathstodon.xyz
mathstodon.xyz
1 2
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 11d
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 […]
Original post on mathstodon.xyz
mathstodon.xyz
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 12d
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 :(
jdw.mathstodon.xyz.ap.brid.gy
Jakob @jdw.mathstodon.xyz.ap.brid.gy · 14d
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 and check out my profile if you're interested in the books I read 🙂
Join Bookwyrm
BookWyrm is a decentralized social network for tracking your reading, talking about books, writing reviews, and discovering what to read next.
joinbookwyrm.com
1 1
Reposted by Jakob
delta.chat
Delta Chat @delta.chat · 17d
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
Usable end-to-end security with Delta Chat and Chatmail
Over the years, Delta Chat has matured to be an easy-to-use, secure, and even fast decentralized FOSS messenger app. Over the years, Del...
app.media.ccc.de
3