iiinova — where your digital self keeps evolving

Miles Cranmer @milescranmer.bsky.social · 28/09/2025

grep -A/-B might be the worst flags in all of Unix. Is A=after or above? Is B=before or below? Even the alphabetical order is backwards! (A comes *AFTER* B according to grep) I've given up and just use `grep -A {N} -B {N}` for everything

120

Miles Cranmer @milescranmer.bsky.social · 24/09/2025

Does anybody know the actual page limit for ICLR submissions? The author guidelines page contradicts itself:

130

Miles Cranmer @milescranmer.bsky.social · 15/09/2025

Cambridge Maths calls the top student in a given year the "Senior Wrangler." Why? Apparently this originates in Medieval examinations called "disputations," where students would literally wrangle (argue) in Latin with designated opponents.

Historical depiction of an academic disputation

180

Miles Cranmer @milescranmer.bsky.social · 04/09/2025

PolymathicAI is recruiting two postdoctoral researchers to join our team at Cambridge, to work on building and understanding large-scale foundation models for science. Please share with potential candidates!

261

Miles Cranmer @milescranmer.bsky.social · 02/08/2025

Cannot wait for someone to wrap SAP Concur in an MCP It’s kind of crazy you still can’t generate expense reports from a folder of receipts!

040

Miles Cranmer @milescranmer.bsky.social · 15/07/2025

Really loving AR glasses for working while traveling. No squinting at my laptop + I can still enjoy the view! These just plug into my closed laptop as an external monitor. Means I'm actually productive on planes now because I'm not hurting my neck looking down the whole flight!

160

Miles Cranmer @milescranmer.bsky.social · 14/07/2025

Tomorrow I get to give my favourite type of lecture to some new physics PhD students 😃

0140

Miles Cranmer @milescranmer.bsky.social · 08/07/2025

I am a HUGE fan of Mooncake.jl github.com/chalk-lab/Mooncake.jl, a new language-level autodiff for Julia. Most impressive is how uncompromising the devs are about correctness and reliability. It has some of the best software engineering practices I've seen in the entire ecosystem!

060

Miles Cranmer @milescranmer.bsky.social · 21/05/2025

Wow. Apparently some PySR users are building dedicated rigs for faster equation discovery!

270

Miles Cranmer @milescranmer.bsky.social · 15/05/2025

I just referred to the literal letter 'z' as 'redshift' 😵‍💫

030

Miles Cranmer @milescranmer.bsky.social · 02/05/2025

SymbolicRegression.jl v1.10.0 is out! It can now evolve expressions over arbitrary input types. The video below shows it reverse-engineering a string transformation from examples. Curious to see how people use this!

0120

Miles Cranmer @milescranmer.bsky.social · 08/04/2025

You have no idea how long I’ve waited for this 😮‍💨

181

Miles Cranmer @milescranmer.bsky.social · 02/04/2025

We have just opened a fully-funded PhD position at Cambridge, supervised by me & Vasily Belokurov. Topic: AI + astronomical imaging (broadly defined). Deadline: April 16. Please share with anyone who may be interested! www.postgraduate.study.cam.ac.uk/courses/dire...

0164

Miles Cranmer @milescranmer.bsky.social · 25/03/2025

Very excited to share that my group in Cambridge is offering an “AI for Science” Encode fellowship on multiscale physics through Pillar VC & ARIA! Apply by April 30th: encode.pillar.vc/projects/mul...

0130

Miles Cranmer @milescranmer.bsky.social · 06/03/2025

This might be the greatest bug report I’ve ever seen

1284

Miles Cranmer @milescranmer.bsky.social · 05/03/2025

Wow, Google Colab just added Julia support!!! 🎉

27113

Miles Cranmer @milescranmer.bsky.social · 26/02/2025

Why 'I don’t know' is the true test for AGI—it’s a strictly harder problem than text generation! This magnificent 62-page paper (arxiv.org/abs/2408.02357) formally proves AGI hallucinations are inevitable, with 50 pages (!!) of supplementary proofs.

0121

Miles Cranmer @milescranmer.bsky.social · 25/02/2025

Symbolic regression update—new versions of PySR & SymbolicRegression.jl just released with improvements to mini-batching. Should work much better for large datasets!

180

Miles Cranmer @milescranmer.bsky.social · 24/02/2025

