Andy Wingo

@wingo
2.6K Followers
584 Following
6.7K Posts
https://wingolog.org | a work in progress | niche content | truthiness is couthiness
bloghttps://wingolog.org/
githubhttps://github.com/wingo
bskyhttps://bsky.app/profile/wingolog.org
socialism or barbarismsocialism
old: blog
bold: monograph
"The funniest possible outcome of the AI mandate era is about to be HR departments discovering that 'sincerely held religious belief' under Title VII has a much lower bar than they assumed, and Pope Leo handed every Catholic employee a written excuse" https://www.businessinsider.com/worker-got-religious-exemption-using-ai-at-work-2026-6
She won an exemption from using AI at her tech job. The Pope's remarks could fuel similar appeals.

Legal experts say employers must take AI-related religious objections seriously, as a 2023 ruling raised the bar for denying such accommodations.

Business Insider

@chrisamaphone When the Idris 2 REPL starts, it says "Enjoy yourself!" and I WILL NEVER REMOVE THAT INSTRUCTION. I demand you all have the appropriate amount of fun.

That said, I've never had any success with instructions of the form: "????. Profit." Still working on it.

post your L’s
the nice thing about javascript is that there are so many kinds of scope. truly an embarrassent of riches
For 19 years, GPS satellites have secretly broadcast a “numbers station” in their public signals. We decoded 12M messages: a 2011 flash where 31 of 32 satellites flipped in hours, “ghost” substrings repeating years apart, and a “TEXT” prefix spreading now. https://lsc-pagepro.mydigitalpublication.com/publication/?i=865273&p=62&view=issueViewer

On apprend la mort de Marjane Satrapi, l’autrice de Persepolis, à seulement 56 ans, « morte de tristesse un peu plus d’un an après le décès de Mattias Ripa, son mari et l’amour de sa vie », déclare un communiqué transmis à l’AFP. Appelez la « Liberté », une valeur qu’elle a toujours défendue.

#Politique #Iran #Culture #Art #Deces #Laicite #Liberte #Islam #Religion

I’ve mentioned this before: this is one of the oncoming trains for corp-security. We’ve long failed at least-privilege, but weren’t often punished for it.

Helen in HR (or Bob in accounts) didn’t know what to do with the extra perms they didn’t know they had.

Their agents will.

@wingo This is a very biased answer, but my personal favourite is serialised trees! A bit obscure, but we've been working on this kind of tree representation for a while in the Gibbon project. Our ICFP'21 paper has a nanpoass compiler AST as a case study: https://gibbon-compiler.github.io/public/icfp21.pdf
@wingo not sure if it counts, but I have had a grand ol’ time making IRs out of im::Vector https://docs.rs/im/latest/im/struct.Vector.html
Vector in im - Rust

A persistent vector.