Delighted to hear that seL4 will be open source! It will be a huge asset to trustworthy computing.
Related Posts
Delighted to see that Typescript 7 is moving to conventional LSP for its IDE services!
https://devblogs.microsoft.com/typescript/progress-on-typescript-7-december-2025/#resetting-language-service-issues
I have a bunch of open tasks on my GH repos, so I tried asking ChatGPT and Claude to write a card-based web UI that showed some random open issues.
ChatGPT gave me something that worked, but the Claude mock-ups look better (and render inline!).
What are the most popular languages that have used an AST walker for their implementation?
I know Ruby used to do this, but there must be others.
(I'm interested in the lowest PL speed that users will tolerate if you have awesome features.)