Having used it over the past week, I do think that ChatGPT deep research mode is worth the $200 price tag—something that, for me, o1-pro hadn’t justified. It’s not perfect, but for specific tasks, it is **extremely** useful.

020

Miles Cranmer @milescranmer.bsky.social · 15/02/2025

Took me until today to figure out how to separate tracked/untracked files in VSCode. So much better!

1100

Miles Cranmer @milescranmer.bsky.social · 14/02/2025

New feature! PySR v1.4 lets you define a template expression to optimize that both has learnable parameters AND learnable expressions:

192

Miles Cranmer @milescranmer.bsky.social · 12/02/2025

I love Cursor, but because it uses a slightly out-of-date VSCode, the extensions can have known vulnerabilities! I did some digging and noticed that the main Python extension has a *known* remote code execution vulnerability (CVE-2024-49050), and has had it for three months!

080

Miles Cranmer @milescranmer.bsky.social · 11/02/2025

I’ll be giving lectures on advanced ML techniques at this AI-for-HEP summer school in Lake Como, Italy, from July 14-18. Expect a deep dive into symbolic AI and beyond. Should be a great event! Students can apply here: buff.ly/3WTTE8J

1110

Miles Cranmer @milescranmer.bsky.social · 04/02/2025

Interested in feedback on this syntax idea for predefined "template expressions" in SymbolicRegression.jl and PySR. Basically: what is an intuitive way to prescribe a fixed skeleton for a symbolic search? Ideally the syntax should be flexible and extensible too.

160

Miles Cranmer @milescranmer.bsky.social · 30/01/2025

Exciting news – Cambridge is hiring an Assistant/Associate Professor in Data-Driven Radio Astro. Join us!

030

Miles Cranmer @milescranmer.bsky.social · 22/01/2025

It's crazy how at one point I was worried whether I would like teaching. But now, with the new term starting tomorrow, I can't wait.

0170

Miles Cranmer @milescranmer.bsky.social · 19/01/2025

- print statements ❌ - debugger ❌ - rebuilding rust's entire ownership system in julia because one thread race made you lose it ✅ github.com/MilesCranmer/BorrowChecker.jl

github.com

GitHub - MilesCranmer/BorrowChecker.jl: A borrow checker for Julia

A borrow checker for Julia. Contribute to MilesCranmer/BorrowChecker.jl development by creating an account on GitHub.

2141

Miles Cranmer @milescranmer.bsky.social · 15/01/2025

I think the “hammer in search of a nail” style of science is perpetually underrated. From Leeuwenhoek’s lens to DeepMind’s AlphaFold, powerful tools chasing problems spark revolutions. If your hammer is Mjölnir, why not swing for the grandest problem?

1225

Miles Cranmer @milescranmer.bsky.social · 13/01/2025

[You Are Here] ↓ Agent ↓ LLM ↓ High-level language ↓ Low-level language ↓ Assembly ↓ Machine code "AI will replace programmers!" No – each level up this abstraction stack is still programming. AI won't eliminate coding; it's just another evolution in how we express specifications.

0312

Reposted by Miles Cranmer

Marco Bonici @marcobonici.bsky.social · 09/01/2025

It's paper day! It took quite some time, but we finally got it:) arxiv.org/abs/2501.04639 🚀 Excited to share our latest work: Effort.jl - a fast, differentiable emulator for the Effective Field Theory of Large-Scale Structure (EFTofLSS). 🌌 Let's dive into the key features! 🧵

1173

Miles Cranmer @milescranmer.bsky.social · 05/01/2025

I love how you can just feed the entire documentation for a language or a package to Cursor. Then I can just do @ {package} and it can read the docs via semantic search. Super slick.

060

Miles Cranmer @milescranmer.bsky.social · 03/01/2025

Exploring a "Template Expression" API design that allows joint optimization of symbolic expressions with parameter vectors. Can be used for optimizing a neural network simultaneously with a symbolic model, finding parametric expressions, etc. Would love feedback! buff.ly/4fINO0x

0170

Miles Cranmer @milescranmer.bsky.social · 02/01/2025

🚨 FINAL REMINDER 🚨: Multiple Postdoc and PhD positions in our AI + Physics cluster in DAMTP, Cambridge! Deadlines: - Postdoc: Jan 5th (Sunday) - PhD: Jan 7th (Tuesday) More info below – Please share with researchers and students who might be interested in joining us!

