Jan Okorn
banner
okornjan.bsky.social
Jan Okorn
@okornjan.bsky.social
computational neuroscience, emergent behaviour, development economics, human and environmental rights; believes in mathematical structures and safe climbing
Reposted by Jan Okorn
Reposted by Jan Okorn
Why do some cancers respond to immunotherapy while others don’t? A new paper by @guimaguade.bsky.social shows, using maths, that as tumors mutate, they face a trade-off: growing faster can also make them easier for the immune system to spot. @sandyanderson.bsky.social www.biorxiv.org/content/10.1...
October 31, 2025 at 11:30 PM
Reposted by Jan Okorn
How does our brain excel at complex object recognition, yet get fooled by simple illusory contours? What unifying principle governs all Gestalt laws of perceptual organization?

We may have an answer: integration of learned priors through feedback. New paper with @kenmiller.bsky.social! 🧵
October 24, 2025 at 2:00 PM
Reposted by Jan Okorn
🕳️🐇Into the Rabbit Hull – Part II

Continuing our interpretation of DINOv2, the second part of our study concerns the *geometry of concepts* and the synthesis of our findings toward a new representational *phenomenology*:

the Minkowski Representation Hypothesis
October 15, 2025 at 5:17 PM
Reposted by Jan Okorn
🕳️🐇 𝙄𝙣𝙩𝙤 𝙩𝙝𝙚 𝙍𝙖𝙗𝙗𝙞𝙩 𝙃𝙪𝙡𝙡 – 𝙋𝙖𝙧𝙩 𝙄 (𝑃𝑎𝑟𝑡 𝐼𝐼 𝑡𝑜𝑚𝑜𝑟𝑟𝑜𝑤)

𝗔𝗻 𝗶𝗻𝘁𝗲𝗿𝗽𝗿𝗲𝘁𝗮𝗯𝗶𝗹𝗶𝘁𝘆 𝗱𝗲𝗲𝗽 𝗱𝗶𝘃𝗲 𝗶𝗻𝘁𝗼 𝗗𝗜𝗡𝗢𝘃𝟮, one of vision’s most important foundation models.

And today is Part I, buckle up, we're exploring some of its most charming features. :)
October 14, 2025 at 9:00 PM
Reposted by Jan Okorn
What can we learn about living computation from non-living machines? In this @royalsocietypublishing.org A. Adamatzky shows that a computer doesn’t need to be solid. From droplets 2 chemical waves, liquid computers blur the line between chemistry & thought. royalsocietypublishing.org/doi/full/10....
October 27, 2025 at 11:16 PM
Reposted by Jan Okorn
How can we design complex computational systems using synthetic biology? Check our paper, where we use space as a computational element, dramatically reducing communication requirements while allowing modularity, reusability, scalability & minimal cell engineering.
journals.plos.org/ploscompbiol...
October 26, 2025 at 8:08 PM
Reposted by Jan Okorn
Pleased to share new work with @sflippl.bsky.social @eberleoliver.bsky.social @thomasmcgee.bsky.social & undergrad interns at Institute for Pure and Applied Mathematics, UCLA.

Algorithmic Primitives and Compositional Geometry of Reasoning in Language Models
www.arxiv.org/pdf/2510.15987

🧵1/n
October 27, 2025 at 6:13 PM
Reposted by Jan Okorn
Bifurcations—an underexplored concept in neuroscience—can help explain how small differences in neural circuits give rise to entirely novel functions, writes Xiao-Jing Wang.

#neuroskyence

www.thetransmitter.org/neural-dynam...
The missing half of the neurodynamical systems theory
Bifurcations—an underexplored concept in neuroscience—can help explain how small differences in neural circuits give rise to entirely novel functions.
www.thetransmitter.org
October 27, 2025 at 1:51 PM
Reposted by Jan Okorn
Significant on the UK contribution:

www.theguardian.com/global-devel...
October 28, 2025 at 3:02 PM
Reposted by Jan Okorn
"News reports citing satellite imagery suggested that mass atrocities have already been carried out, showing bodies piled up following large-scale executions and house-to-house clearances in El Fasher by RSF fighters." news.un.org/en/story/202... #KeepEyesOnSudan #Darfur
‘Horrific’ violence as thousands flee Sudan's El Fasher
After 500 days of siege, the Rapid Support Forces (RSF) militia have reportedly taken control of the key Sudanese city of El-Fasher in Darfur, triggering widespread fear among families, and forcing th...
news.un.org
October 28, 2025 at 10:00 PM
Reposted by Jan Okorn
Very important read ahead of #cop30 👇

The 2025 #ClimateInequality Report brings together pioneering research conducted by @wid.world and universities worldwide and was edited by @lucaschancel.bsky.social & @cmohren.bsky.social with inputs from @pbothe.bsky.social @stellamuti.bsky.social
October 29, 2025 at 8:07 AM
Reposted by Jan Okorn
There is a strong positive association between equality and development over the long run — that's what this new study based on our historical series available on wid.world is clearly showing.

Key findings in thread 🧵(1/9)👇
October 27, 2025 at 4:41 PM
Reposted by Jan Okorn
For larger context: the US (alongside European allies) has *always* opposed loss and damage at climate negotiations. An earlier report of mine from COP26 in Glasgow

