ian

@why.bsky.team

shipped my Factorio timelimit mod
github.com/ianklatzco/t...

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)

*with 80gb vram

what's the least terrible "rent a gpu" provider? i want to run a container 5 times a day

love this tokyo neighborhood map

best idea i ever had (alias attention="~/kill.sh/"

what other bsky clients do y'all like on ios?

i'm really curious why jsc

おやすみやさい

naze anatú puedekiru wakantender? (jp/es zipsentence)

@danabra.mov do you think Lean could be used practically on some part of React?

all in all: it's worth learning languages. and LLM-intermediated communication is worth exploring

i also think that thinking in a particular language allows you to feel certain kinds of feelings. words in languages feel certain ways to say, and this is a bit like music - the buildup matters

in my humble opinion とても should always be translated as "totally" in the sense of "duuude"

consider the polish zapiekanka

cuuuute

the 12yos have informed me that the jp minecraft youtubers have anime closing sequences involving rigged 3d models of their characters

東京で来週、面白いプログラミングエベントありますか？atprotoやleanやセキュリティ興味があるんだけどtechnical日本語聞きたいだけ

おかえりぃぃ

headed to japan soooon

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

wonder what it would take to do an atproto shopify/woocommerce-like.... plugin ecosystem seems the killer part

💙 💙 💙

chrome now prompting with an LLM

looks cool!

1500 strava mile year!

2022-07-14 x.com/ian5v/status...

new 4gram: physics sidechannel reality segfault