ian
@klatz.co
jazz hacker 日本語も bsky user 58 projects at https://klatz.co I'm on Germ DM 🔑 https://ger.mx/A6fQvPTRSyE6l3p8ZgoS2OcejuqPetgKij7QZcuY8xC4#did:plc:o2hywbrivbyxugiukoexum57
quantum key generation is interesting, shoot random 1s and 0s over lasers with certain polarizations, and then declare (publicly) over the channel, after the fact, which of the polarizations you shot, and then collapse/combined/discard the info you collected from your other party, and shared secret
something finally clicked for me w.r.t Math - proofs are programs, and LEAN is basically a gcc for math it's wild to think that the practice of math is effectively oral tradition and apprenticeship, and that people just publish papers and then talk to each other
TIL the erdos problems are ~1100, ~half of which are unsolved, are problems that erdős..... selected?
ans: runpod (cheap, no docker) modal (2-4x cost)
ian@klatz.co · 7mo agowhat's the least terrible "rent a gpu" provider? i want to run a container 5 times a day
what's the least terrible "rent a gpu" provider? i want to run a container 5 times a day
@danabra.mov do you think Lean could be used practically on some part of React?
in my humble opinion とても should always be translated as "totally" in the sense of "duuude"
the 12yos have informed me that the jp minecraft youtubers have anime closing sequences involving rigged 3d models of their characters
coool idea: using "apple configurator" (mdm) to lock down your iphone so you can only use apps you Deliberately Want To Use stopa.io/post/297
iPhone dumbphone
stopa.io
wonder what it would take to do an atproto shopify/woocommerce-like.... plugin ecosystem seems the killer part
condor's photo for sf appears to predate the salesforce tower, which kicks off some interesting thoughts
i would kill for the ability to disable reposts in "following" on a per-user basis
inasmuch as i do think realtime translation is like, now largely a thing (and may even been good enough for like, fast enough to do comedic timing), i think there's probably still tremendous benefit to languages in understanding how to parse sentence order and phonemes intuitively
tore down an old bot i used to search my twitter locked account (copied all the tweets into sqlite and used text stemming extension to enable keyword search, then used this to enable me to recall basically any tweet ~instantly)
killed a multi-year old bot that was running on a 18.04 ubuntu LTS server that i have (firewalled) still running. code eventually became this github.com/ianklatzco/b...
bsky-telegram-bot/main.py at master · ianklatzco/bsky-telegram-bot
post to bluesky from telegram. Contribute to ianklatzco/bsky-telegram-bot development by creating an account on GitHub.
github.com