Colin Gordon

498 Followers
1.5K Following
2.4K Posts

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.

      

pronounshe/him, er/ihn
languagesenglish (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
homepagehttps://csgordon.github.io/

RE: https://mastodon.online/@mullvadnet/116822264297340100

their co-CEO single handedly funded a radical nationalist forced deportation party.

there is zero, and I mean ZERO, chance any CEO funding a major forced deportation platform (identical to Hitler platform pre-1941) is going to protect speech and privacy.

incompatible. any company pretending they can "co-exist" privacy with forced deportations is telling you the company can not be trusted.

never. this is complete bullshit.

get your refund ASAP and cancel.

“Luckily, I’m told that frontier models have surpassed PhD-level intelligence in the summer of 2025. Most of the books in question were published mid-2026 and the artwork points to a flagship model from a major US-based lab. So, in all likelihood, there’s nothing to worry a—”

https://lcamtuf.substack.com/p/ai-childrens-books-body-horror-edition

AI children's books, body horror edition

Last week, I posted a visual demonstration of the sameness of AI-generated content.

lcamtuf’s thing

New version of my #LuaLaTeX style "minos".

Git repository: https://codeberg.org/ajcain/minos

Download documentation or source .zip/.tar.gz: https://codeberg.org/ajcain/minos/releases

- Many improvements related to creating #TaggedPDF, notably using template code for theorems and sectioning when \DocumentMetadata is used.

- Various new/adjusted/fixed kerning customizations.

#typography #TeXLaTeΧ

Something something expert systems...
https://neopaquita.es/@ehproque/116812666725541623
Neo Ehproque (@[email protected])

Attached: 1 image @[email protected] @[email protected] @[email protected] sounds like that wasn't the only thing it was failing to do

Neo Paquita
@dev or maybe just time to invest in a good espresso machine?
@liamoc it seems really cool. I might not jump to that now but I'm definitely going to keep an eye on it
For others: https://tangled.org/
Tangled · The next-generation social coding platform

The next-generation social coding platform.

Tangled

@sree @lindsey I've always wondered about this. I thought most faculty IDs have no expiration since, you know, the idea is if you do the job well it's indefinite.

But also, have they never heard of Photoshop? Even before the latest generation of image manipulation, it was never hard to fudge an expiration date in a photo of an ID card. I guess some schools have a photo background that would make a manual edit harder, but ours is just a big yellow patch between blue stripes, and the university branding page is pretty specific and the exact shades of yellow and blue

@sree @lindsey it does not, I have multiple institutional emails associated with my account (and verified). My education benefits also lapsed, though I didn't think pages was tied to that.

I actually just submitted my reverification stuff this morning... in the past they didn't accept my faculty ID because it doesn't have an expiration date on it 🤷 so I usually just keep submitting screenshots of my faculty profile page (including URL) and after 2-3 tries I get somebody who accepts it 🤣

Well I've been needing to migrate off GitHub pages for a long while and it keeps getting preempted. But apparently GitHub has decided my GitHub pages should disappear, despite me not changing anything for a couple months.

Recommendations? Have folks been happy with codeberg, sourcehut, others for this purpose (and for git hosting in general)?

who's out there using proof assistants in conjunction with disability assistive tools (screen readers, voice control, custom input devices, etc)? i want to know what your setup and experience is like. (boosts welcome; right now this is just a curiosity and not a research project)