Sign in

int_ijk

@tbrunner.bsky.social
242 followers 255 following 4.3K posts

irl i provide care to dependent adults and read algebra, logic, & code. berkeley, maine, ithaca, eugene. nominal vet (usnr '71-73), nps, hac, sri alum email: tbrunner@uoregon.edu commandeer pronouns: thee/thou #mathsky #autism

PostsRepliesMedia
int_ijk @tbrunner.bsky.social · 7h
the 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 · 16h
not particularly french.
000
int_ijk @tbrunner.bsky.social · 18h
found 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_ijk
Hull @hull8435.bsky.social · 07/10/2026
Claude, 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
int_ijk @tbrunner.bsky.social · 19h
nice writing. what did you do before blusky?
110
Reposted by int_ijk
Tina Kotek @tinakotek.bsky.social · 19h
I 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_ijk
bryan newbold @bnewbold.net · 07/10/2026
ah damn, RIP Margaret Hamilton. she took safety-critical software engineering seriously, and got people to the moon and back. news.mit.edu/2026/margare...
old photos of a woman (Margaret Hamilton) standing next to a tall stack of books (printouts of Apollo space mission software source code)
99138754607
int_ijk @tbrunner.bsky.social · 20h
why 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 · 20h
i'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_ijk
Butlerian Jihadist of House Dornick @shimminykricket.blacksky.app · 21h
Harvard 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/2026
and 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/2026
totally surprised, and no longer puzzled by the occasional brit ref. excellent work young ringwiss!
000
int_ijk @tbrunner.bsky.social · 07/10/2026
it runs to 121pp.
000
int_ijk @tbrunner.bsky.social · 06/10/2026
not 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/2026
and 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/2026
today'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/2026
000
int_ijk @tbrunner.bsky.social · 06/10/2026
i 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
Reposted by int_ijk
David Roberts @volts.wtf · 05/10/2026
Holy shit.
697259418557
int_ijk @tbrunner.bsky.social · 06/10/2026
the 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/2026
angelenos 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/2026
beach 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/2026
next 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_ijk
London Reed🫘🐸🐸🐸🐸🐸🐸🐸🐸🐸🐸🐸🐸🌟🌟🌟🌟🌟🌟🌟🌟🌟🌟🌟No Kings🌟🌟🌟 @londonreed.bsky.social · 04/10/2026
Jack 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
int_ijk @tbrunner.bsky.social · 06/10/2026
tales from the other side.
000
Reposted by int_ijk
Papillon 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.be
The Bangles - Walk Like an Egyptian (Official Video)
YouTube video by TheBanglesVEVO
2937830
int_ijk @tbrunner.bsky.social · 05/10/2026
nicely done!
010
int_ijk @tbrunner.bsky.social · 05/10/2026
jonah 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_ijk
Hoodlum 🇺🇸 @nothoodlum.bsky.social · 04/10/2026
Jack Smith at last night’s Power to the People concert, wearing a Springsteen/No Kings shirt.
634162023212
int_ijk @tbrunner.bsky.social · 05/10/2026
reading 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/2026
gumby never fails to impress. prep for something. dress for success. mom's here to help.
010
int_ijk @tbrunner.bsky.social · 04/10/2026
like 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
int_ijk @tbrunner.bsky.social · 04/10/2026
lovely!
010
Reposted by int_ijk
Katelyn Burns @katelynburns.com · 03/10/2026
This is the ad! bsky.app/profile/self...
655862
int_ijk @tbrunner.bsky.social · 03/10/2026
the 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 · 02/10/2026
lovely to see curtilage in florida pleadings.
000
int_ijk @tbrunner.bsky.social · 02/10/2026
note to past self: take the fireman job.
010
int_ijk @tbrunner.bsky.social · 02/10/2026
i'm holding out for honey sapiens.
010
int_ijk @tbrunner.bsky.social · 01/10/2026
you're certain of that?
000
int_ijk @tbrunner.bsky.social · 01/10/2026
i'm a.-i.-nile-a-tion prepared!
000
int_ijk @tbrunner.bsky.social · 01/10/2026
at 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/2026
a 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/2026
my 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.org
Procès de Nuremberg — Wikipédia
000
int_ijk @tbrunner.bsky.social · 01/10/2026
doge, part deux.
0130
int_ijk @tbrunner.bsky.social · 01/10/2026
beach 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/2026
@naddington.bsky.social -- rings first.
000
int_ijk @tbrunner.bsky.social · 30/09/2026
@mbwilliams.bsky.social -- grist for some unnamd mill.
000
int_ijk @tbrunner.bsky.social · 30/09/2026
and guideline #5. similarity of computational means across published (and non-published) candidate claims.
000
int_ijk @tbrunner.bsky.social · 30/09/2026
re: 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