TypeScript and the Curry-Howard Correspondenceelie.rotenberg.io1 points·by elierotenberg·2 tahun yang lalu·0 comments
Show HN: Copy-pastable colllection of TypeScript snippetsgithub.com2 points·by elierotenberg·3 tahun yang lalu·0 comments
Cottage Computer Programming (2003?)atariarchives.org84 points·by elierotenberg·3 tahun yang lalu·11 comments
Show HN: Using ChatGPT to foster kids well-being at schoolrotenberg.io2 points·by elierotenberg·4 tahun yang lalu·1 comments
Show HN: Typed-jest-expect, elegant typings for a more civilized agegithub.com3 points·by elierotenberg·4 tahun yang lalu·1 comments
Show HN: Fastify-zod, type-once, run everywhere (TypeScript/OpenAPI)github.com7 points·by elierotenberg·5 tahun yang lalu·2 comments
TenVer v.10 – The version of your product is and always will be 10github.com3 points·by elierotenberg·5 tahun yang lalu·0 comments