Why doesn't TypeScript properly type Object.keys?(alexharri.com)

210 points by alexharri 3 years ago | 124 comments

Show HN: Kysely, a type-safe SQL query builder for TypeScript(kysely.dev)

80 points by fernandohur 3 years ago | 41 comments

TypeChat(microsoft.github.io)

482 points by DanRosenwasser 3 years ago | 145 comments

Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.

`satisfies` is my favorite TypeScript keyword (2024)(sjer.red)

197 points by surprisetalk 11 months ago | 190 comments

Type-safe HTML templating in Zig(lalinsky.com)

236 points by lukaslalinsky 14 days ago | 84 comments

Blog post by Lukáš Lalinský describing an approach to type-safe HTML templating in the Zig programming language for web development.

I write type-safe generic data structures in C(danielchasehooper.com)

395 points by todsacerdoti 1 year ago | 162 comments

Daniel Hooper's blog post explaining a technique for writing type-safe generic data structures in C using unions to carry type information.