Colin Roberts

PhD mathematics; scientific software architect; mountain biker / runner. Opinions are my own and do not reflect any associated entity.

[Colin Roberts @Autoparallel]

@delitzer lol no

[Colin Roberts @Autoparallel]

@hackerdocc Can I get help verifying my code?

[Colin Roberts @Autoparallel]

@roelof_vandijk You going to pay me?

[Colin Roberts @Autoparallel]

Glad theorem proving with AI is taking off. Helpful for both mathematics and software. Kinda sad I missed chances to join in on this development

[Colin Roberts @Autoparallel]

Beautiful perspective

[prof-g @prof_g]

increasingly concerned that ai is revealing the mathematical world as negatively curved. instead of everyone wandering about in idea-space and clustering around the same famous conjectures (local positive curvature), ai is pushing out the boundaries rapidly and revealing that the space of mathematical ideas is ~hyperbolic (negative curvature). though this means there's lots left to discover, it also means that small separations between people/agents will lead to wandering alone.

we may be emerging into an idea-space where there's so much to see and do but everyone is alone in a private heaven, unable to share their subtle joys with others...

[Colin Roberts @Autoparallel]

Imagine if everyone looked at trading charts in log scale.

[Colin Roberts @Autoparallel]

Oh good, ExpressToll is probably hacked

[Colin Roberts @Autoparallel]

@real_philogy Enjoy!

[Colin Roberts @Autoparallel]

@ThePrimeagen @valigo Types are assertions lol

[Colin Roberts @Autoparallel]

Shocking really

[Theo - t3.gg @theo]

Had one of those nights where all the vibe coded pieces collapse in front of you and you realize engineers are still very, very much necessary

[Colin Roberts @Autoparallel]

@UltraRunner26 (Joking of course)

[Colin Roberts @Autoparallel]

@UltraRunner26 Congrats! And fuck you.

[Colin Roberts @Autoparallel]

We have to remove certain things from the models’ training:
- how long things take (e.g., “this is a day of work”)
- certain things are challenging (e.g., setting up App Store deployments)
- not finishing a task or over-chunking it (e.g., asked to do something e2e, stops halfway)

[Colin Roberts @Autoparallel]

Claude knows more than I do and can do more than I can.

(Doesn’t mean I’m useless and for sure doesn’t mean I agree with Sabine about other things)

[MatLab crashes @memecrashes]

damn, "Claude knows" is a pretty wild thing to say being an academic

[Colin Roberts @Autoparallel]

@parkersmith @bot What do you use it for?

[Colin Roberts @Autoparallel]

@socrates1024 SHIT

[Colin Roberts @Autoparallel]

Runners literally have nothing better to do than gatekeep or talk about gatekeeping. Why?

[David Dack @DavidDack]

10K PB on a random Tuesday. No bib. No chip time. Nobody cheering at the finish.

But you just ran the fastest 10K of your life.

Would you call that your PB, or does it need to happen in a race?

[Colin Roberts @Autoparallel]

@0xFloyd Good. I was born for that

[Colin Roberts @Autoparallel]

AI has seemingly increased drama across the board. Stocks up or down, problem solved or not, permanent underclass or machines of loving grace. Extreme hyperbole.

The only thing I’m sure of is this technology has changed my life and it’s only just begun.

[Colin Roberts @Autoparallel]

@UltraRunner26 Leverage and concentration or just straight up beta weighting.