Notices by Andy Wingo (wingo@mastodon.social), page 2

concept: a paper that has one section, “related work”

good morning

@whitequark not sure tbh! i suspect google / deep sleep but i really don't know

just received my first ai-generated security-sensitive bug. it was great: report was spot on and well-described, included a POC also

happy chase-lev patent expiry day to all those who celebrate!!!!!!!!! please enjoy a straightforward implementation in C https://github.com/wingo/whippet/blob/main/src/shared-worklist.h

new bloggery, in which our protagonist dreams of laurels https://wingolog.org/archives/2025/12/17/in-which-our-protagonist-dreams-of-laurels

@whitequark maybe it is fine, something about the documentation smells like cubicle tho

linux is a mess, but at least our rickety edifice is not built on this garbage https://learn.microsoft.com/en-us/windows/win32/api/winternl/nf-winternl-ntcreatefile

@mwk it does not make one want to write rust :/

@whitequark @dpk i am more interested in gc, i just used your toolchain as a test (as it was in the w2c2 repository)

just saw someone argue that llvm cannot be used as backend for a wasm compiler that processes untrusted input, because "a maliciously crafted C, Rust or bitcode input file can cause arbitrary code to execute in LLVM" (https://llvm.org/docs/Security.html#what-is-considered-a-security-issue)

what do we think, chat

@andrewrk but this is wild, there’s nothing different about a compiler here than, like, notepad reading untrusted txt files; seems like quite the capitulation

@cwebber @bremner lol you would so do that to me ;)

i never thought i would have nasal demons in my code, sobbed the compiler developer who voted for the introduction of nasal demons into people's code

@whitequark lol not like i really knew it, it’s like i learn what lean is but don’t actually code in it; it is funny which passing acquaintances of yore the universe chooses to resurface

for pl people of a certain age, we all dallied with rust 10 years ago, but now that we have to work in it, it’s awkward but we make it work

mastodon should fix the bug where typos are invisible in the editing box but obvious on the timeline

in these days of coding agents and what-not, i often think of gerald sussman's comment that one no longer constructs systems from known parts, that instead one does basic science on the functionality of foreign libraries (https://wingolog.org/archives/2009/03/24/international-lisp-conference-day-two); he was right then and i hate it as much as i did 16 years ago

it is funny that calling conventions are not a solved thing in the year of our lord twenty twenty five: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119628, https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118328

it has been a while, but whoo, new bloggery: "wastrel, a profligate implementation of webassembly" https://wingolog.org/archives/2025/10/30/wastrel-a-profligate-implementation-of-webassembly