Colin Gordon

484 Followers
1.5K Following
2.3K 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/

Dead Can Dance have released their complete catalogue on Bandcamp

https://deadcandance.bandcamp.com/music

Dead Can Dance

Dead Can Dance are an Anglo-Irish musical collective founded in Melbourne Australia in 1981 by Brendan Perry and Lisa Gerrard.

Dead Can Dance

'There is a growing body of evidence that suggests using AI can undermine the effort required for sustainable, deep learning. This so-called “cognitive offloading” from human to AI is especially risky for younger students as they are still building their basic knowledge and skills.'

Almost 80% of Australian uni students now use AI. This is creating an ‘illusion of competence’

https://theconversation.com/almost-80-of-australian-uni-students-now-use-ai-this-is-creating-an-illusion-of-competence-278413

Almost 80% of Australian uni students now use AI. This is creating an ‘illusion of competence’

AI can provide clear, polished responses. This signals to learners that deep mental engagement is no longer necessary.

The Conversation

Fresh scan: "The UNIX System - a Sun Microsystems Technical Report" (1985)

https://drive.google.com/file/d/1dW6l6cFAiqTKj3bmTulynKQuOHeHMx0u/view?usp=sharing

Some news: the first summer school on Programming Languages, Logic, and Software Security, will be held August 10–14, 2026 in Aarhus, Denmark.

The summer school offers intensive courses by leading researchers covering foundational and applied topics at the intersection of programming languages, formal methods, and software security. It is aimed at PhD students and advanced B.Sc./M.Sc. students active in the areas of programming languages, logic, semantics, and software security.

Dates: August 10–14, 2026
Venue: Aarhus University, Aarhus, Denmark
Webpage: https://conferences.au.dk/pls

Courses and Speakers:

Bas Spitters: The Rocq proof assistant and Gen-AI Tools for Formalization of Mathematics
Lars Birkedal and Amin Timany: Higher-Order Concurrent Separation Logic
Daniel Gratzer: Introduction to Type theory
Aslan Askarov: Language-Based Security
Anders Møller: Program Analysis

PLS Summer School

i really liked this blog post about the macbook neo https://samhenri.gold/blog/20260312-this-is-not-the-computer-for-you/
“This Is Not The Computer For You” · Sam Henri Gold

Sam Henri Gold is a product design engineer building playful, useful software.

Above was a screenshot of an email to me from GitHub Education, reading:

To our educator community,

We want to keep you informed about an upcoming update that will change how GitHub Copilot is packaged and managed for students. 

At GitHub, we believe the next generation of developers should have access to the latest industry technology. That commitment is central to GitHub Education, and it’s why verified students can use GitHub Copilot for free. Today, nearly two million students rely on Copilot to build, learn, and explore new ideas.

As Copilot continues to evolve quickly—with new capabilities, models, and experiences shipping at a rapid pace—and as student usage continues to grow globally, we are making some adjustments to ensure we can continue to provide GitHub Copilot access to students worldwide for free.

We support a global community of students and teachers across thousands of universities and dozens of time zones, so we’re being intentional about how we roll out changes, starting small and validating what works.

What’s changing for students 
Starting today, March 12, 2026, students’ Copilot access will be managed under a new GitHub Copilot Student plan, alongside their existing GitHub Education benefits. Their academic verification status will not change, and there is nothing students need to do to continue using Copilot. They will see that they are on the GitHub Copilot Student plan in the UI; existing premium request unit (PRU) entitlements will remain unchanged.

As part of this transition, however, some premium models—including GPT-5.4, and Claude Opus and Sonnet—will no longer be available for self-selection under the student plan. We know this will be disappointing, but we’re making this change so we can provide a sustainable offering and keep Copilot free and accessible for millions of students around the world. Ensuring long-term, sustainable access for the entire student community means making difficult tradeoffs today.

That said, through Auto mode, students will continue to have access to a powerful set of models from providers such as OpenAI, Anthropic, and Google. We'll keep adding new models and expanding the intelligence that helps match the right model to your task and workflow. We support a global community of students across thousands of universities and dozens of time zones, so we’re being intentional about how we roll out changes. Over the coming weeks, some students may see additional adjustments to available models or usage limits on certain features—the specifics of which we'll be testing with student feedback. We will make sure to share full details and timelines before we ship broader changes.

What’s not changing

GitHub Copilot remains free for verified students as part of GitHub Education.

Verified educators will continue to receive complimentary access to GitHub Copilot Pro.

Looks like the underpricing of these generative "AI" tools to get people hooked might be under strain... Normally verified students get access to all kinds of expensive goodies because companies are hoping to get the students to drive future business by setting their expectations for professional tools.
We’re Training Students To Write Worse To Prove They’re Not Robots, And It’s Pushing Them To Use More AI https://www.techdirt.com/2026/03/06/were-training-students-to-write-worse-to-prove-theyre-not-robots-and-its-pushing-them-to-use-more-ai/ #AI #LLM
We’re Training Students To Write Worse To Prove They’re Not Robots, And It’s Pushing Them To Use More AI

About a year and a half ago, I wrote about my kid’s experience with an AI checker tool that was pre-installed on a school-issued Chromebook. The assignment had been to write an essay about Ku…

Techdirt
1. i want to work on software where the quality matters
2. i think most software needs to work, actually. when's the last time anyone asked a stakeholder "and it's ok if this software doesn't work sometimes, right?" no one would agree with that! everyone wants and deserves working software!
More AI health stories…