Programming languages professor, kernel hacker, aspiring linguist (syntax & compositional semantics).
Currently figuring out how to combine all of my interests by mechanically translating English into formal specifications of a formally verified OS kernel for RISC-V.
| pronouns | he/him, er/ihn |
| languages | english (native), deutsch (~B2, Ich spreche ein bisschen Deutsch, aber nicht genug für alles zu benutzen), français (<A1, je parle seulement un peut le français), linguae latinae (relearning bit-rotted ~B1) |
| alts | @csgordon and @csgordon |
| homepage | https://csgordon.github.io/ |
Every word of this is perfection.
“For this focus group, conducted shortly before a sustained green glow began emanating from the station’s superlaser array, we spoke with residents who said ...
It's also the sort of thing that makes me wonder about those reports that "X% of new code is from AI." Measuring that always seemed slightly suspicious to me, as someone who spent years reading research papers that mined software engineering data --- is just basically impossible to get really accurate data without instrumenting developer workflows (tools), as anything else depends on careful heuristics.
But counting auto-inserted LLM tags in commit messages, regardless of whether any such tool was involved, is both easy and convenient for executives. Though probably however they measured was likely even more imprecise than that.
the_blackwell_ninja [EST]