Colin Carroll

🤯“I tasked 16 agents with writing a Rust-based C compiler, from scratch, capable of compiling the Linux kernel. Over nearly 2,000 Claude Code sessions and $20,000 in API costs, the agent team produced a 100,000-line compiler that can build Linux 6.9 on x86, ARM, and RISC-V.”

I too just upgraded. So far: it is fine! I feel like I could probably have pushed my pixel 7 for another year or two though.

Explore Wikipedia through a data map. Pages are grouped by semantic similarity, for topic clusters.
Hover to see details, zoom to explore more fine-grained topics, click to go to a page. Search by page
name to find interesting starting points for exploration.

lmcinnes.github.io/datamapplot_...

Chad! This is a very confused ❤️.

I was able to try updating my site recently. I (finished! then) wrote it up but the conclusion was similar that getting started was easy, but it took the same total time: bsky.app/profile/colc...

Jinx!

Page not found error

Page not found!

I have no heuristics for 19 minutes (except more than 1000 seconds) *or* 19mph (except faster than I can run).

Prime numbers are the work of the devil.

bsky.app/profile/colc...

Ok, first new blog post in 6 years, about updating my website with the help of an LLM: colindcarroll.com/blog/llm_blo...

maybe I will write about statistics again next?

I updated my website! It is now just html and css. Possible blog post coming of the experience of updating it. Lots of fun older blog posts and newer projects are highlighted.

colindcarroll.com

College sports (5k and 10k on the track!) prepared me for the real world by letting me know 1,000 seconds is 16:40.

If it takes you 16:40 to run a 5k, that's ~5:20/mi, or exactly 5m/s.

Surprisingly useful for mental math, like when something (presumably stan) takes 168 minutes.

...I think I just heard it go by.

Should I be watching for a flyover?

A naive Python program can do this search up to 8 contiguous zeros (2^14007) in about a minute. That's 4217 digits long: 4kb as a string!

I wasn't able to find 9 contiguous zeros, letting the program run for 10 minutes, up to 2^70000.

I guess it makes sense: if a number has n zeros in a row, twice that number has at least n-1?

Playing with integers:
2^1491 is the smallest power of 2 with 5 contiguous 0's.
2^1492 is the first with 6.

This note is too narrow to contain the numbers (they have 449 and 450 characters)

Get some sleep, you wacky plotting library!

Iterated trapezoids

Koch snowflake

Sierpinski triangle

Dragon curve

Everything's crazy, so I implemented fractals in @matplotlib.bsky.social. Getting the transform API right, and figuring out how to repeatedly apply a function in Python were the hard parts.

colab here if you want to try it out: colab.research.google.com/drive/10mzOt...

Time for us all to start studying! This is super well written, and seems super useful.

But for multimodal densities, note that the usual adaptation methods can be actively harmful!

We mostly focus on scaling out to lots of chains or huge log likelihoods. Some of the ensemble chain adaptation methods, and some intuitions for designing algorithms for accelerators might be useful to think about.

What, print it out on a flat sheet of paper? Who is that going to impress?

I used to have a bot that would reply to this whenever a different major paper used the word first. Might be time to resurrect it! (It was booted for being a bot 🤷)

git commit -m “No way I am gonna remember I accidentally used a double quote by the time I get to the end of this message’

Excited to share our new Nature paper on probabilistic weather forecasting today @neuripsconf.bsky.social! I'll be presenting at the DeepMind booth 1pm Vancouver time.

I'll be at NeurIPS the whole week. If you're interested in AI for Science and sustainability, feel free to reach out for a chat!

I will have to practice some hills! 😅🏔️

Love it! This was my 2023 data, and I guess I got into bike commuting last year...

Strava "goals", showing almost the same distance needed for the week as for the year.

Could be a very good week.

This is so cool! I've got a similar project at github.com/ColCarroll/s.... Will add a link to yours (if that's ok!), since getting the bulk export seems like the annoying part. (Mine also targets runners, not bikers, so you'd have to futz a bit to make it work)