A really nice Lean tutorial: arxiv.org/abs/2411.11885


( Read more... )

For some reason, I keep losing this remarkable blog by Grigory Sapunov and finding it again, instead of just reading it regularly:

gonzoml.substack.com/



( Read more... )

End of September 2024; video recordings are available:

https://simons.berkeley.edu/workshops/transformers-computational-model/schedule


( Read more... )

Voting by mail has started in Massachusetts.

I am urging "Yes" on Question 4 (legalization of benign psychedelics)

We passed Question 2 in 2008, Question 3 in 2012, and Question 4 in 2016 and our quality of life is better because we did that.

Let's do this again!

Links are in the comments


( Read more... )

Говорят, что Денис Гайцгори и его коллеги доказали достаточно общий вариант геометрической гипотезы Ленглендса.

Это вполне эпохальное событие, и надо собрать вместе всякие линки, относящиеся к этому делу. Вместе с тем, это для меня слишком сложно (может быть, ИИ (современный или будущий) сможет мне, со временем объяснить детали всего этого так, ( Read more... )

With all discussions on how this has been technically possible, I've seen only one person to offer a version which makes any sense.

"Причем, надо отдать должное устроителям, взорвались только те модели, которые были снабжены функцией самоуничтожения, при попадании девайса к врагам."

This is the only thing which makes sense. They themselves equipped ( Read more... )

"Enhancement for categories and homotopical algebra", arxiv.org/abs/2409.17489

600 pages

"We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual potential applications ( Read more... )

OpenAI is finally releasing their next set of models. Those models take time to ponder and reason internally before talking. This is what has been known as mysterious "Q*" and "Strawberry", but is now released as "o1 series of models".

They promise a preview version availability today for ChatGPT+ users.

Links in the comments.

( Read more... )

"Gene Therapy-Mediated Partial Reprogramming Extends Lifespan and Reverses Age-Related Changes in Aged Mice"

A Feb 24 paper seems to claim an impressive result in "wild-type" mice via a partial cellular reprogramming protocol, which includes cyclic administration of doxycycline for temporal control of reprogramming, and which does not seem to be ( Read more... )

"Enhancement for categories and homotopical algebra", arxiv.org/abs/2409.17489

600 pages

"We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual potential applications ( Read more... )