Sign in

Jan Okorn

@okornjan.bsky.social
182 followers 430 following 22 posts

math, comp neuro, suppression of savage customs (Korzeniowski, 1899)

PostsRepliesMedia
Reposted by Jan Okorn
Albert Pinto @70sbachchan.bsky.social · 19/05/2026
Bong Joon Ho on AI 👀 deadline.com/2025/11/bong...
81043287
Reposted by Jan Okorn
Stanislas Dehaene @standehaene.bsky.social · 10/05/2026
A very interesting piece by @henryconklin.bsky.social et al. on how brains and LLMs acquire abstract, meaningful internal representations by compressing the information they receive. Similar ideas in my book "How we learn"! henryconkl.in/posts/i-am-a... Full paper: henryconkl.in/posts/llms-a...
henryconkl.in
i am, myself, a lossy compression – h
a companion piece to our ICLR 2026 Paper: Learning is Forgetting: LLM Training As Lossy Compression
2315
Reposted by Jan Okorn
Leon Lotter @leondlotter.de · 07/05/2026
My most recent and biggest work so far is finally out as a preprint! 🧠🧵 *Linking human brain functional connectivity to underlying neurotransmission* doi.org/10.64898/202... 1/n TL;DR below ↓ #neuroskyence #neuroimaging #MedSky #PsySciSky
13517
Reposted by Jan Okorn
Rishika Pardikar @rishpardikar.bsky.social · 09/05/2026
About #ISDS at Santa Marta
0126
Reposted by Jan Okorn
Albert Pinto @70sbachchan.bsky.social · 08/05/2026
Thread on political economy of AI: "For it is AI that has given the American ruling class the final impetus to more or less abolish education...For the first time in centuries, the elite no longer feel they need educated workers & soldiers to uphold and reproduce the system" bsky.app/profile/70sb...
210230
Reposted by Jan Okorn
Benjamin Braun @benbraun.social · 08/05/2026
An underappreciated aspect of carbon shock therapy in Germany, and Europe more broadly, is that it increasingly resembles the 1980s US playbook. We're seeing "deindustrialization by leveraged buyout". The deals/facts speak for themselves:
Quote from our piece linked in next skeet: "For factories didn’t simply close down; instead, industrial conglomerates splintered, selling off operations to the highest bidder. In late 2025, chemical giant BASF sold its coatings division to Carlyle for €7.7 billion.3 In February this year, Volkswagen received bids from Blackstone, EQT, and CVC for its Everllence unit, which produces shipping engines and heat pumps.4 The selloff is actively encouraged by the German government via its “Germany Fund,” a newly established derisking vehicle providing public guarantees to “mobilize private capital for investment to increase the competitiveness and future-readiness of the German economy.”5 Meanwhile, in Brussels, the European Commission is exploring “ways to make it easier for investors in private companies to sell on their stakes.”
2155
Reposted by Jan Okorn
Naomi Saphra @nsaphra.bsky.social · 08/05/2026
Goodfire released a megapost of all the random feature geometry stuff they're finding, and it's worth a read
goodfire.ai
The World Inside Neural Networks
How neural geometry will unlock understanding and control of AI
213126
Reposted by Jan Okorn
Rishika Pardikar @rishpardikar.bsky.social · 09/05/2026
New paper on the influence Shell had in creating investor-state dispute settlement mechanisms #ISDS academic.oup.com/ejil/advance...
12814
Reposted by Jan Okorn
PessoaBrain @pessoabrain.bsky.social · 07/05/2026
𝗠𝗮𝗷𝗼𝗿 𝗱𝗲𝗽𝗿𝗲𝘀𝘀𝗶𝗼𝗻 𝘁𝗵𝗿𝗼𝘂𝗴𝗵 𝘁𝗵𝗲 𝗹𝗲𝗻𝘀 𝗼𝗳 circuit 𝗱𝘆𝗻𝗮𝗺𝗶𝗰𝘀 Finally research is considering the functional/ anatomical complexity of the brain. It's not about regions, but how circuits function dynamically. www.cell.com/neuron/abstr... #neuroskyence
511330
Reposted by Jan Okorn
Stanislas Dehaene @standehaene.bsky.social · 04/05/2026
A new preprint from the lab: nailing down the timing (MEG) and the cortical localization (7T fMRI) of access to 15 elementary mathematical concepts from 3 categories: integers, fractions, and geometric shapes.
0177
Jan Okorn @okornjan.bsky.social · 04/05/2026
Engrams in microbes 🦠🤔 - 🧠.
000
Reposted by Jan Okorn
Renato Duarte @rcfduarte.bsky.social · 28/04/2026
Foundation models in neuroscience predict brain activity at unprecedented accuracy. But prediction ≠ understanding, and we should avoid conflating the two. New essay now out:
open.substack.com
The Imitation Game
Foundation models in neuroscience: representational alignment versus mechanistic understanding
1168
Jan Okorn @okornjan.bsky.social · 27/04/2026
Two perspectives on the impact of AI, in math as in neuro, same takeaway; in an inflation of results, intuitive grasping of the underlying abstraction-compression principles, will be more important than ever, hope so. 😅
davidbessis.substack.com
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
000
Reposted by Jan Okorn
Kevin Mitchell @wiringthebrain.bsky.social · 24/04/2026
The Developmental Origins of Behavioral Individuality - great review by Benjamin de Bivort www.annualreviews.org/content/jour...
annualreviews.org
The Developmental Origins of Behavioral Individuality
Every individual animal behaves differently, even if they have the same genome and have been raised in the same environment. This diversity in behavior challenges the notion that biological variation ...
14111
Reposted by Jan Okorn
Mel Andrews @bayesianboy.bsky.social · 23/04/2026
This is an important read if you want to understand Palantir’s modus operandi and how silicon valley has accomplished near total corporate capture of government.
23911
Reposted by Jan Okorn
Hyo Yoon Kang 강효윤 @hyoyoonkang.bsky.social · 22/04/2026
Covid-19 vaccine nationalism redux, with real life suffering, especially when the temperatures will rise even more in the summer in the global south.
1237
Reposted by Jan Okorn
Melaine Le Roy @subfossilguy.bsky.social · 19/04/2026
To look at Bossons head-on is to face up to our collective responsibilities! Lateral branches have now detached from lower body, and situation will be catastrophic by the end of next summer! Retreat will accelerate further, leaving behind only memories of the most beautiful glacier in the Alps!
24613
Reposted by Jan Okorn
Juan Gallego @juangallego.bsky.social · 14/04/2026
What are the real promises and looming perils of neural foundation models? 🧠 I put my thoughts on (virtual) paper for @thetransmitter.bsky.social following a very energised workshop at @cosynemeeting.bsky.social 2025. It's also my first piece for them 😊
02210
Reposted by Jan Okorn
Albert Pinto @70sbachchan.bsky.social · 15/04/2026
82/ Instead, how about EU: 1. Reduce fuel bills by making buses & trains free 2 Tax windfall profits of fossil fuel companies to pay for utility bill relief 3 Eliminate fossil fuel subsidies 4 Expand electrification subsidies to help people buy heat pumps, electric bikes, electric water heaters etc
22310
Reposted by Jan Okorn
Amirreza Bahramani @amir137.bsky.social · 06/04/2026
Last night, US/Israeli strikes bombed Sharif University, my alma mater, heavily damaging the IT Center, Philosophy of Science building, EE, and more. Trump spoke of sending Iran "back to the Stone Age." That is the goal of this war. Scientists worldwide should speak up against these atrocities.
Philosophy of Science GroupElectrical Engineering DepartmentI think this is a part of the civil engineering department.
03115
Reposted by Jan Okorn
Olivia Guest · Ολίβια Γκεστ @olivia.science · 02/04/2026
jonny over on masto doing god's work: > anthropic [is running] an ENTIRE AD CAMPAIGN around "Claude code is written with claude code" and after the source was leaked that has got to be the funniest self-own in the history of advertising because OH BOY IT SHOWS. neuromatch.social/@jonny/11632...
neuromatch.social
jonny (good kind) (@jonny@neuromatch.social)
Attached: 1 image reminder that anthropic ran (and is still running) an ENTIRE AD CAMPAIGN around "Claude code is written with claude code" and after the source was leaked that has got to be the funn...
21835284
Reposted by Jan Okorn
Gergely Orosz @gergely.pragmaticengineer.com · 27/03/2026
If you use GitHub (especially if you pay for it!!) consider doing this *immediately* Settings -> Privacy -> Disallow GitHub to train their models on your code. GitHub opted *everyone* into training. No matter if you pay for the service (like I do). WTH github.com/settings/cop...
8920461488
Reposted by Jan Okorn
Dirk Gütlin @gutlin.bsky.social · 05/11/2025
Specialized structure of neural population codes in parietal cortex outputs www.nature.com/articles/s41...
nature.com
Specialized structure of neural population codes in parietal cortex outputs - Nature Neuroscience
Cortical neurons comprising an output pathway form a specialized population code that enhances the propagation of information to a downstream target, potentially improving the accuracy of decision-mak...
0114
Reposted by Jan Okorn
Ricard Solé @ricardsole.bsky.social · 31/10/2025
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...
2305
Reposted by Jan Okorn
Tahereh Toosi @taherehtoosi.bsky.social · 24/10/2025
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! 🧵
710027
Reposted by Jan Okorn
Thomas Fel @thomasfel.bsky.social · 15/10/2025
🕳️🐇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
2339
Reposted by Jan Okorn
Thomas Fel @thomasfel.bsky.social · 14/10/2025
🕳️🐇 𝙄𝙣𝙩𝙤 𝙩𝙝𝙚 𝙍𝙖𝙗𝙗𝙞𝙩 𝙃𝙪𝙡𝙡 – 𝙋𝙖𝙧𝙩 𝙄 (𝑃𝑎𝑟𝑡 𝐼𝐼 𝑡𝑜𝑚𝑜𝑟𝑟𝑜𝑤) 𝗔𝗻 𝗶𝗻𝘁𝗲𝗿𝗽𝗿𝗲𝘁𝗮𝗯𝗶𝗹𝗶𝘁𝘆 𝗱𝗲𝗲𝗽 𝗱𝗶𝘃𝗲 𝗶𝗻𝘁𝗼 𝗗𝗜𝗡𝗢𝘃𝟮, one of vision’s most important foundation models. And today is Part I, buckle up, we're exploring some of its most charming features. :)
23612
Reposted by Jan Okorn
Ricard Solé @ricardsole.bsky.social · 27/10/2025
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....
2299
Reposted by Jan Okorn
Ricard Solé @ricardsole.bsky.social · 26/10/2025
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...
0368
Reposted by Jan Okorn
Ida Momennejad @neuroai.bsky.social · 27/10/2025
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
17715
Reposted by Jan Okorn
The Transmitter @thetransmitter.bsky.social · 27/10/2025
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...
thetransmitter.org
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.
06127
Reposted by Jan Okorn
Tom Dannenbaum @tomdannenbaum.bsky.social · 28/10/2025
Significant on the UK contribution: www.theguardian.com/global-devel...
theguardian.com
UK military equipment used by militia accused of genocide found in Sudan, UN told
Exclusive: two dossiers of material seen by the security council raise questions over export of British arms to the UAE, which has been accused of supplying weapons to paramilitary RSF group
157
Reposted by Jan Okorn
Mark Kersten @markkersten.bsky.social · 28/10/2025
"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
news.un.org
‘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...
02925
Reposted by Jan Okorn
Thomas Piketty @thomaspiketty.bsky.social · 29/10/2025
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
0278
Reposted by Jan Okorn
Thomas Piketty @thomaspiketty.bsky.social · 27/10/2025
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)👇
26838
Reposted by Jan Okorn
Rishika Pardikar @rishpardikar.bsky.social · 28/10/2025
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...
levernews.com
The U.S. Is Blocking Climate Reparations
At COP26, the U.S. and its rich allies refused to consider how to pay for the damage their emissions are wreaking on developing nations.
12310
Reposted by Jan Okorn
ECCHR - European Center for Constitutional and Human Rights @ecchr.bsky.social · 28/10/2025
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/
Polluters have to pay
14115
Reposted by Jan Okorn
Petar 'Pero' Rosandić @kidpex.bsky.social · 29/10/2025
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
02513
Reposted by Jan Okorn
Andrew Watt @andrewwatteu.bsky.social · 27/10/2025
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/
politico.eu
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.
156
Reposted by Jan Okorn
José A. Alonso @jalonso.eurosky.social · 29/10/2025
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
1000-plus.github.io
All theorems
Keeping track of formalizations of theorems from the Wikipedia’s List of theorems.
032
Reposted by Jan Okorn
José A. Alonso @jalonso.eurosky.social · 29/10/2025
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
arxiv.org
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...
011
Reposted by Jan Okorn
Tatiana Engel @engeltatiana.bsky.social · 24/10/2025
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...
nature.com
Single-unit activations confer inductive biases for emergent circuit solutions to cognitive tasks - Nature Machine Intelligence
Recurrent neural networks are widely used to model brain dynamics. Tolmachev and Engel show that single-unit activation functions influence task solutions that emerge in trained networks, raising the ...
04211
Reposted by Jan Okorn
Earl K. Miller @earlkmiller.bsky.social · 24/10/2025
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
journals.aps.org
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...
0144
Reposted by Jan Okorn
PessoaBrain @pessoabrain.bsky.social · 21/10/2025
𝗘𝗻𝗱 𝗼𝗳 𝘁𝗵𝗲 𝗲𝗺𝗽𝗶𝗿𝗲 𝗼𝗳 𝗻𝗲𝘂𝗿𝗼𝗻𝘀 𝗶𝗻 𝘁𝗵𝗲 𝗯𝗿𝗮𝗶𝗻?? Astrocytes in the regulation of fear memories! www.nature.com/articles/s41... #neuroskyence h/t @claeneuro.bsky.social
nature.com
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...
26325
Reposted by Jan Okorn
Lean Focused Research Organization @lean-lang.org · 25/10/2025
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...
youtube.com
Jared Duker Lichtman | Gauss – towards autoformalization for the working mathematician
YouTube video by Harvard CMSA
031
Reposted by Jan Okorn
Earl K. Miller @earlkmiller.bsky.social · 20/10/2025
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
cell.com
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...
36415
Jan Okorn @okornjan.bsky.social · 20/10/2025
"Nikoli si ne bomo pustili vzeti besede!" Serija avtorice @scharlatanja.bsky.social o boju koroških partizanov.
020
Jan Okorn @okornjan.bsky.social · 20/10/2025
"from high-level heads of state to lower-level bureaucrats, as “co-perpetrators” alongside Libyan suspects for the death of 25,000 asylum seekers and abuses against some 150,000 survivors who were “abducted and forcibly transferred to Libya, where they were detained, tortured, raped, and enslaved.”"
010
Reposted by Jan Okorn
Annika Brockschmidt @ardenthistorian.bsky.social · 20/10/2025
Vorschieben, Frauen & Mädchen schützen zu wollen, als würde sexualisierte Gewalt vor allem von Migranten ausgehen, ist so hanebüchen wie perfide. Es ist rassistisch und misogyn zugleich - und eine klassische Erzählung von Rechtsextremen, die im Übrigen nicht auf "Schutz", sondern Besitzanspruch fußt
6342241308