2TypeScript and the Curry-Howard Correspondence (opens in new tab)(elie.rotenberg.io)1elierotenberg1y ago0Save
3Show HN: Copy-pastable colllection of TypeScript snippets (opens in new tab)(github.com)GitHub2elierotenberg2y ago0Save
4Cottage Computer Programming (2003?) (opens in new tab)(atariarchives.org)84elierotenberg2y ago11Save
5Show HN: Using ChatGPT to foster kids well-being at school (opens in new tab)(rotenberg.io)2elierotenberg3y ago1Save
6Show HN: Typed-jest-expect, elegant typings for a more civilized age (opens in new tab)(github.com)GitHub3elierotenberg4y ago1Save
7Show HN: Fastify-zod, type-once, run everywhere (TypeScript/OpenAPI) (opens in new tab)(github.com)GitHub7elierotenberg4y ago2Save
8TenVer v.10 – The version of your product is and always will be 10 (opens in new tab)(github.com)GitHub3elierotenberg5y ago0Save
10Typed-react-openapi: Idiomatic, strongly typed React OpenAPI integration (opens in new tab)(github.com)GitHub5elierotenberg5y ago0Save
11Typed-assert: A typesafe TS assertion library (opens in new tab)(github.com)GitHub4elierotenberg6y ago0Save
12Show HN: UseLess, a Collection of Useless Hooks (opens in new tab)(github.com)GitHub2elierotenberg6y ago0Save
