@julesh @thosgood «Grothendieck» is a Low German name: Johanna Grothendieck was born in the North German town of Blankenese, on 21 August 1900.[1] Her surname, Grothendieck, comes from the Plattdütsch word for "big dike".[2]
Notices by Björn Gohla (6d03@mathstodon.xyz)
-
Embed this notice
Björn Gohla (6d03@mathstodon.xyz)'s status on Tuesday, 19-Nov-2024 03:07:18 JST Björn Gohla -
Embed this notice
Björn Gohla (6d03@mathstodon.xyz)'s status on Thursday, 15-Aug-2024 11:43:20 JST Björn Gohla @fuzzychef @cwebber Are you saying SQL is a good standard?
In conversation from mathstodon.xyz permalink -
Embed this notice
Björn Gohla (6d03@mathstodon.xyz)'s status on Tuesday, 14-May-2024 16:59:47 JST Björn Gohla @hongminhee Did they finalize the RFC yet?
In conversation from mathstodon.xyz permalink -
Embed this notice
Björn Gohla (6d03@mathstodon.xyz)'s status on Saturday, 17-Feb-2024 01:21:42 JST Björn Gohla @goatsarah @b0rk Where they thinking of linked lists maybe?
In conversation from mathstodon.xyz permalink