@catnaroek Diogo (f a) Castro Module improvement under discussion: github.com/ghc-proposals/…
frobunnius @catnaroek (possibly a bad idea): we should use words from lapine: watershipdown.fandom.com/wiki/Lapine to talk about Gal(Qbar/Q)
@catnaroek Vanessa McHale Well, Haskell is a dynamically typed programming language after all: aphyr.com/posts/342-typi…
TJ Hitchman @catnaroek @katemath Desmos I like using sagecell.sagemath.org since it's an easy free way to access several open-source tools (in contrast with Mathematica). But while Desmos/Geogebra are closed-source, they are much nicer for general audiences to use. I'd love to see that functionality come to FOSS.
@catnaroek justinhj Jessica Joy Kerr Inactive; Bluesky is @hillelwayne(dot)com If you're going to tell lies to children you should remember that some are A students with nearly eidetic memories and get really stressed when they find out their moral source of truth gave them lies in the name of expediency.
At least give them footnotes and wave your hands.
@catnaroek johncarlosbaez julesh I would argue that the notion of oo-category (whatever definition you use) is not purely algebraic. For example, the (oo,1)-category of (oo,0)-categories is the oo-category of spaces (so for example, it contains a lot of information about smooth structures on spheres).
Number less than 2^2^2^64 @catnaroek Anton Hilado Yes in some parts of arithmetic geometry/number theory, and for PhD students, this is almost impossible, and almost certainly counterproductive.
@catnaroek Daniel Litt If you are not in a hurry, there is Milne's recent book on the topic. It develops the theory over a general field and is rather scheme-heavy.
cambridge.org/core/books/alg…
@catnaroek QC hmm i've never had that concern. almost every tab i have (often thousands) will stay the same if closed and opened again (for example, links to individual tweets). the problem is how to find those tabs again when i want them in the future, or whether they will be lost forever.
@catnaroek Jules Jacobs Number less than 2^2^2^64 I made the mistake of identifying A^B with functions from A to B rather than from B to A... meaning to say 2^65536.
@catnaroek Shriram Krishnamurthi 🟤 🏴☠️ 👨🏽🏫 🚴♂️ 🏏 A Spanish person explained to me that 'ser'/'estar' is easy to understand with the permanence vs. impermanence angle. I pulled out lots of exceptions: 'estar muerto,' 'la fiesta será mañana,' 'son las 8,' etc. For native speakers it comes naturally but it's actually complicated.