Colin Carroll
@colcarroll.bsky.social
Runner, biker, hiker. Software engineer @DeepMind, and open source enthusiast. Sometimes crafts things out of wood. he/his.
🤯“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.”
Eris ⌬@eriskii.net · 9mo agoopus 4.6 oneshot a C compiler of the course of *2 weeks*
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_...
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?
Updating my website with an LLM
colindcarroll.com
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
Colin Carroll
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.
tj nightmahr 🧟♂️@tjmahr.com · 2y agoChain 2 finished in 10083.8 seconds.
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)
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.
@jacobaustin123.bsky.social · 2y agoMaking LLMs run efficiently can feel scary, but scaling isn’t magic, it’s math! We wanted to demystify the “systems view” of LLMs and wrote a little textbook called “How To Scale Your Model” which we’re releasing today. 1/n
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 🤷)
New New York Times @nyt-first-said.bsky.social · 2y agotomorrow😭
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!
Love it! This was my 2023 data, and I guess I got into bike commuting last year...
Lisa Hornung@lisahornung.bsky.social · 2y agoI don’t have Spotify, but I use Strava. So I created my personal Year in Sports Wrapped 🚴 📊 Got Strava and want your own? No problem, I turned it into an app year-in-sports.streamlit.app Made in #python using #streamlit + #matplotlib, full code: github.com/Lisa-Ho/year...
I don’t have Spotify, but I use Strava. So I created my personal Year in Sports Wrapped 🚴 📊 Got Strava and want your own? No problem, I turned it into an app year-in-sports.streamlit.app Made in #python using #streamlit + #matplotlib, full code: github.com/Lisa-Ho/year...
If you're interested in a PhD at the intersection of machine learning and programming languages, consider applying to Yale CS! We're exploring new approaches to building software that draws inferences and makes predictions. See alexlew.net for details & apply at gsas.yale.edu/admissions/ by Dec. 15
There's a lot of room for some incredible incremental improvements using LLMs today! Give it a try! I get frustrated hearing claims about llms solving every problem (soon!), and people pointing out they don't (now!).
antirez@antirez.bsky.social · 2y agoAt this point you need the OP to jump in because everything about AI is instant dragged as ridiculous. There is some kind of obscurantism going on around LLMs.
Introducing 🧞Genie 2 🧞 - our most capable large-scale foundation world model, which can generate a diverse array of consistent worlds, playable for up to a minute. We believe Genie 2 could unlock the next wave of capabilities for embodied agents 🧠.
thinking of calling this "The Illusion Illusion" (more examples below)
Proud I could do a straightedge and compass equilateral triangle without looking it up.
And here is where I would be since mid-2012! Interestingly, the answer is "about 20miles southwest" of where I started. The southernmost bit was the 2019 Boston Marathon. The two red lines in the west were the 2016 Napa Valley Marathon, and a run from Manchester, NH to Andover, MA.
Colin Carroll@colcarroll.bsky.social · 2y agoEver wonder where you would end up if you would end up if you started every run where you stopped the last one? I plotted that for my year. Turns out I'd be about 20 miles southeast of my house. Cool that I did the Pemi loop when I was at the most northern point of this "journey"!
Ever wonder where you would end up if you would end up if you started every run where you stopped the last one? I plotted that for my year. Turns out I'd be about 20 miles southeast of my house. Cool that I did the Pemi loop when I was at the most northern point of this "journey"!
Similarly, when you try to convert your text into smaller pieces but all it does is tell you to throw yourself in next time, that's a fool of a tookenizer.
Vicki@vickiboykis.com · 2y agowhen you try to convert your text into smaller pieces but all it gives you is Elvish, that’s a tolkienizer
Allen is a great example of "what are the chances?" never being a rhetorical question.
Allen Downey@allendowney.bsky.social · 2y agoRecently I heard the word chartist for the first time in 57 years. Then within the same day, I heard it again. What are the chances? I used Bayes's theorem and a large corpus of English words to find out. www.allendowney.com/blog/2024/11...
Hello BlueSky! This is the official account for the ArviZ project. We provide FOSS tools for exploratory analysis of Bayesian models in both Python and Julia.
Another great seminar today is the Monte Carlo Online Seminar: sites.google.com/view/monte-c... Today's talk is on diffusion models!
Monte Carlo Online Seminar
Upcoming Seminar Presentations All seminars are on Tuesdays 8:30 am PT = 11:30 am ET = 4:30 pm London = 5:30 pm Paris = 0:30 am Beijing (+1d). Subscribe to our mailing list and calendar for up-to-da...
sites.google.com
Have a box that actually gets some use. The wood dowel hinge finally gave way. First attempt at a fix failed, but have great hope for attempt #2 (a real hinge).
New feature I'm trying to add is the ability to plot every run you've done, organized by distance. Cool to be able to spot the 1 mile track races at the top, and the Pemi loops at the bottom...
Colin Carroll@colcarroll.bsky.social · 2y agoUpdating github.com/ColCarroll/s... a little early this year (added some basic CI, typing, ruff, and the smallest tests possible). Here's my year so far... h/t to @matplotlib.bsky.social for this thing working for 6 years with no major changes!
Updating github.com/ColCarroll/s... a little early this year (added some basic CI, typing, ruff, and the smallest tests possible). Here's my year so far... h/t to @matplotlib.bsky.social for this thing working for 6 years with no major changes!
