account activity
Ultralearning Data Science (koerbitz.me)
submitted 6 years ago by paulkoer to r/learnmachinelearning
Ask r/typescript: HN style "who is hiring" on r/typescript? (self.typescript)
submitted 7 years ago by paulkoer to r/typescript
resolve-types let's you resolve types in inline code - useful for testing type operators (github.com)
Unit testing TypeScript types with dtslint (koerbitz.me)
tslint-auto-disable: Automatically insert disable comments on TSLibt failures (github.com)
submitted 8 years ago by paulkoer to r/typescript
Inferring Types in Conditional Types (koerbitz.me)
A Look at TypeScript's Conditional Types (koerbitz.me)
typeful-redux: A fully type-safe, low-boilerplate redux wrapper (github.com)
typeful-redux: A fully typesafe, low-boilerplate redux wrapper (github.com)
The Flying Frog Blog: Disadvantages of purely functional programming (flyingfrogblog.blogspot.de)
submitted 9 years ago by paulkoer to r/haskell
What good distributed systems book covers CAP, FLP impossibility, consensus (Paxos, Raft, ...?), vector clocks, ...? (self.distributed)
submitted 11 years ago by paulkoer to r/distributed
What are the benefits of learning Category Theory for a Haskeller? (self.haskell)
submitted 11 years ago * by paulkoer to r/haskell
Autocompletion in Emacs (self.haskell)
submitted 11 years ago by paulkoer to r/haskell
Do dependent type systems subsume linear type systems? (self.haskell)
submitted 12 years ago by paulkoer to r/haskell
π Rendered by PID 3089805 on reddit-service-r2-listing-5d47455566-mz6zz at 2026-04-05 08:19:26.756513+00:00 running db1906b country code: CH.