www.levernews.com/the-u-s-is-b...
October 28, 2025 at 1:24 PM
Reposted by Jan Okorn
The Pakistan climate costs case: 43 Pakistani farmers are taking on the Carbon Majors RWE and Heidelberg Materials in Germany. The claimants are demanding compensation for the losses and damages they suffered in the wake of the devastating, climate-related floods in 2022. www.climatecostcase.org/en/
October 28, 2025 at 2:01 PM
Reposted by Jan Okorn
Die Realität, vor der alle weglaufen! Aber hier ist er. Großartiger und wichtiger Beitrag von Ö1 von der EU-Außengrenze:
oe1.orf.at/player/20251...
Danke an @chrisriedl.bsky.social für die treffenden Aussage und der @diakonieat.bsky.social für die wichtige Zusammenarbeit. Wir werden nicht schweigen
October 29, 2025 at 4:48 PM
Reposted by Jan Okorn
www.politico.eu/article/germ...
Yes, Europe needs to do more to ensure its own defence and wean itself off US dependence. But for Germany to splurge hundreds of billions on military hardware is economic and political madness.
Short 🧵
1/
Germany’s new €377B military wish list
A new procurement blueprint seen by POLITICO shows Germany’s plan to become the backbone of the continent’s defense revival.
www.politico.eu
October 27, 2025 at 9:49 AM
Reposted by Jan Okorn
1000+ theorems (The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems!). ~ Katja Berčič et als. 1000-plus.github.io/all #Math #ITP #IsabelleHOL #HOL_Light #Rocq #LeanProver #Metamath #Mizar
All theorems
Keeping track of formalizations of theorems from the Wikipedia’s List of theorems.
1000-plus.github.io
October 29, 2025 at 11:42 AM
Reposted by Jan Okorn
Combining textual and structural information for premise selection in Lean. ~ Job Petrovčič, David Eliecer Narvaez Denis, Ljupčo Todorovski. arxiv.org/abs/2510.23637 #AI #Math #ITP #LeanProver
Combining Textual and Structural Information for Premise Selection in Lean
Premise selection is a key bottleneck for scaling theorem proving in large formal libraries. Yet existing language-based methods often treat premises in isolation, ignoring the web of dependencies tha...
arxiv.org
October 29, 2025 at 10:57 AM
Reposted by Jan Okorn
Our work with @pawa-pawa.bsky.social is out in Nature Machine Intelligence! The choice of activation function affects the representations, dynamics, and circuit solutions that emerge in RNNs trained on cognitive tasks. Activation matters!
www.nature.com/articles/s42...
October 24, 2025 at 7:18 PM
Reposted by Jan Okorn
Neuronal correlations are a key mechanism governing computational capacity.
Neuronal correlations shape the scaling behavior of memory capacity and nonlinear computational capability of reservoir recurrent neural networks
journals.aps.org/prresearch/a...
#neuroscience
Neuronal correlations shape the scaling behavior of memory capacity and nonlinear computational capability of reservoir recurrent neural networks
Reservoir computing is a powerful framework for real-time information processing, characterized by its high computational ability and quick learning, with applications ranging from machine learning to...
journals.aps.org
October 24, 2025 at 1:39 PM
Reposted by Jan Okorn
𝗘𝗻𝗱 𝗼𝗳 𝘁𝗵𝗲 𝗲𝗺𝗽𝗶𝗿𝗲 𝗼𝗳 𝗻𝗲𝘂𝗿𝗼𝗻𝘀 𝗶𝗻 𝘁𝗵𝗲 𝗯𝗿𝗮𝗶𝗻??
Astrocytes in the regulation of fear memories!
www.nature.com/articles/s41...
#neuroskyence
h/t @claeneuro.bsky.social
The astrocytic ensemble acts as a multiday trace to stabilize memory - Nature
Emotional experience evokes signalling in astrocytes, which form an ensemble that is reinforced by secondary astrocytic state changes resulting from repeated experience, leading to memory stabilizatio...
www.nature.com
October 21, 2025 at 5:57 PM
Reposted by Jan Okorn
From The Geometry of Machine Learning at Harvard CMSA in Sept: Jared Duker Lichtman's talk explores Math, Inc. Gauss's contributions to number theory and how these results are being formalized in #LeanLang.

Watch here: www.youtube.com/watch?v=Ko-P...
Jared Duker Lichtman | Gauss – towards autoformalization for the working mathematician
YouTube video by Harvard CMSA
www.youtube.com
October 24, 2025 at 11:09 PM
Reposted by Jan Okorn
New paper: Working memory readout varies with frontal theta rhythms. A theta traveling wave swept across the frontal cortex like radar, modulating performance of a working memory task. Because cognition is rhythmic.
www.cell.com/neuron/abstr...
#neuroscience @picowerinstitute.bsky.social
Working memory readout varies with frontal theta rhythms
Han et al. show that frontal theta oscillations rhythmically control access to working memory. The theta rhythm sweeps across the mental image, shaping behavior by coordinating spikes and beta oscilla...
www.cell.com
October 20, 2025 at 3:06 PM
"Nikoli si ne bomo pustili vzeti besede!"
Serija avtorice @scharlatanja.bsky.social o boju koroških partizanov.
Große Empfehlung:

Wie die Kärntner Slowen:innen zur Befreiung Österreichs vom Nationalsozialismus beigetragen haben und wie sie das heute prägt. Eine Radiokollegreihe von Tanja Malle, deren Familiengeschichte den Ausgangspunkt für die Serie bildet.
Osvobojeni / Befreit (1) | MO | 20 10 2025 | 9:30
"Poglejmo / Hinschauen"
oe1.orf.at
October 20, 2025 at 7:12 PM