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/

“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

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)

“If you lead engineers and believe culture is ‘soft,’ this book will disabuse you of that notion quickly. Psychological safety, learning, and collaboration aren’t perks, they are infrastructure. Ignore them and your systems will fail, slowly or catastrophically.”

- Scott Hanselman, VP of Developer Community, Microsoft

🔥🔥🔥

https://www.drcathicks.com/#book

Dr. Cat Hicks

Leading the science of software success

drcathicks
You know, aside from a few specific albums I've listened to obsessively over the years (several NIN albums, Pink Floyd's Animals, some Mark Lanegan albums), I don't think there are many I've gotten as much out of as the Warped Tour 2003 (2 CD) compilation.
Wow, just did my first #FreeBSD pkgbase upgrade (to 15.1) and wow that's a lot smoother than the old process.
Discussing AI/LLM stuff with some friends made me realize something. I do like computers and programming. I like the process of understanding how they work and how to make them do what I want them to do. The LLM stuff makes that process worse and more frustrating. People that use them make collaboration less fun. This is another reason why I hate that stuff, even if it worked 100% perfectly (which it does not) I would not want to use it.

RE: https://mastodon.social/@OpenMediaOrg/116760366128760193

"I have nothing to hide" said the person who had no idea that in a few months they'd be sheltering a refugee in their attic.

"I have nothing to hide" said the person who didn't realize their emails with their lawyer would be seized and scrutinized.

"I have nothing to hide" says the person who has no friends who lived in Eastern Europe in the 1980s.

"I have nothing to hide" says the person who doesn't know their ex from college who was a little stalkerey still searches the darkweb for them.

"I have nothing to hide" says the person who thinks that overreach will stop at this bill.

#CDNPoli #Canada #Politics #privacy #billC22