An introduction to Lean 4. ~ E. Cosme Llópez, L. Gong. www.uv.es/coslloen/Arx... #ITP #LeanProver #FunctionalProgramming

Sad to hear that Margaret Boden, pioneer in cognitive science and artificial intelligence, has passed away. Just a few days ago, someone reactivated the post below. I warmly recommend watching the video. Thank you Margaret for founding and shaping our field. www.sussex.ac.uk/broadcast/re...

"He decidido hacer lo que me gusta porque es bueno para la salud." ~ Voltaire (1694-1778).

LOL

URGENT: FlyBase has lost practically all its funding overnight; even user fees are tied up in denied grant funding. 🤬🤯 Any lab using @flybase.bsky.social please donate using the link in post below. This incredible community, on whose backs our #Drosophila labs depend, can't be left out to dry.

It took us many years to improve idtracker.ai in both accuracy and tracking time. Here it is.

Choose Science. Choose Europe. A new Marie Skłodowska-Curie Actions Postdoctoral Fellowships 2025 call is now open. With a budget of €404.3 million, it will support around 1,650 researchers from Europe and beyond. Apply by 10 September → europa.eu/!fBTMgF

We (mostly @adammarblestone.bsky.social and Mary with the help of the amazing scientists in our network) made a map of “fundamental development” gaps in science and technology. Go explore gap-map.org.

Neural theorem proving tutorial. ~ Sean Welleck. github.com/wellecks/ntp... #MachineLearning #ITP #LeanProver

Had to happen at some point: today, the o1 model solved in one go the PhD thesis of one of the students in the lab. Shall we add the model as a coauthor? Shall I stop having students or shall we work on more complex problems?

Just found this. You pin this post below and you get a feed of only papers from your following. Worth a try.

A quick-start guide to research non-profits: erikaaldendeb.substack.com/p/erikas-qui...

Interested in understanding how things work? In particular the tools you use to study the brain? Join us at TENSS 2025 where we brainstorm ideas, build and debug microscopes, electrophysiology and behavior rigs amidst the picturesque Transylvanian hills! tenss.ro Apply by: February 16th!

Our new paper! "Analytic theory of creativity in convolutional diffusion models" lead expertly by @masonkamb.bsky.social arxiv.org/abs/2412.20292 Our closed-form theory needs no training, is mechanistically interpretable & accurately predicts diffusion model outputs with high median r^2~0.9

Human Frontier Science Program for small consortia working on interdisciplinary biological problems. Letter of intent by 18th March 2025. www.hfsp.org/funding/hfsp...

Let us start 2025 in a positive mood: here are 10 methods things researchers can worry *less* about in 2025

Just 1 minute of being "chased" by an object teaches zebrafish day-olds to recognize it as a threat. This rapid learning is powered by noradrenergic and forebrain circuits. www.cell.com/current-biol... @currentbiology.bsky.social

Sign up to come to the Alternative Mathematics for AI Meeting, sites.google.com/view/altai25

Last day to apply!!!: postdoctoral position available with us and David Rios (www.davidriosinsua.es at ICMAT, bsky.app/profile/icma...) on collective behavior and frontier AI techniques, more info and application: aihub.csic.es/en/allies-co...

Genesis: high quality generative Physics engine, genesis-embodied-ai.github.io

Large concept models is a very interesting idea, ai.meta.com/research/pub...

Applications still open for the International Neuroscience Doctoral Programme at Champalimaud in Lisbon fchampalimaud.org/champalimaud...

How can randomness be a source of living order? Can physics explain how an embryo emerges out of chaos? In this new paper in Science, Bernat Corominas-Murtra, @ehannezo.bsky.social & cols. show how embryos solve their own Rubik’s cube ist.ac.at/en/news/from...

Today we report that an engineered skin bacterium, swabbed gently on the head of a mouse, can unleash a potent antibody response against a pathogen. Could lead to topical vaccines that are applied in a cream. @djenetbousbaine.bsky.social led the charge... @natureportfolio.bsky.social 1/55

I wrote an article about my dad's death, and how it affected my views on assisted dying Free version of the article in the next post Views are my own, not those of the institutions or academies I'm associated with www.thetimes.com/uk/healthcar...

Great scientist and great person. Great coffee. I tried to learn all I could from him.

Interested in diffusion models, behavior forecasting, internal states, neuromechanical modeling, reservoir computing, joint neural/behavioral datasets? Missing the sunshine? We have multiple fully funded postdoc positions, come join us!

Want to do a PhD in Neuroscience? Applications are open until January 31st for the Champalimaud International Neuroscience Doctoral Programme (INDP) in beautiful Lisbon Portugal. fchampalimaud.org/champalimaud...

New paper out in #Neuron: A general theory of sequential working memory in prefrontal cortex and RNN/SSMs with their exact neural mechanism. Plus unifying this new mechanism with the alternate mechanism of hippocampal cognitive maps! (1/9) www.cell.com/neuron/fullt...

2. Biology: A not very appetising fact about a 2D world is that a digestive system as we know it in 3D cannot exist. If there were 2D creatures they would need to eat and excrete through the same opening 3/10 (sketch by @joabaldwin.com )

How can physics define universal laws for computation, from cells and chips to brains? In this @pnas.org Perspective, led by @sfiscience.bsky.social David Wolpert and Jan Korbel, they suggest how Stochastic Thermodynamics can provide the proper framework pnas.org/doi/epub/10....

OK If we are moving to Bluesky I am rescuing my favourite ever twitter thread (Jan 2019). The renamed: Bluesky-sized history of neuroscience (biased by my interests)

thinking of calling this "The Illusion Illusion" (more examples below)

This is my first post here, and I'm happy to share some news. We've just launched megabouts.ai! 🐟📈 1/n

Large language models surpass human experts in predicting neuroscience results, www.nature.com/articles/s41...

Postdoctoral position available with us and David Rios (www.davidriosinsua.es at ICMAT, bsky.app/profile/icma...) on collective behavior. Deadline Dec 20th, more info and application: aihub.csic.es/en/allies-co...

🔍 AI Researchers: Working on radically new AI frameworks or using unconventional math to rethink AI? 📢 Please send us names (incl. self-nominations!) for speakers at the New Math Approaches to AI meeting, Feb 3-4, 2025, at Champalimaud Foundation in Lisbon 🇵🇹. Let’s 🚀 push AI mathematics forward!

I recently went to a talk by Tom Baden (@neurofishh.bsky.social). One of the best I've ever seen. It's a radical reinterpretation of what color vision was initially for. And during questions it covered the roles of the green cone and the UV cones (yep, plural) in mouse vision. youtu.be/gzfiUZ2_5pc

"Siempre estoy haciendo lo que no puedo hacer, para poder aprender a hacerlo." ~ Pablo Picasso (1881-1973).

What an awesome video about the Schrödinger equation! www.youtube.com/watch?v=uVKM... Young people have no idea how they live in a golden age w.r.t. access to knowledge.

Day 1 under a blue sky. Interested in Science, AI, Neroscience, Collective Behavior, Mathematics, Philosophy of Science.