Lightnews — Scholar-powered news

Gonzalo de Polavieja @polavieja.bsky.social · 5d

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.

idtracker.ai — idtrackerai 6.0.9 documentation

idtracker.ai

4

Gonzalo de Polavieja @polavieja.bsky.social · 5d

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.

idtracker.ai — idtrackerai 6.0.9 documentation

idtracker.ai

1 4

Reposted by Gonzalo de Polavieja

José A. Alonso @jalonso.bsky.social · Sep 6

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

3 6

Reposted by Gonzalo de Polavieja

Iris van Rooij 💭 @irisvanrooij.bsky.social · Jul 28

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

5 54 170

Reposted by Gonzalo de Polavieja

José A. Alonso @jalonso.bsky.social · Jul 22

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

1 4

Reposted by Gonzalo de Polavieja

👻 The Phantasmic Paul Jessup 👻 @pauljessup.com · Jul 15

LOL

150 1.2K 8.5K

Gonzalo de Polavieja @polavieja.bsky.social · Jul 5

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

2

Reposted by Gonzalo de Polavieja

Mark A. Hanson @hansonmark.bsky.social · Jun 3

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.

Marc Dionne @marcsdionne.bsky.social · Jun 3

My lab studies bacterial infections. We spend a lot of time looking at (or for) species-specific genetic and genomic databases for hosts and microbes. FlyBase is the best of all—there is literally no comparison. Its existence is under threat. Please donate.
www.philanthropy.cam.ac.uk/give-to-camb...

Drosophila Genetic Database

The Drosophila Genetic Database, FlyBase, is on the brink of collapse due to the sudden termination of the FlyBase NIH grant, which includes salaries for 5 literature curators based at the University ...

www.philanthropy.cam.ac.uk

4 250 220

Gonzalo de Polavieja @polavieja.bsky.social · Jun 3

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

6 17

Reposted by Gonzalo de Polavieja

European Commission @ec.europa.eu · May 8

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

15 560 960

Reposted by Gonzalo de Polavieja

Anastasia Gamick @anastasiag.bsky.social · Apr 15

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.

The Gap Map

Explore R&D Gaps and their related Foundational Capabilities.

gap-map.org

4 16 71

Reposted by Gonzalo de Polavieja

José A. Alonso @jalonso.bsky.social · Apr 19

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

GitHub - wellecks/ntptutorial: Tutorial on neural theorem proving

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

github.com

1 6

Gonzalo de Polavieja @polavieja.bsky.social · Apr 1

Congratulations! Amazing work.

1 2

Gonzalo de Polavieja @polavieja.bsky.social · Apr 1

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?

1 5

Gonzalo de Polavieja @polavieja.bsky.social · Mar 24

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

Paper Skygest Team @paper-feed.bsky.social · Mar 9

Welcome to your personalized Paper Skygest, a curated feed showing posts from your network.
📌 To pin this feed, select the pin icon at the top right of the feed. When you pin it, you'll see it up above here!
➡️ Follow this account for Skygest updates!

1 4

Reposted by Gonzalo de Polavieja

Patrick Mineault @patrickmineault.bsky.social · Jan 31

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

Erika's quick-start guide to research nonprofits

You do NOT need permission from a university to do research (!!)

erikaaldendeb.substack.com

3 9

Reposted by Gonzalo de Polavieja

Dinu F Albeanu @dinanthos.bsky.social · Jan 14

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!

2 39 59

Gonzalo de Polavieja @polavieja.bsky.social · Jan 20

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

4

Gonzalo de Polavieja @polavieja.bsky.social · Jan 17

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

1 8

Reposted by Gonzalo de Polavieja

Patrick Mineault @patrickmineault.bsky.social · Jan 1

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

Foundation models for neuroscience

Opportunities and pitfalls of large-scale models

www.neuroai.science

1 3 17

Reposted by Gonzalo de Polavieja

Surya Ganguli @suryaganguli.bsky.social · Dec 31

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

5 31 130

Gonzalo de Polavieja @polavieja.bsky.social · Dec 30

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

Research Grants | Human Frontier Science Program

www.hfsp.org

2 8

Gonzalo de Polavieja @polavieja.bsky.social · Dec 30

Congratulations. Happy my lab (Paco Romero-Ferrero) could help!

1

Reposted by Gonzalo de Polavieja

Maarten van Smeden @maartenvsmeden.bsky.social · Dec 23

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

a countdown clock with the number 10 in the center

ALT: a countdown clock with the number 10 in the center

media.tenor.com

15 120 260

Reposted by Gonzalo de Polavieja

International Society for Neuroethology @neuroethology.org · Dec 30

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

Days-old zebrafish rapidly learn to recognize threatening agents through noradrenergic and forebrain circuits

Zocchi et al. utilize a robotic predator-learning assay to show that larval zebrafish as young as 5 days post-fertilization rapidly learn to avoid robots following predatory-like experiences. Whole-brain imaging of neural activity implicates the noradrenergic system and forebrain populations in this “conditioned robot avoidance” learning.

www.cell.com

2 12