Advertisement · 728 × 90

Posts by 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.”

2 months ago 17 3 5 1

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.

7 months ago 0 0 0 0
Video

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

9 months ago 116 49 7 8

Chad! This is a very confused ❤️.

10 months ago 1 0 1 0

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

11 months ago 2 0 1 0

Jinx!

11 months ago 1 0 0 0
Page not found error

Page not found error

Page not found!

11 months ago 3 0 1 0

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.

11 months ago 2 0 0 0
Advertisement

bsky.app/profile/colc...

11 months ago 1 0 1 0
Updating my website with an LLM

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?

11 months ago 4 0 1 1
Colin Carroll

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

11 months ago 8 1 0 0

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.

1 year ago 4 0 0 1

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

1 year ago 1 0 1 0

Should I be watching for a flyover?

1 year ago 0 0 1 0

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.

1 year ago 0 0 0 0

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

1 year ago 0 0 1 0

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)

1 year ago 2 0 1 0

Get some sleep, you wacky plotting library!

1 year ago 0 0 0 0
Advertisement
Iterated trapezoids

Iterated trapezoids

Koch snowflake

Koch snowflake

Sierpinski triangle

Sierpinski triangle

Dragon curve

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

1 year ago 26 2 0 1

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

1 year ago 5 0 0 0

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

1 year ago 0 0 0 0

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.

1 year ago 0 0 1 0

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

1 year ago 1 0 1 0

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 🤷)

1 year ago 3 0 0 0

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’

1 year ago 71 2 6 1
Post image

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!

1 year ago 20 5 1 1

I will have to practice some hills! 😅🏔️

1 year ago 1 0 0 0
Advertisement

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

1 year ago 7 0 2 0
Strava "goals", showing almost the same distance needed for the week as for the year.

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

Could be a very good week.

1 year ago 0 0 0 0
GitHub - ColCarroll/strava_calendar: Visualizations from Strava data in matplotlib Visualizations from Strava data in matplotlib. Contribute to ColCarroll/strava_calendar development by creating an account on GitHub.

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)

1 year ago 3 0 2 0