Cursed tikz.

Category theory using Haskell (An introduction with Moggi and Yoneda). ~ Shuichi Yukita. https://books.google.com/books?id=4Xc2EQAAQBAJ #CategoryTheory #Math #Haskell #FunctionalProgramming

the tariff stuff is surely bad but it's incredibly funny to me to see the president holding up a cardboard sign with the numbers on them

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

AlphaProof: when reinforcement learning meets formal mathematics. ~ Thomas Hubert. https://youtu.be/TFBzP78Jp6A #AlphaProof #AI #Math

Since there seem to be a lot of Dutch people here all of a sudden, perhaps you can tell me: is it really the case that it's impossible to say in Dutch that I've been learning Dutch?

fool me once, shame on you
assume fool me n times, shame on you
suppose you fool me n+1 times,

I think they're working out the number of days by dividing the time difference, and rounding down instead of rounding towards zero.

The conference started an hour and a half ago, and somebody has just discovered that not only did they forget to make their timer stop at zero, they also made an off-by-one error!

"I like to beat the brush." -- Bob Ross

It feels wrong to write a thread about interesting and unusual jigsaw puzzles and not to mention Nervous System's wonderful designs. https://n-e-r-v-o-u-s.com/blog/?cat=151

is there a video game that cant be reframed as mario

Here's my pitch. Do one Beatles movie, but have it start with the band breaking up, and it's about four dudes just dealing with no longer being The Beatles. It's a sad, contemplative movie about fading glory, waning relevance and death. Maybe there's a conceit that they meet once a year in a dive bar in Liverpool. And then one year, only three show up. And then two.

I'm pleased to share that the inaugural strategy of ECRI is now available online. A lot of ECRI staff and stakeholder time went into this, and I am delighted that we have been able to develop our strategy in such a stakeholder-led way https://www.imperial.ac.uk/students/academic-support/graduate-school/about-us/strategy/

Have 11 more OOPSLA submissions to review... But a number of them look pretty fun.

1. Infinity in empiricist ways
If a road never ends you never pass it , but it doesnt mean that it doesnt have an end . It does , but since you can never get there , you ve no meaningful way to describe it . Oh and it also doesnt mean that its only such road , there can be larger or smaller roads which nothing can pass in any real way irrespective if how long it takes
2. Above is well founded , if you can use it to explain , that if a road get shrinks just as much as the road above was expanded from 0 construction state , there s no meaningful way in which you can be on this road , no matter how you try , you re there on thus side or that but never on this road.
#math #lem

Martin's paper is now available in preprint form here: https://arxiv.org/abs/2503.24132

((a∧a)⇾(¬a⇿¬a))

8♦️ 👈👩

#climate

"“We now expect a 3C world,” states a March analysis by Morgan Stanley."

US banks predict climate goals will fail – but air conditioning firms will thrive | Climate crisis | The Guardian
https://www.theguardian.com/environment/2025/apr/02/us-banks-climate-goals-fail-air-conditioning