HOP: ssh replacement par.nsf.gov/servlets/pur...

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

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)

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?

おやすみやさい

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

@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

東京で来週、面白いプログラミングエベントありますか？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

1500 strava mile year!

new 4gram: physics sidechannel reality segfault

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...

i looooved this movie （新幹線大爆破） en.wikipedia.org/wiki/Bullet_...

mm cool arxiv.org/pdf/2402.10208

"flagging likely fraud is the purpose of most global empires, and they charge a percent" - from my notes

i'm curious about.... the urge to save things, and emacs orgmode capture templates orgmode.org/manual/Captu...

in universe, spherical region of lower density (that we are in!): en.wikipedia.org/wiki/Local_H...

golden gate piano has a very cute guest book goldengatejams.com/guestbook/

einstein rings look like elden ring things en.wikipedia.org/wiki/Gravita...

absolutely fucked up that 'a' is 'e' upside down

another killer thing here would be like, "i would like auto-blurring of accounts that trip a particular classifier" (political, racism, specific kinks) but hm i guess this is what the labelers do no? so like can i write my own labeler where i shell out the account (display name, handle, bio, pfp) --

pitch for bsky that's been cooking in my head of late: the healthy social network, tune your own feeds, un-ipad-baby-tiktok-cook yourself. focus on ur best interests. use a premade feed and tune it. user choice, user agency, back to an earlier envisioned architecture of the web.

[haughty] as an advanced calendar timezone user (and the often observer of calendar software timezone bugs) i am in dire need of a gcalendar feature that will allow me to push a keybind to see days from the perspective of the secondary timezone, because off-by-one-day errors beplague me in planning

torn between "use signal/telegram to augment memory by storing pointers to information in groupchats" and "1 year / 4wks deletion policy to help enable forgetting"

boo brave's extension syncing looks to be not very robust (as compared to chrome's)

the vegas signs have a lick of mirage effect to them, a gentle strobe

aixcc finals

anyone at defcon?

😢

such a shame that many of the social networks are nerfing their embeds (presumably because better metrics because users have to click into websites)

a couple of piano learning utilities i've been meaning to write for a few years: - enable only certain keys (Cmaj octave) - light up only certain keys (lumi keys does this) - webpage shows chord, you have to push that chord fast

lean looks cool (theorem proving language)

interesting en.wikipedia.org/wiki/Pig_but...

interesting project: i think run the first few layers of your model on a local device, then the rest on other devices github.com/exo-explore/...

i wish bsky could have softblock so there could be less log of me bouncing unpleasant botted/scripted political-related accounts from following this handle (so maybe clientside mute is the move?)