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

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.

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!

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!

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!

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

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!

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

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

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!

Just released BorrowChecker.jl — a macro library that brings Rust-style ownership and borrowing to Julia! github.com/MilesCranmer...

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

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

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

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

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

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.

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

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.

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

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

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!

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: https://buff.ly/3WTTE8J

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.

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

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.

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

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?

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

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! 🧵

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.

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! https://buff.ly/4fINO0x

🚨 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!

> cancelling o1 pro to buy multiple claude pro subscriptions

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)

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 💀

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

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.

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! 👋

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!

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/

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!

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!

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

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

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

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

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

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

Best compliment I ever had (at AI 4 Science summit in Cambridge).