int_ijk @tbrunner.bsky.social · 7hthe male / female ratio of h-1b recipients is 85% male, 15% female. vance is making a policy argument that 70 > 40, when he could be (if he weren't as sexist as possible) be citing the ugly fact that half-a-million fully qualified adult women are not holding these jobs, but less qualified men are. 000
int_ijk @tbrunner.bsky.social · 18hfound something i wrote 1.5 decades ago when cto'ing for core and working the icann policy & dorkage spaces. not too shabby. 000
Reposted by int_ijkHull @hull8435.bsky.social · 07/10/2026Claude, when asked to come up with a sci fi premise based on the openai/math release: "No Fully Periodic Tiling: surveyors find an alien structure built from a single repeating 3D block that never forms a periodic pattern. It's not architecture but a clock, and it's counting down." 021
Reposted by int_ijkTina Kotek @tinakotek.bsky.social · 19hI support a moratorium on new data center development in Oregon until they no longer drive up utility rates, undermine clean energy for other users, damage our clean water and air, or shortchange union jobs. 96013
Reposted by int_ijkbryan newbold @bnewbold.net · 07/10/2026ah damn, RIP Margaret Hamilton. she took safety-critical software engineering seriously, and got people to the moon and back. news.mit.edu/2026/margare... 99138754607
int_ijk @tbrunner.bsky.social · 20hwhy doesn't this feel right to me? because i worked in the unix oem sector, 1980-2000, and none of my employers was a 1960s start up. so not that informative for work in c/unix. 110
int_ijk @tbrunner.bsky.social · 20hi'd have written something about burning money, which is rather futile, outside of burning ritual monies on ghost holidays, or keeping score in monopoly (the kids' board game), rather than suggesting altman, musk, sutskever, brockman, zaremba, & schulman have "power". they've debt, lots of debt. 010
Reposted by int_ijkButlerian Jihadist of House Dornick @shimminykricket.blacksky.app · 21hHarvard just dropped a study AI productivity in software engineering and it found the average increase in productivity from using Claude code is.....zero and for exactly the reasons you'd think fion.ac/jellyfish.pdf 9056502224
int_ijk @tbrunner.bsky.social · 07/10/2026and lean proofs implies the existence of wicked skeletal proofs, starved to death proofs, as well as the usual mmha (make maths heavy again) proofs, and several glp1 proofs. 010
int_ijk @tbrunner.bsky.social · 07/10/2026totally surprised, and no longer puzzled by the occasional brit ref. excellent work young ringwiss! 000
int_ijk @tbrunner.bsky.social · 06/10/2026not a teleporter. a black helicopter. didn't your mother tell you not to accept rides from black helicopters? 000
int_ijk @tbrunner.bsky.social · 06/10/2026and partly, too, in the continued demand for the duplicated notes, which seems to show that a number of readers sympathise with these aims." it goes on of course, i'm just a lazy typist snatching a glace at blusky. tl;dr: publish and be happy in sharing appreciated beauty. also, write your $adams. 010
int_ijk @tbrunner.bsky.social · 06/10/2026today's mail has an answer. frank adams' "lectures on lie groups", (withdrawn from the ithaca collage libray). "it may be asked why one who is not an expert on lie groups should release such a course for publication. the answer lies partly in the very limited and modest aims of the course; ... 110
int_ijk @tbrunner.bsky.social · 06/10/2026i expect the secdef will find operational necessity in firing yet another snowflake memo ordering all troops to be vaccinated for measles. it is primary season and the secdef has to drive both pudgy beardo (vance) and whispering weirdo (kennedy) over some edges. 000
int_ijk @tbrunner.bsky.social · 06/10/2026the canonical reply to eastern wing nuts who dis the city of angles. note: i was born in west l.a. all the same pueblo. 010
int_ijk @tbrunner.bsky.social · 06/10/2026angelenos everywhere are proud to be identified as trump's expendibles. he knows he'll never win even at mini-golf ever again, and studios will grind out trump crime dramas for the next decade. 000
int_ijk @tbrunner.bsky.social · 06/10/2026beach day, quite foggy. i watched jonah filming and saw his hand, and kept trying to get a snap ... until i got this one. 000
int_ijk @tbrunner.bsky.social · 06/10/2026next saturday night, 8pm los angeles time, the best of joshua tree and the los angeles river in one sitting. a joy for angelenos! 051
Reposted by int_ijkLondon Reed🫘🐸🐸🐸🐸🐸🐸🐸🐸🐸🐸🐸🐸🌟🌟🌟🌟🌟🌟🌟🌟🌟🌟🌟No Kings🌟🌟🌟 @londonreed.bsky.social · 04/10/2026Jack Smith smiling at a concert. It was said he was congenial and happy to be with the crowd. I have never seen him smile. 35866901113
Reposted by int_ijkPapillon Doré @papillondore20.bsky.social · 04/10/2026#MusicChallenge #IsmuasMonthOfMusic Day 5 A Song That Makes You Laugh The Bangles - Walk Like An Egyptian Every time I watch, I laugh at the various people mimicking the silly dance. The lyrics are slightly absurd but I like how the Bangles take the performance seriously. youtu.be/Cv6tuzHUuuk?...youtu.beThe Bangles - Walk Like an Egyptian (Official Video)YouTube video by TheBanglesVEVO 2937830
int_ijk @tbrunner.bsky.social · 05/10/2026jonah and max at the muni plunge today. max is not a fantasy, as he casts a shadow. jonah and i went to the beach yesterday and he shot lots of video. 010
Reposted by int_ijkHoodlum 🇺🇸 @nothoodlum.bsky.social · 04/10/2026Jack Smith at last night’s Power to the People concert, wearing a Springsteen/No Kings shirt. 634162023212
int_ijk @tbrunner.bsky.social · 05/10/2026reading the current secdef's tea leaves ... i entertain the possibility that the secdef, who is useful to potus, is framing the primary, at the expense of the vpotus, who is not. "beardo & weirdo" frame the vpotus & sechhs rather nicely. 000
int_ijk @tbrunner.bsky.social · 04/10/2026gumby never fails to impress. prep for something. dress for success. mom's here to help. 010
int_ijk @tbrunner.bsky.social · 04/10/2026like a good retort, it came to me some while after i first read the secdef's (and presidential candidate) zinger -- no beardos, no weirdos. it came to me with laughter. he wasn't talking to the troops, he was talking to the primary voters. here are beardo and weirdo, 48 hours later. 010
Reposted by int_ijkKatelyn Burns @katelynburns.com · 03/10/2026This is the ad! bsky.app/profile/self... 655862
int_ijk @tbrunner.bsky.social · 03/10/2026the dni made some intelligent noises in the past re: the cyber. given his institutional constraints i'm still curious what his big boy pants see the whole board take on the current trajectories of intentions and capabilities of the frontier labs. i used to think platform was big iron. 000
int_ijk @tbrunner.bsky.social · 01/10/2026at first i thought this was something serious, as in, what purpose does the navy serve in this secdef's siops? then i realized it was just a defense-in-depth announcement, or in civilian speak, an expectation that "cyberdefense" is vaporware. no comitas consequences, just on-site fuel & generators. 000
int_ijk @tbrunner.bsky.social · 01/10/2026a meaningless man. just along for the ride, and some personal status. as american as a sleeping drunk. 000
int_ijk @tbrunner.bsky.social · 01/10/2026my high school german instructor served overseas during the second world war. before demobilization he served here, wearing a white helmet. happy judgement at nuremburg day all! fr.wikipedia.org/wiki/Proc%C3...fr.wikipedia.orgProcès de Nuremberg — Wikipédia 000
int_ijk @tbrunner.bsky.social · 01/10/2026beach day today! left town under grey skies, drove past fog enshrouded reaches of the siuslaw, got to north jetty (still under destruction) and glorious summer broke out. jonah filmed. i watched clouds, birds, and people on and in the river. lovely day and the last covid isolation day, i hope. 000
int_ijk @tbrunner.bsky.social · 30/09/2026and guideline #5. similarity of computational means across published (and non-published) candidate claims. 000
int_ijk @tbrunner.bsky.social · 30/09/2026re: today's Advisory Group on Mathematics and Artificial Intelligence 3pp "Responsible Release of AI-Generated Mathematics" i feel my comment is reflected substantially in guideline #3. computational means and costs. 100