Pinned post

Time for new !

I'm Jordi, a from , living in . I've had a super-sheltered and comfortable life. Nothing dreadful has ever happened to me. I'm married to @Not_mermista.

I like , , , , and old because I'm old (not that old).

I also do software stuff because of course.

Day job is to write software stethoscopes for other software.

JordiGH boosted

Hey, math nerds, I really want to know, why is Wikipedia saying that \(\wp(X)\) is a notation for the power set? First time I see the Weierstrass pe symbol used for something other than an elliptic curve, and I don't like it, my boy Weierstrass didn't write no power sets like that.

JordiGH boosted

COVID-19, Canada/Ontario politics 

We should be spending our time fighting to make sure these benefits reach everyone, and working to heal the deep wounds inflicted by our society, not fighting for the existence of these concepts at all.

Show thread
JordiGH boosted

COVID-19, Canada/Ontario politics 

I am so angry at the people who spent an entire generation teaching us that progress was natural and inevitable, then turned around and gutted every institution that produces said progress in the name of lower property taxes and more comfortable retirements.

They took away affordable childcare from my brother and sister in law; they took away the idea of owning our own house; they took away the long-term promise of retirement.

I am so vastly angry.

Show thread

Gimme a damn citation for that notation, Wikipedia.

Show thread

Hey, math nerds, I really want to know, why is Wikipedia saying that \(\wp(X)\) is a notation for the power set? First time I see the Weierstrass pe symbol used for something other than an elliptic curve, and I don't like it, my boy Weierstrass didn't write no power sets like that.

In the future, you'll just point some model at a bunch of data, and you'll get a certain kind of response. If it's not right, you'll just have to find more data. No programming, no interface, and certainly no keyboards.

Show thread

I wonder if in the future the equivalent of software development will be training machine learning models. If writing code in programming languages will seem as arcane and low-level as it is today to write assembly language or maybe even lower, like wiring breadboards.

"Tell us about the olden times when you had to use a keyboard to write the individual characters of keywords to make technology do things," our curious, young descendants might one day ask.

ICYMI, the Triforce% run of at the last GDQ is one of the most emotional moments in I have ever seen: youtu.be/2x_pqyrf9lA

Dear Lazyweb,

Anyone have the timestamped link to the latest GDQ run of TASBot doing the Triforce% in ? I want to see the actual chat reaction (I wonder why GDQ doesn't have on-screen chat, maybe too difficult to moderate?)

(From my greatest hits collection)

Whenever a nice theorem or result is used in a proof, I often picture mathematicians dramatically calling out their attacks like anime characters.

"Dedekinnnnnnd CUT!" (slices across the real line)

"Fast Fourier Transform!" (mecha changes and adapts frequency attack mode)

"Riemannnnnn zetaaaa functioooooonnnnnn!" (final blow, wrecks mathematicians' careers chasing the impossible problem)

I'm used to being the only Jordi around, but now that I work with a company that has offices in Barcelona, there's a whole lot of Jordis to go around. I think our sixth Jordi just joined the company.

Jordi gang rise up!

JordiGH boosted
JordiGH boosted

Hey, I'm looking for someone to take over one of my jobs, so I can concentrate better on @interpeer.

You should...

- be EU based, NL-based a preference.
- know C/C++/Python
- know basics of network programming: sockets, endianness, datagram vs. stream, etc.
- know Linux networking/routing a bit.

The software runs on small ARM boards (ca. Raspberry Pi 1 power). You'll build and flash images, etc. You'll attach extension boards, and interface the software to firmware.

DM me/boosts appreciated.

JordiGH boosted

Next year I'll be teaching in high school for the first time! It's going to be a new challenge since I taught at university level for 5 years...

Let's start by looking at what I'm actually going to teach! 😎

JordiGH boosted

A surprisingly complicated polyhedron: the angle is 90 degrees at every edge except one, where the angle is 45 degrees. Can you make a simpler polyhedron with this property?
Full video: youtu.be/tH6vLXMaCwQ
This print was designed by Matthias Goerner, based on a construction due to Sydler.

JordiGH boosted

Context: International Congress of Mathematicians was scheduled for St. Petersburg, but for the obvious reason it was moved online. The General Assembly and award ceremonies were moved to Helsinki since there is a satellite conference on mathematical physics going on right now.

I’m doing some volunteer and backstage work, in addition to trying to follow the ceremony whenever I can. (No, I don’t know the winners. Of course, some speculation can be heard during mathphys conference breaks…)

Show thread
JordiGH boosted

Things getting set up for the ICM award ceremonies at Aalto University Töölö, Helsinki. Be sure to follow the live stream at m.youtube.com/watch?v=6I0siVD7, the ceremony starts at 10:00 Eastern European time!

JordiGH boosted
Show older
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!