mc - Network

for the first time I used the qualitative-quantitative bridge afforded by quantitative predicate logic (https://arxiv.org/abs/2406.04936) to...

for the first time I used the qualitative-quantitative bridge afforded by quantitative predicate logic (https://arxiv.org/abs/2406.04936) to backport a quantitative thing (bayesian update) to qualitative land and thus debug a qualitative definition

🤚 abuse of notation👉 *notational solecism*

🤚 abuse of notation
👉 *notational solecism*

are there known ways to talk about 'situated' mathematical structures, i.e. to talk about a structure (e.g. a set, a group) be...

are there known ways to talk about 'situated' mathematical structures, i.e. to talk about a structure (e.g. a set, a group) be *somewhere* in a space?

my first instinct is to use sheaves of Xs. X(U) answers the question 'what part of X is in U?' then you can situate a specific X at some point p by producing the skyscraper sheaf at p valued at X. but I've never seen this intepretation of sheaves! have you? does it make sense? do presheaves suffice?

finally have a word for this concept, obsessed

finally have a word for this concept, obsessed

ubuntu is driving me insane, what do you mean the terminal application runs on python

ubuntu is driving me insane, what do you mean the terminal application runs on python

> after lots of unsuccessful googling, I ask chatgpt how to swap fn and ctrl in Ubuntu> it says it can't be done but maybe...

> after lots of unsuccessful googling, I ask chatgpt how to swap fn and ctrl in Ubuntu
> it says it can't be done but maybe there's a 'swap fn and ctrl keys' in the bios options
> I roll my eyes
> check
> there is indeed a bios level option to do exactly that lmao

the story of how we discovered what the stars are made of and who made the discovery:...

the story of how we discovered what the stars are made of and who made the discovery:

https://bigthink.com/starts-with-a-bang/cecilia-payne-discovered-what-stars-made-of/

state-sanctioned deportation in the US, state-sanctioned transphobia in the UK... what a sad time. sending thoughts to y'all affected by...

state-sanctioned deportation in the US, state-sanctioned transphobia in the UK... what a sad time. sending thoughts to y'all affected by this 😞❤️‍🩹

what an absolute disgrace of event. fuck the breakthrough prize.https://www.math.columbia.edu/~woit/wordpress/?p=14572

what an absolute disgrace of event. fuck the breakthrough prize.

https://www.math.columbia.edu/~woit/wordpress/?p=14572

somehow managed to be in Glasgow for 4 days without seeing a single cloud and abundantly enjoyed of the sun. nice try, but I'm staying...

somehow managed to be in Glasgow for 4 days without seeing a single cloud and abundantly enjoyed of the sun. nice try, but I'm staying in Italy (I miss you too though 💔)

yo mama so fat shelah just published a paper about her relative consistency strength

yo mama so fat shelah just published a paper about her relative consistency strength

it's not English town names have fucked up pronunciation, rather it's everything else which does

it's not English town names have fucked up pronunciation, rather it's everything else which does

now the gloomy thing is that while Putin's threat to EU countries is merely plausible, Trump and Vance have explicitly hinted at wanting...

now the gloomy thing is that while Putin's threat to EU countries is merely plausible, Trump and Vance have explicitly hinted at wanting to annex EU sovereign territory with force if necessary. that's a better reason Europe should get their shit together and get a credible military deterrent.

kinda pilled by deep inferencehttp://alessio.guglielmi.name/res/cos/index.html

kinda pilled by deep inference
http://alessio.guglielmi.name/res/cos/index.html

been writing for an hour about howindexed locally graded enriched categoryis not the same aslocally graded indexed enriched categoryis not...

been writing for an hour about how
indexed locally graded enriched category
is not the same as
locally graded indexed enriched category
is not the same as
locally graded enriched indexed category
(though each is a special case of the next)

i'm sorry

now if I could have it use scihub...

now if I could have it use scihub...

just had chatgpt scan a slide deck for me, scrape all the references, and return dois for each, really neat!I first asked it to compile a...

just had chatgpt scan a slide deck for me, scrape all the references, and return dois for each, really neat!
I first asked it to compile a list, then flagging search+reason I instructed it to proceed one citation by one, which it did (it's fun to watch it reason!). so it didn't just hallucinate everything, yet one DOI was just wrong. all in all, pretty useful!!

possibly stupid philosophical question: is there a strong reason to think emergence goes small to big rather than big to small? i.e. why...

possibly stupid philosophical question: is there a strong reason to think emergence goes small to big rather than big to small? i.e. why don't we think of small scale phenomena to emerge from large scale ones?

the fact that OV just lets you fix a missing tap out just makes me cry of joy 😭😭😭 it takes 1 minute, online, it's so good

the fact that OV just lets you fix a missing tap out just makes me cry of joy 😭😭😭 it takes 1 minute, online, it's so good

mobius theory is op

mobius theory is op