I've had a letter from Anthropic about this on my desk for months and I have no idea what to do about it. On some level, I'm flattered that Claude is considering all my advice when it writes TypeScript!
Great article from @okr.bsky.social about a very long-running project of mine. Check out all 1,045 words here www.danvk.org/boggle/
Awesome, thanks so much! Feel free to reach out if you have any questions. Or disagree with anything :)
Oh wow, no! checker.go is a line for line port of checker.ts.
First reaction: Is it April 1 already?
Second reaction: Wow, I have a lot of feelings about this.
Third reaction: Is this what it takes to finally break up checker.ts?
Looks like the latest version of the course switched to Agda! My repo has the old lectures and homework assignments. I found the Lean homework extremely helpful. github.com/danvk/Stanfo...
I learned some Lean last year by working through Stanford's CS 242 homework (web.stanford.edu/class/cs242/...) and I'd like to revisit it. My goal would be able to explain what a "dependent type" is using TypeScript.
Excited to be here! 🦋
And also excited about the new #TypeScript 5.8 beta release. This looks like it's going to be a big one! I'm especially excited that I can forget which library authors have strong feelings about ES modules. devblogs.microsoft.com/typescript/a...
