Improbable music from Angine de Poitrine, share.google/jD11y44NW3Hd...

Final version of record here: elifesciences.org/articles/107... Enjoy tracking

🛠️ February’s most-read Tools and Resources paper introduces idtracker.ai to rethink multi-animal tracking: buff.ly/Ho0b3xz

Learn more about publishing your tools or resources with us: buff.ly/pivLQX0

Excited to return to Lisbon this June for the epic 3-week Cajal course on Quantitative Approaches to Behavior and VR! 🐀🐟🪰🏃‍♀️🎥🖥📈🧪

Applications are open through Feb 13! Come join us.
cajal-training.org/on-site/quan...

Neuronal calcium spikes enable vector inversion in the Drosophila brain In the fly central complex, PFNa neurons switch from firing classical sodium spikes when depolarized to firing non-canonical T-type calcium spikes when hyperpolarized. This bidirectional spiking allow...

www.cell.com/cell/fulltex...

We had a lot of fun working on this project (led by Itzel Ishida, not on bluesky). Some interesting highlights from the paper -

Call is out for Champalimaud International Neuroscience Doctoral Programme 2026! docs.google.com/forms/d/e/1F...

Fernando Martin-Maroto, Antonio Ricciardo, Gonzalo G. de Polavieja: The pairwise distributive law of semilattice congruences https://arxiv.org/abs/2511.00892 https://arxiv.org/pdf/2511.00892 https://arxiv.org/html/2511.00892

Fernando Martin-Maroto, Antonio Ricciardo, Gonzalo G. de Polavieja
The pairwise distributive law of semilattice congruences
https://arxiv.org/abs/2511.00892

And for difficult videos (many animals) we found it to be up to 700 times faster! Yes, old idtracker.ai could be quite slow in these cases.

Yes, the new idtracker.ai is on average 30 times faster, more accurate and does not need chunks of video with all animals visible. In case you have doubts, email us.

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

Accept submissions of explicitly unfinished ideas, theories, or speculative models to start discussion. Gets more finished with feedback from reviewers and/or readers.

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.

A graphic for the Marie Skłodowska-Curie Actions (MSCA), showing a historical portrait of Marie Skłodowska-Curie overlaid with an image of four young researchers walking down a hallway. The European Commission logo is in the top left. Text reads: "Marie Skłodowska-Curie Actions – €404.3 million to support postdoctoral researchers”

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.

GitHub - wellecks/ntptutorial: Tutorial on neural theorem proving Tutorial on neural theorem proving. Contribute to wellecks/ntptutorial development by creating an account on GitHub.

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

Congratulations! Amazing work.

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.

Erika's quick-start guide to research nonprofits You do NOT need permission from a university to do research (!!)

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!

I drew this in the 90s using wax colors on some textile that was on a board. Tried to play with background and foreground.

Maybe an excuse to talk about the logic piano by Jevons, royalsocietypublishing.org/doi/10.1098/...

Foundation models for neuroscience Opportunities and pitfalls of large-scale models

www.neuroai.science/p/foundation...

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...