Notices by Andy Wingo (wingo@mastodon.social)

@djb UB on the float deref in the isnan 🤷

@djb fwiw i agree @barubary; to me is same as:
int u = 0x7f987654;
return isnan(*(float*)&u);
which accesses object u via incompatible type. c11 §6.5 paragraph 7.

i have never been able to understand if using unions to pun is well-defined; i always fall back to memcpy :/

@djb @barubary oh that is funny https://godbolt.org/z/jYc5vjene

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