iiinova — where your digital self keeps evolving

Dan Vanderkam

@danvdk.bsky.social

Independent software developer, formerly @sidewalklabs and Google. Author of Effective TypeScript, now in its 2nd edition (May 2024): amzn.to/3UjPrsK

Posts Replies Media

Dan Vanderkam @danvdk.bsky.social · 23/02/2026

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!

010

Dan Vanderkam @danvdk.bsky.social · 24/05/2025

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/

danvk.org

Online Boggle Solver

000

Dan Vanderkam @danvdk.bsky.social · 02/04/2025

Awesome, thanks so much! Feel free to reach out if you have any questions. Or disagree with anything :)

010

Dan Vanderkam @danvdk.bsky.social · 12/03/2025

Oh wow, no! checker.go is a line for line port of checker.ts.

000

Dan Vanderkam @danvdk.bsky.social · 12/03/2025

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?

100

Dan Vanderkam @danvdk.bsky.social · 31/01/2025

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...

github.com

GitHub - danvk/Stanford-CS-242-Programming-Languages: Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens

Repo for Stanford CS 242 Programming Languages Fall 2022 with Prof. Aikens - danvk/Stanford-CS-242-Programming-Languages

000

Dan Vanderkam @danvdk.bsky.social · 31/01/2025

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.

web.stanford.edu

Syllabus | CS242 website

100

Dan Vanderkam @danvdk.bsky.social · 31/01/2025

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...

devblogs.microsoft.com

Announcing TypeScript 5.8 Beta - TypeScript

Today we are excited to announce the availability of TypeScript 5.8 Beta. To get started using the beta, you can get it through npm with the following command: npm install -D typescript@beta Let’s tak...

081