This to me is unexpected. Wow. www.anthropic.com/news/stateme...

TIL of the Seattle Freeze: en.wikipedia.org/wiki/Seattle...

Can LLMs figure out who you are from your anonymous posts? From a handful of comments, LLMs can infer where you live, what you do, and your interests; then search for you on the web. New 📄 w/ @SimonLermenAI, @joshua_swans, @AerniMichael, Nicholas Carlini, @florian_tramer 🧵

This is quite something: www.modular.com/blog/the-cla...

The 4th annual Brown puzzle hunt is coming soon! www.brownpuzzlehunt.com

Claude Code for the most part was able to one-shot adding dark mode to a website I'm contributing to. Nice.

My coauthor Dave Perkinson made this diagram to explain the binomial theorem and I think it's the perfect distillation. Here's our draft book, Discrete Structures, if you want more: kyleormsby.github.io/files/113spr... 🧮

Worth the read regardless of your opinions on AI

DBSCAN is a confusingly named algorithm in that it has nothing to do with databases, scanning, or scanning databases

Spotify seems to be confused. It thinks that this album, standup by a comedian named Kate Davis, is by the musician named Kate Davis. I am a fan of Kate Davis the musician.

Of course someone made this: mtg-agents.com

I am very happy to share that PEP 814 is accepted. Huge kudos to @vstinner.bsky.social for driving this PEP from the start! discuss.python.org/t/pep-814-ad...

One of my Discord communities I’m a part of is seriously considering moving off of Discord.

Relatable

Meme from a friend:

Just found out my friend’s robotics lab is on Bluesky!

Happy Friday the 13th! This year we have 3 of them.

NSF Update Funding curve overall. A little bit of progress in the past week, but only a little bit. Now by Directorate... 1/11

@karpathy.bsky.social 's microgpt.py Train and inference GPT in 243 lines of pure, dependency-free Python. gist.github.com/karpathy/862...

My assigned call sign is KD3CON. Almost looks like I could’ve chosen it as a vanity lol.

I can’t quote post my repost below, but my wife’s reaction (who is a horse fan) when sharing with her was “what the hell is this?”

omg everybody go draw a horse this is what the internet was made for gradient.horse

One thing I really like about Bluesky is how posts like this hit custom feeds of the topic discussed in the post. People who care about that topic see it.

I passed the ham radio (technician) exam on Saturday and paid the FCC the registration fee this morning. Waiting to get my call sign. I’ll be looking for recommendations for entry-level VHF/UHF stuff at some point.

We left the Super Bowl watch party we were at when it was 19-0, and got home when it was 29-7. Seems that we missed an interesting half hour of the game.

ad for ai.com just aired and the site is down for its a 503 error

Never mind the jobs you had, tell me five classes you took in college Basic Algebra I Basic Modern Logic I Basic Complex Analysis I Topic in Mathematical Logic Introduction to Algebraic Geometry (these were all graduate level, found it funny how ND math prefixed most of their courses with "basic")

$ jj describe -m "Hello, world!"

Providence folks

TIL that the maximum GitHub commit size is 2GB. Don’t ask why or how I learned that.

Got on an exercise bike for the first time since recovering from knee surgery at the end of ‘24. I biked on outdoors last year but it’s been a while since doing it indoors. It’s tough but feels great.

Pydantic's Monty A minimal, secure Python interpreter written in Rust for use by AI. github.com/pydantic/monty

Not reposting this to be anti-AI. But that AI’s impact on the world is not all sunshine and daisies.

We’ve officially got tickets for the All the Feelings Tour: newsroom.livenation.com/news/metric-...

The coolest thing here to me is the application of a genetic algorithm. It’s easy to read for me because I’ve designed my own genetic algorithm before: academic.oup.com/bioinformati... pydantic.dev/articles/pro...

Brain dumping a few interesting things I learned at the 2026 MIT Mystery Hunt in case I don't have the time for long-form writing: - Reed-Solomon error correction and the Galois Python package for working with finite fields: mhostetter.github.io/galois/latest/ - Hamming error correction codes

I just donated $25. Donate! This is a friendly and inclusive audience to speak to.

Okay, you may refresh 😄 hope.net

This is now exclusively a Metric fan account.

🚨new metric🚨

It was a puzzle after all and redditors correctly guessed the name of it: Romanticize the Dive:

On GPT5.2’s willingness to solve Erdős problems

also, hey, Claude Code is great and all, I'm having fun with it (and getting lots of engagement on my Claude Code posts), but generally speaking there's also a lot of cool non-AI content on Bluesky that should also get more engagement?

This app was a lot more simple for Claude Code to write up. I asked it to plot the number of listens among top k artists given my last.fm listening history. also something I've wanted to do. not fleshed out, I want a better visualization, but it is impressive that I can build this with one prompt.

Well, I'm not sure what I expected, but Opus 4.5 struggles with writing a Lean proof for this theorem about ordering the faces of a d20 that I had written about: www.vikramsaraph.com/blog/2024/10... claude.ai/share/e07e03...

I think the more exciting part of this will be contributing to the development of the 2027 MIT Mystery Hunt (yes I know it will be a lot of work).

I tried Claude Code. I asked it to build Euchre (the trick-taking card game) with a Python (FastAPI) backend and a TypeScript (Vue) frontend. It did okay with a first iteration considering that I also asked it to include an interface for an RL environment for an agent to learn a policy.

Posting without comment:

When you delete Claude from the commit history

Have some (applied) topology research you want to share with the world? Consider adding it to 🍩DONUT🍩, our Database of Original & Non-Theoretical Uses of Topology. Great intro by Barbara Giunti: www.youtube.com/watch?v=eQ_5... 🏠 donut.topology.rocks