(co)Brantley (co)Vose
banner
brantleyvose.bsky.social
(co)Brantley (co)Vose
@brantleyvose.bsky.social
Math PhD student studying geometric methods in data analysis.
String diagram evangelist.
I also make electronic music sometimes.

prismika.github.io/
Nice! Though to be fair, we *could* say that n=1 is the base case (f'=f') and the difficulty gets pushed to the inductive step.
October 30, 2025 at 5:56 PM
I propose that the *true* center is the mean of every center currently listed in the Encyclopedia of Triangle Centers.
September 18, 2025 at 12:26 AM
So what you're saying should be possible unless I'm missing something.
August 5, 2025 at 6:10 PM
My gut says the triangle is already determined by the information given without the semicircle. The fact that the point on the hypotenuse nearest to the opposite vertex is one third of the way down the hypotenuse should determine the triangle up to similarity, the the 2's provide scale.
August 5, 2025 at 6:09 PM
I bet there are a lot of things that people think are American but are actually just movie quirks.
July 28, 2025 at 3:15 PM
A video game:

Final Fantasy (there were in fact 15 more Fantasies)
June 4, 2025 at 5:49 PM
Someday a confused programmer is going to visit this thread to see why their scraper is looping infinitely, and I hope they read my comment.
February 23, 2025 at 3:55 AM
Holding rocks from two celestial bodies, climbing rocks on a third.
February 21, 2025 at 6:41 PM
Someone once told me that the reason so many mathematicians are climbers is that, even in our hobbies, we prefer to face the walls instead of each other.
February 10, 2025 at 9:45 PM
If you haven't seen it before, you might like oscilloscope music! It's music specifically designed so that its oscilloscope visuals go with the music.
www.youtube.com/watch?v=BDER...
N-SPHERES
YouTube video by Jerobeam Fenderson
www.youtube.com
February 5, 2025 at 4:25 PM
Sick. Any good tricks for making things sound so punchy?
February 4, 2025 at 7:53 PM
This is a fun test! o1 passes, but only after I directly ask.
January 29, 2025 at 5:06 AM
Will this discussion be posted anywhere?
January 14, 2025 at 3:18 PM
Haha that's delightful!
January 12, 2025 at 4:15 PM
I hadn't thought of it this way. I think of productivity tools (like coding assistants or debuggers or whatever) as ways to save me from things I don't want to be doing. You seem to be thinking of them as economic gadgets that are benefiting (primarily) your employer, not you. That's interesting.
January 12, 2025 at 4:01 PM
Yeah, maybe the term "boring tasks" is conflating "things I'd rather not spend my time on" with "low-stress tasks".

I enjoy occasional mundane tasks. I think they're psychologically important. At the same time, if a tool can save me from tasks I hate doing, I'll take it.
January 12, 2025 at 3:57 PM
I might have misunderstood your original post. I thought you were saying LLMs don't make programmers more productive, but maybe you were actually saying that productivity at work is not a proper goal?
January 12, 2025 at 3:48 PM
Maybe, but I think that's a rude thing to say.
January 12, 2025 at 3:39 PM
I saw this years ago and it is the least serious meme that has ever changed my life philosophy.
January 12, 2025 at 3:36 PM
Yeah, I'm surprised this turned into a discussion around the claim "Coding assistants are bad because you should be doing more boring tasks at work." There are objections to LLM coding assistants that are worth discussing, but this one is pretty odd.
January 12, 2025 at 3:29 PM
I have to mention XKCD's incredible chart on this topic. xkcd.com/1491/
January 12, 2025 at 3:15 PM
Agreed, this feels enlightening! I like it!
December 20, 2024 at 5:06 AM