Joe Gibbs Politz @joepolitz.bsky.social · 06/05/2026What do you do for *commit messages* on work authored with agents? Write them yourself like nothing's changed? Agent drafts and you edit? Curious where folks have landed I've converged on a format where I let Claude do its thing but add a "Joe says" at the top. Example: github.com/brownplt/pyr... 040
Joe Gibbs Politz @joepolitz.bsky.social · 02/05/2026With multiple sub-agents running algorithmic improvements checked against various oracles and verifiers and fuzzers, you too can get results like these in an evening of work. 160
Joe Gibbs Politz @joepolitz.bsky.social · 09/03/2026I'm enjoying the open-ended exit slip questions in my course this quarter 030
Joe Gibbs Politz @joepolitz.bsky.social · 18/01/2026Should just do Captain Teach again but mix agent code in. dl.acm.org/doi/pdf/10.1... 111
Joe Gibbs Politz @joepolitz.bsky.social · 01/12/2025I need to know more. Melee, Brawl, Ultimate, OG? Which stages, stock counts, timer? As written this is way underspecified and not reproducible. www.frontiersin.org/journals/imm... 010
Joe Gibbs Politz @joepolitz.bsky.social · 18/11/2025I was pretty pleased with this program I used as a motivation for understanding virtual memory. 2101
Joe Gibbs Politz @joepolitz.bsky.social · 05/09/2025I think it's possible to get there, someone is going to have to mind-meld with the runtime and bun to do it. I have another experiment going to see if I can get github.com/Automattic/n... to be bundled into the binary (which is how the image library works). Currently that's ending somewhat sadly. 100
Joe Gibbs Politz @joepolitz.bsky.social · 04/09/2025And just to confirm, a simple js program that just logs does produce a binary with sensible behavior using the same command, so I don't think I'm goofing on the basic thing to try :-) 100
Joe Gibbs Politz @joepolitz.bsky.social · 04/09/2025At least on my system, the doing the most straightforward thing has no error messages but creates a binary that doesn't produce any output at the terminal (running the compiler blob with `node` and no arguments should print the usage). 100
Joe Gibbs Politz @joepolitz.bsky.social · 03/09/2025Huh. OK yeah so the issue is: - we symlink node_modules in .pyret to pyret-npm/node_modules with `const nodeModulesPath = path.join(__dirname, "node_modules");` - but on `yarn global add` it flattens out the dependencies of `pyret-npm` into the node_modules above this This is fixable I think. 110
Joe Gibbs Politz @joepolitz.bsky.social · 14/08/2025Working on two versions of my spring course offering. 1100
Joe Gibbs Politz @joepolitz.bsky.social · 08/07/2025Probably dumb/ignorant language questions: Why is the gap between Rho and Sigma, and not between Pi and Rho? I could see wanting to keep some latin <-> greek-ish correspondence, but Rho is more like R than Q, right? 120
Joe Gibbs Politz @joepolitz.bsky.social · 10/06/2025Teaching large classes running up against real engineering limits! (I don't really need to be “watching” all student repos from 2017. But I usually do “watch” the few hundred for an active class!) 040
Joe Gibbs Politz @joepolitz.bsky.social · 16/05/2025👀 Not sure if Copilot has learned from me, my workspace, or all developers that comments are likely to begin with “NOTE(joe): this is a bit of hack...” I'll just assume this isn't me-specific and carry on. 040
Joe Gibbs Politz @joepolitz.bsky.social · 22/04/2025As far as I can tell, --umdGlobalName option has been entirely hallucinated by Google's search results here. I can't find any reference to it in any official issue or documentation, and the discussion of the relevant issue doesn't mention it: github.com/microsoft/Ty... 010
Joe Gibbs Politz @joepolitz.bsky.social · 15/01/2025I haven't published in math journals, but I had a phase in graduate school where I tried to get \skull into all my papers in semantically meaningful ways. These are published in real computing journals/conference proceedings. 140
Joe Gibbs Politz @joepolitz.bsky.social · 08/01/2025I really liked the lecture so I will indulge in a screenshot 010
Joe Gibbs Politz @joepolitz.bsky.social · 04/01/2025I think they could be compiled more efficiently to never need to generate a function body/call. More analysis can avoid the overhead, but it’s more analysis. adam.chlipala.net/mlcomp/#:~:t.... 160
Joe Gibbs Politz @joepolitz.bsky.social · 11/12/2024Anyone with an 18mo who hasn’t experienced Christmas yet want this. 100
Joe Gibbs Politz @joepolitz.bsky.social · 28/11/2024Got some family photos taken, the important shots came out OK. 030
Joe Gibbs Politz @joepolitz.bsky.social · 25/11/2024Just to be super concrete, here's the day 1 handout for the most recent offering. The concepts are parsing (to an AST), (generating) assembly, linking, and running. The corresponding assignment is ucsd-compilers-s23.github.io/week1/index.... 241
Joe Gibbs Politz @joepolitz.bsky.social · 09/03/2024I did a perfect datatype design – the result: 010
Joe Gibbs Politz @joepolitz.bsky.social · 06/02/2024I may or may not have described this as “like some quantum shit” in lecture yesterday. 010
Joe Gibbs Politz @joepolitz.bsky.social · 05/02/2024This lecture, which I did very little prep for after having the idea a little late, ended up being great. “How many files are there” and “how many lines of code are there” and “which languages/file extensions are in use” are all awesome, first-pass questions that students jumped on immediately. 131
Joe Gibbs Politz @joepolitz.bsky.social · 22/01/2024Oh and this was the prompt at the top of the page. (John Regehr is cited on the front as the source for the definitions.) 010
Joe Gibbs Politz @joepolitz.bsky.social · 22/01/2024I lectured about asking good questions today (in the spirit of debugging) and I am far too proud of my made up student names. 131
Joe Gibbs Politz @joepolitz.bsky.social · 12/01/2024Sanderson's first law gives an account of the spectrum. It's not that magic *must* be explained. It suggests that magic as a solution to characters' problems is satisfying in proportion to how well the reader understands how it works. www.brandonsanderson.com/sandersons-f.... 100
Joe Gibbs Politz @joepolitz.bsky.social · 10/01/2024Me to students: It's fine to use online resources, but go back and understand what you did from first principles. Me on my projects: 030
Joe Gibbs Politz @joepolitz.bsky.social · 02/12/2023I’m going to be a Professor of Teaching! (As opposed to teaching professor [working title as provided by APM; formal title Lecturer with Security of Employment]) Not nearly as big a deal as the 2018 update (sabbatical!) but a nice formalization for teaching faculty at UCs. 130
Joe Gibbs Politz @joepolitz.bsky.social · 25/10/2023Wrote the first three and tried to drag to autocomplete 🤦🏻♂️ 130
Joe Gibbs Politz @joepolitz.bsky.social · 12/10/2023Wow Github reports some parse errors right in the browser. I actually struggled to catch this one on my own because the static site builder just *ignored* the file with bad YAML rather than erroring, and this little in-repo warning saved me. 000
Joe Gibbs Politz @joepolitz.bsky.social · 11/10/2023Handout for my TA-training class today with made-up-but-plausible message board posts. How do you respond? What do you think about when replying on message boards? I think all instructors deal with this, but I don't talk about it much unless co-teaching. 030
![A program listing
1 #include <unistd.h>
2 #include <stdio.h>
3 #include <stdlib.h>
4 #include <sys/wait.h>
5
6 int main() {
7 int vals[] = { 1, 2, 3};
8 int pid = fork();
9
10 if(pid) {
11 printf("[parent] %p\n", &vals);
12 wait(NULL);
13 printf("[parent] %p %d\n", &vals, vals[0]); // will this print 9999?
14 }
15 else {
16 printf("[child] %p\n", &vals); // will this print the same as line 11?
17 vals[0] = 9999;
18 printf("[child] %p %d\n", &vals, vals[0]);
19 }
20 }
21
22 // Possibilities:
23
24 /*
25 A Different address, parent prints 9999
26 B Different address, parent prints 1
27 C Same address, parent prints 9999
28 D Same address, parent prints 1
29 */](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:j6gtfm6knf2k7vxpufyf27uc/bafkreierdqecxbf24fphfig7l4uni7mvodablqsb4opkckpdzqujn5ldom)
![Lecture handout.
These are a few commonly-used commands. There are lots more! We could fill pages with them
(examples of find, wc, grep, output redirection)
Bluesky, also known as Bluesky Social, is a microblogging social platform and a public benefit corporation. The service is focused on microblogging, and has been called "Twitter-like". Bluesky Social was made open source under the MIT license in May 2023.[27]
This is a big codebase! Hundreds of files.
What questions could we ask that we can answer with these commands?](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:j6gtfm6knf2k7vxpufyf27uc/bafkreibisjl7klxox52nbn3jdpqtjxhdmwtkoslcxe6ljhboysppvs3ipy)
