nate

also i should add that claude one-shotted this which i was very impressed by as i did not know about the public api.

obviously MLB has my email since i've been to MLB games, but it's always good to exercise your privacy :)

to get MLB games on your calendar you either go through google or give your email to MLB (both ew). That said, MLB has a public API which has the schedule info.

if you can run a python script then this script will create an ics file you can upload to your cal client

gist.github.com/natestemen/a...

wondering what an xz attack would look like on mathlib.

even if it wasn't to infect other computers, but just to get a proof across the line exploiting something in the LEAN compiler.

joe dirt approves

oh shit leanmaxxing

Iran War Cost Tracker — $1 Billion Per Day The Pentagon estimates the war in Iran costs $1 billion per day. Track the running total in real time.

iran-cost-ticker.com

hot take: i'm looking forward to QEC being "figured out" so people can go back to studying > 1 topic

E.g. i know this matrix is orthogonal so i can check properties of it in various ways. Once i have a result I'll obviously go back through the scripts and double check things. It's certainly possible there's some flaw at the base of some of my code, but that could exist with/without an LLM.

yeah totally. There have already been a minor moments where I realized the outputs weren't what I thought I was looking at.

I've been trying my best to avoid the whole "cognitive debt" thing by having the scripts show things visually that i can check parts of to do some amount of verification.

bars

i've been running lots of numerical experiments recently and its helped me run through a barrage of ideas much faster than i would have done if i was writing all the code by hand. In this context it's worked pretty well, mostly because a large majority of the code is garbage 5s after running it.

A line graph showing NSF grant awards made through 2/27/26 for fiscal year 2026 compared with grant awards for fiscal years 2021-2025.

NSF Update (Awards through 2/27/26)

Directorates to follow

1/10

if you have multiple options for some logical operator you want to apply on an encoded qubit(s), do you just pick the one that touches your least noisy qubits or is there some downstream effect you need to take into account?

Casual reminder to everyone that you can just turn off the computer

never realized how frequent prime time comes around

can you give background (or resource) on non-gaussianity? i'm so used to thinking about quantum info from a discrete perspective i don't know anything about continuous/analog systems

Are they back on in judkins park too?

The Universe is not a Computer When we want to predict the future, we compute it from what we know about the present. Specifically, we take a mathematical representation of observed reality, plug it into some dynamical equations, a...

arxiv.org/abs/1211.7081

dutch movie theaters are really missing popcorn. is this a european thing?

ashman is nightmans cousin

did it tell you to put glue in your pizza then too?

That's a really interesting strategy to engage followers on social media!

Here's why it works:

run 8 miles: feeling amazing

walk around museum for 2 hours: legs never been more tired

a true valentine's day project

I have spent too much time this morning making a game about building numbers: https://number-builder.think.somethingorotherwhatever.com/

my thoughts exactly

so Zapata patented QIR... the project that got started as a collaborative + open standard by multiple orgs (none of with was zapata).

First, why were they granted this patent, and second... wtf Zapata, and third, I thought they turned into an AI company?

investors.zapataquantum.com/news-release...

any other (non UKLG) scifi you'd recommend? me and some friends are reading some together and always looking for good recs