@BartoszMilewski@mathstodon.xyz avatar

BartoszMilewski

@BartoszMilewski@mathstodon.xyz

Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Programming

This profile is from a federated server and may be incomplete. Browse more on the original instance.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Google makes terrible design decisions. It's so hard to distinguish the icons they use for transport. You have to look really closely to see that the little marks under the vehicle represent rails, not wheels. And the black background presumably indicates a tunnel. So this is the subway. But it's not, it's a tram that travels above ground.

I like words.

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@dpiponi @julesh Just by chance, I took the Paris metro line 4 today and noticed the rubber tires on the train. https://www.reddit.com/r/trains/comments/14uuf9x/rubber_tire_trains_in_paris/

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Chat GPT 4o still not up to word games:
> Generate a Spoonerism based on words dental and mental.
> Sure! Here's a Spoonerism based on the words "dental" and "mental":

"Mendal Tentist."

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Politics is the continuation of war with other means.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

About half the periodic tables you see are wrong. The only question is: which half?

Check out this one from Encyclopædia Britannica. See the row of elements in yellow-green near the bottom? They start with element 58, cerium and end with element 71, lutetium. There are 14 of them. They're called 'lanthanoids'.

Okay. But note that lanthanum itself, element 57, is up somewhere else. It's also called a lanthanoid, and it's under two other elements in yellow-green called 'rare earths'.

Next compare the periodic table on Wikipedia.

(1/4)

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@johncarlosbaez I see this as an example of Nature mocking our attempts at classification. We tried to squeeze orbits of planets into Platonic solids, buid musical scales using perfect intervals, devise periodic tables by filling orbitals in some neat order (the aufbau principle). Not tu mention the messy Standard Model. Makes one doubt the "unreasonable effectiveness of mathematics."

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Quinta da Regaleira in Sintra, near Lisbon. But which work of science fiction (or is it weird fiction?) am I thinking of? The author mentions that this was a significant source of inspiration.

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@dpiponi Silo?
https://en.wikipedia.org/wiki/Silo_(series)

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@dpiponi
Beautiful place. I've been there in 2017.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Guilty on all counts! What a day!

hanse_mina, to TeslaMotors
@hanse_mina@mastodon.social avatar

Donald is considering tapping billionaire as a policy adviser if the Republican presidential candidate reclaims the White House in November's election, the Wall Street Journal reported on Wednesday.

The WSJ also said Musk informed Trump about his ongoing influence campaign aimed at convincing powerful business leaders not to support Democratic President Joe , who beat Trump in the 2020 election and is seeking a second term.

https://www.reuters.com/world/us/elon-musk-could-become-policy-adviser-if-trump-wins-election-wsj-reports-2024-05-29/

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@hanse_mina
Combining plutocracy with tyranny.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

The AI keeps yanking our Markov chain.

julesh, to random
@julesh@mathstodon.xyz avatar

Old people, not content with merely destroying the economy for young people, are now trying to actively murder young people

image/png

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@julesh In other words, re-education camps.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

New physics responsible for Singapore Airlines plane drop?

"The Transport Safety Investigation Bureau's (TSIB) preliminary findings found rapid changes in gravitational force (G) "

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

The final word from Kleisli:
So long and thanks for all the <=<

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Typical Rama II sentence: "The hot liquid warmed her mouth even though she didn't care for the bitter taste." This could only be compared to "It was dark and stormy night." Add to this excrutiating descriptions of every trivial technological gadget and inner emotions of every person within a 100 mile radius...

Is this what they are feeding the LLMs?

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@aleks Yeah, I think I've had enough.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

I started reading Rama II by A C Clarke. His writing is truly horrible. And it's not because science fiction back then was bad in general. He was a contemporary of Philip K Dick, whose work is still very relevant.

dpiponi, to random
@dpiponi@mathstodon.xyz avatar

Despite Wildberger being a bit off the usual conventional paths in mathematics, he's influenced me to the point where every time I write a line of code using an angle I ask myself if I could use an alternative "rational" representation.

https://research.unsw.edu.au/people/professor-norman-j-wildberger

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@dpiponi He's such a dyed in the wool Platonist, I can't stand it. According to him rational numbers "exist" but infinities don't.

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@codyroux @johncarlosbaez @dpiponi All things that exist are alike; each thing that doesn't exist, doesn't exist in its own way.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Grothendieck waited for the rising sea to open the nut. The rest of us are waiting for the global warming to raise the sea.

johncarlosbaez, to random
@johncarlosbaez@mathstodon.xyz avatar

Chemistry is like physics where the particles have personalities - and chemists love talking about the really nasty ones. It makes for fun reading, like Derek Lowe's column "Things I Won't Work With". For example, bromine compounds:

"Most any working chemist will immediately recognize bromine because we don't commonly encounter too many opaque red liquids with a fog of corrosive orange fumes above them in the container. Which is good."

And that's just plain bromine. Then we get compounds like bromine fluorine dioxide.

"You have now prepared the colorless solid bromine fluorine dioxide. What to do with it? Well, what you don't do is let it warm up too far past +10C, because it's almost certainly going to explode. Keep that phrase in mind, it's going to come in handy in this sort of work. Prof. Seppelt, as the first person with a reliable supply of the pure stuff, set forth to react it with a whole list of things and has produced a whole string of weird compounds with brow-furrowing crystal structures. I don't even know what to call these beasts."

https://www.science.org/content/blog-post/higher-states-bromine

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@johncarlosbaez In physics particles have personalities too. Some quarks have charm, others beauty.

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Is this what the US Congress is devolving into?

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Remove "ask" from Haskell and you get Hell.

julesh, to random
@julesh@mathstodon.xyz avatar

Obviously not everything can be understood with just category theory, although I'm starting to kinda suspect that everything can be understood with a mixture of category theory and statistical physics

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@julesh I think category theory defines what can be understood because "understanding" is the ability to decompose.

I also believe that not everything can be understood (in fact, things that can be understood have measure zero).

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

Shocking! According to NYT, "17 percent of voters in the top six battleground states believed, incorrectly, that Mr. Biden, not Mr. Trump, was responsible for ending the constitutional right to abortion."

BartoszMilewski, to random
@BartoszMilewski@mathstodon.xyz avatar

I'm struggling with the definition of the category of elements--the direction of morphisms. Grothendieck worked with presheaves (C^{op} \to \mathbf{Set}), with a morphism ((a, x) \to (b, y)) being an an arrow (a \to b) in (C). The question is, what is it for co-presheaves? Is it (b \to a)? nLab defines it as (a \to b) and doesn't talk about presheaves. Emily Riehl defines both as (a \to b), which makes one wonder what it is for (𝐶ᵒᵖ)ᵒᵖ→𝐒𝐞𝐭 , not to mention (C^{op}\times C \to \mathbf{Set}).

BartoszMilewski,
@BartoszMilewski@mathstodon.xyz avatar

@madnight @johncarlosbaez Google search shows this paper: https://arxiv.org/abs/0908.2469

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • InstantRegret
  • mdbf
  • ngwrru68w68
  • magazineikmin
  • thenastyranch
  • rosin
  • khanakhh
  • osvaldo12
  • Youngstown
  • slotface
  • Durango
  • kavyap
  • DreamBathrooms
  • JUstTest
  • tacticalgear
  • ethstaker
  • cisconetworking
  • modclub
  • tester
  • GTA5RPClips
  • cubers
  • everett
  • normalnudes
  • megavids
  • Leos
  • anitta
  • lostlight
  • All magazines
    •