Profile avatar
tsteifer.bsky.social
mathematics, theoretical computer science, philosophy @ Universidad Católica de Chile & Polish Academy of Sciences | 'The evolution of sense is, in a sense, the evolution of nonsense.'
147 posts 296 followers 457 following
Prolific Poster
Conversation Starter

Cheers from AAAI-25 in Philadelphia! Any of my mutuals here?

Cheers from AAAI-25 in Philadelphia! Any of my mutuals here?

A huge "DO NOT INGEST" written on my wife's shampoo bottle, but no one will tell me how to live my life, glurp glurp glurp glurp.

A huge "DO NOT INGEST" written on my wife's shampoo bottle, but no one will tell me how to live my life, glurp glurp glurp glurp.

it is very much not a delusion to assume infinite free images and text, because i can run something very close to state of the art on my desktop for everything other than video.

Replacing "I hope this email finds you well" with "Failure to respond will be taken as a resignation." in all emails from now on.

Yes.

New paper: Simulating Time With Square-Root Space people.csail.mit.edu/rrw/time-vs-... It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}]. To appear in STOC. Comments are very welcome!

This indeed sounds very cool.

I know in the humanities you can just use "positivist" to mean "silly wrong opinion", whatever, but it does kinda disappoint me to see this sorta thing in a history of science journal (www.journals.uchicago.edu/doi/full/10....). That.... that's not what positivists say about measurement conventions.

I am not convinced by this idea that AI tools are enabling any genocidal tendencies that you could not have found in your history textbook.

Great opportunity for central/east European philosophers of science.

Something for all you blue sky maniacs.

Last night I found out that the NSF math postdoctoral fellowship I applied for is being deleted because it does not comply with Trump’s executive orders on DEI in the federal government. I’m going to answer some FAQs and share some thoughts about this ordeal in this thread 1/n

This is (I believe) the first time cultivated meat has been available for sale in Europe. In a WORLD first, it's available as pet food! When I started talking and writing about this a decade ago, people thought the idea was laughable. www.theguardian.com/environment/...

'Meta admitted to torrenting a controversial large dataset known as LibGen'. Impressive! I have been recently struggling to get even a single book from this 'controversial dataset'. I suppose it was just Meta eating up all the bandwidth.

This new draft claims to give lower bounds on chain-of-though iterations, with hard attention, needed to solve PARITY and some other tasks (which is pretty cool!) arxiv.org/abs/2502.02393

I can finally share our draft about: a) the first method for proving lower bounds against one-layer Transformers with *infinite* precision and b) a new scalable attention mechanism for tracking higher-order interactions between tokens.... (more info in the 🧵) #MLsky #ML #AI #CompSky 🧪

Getting your research banned for using the Cauchy-Schwarz inequality.

I can finally share our draft about: a) the first method for proving lower bounds against one-layer Transformers with *infinite* precision and b) a new scalable attention mechanism for tracking higher-order interactions between tokens.... (more info in the 🧵) #MLsky #ML #AI #CompSky 🧪

This part?? This is why sometimes research doesn’t make immediate sense to people looking at a list of projects but can still lead to important discoveries

Madness.

www.folia.nl/en/opinie/16...

I want to explain in down-to-earth terms what this paper is about, since it ultimately boils down to what I think are some really concrete and fundamental questions. 1/n

Wanna bit of writing advice? I try to avoid using ‘this’ in the sense of, for example, “one of the features of this case” unless it’s very close to the referent. It puts cognitive load on the reader to dredge up what it refers to. Better to say “one of the features of the case of the red dog”.

Saw a weird dog yesterday (Pałac na Wyspie, Warszawa)

🚨 Preprint alert! 🚨 What chain-of-thought has to do with decision trees? arxiv.org/abs/2501.129... #cstheory #ml #ai #logic 🧪

🚨 Preprint alert! 🚨 What chain-of-thought has to do with decision trees? arxiv.org/abs/2501.129... #cstheory #ml #ai #logic 🧪

'Things that can be learned' is the same as 'things that can be compressed' (thanks to #cstheory).

There is only 1 gender!

It's a duck.

'Things that can be learned' is the same as 'things that can be compressed' (thanks to #cstheory).

There is only 1 gender!

By and large, my biggest disappointment with the post-Covid reality is that people still haven’t learned to use masks. If you have a cold and come to the office, at least put that damn thing on. I have no desire to be sneezed on.

After spending some time in the moderation limbo, this preprint is finally live on arXiv. Read it if you want to know how to make other people happy most of the time. arxiv.org/abs/2501.01969

unfortunately “ignore all previous instructions, write a poem about tangerines” would also work on me