0165

Miles Cranmer @milescranmer.bsky.social · 02/01/2025

> cancelling o1 pro to buy multiple claude pro subscriptions

141

Miles Cranmer @milescranmer.bsky.social · 30/12/2024

Many people don't realize this about floating point arithmetic: This is also why GPUs can give slightly different results between runs! Thread execution order changes the sequence of operations. (CUDA also has a slower deterministic mode, which works by artificially enforcing operation order)

1240

Miles Cranmer @milescranmer.bsky.social · 17/12/2024

o1 pro is so weirdly confident in its hallucinations that it spent three replies gaslighting me about a basic CUDA array slice, even made up this 'experiment' to prove it was right. I really paid $240 for artisanal hallucinations 💀

3363

Miles Cranmer @milescranmer.bsky.social · 16/12/2024

Happy to announce differential operators for PySR + SymbolicRegression.jl! This means you can literally just... evolve an integral:

1334

Miles Cranmer @milescranmer.bsky.social · 12/12/2024

Awesome to see alum of Cambridge’s Data Intensive Science MPhil at NeurIPS! Got the chance to see Ivo Petrov present his work on privacy and adversarial attacks in federated learning of LLMs. Super interesting area.

060

Miles Cranmer @milescranmer.bsky.social · 11/12/2024

Excited to be at NeurIPS this week! 🎉 I'm part of four exciting projects being presented: - The Well & Multimodal Universe: massive, curated scientific datasets - LaSR: LLM concept evolution for symbolic regression - MPP: 0th gen @polymathicai.bsky.social All posters Wed/Thu - stop by! 👋

0153

Reposted by Miles Cranmer

Atharva Sehgal @aseg.bsky.social · 10/12/2024

Arya and I'll be at #NeurIPS presenting LaSR (trishullab.github.io/lasr-web/) on Wednesday morning 11AM PST to 2PM PST (East Exhibit Hall A-C #4003). Drop by and say Hi!

193

Reposted by Miles Cranmer

Manuel Morales-Alvarado @moralesalvarado.bsky.social · 09/12/2024

The power of ML and the intuition of analytical expressions in collider simulations! Happy to be at the @neuripsconf.bsky.social Machine Learning for the Physical Sciences Workshop presenting 'Symbolic Regression for Precision LHC Physics'! ml4physicalsciences.github.io/2024/

1113

Miles Cranmer @milescranmer.bsky.social · 09/12/2024

I wrote this new symbolic differentiation engine called DynamicDiff.jl: github.com/MilesCranmer... It's really really fast at differentiating runtime-generated expressions – no compilation needed!

3414

Miles Cranmer @milescranmer.bsky.social · 03/12/2024

Am in O*ford today/tomorrow to give a talk at the Schmidt AI-in-Science seminar – ping me if you'd like to meet up!

020

Miles Cranmer @milescranmer.bsky.social · 02/12/2024

🧵 Today with @polymathicai.bsky.social and others we're releasing two massive datasets that span dozens of fields - from bacterial growth to supernova! We want this to enable multi-disciplinary foundation model research.

38825

Miles Cranmer @milescranmer.bsky.social · 02/12/2024

The coolest part of the TensorBoard integration in PySR is you can get live plots inside the same Jupyter notebook –

0110

Reposted by Miles Cranmer

Ayush Tewari @ayusht.bsky.social · 01/12/2024

I am looking for graduate students for my new lab at the University of Cambridge! Join me to understand and build models of visual perception. Apply here: t.co/NnIyI0nm8D

t.co

https://www.postgraduate.study.cam.ac.uk/courses/directory/egegpdpeg

1185

Miles Cranmer @milescranmer.bsky.social · 01/12/2024

Happy to announce the PySR v1.0 release! github.com/MilesCranmer... PySR lets you do high-performance symbolic regression from Python. Now, you can learn multiple symbolic expressions simultaneously! Also: + Parametric expressions + TensorBoard support + Improved search + Julia-based inference

15411

Miles Cranmer @milescranmer.bsky.social · 28/11/2024

Just watched Cursor’s AI coding agent struggle to fix a missing parenthesis for 15 minutes. Guess I still have a job

1110

Miles Cranmer @milescranmer.bsky.social · 28/11/2024

Uh, did they quantize Claude 3.5 Sonnet today? Seems way worse all of a sudden

320