Wow, this is the most impressive use of AI I’ve ever seen. https://github-roast.pages.dev/
stolee
- 108 Followers
- 57 Following
- 339 Posts
I used to be a mathematician. Now I work in tech.
I got a citation alert and saw this very flattering reference to the paper written with an REU group.
Unfortunately, I discovered years later that the result was already proven by Babai in the 70's. His paper was in German and the only reference I could find was in Lovasz's book of combinatorics problems.
At the very least, now it is easier to find the result.
Internet is out and movie night approaches. Time to revisit whatever physical media I bought in the before times (and is kid appropriate). Not a terrible list.
It’s Claire’s first science fair and we’ve been watching woodworking videos together, so I guess it’s time to do a Yakisubi experiment. Burning wood, scraping away the chad, then applying oil. All four phases on display for four wood types.
Let's use this space to focus on positive things. Like my daughter showing our dog her sticker art.
