Toots for oantolin@mathstodon.xyz account

Written by Omar Antolín on 2025-02-01 at 05:09

AI will continue until morale improves. Meanwhile people are resisting by coming up with hacks like this: https://gizmodo.com/add-fcking-to-your-google-searches-to-neutralize-ai-summaries-2000557710

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-27 at 15:36

This term I'm teaching the core combinatorics graduate course at my university. I've been know to call the homotopy theory of spaces "derived enumerative combinatorics", so I guess I'll be teaching underived homotopy theory —"just the pi_0, thank you very much!".

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-22 at 22:11

Does anybody else feel that proprietary programming language implementations just aren't real somehow? I know they exist but I never feel tempted to use one, even if it is available to try for free. As soon as I learn a language implementation is closed source I just automatically stop considering it. And I don't know why! It's not like I only use open source software. Until recently I used Windows. I have several closed source apps on my phone. I use a bunch of webapps that aren't open source either. But for some reason a programming language just doesn't feel real to me unless it has an open source implementation.

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-17 at 21:15

By the way, both Android and Windows have this built-in as an accessibility feature. To get a grayscale toggle on Linux I installed the picom compositor and use this little script:

[#]! /bin/bash

if pgrep picom > /dev/null; then

killall picom

else

picom -b  --backend glx --glx-fshader-win "

uniform sampler2D tex;

void main() {

     vec4 c = texture2D(tex, gl_TexCoord[0].xy);

     float y = dot(c.rgb, vec3(0.299, 0.587, 0.114));

     gl_FragColor = vec4(y, y, y, 1.0);

}" &> /dev/null

fi

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-17 at 19:54

I was invited to the "Annual International Conference on Annual International Conference on Physics and its Applications"! A conference about another conference! I would actually love that sort of thing if it were real. 😅

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-16 at 18:17

I'd never seen a university use MathJobs for PhD student applications before! https://www.mathjobs.org/jobs/programs/25586

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-15 at 03:13

I'm on the second day of my experiment of using my phone and computer in grayscale. I'm liking it so far. Is color overrated?

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-08 at 23:44

I changed the system font on my phone and it feels like a brand new device! Is there something wrong with me?

=> More informations about this toot | View the thread

Written by Omar Antolín on 2025-01-07 at 03:20

Two of my academic brothers and I have just uploaded a paper we started together about 11 years ago when we were all PhD students. We all got busy with other things and forgot about it for about a decade, then when we reunited at a conference about a year ago we realized it still made sense to finish the paper. It was wild looking at the last modification date of the files we had. Also, in the intervening decade there were some infrastructure improvements that made the paper much, much easier to write now, so maybe it was for the best that we forgot about it for so long.

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-12-22 at 20:08

Eight years ago today I gave my linear programming students a final exam containing a Christmas themed question in which they had to help Santa Claus maximize the total joy of all the children in the world. A typo made said joy unbounded! It was a Christmas miracle!

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-12-07 at 00:09

It is the snobbishness of the young to suppose that a theorem is trivial because the proof is trivial. – John Whitehead

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-11-28 at 18:25

This is scary. I hope this doesn't actually happen, but I guess it might. My parents live in Juárez, which sounds like a likely US target. (I'm hoping we'd be safe here in Mexico City.)

https://newrepublic.com/post/188889/trump-team-terrifying-debate-invade-mexico

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-11-25 at 12:59

I'm very disappointed to learn that "lupini" in Italian does not mean "little wolves" as I guessed, but rather a type of legume. It's still weird I got an email from legumes, I guess, but I really had my heart set on little wolves.

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-11-14 at 16:19

Great headline; "California officials say four people used bear costume in car insurance fraud scheme".

https://www.theguardian.com/us-news/2024/nov/14/california-bear-costume-car-insurance-fraud

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-11-12 at 14:51

What maniac decided that Ctrl-V means "paste with formatting" and Ctrl-Shift-V means "paste as plain text"? I always, always want plain text and hate my personal shortcut for it: Ctrl-V Ctrl-Z Ctrl-Shift-V.

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-11-11 at 05:50

I find the confirmation prompt when updating packages in #Emacs pretty hard to read because of MELPA's very long version numbers, so instead I've chosen to just display package names:

(defun just-package-names (fn &rest args)

(cl-letf (((symbol-function 'package-desc-full-name)

           (lambda (pkg) (symbol-name (package-desc-name pkg)))))

  (apply fn args)))

(advice-add 'package-menu--list-to-prompt :around 'just-package-names)

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-10-31 at 02:51

Today I had to sign 20 letters that were handed to me as a RAR archive of Word files! So I had to install software to decompress RAR archives (7zip) and to edit Word files (LibreOffice)... After that, the actual signing was surprisingly painless.

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-10-28 at 21:57

I had no idea #Emacs had a define-alternatives macro as a convenience feature for functionality with multiple implementations! See either C-h f or mbork's blog post for details: https://mbork.pl/2024-10-28_Command_alternatives

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-10-26 at 14:22

Why am I so petty linguistically? I cannot get over the word "explainer"; every single time I see someone use it I wonder: Are they unaware of the word "explanation"? What do they call the person who explains, an "explainerer"? Every single time! I am truly my own worst enemy.

=> More informations about this toot | View the thread

Written by Omar Antolín on 2024-10-24 at 15:57

I knew that a simplicial complex and its barycentric subdivision have homeomorphic geometric realizations, but what I didn't know before yesterday is that the homeomorphism cannot be chosen to be natural!

Even just on the tiny subcategory consisting of the 1-simplex and 2-simplex and two surjective simplicial maps from the 2-simplex to the 1-simplex there fails to exist a natural homeomorphism!

=> More informations about this toot | View the thread

=> This profile with reblog | Go to oantolin@mathstodon.xyz account