Notices by Andy Wingo (wingo@mastodon.social)

@whitequark @prophet @thephd @eniko @rotopenguin very slightly ;) since you can just expand the set of ordering terms to include operator and operands, unspecified order gains you only this dubious optimization at the cost of introducing ambiguous semantics for a class of programs.

racket went for specifying left-right eval order and i think it was the right thing

the way to remember e-cores vs p-cores is that the e cores are very Efficient with regard to time, calculating very quickly, whereas P cores are Parsimonious with Power, consuming very few electrons, of which there is a global shortage as we all know

"Like AWK, Perl, or any shell, Guile can interpret script files." wtf https://www.gnu.org/software/guile/manual/html_node/Guile-Scripting.html

guile's manual is funny in that much of what it has to say responds to concerns that people had in 2010

i guess people are already doing this but i suppose best practice is to submit your own papers to the AI gods and ask what is wrong with them, because that is what reviewer 2 will do anyway; "missing the point as a service"

"confident but wrong" is a very reviewer 2 vibe, so we should not be surprised in the rise of llm use in reviewing paper submissions

catching a poop from my youngest with my bare hand was funny last year, this year's poopsplosion was somewhat disconcerting, but hopefully it will be the last father's day in which i touch poop

it is friday the 13th, post horror

unicode is fun sometimes

interesting writeup on jujutsu from the POV of a magit user https://blog.alarsyo.net/posts/2025/02/on-jujutsu-and-magit/

why is lean implemented in c++

@whitequark well. i do not currently use them. but the agentic / mcp stuff seems to be getting more capable by the week for code things

the state of ai tools seems to be accelerating (getting better faster). this annoys me

tfw you get lucky with the hotel room assignment 💅

equal parts pleased and concerned that i just added assembly open-coding of an allocation hot path, using the codegen library i wrote, for the garbage collector i wrote, in the virtual machine i also wrote 💅

i have two pairs of jeans. they both decide to give out on the same week. pray for me 🙏

a brief lab notebook entry: in which guile no longer uses the bdw-gc api https://wingolog.org/archives/2025/05/15/guile-on-whippet-waypoint-goodbye-bdw-gc

getting verrrrrrrrrry close to excising bdw from guile, only the proverbial last 20% is left

@whitequark lol. lmao

finalise is short for "filer à l'anglaise" and is for when you notice that an object is gone without saying goodbye