|
|
The Wabbit OneI am a software developer interested in functional programming, reverse engineering, type theory, category theory, machine learning. |
Posts
- Recursion schemes
- Typeclasses, Propositions, Data types
- Handling function partiality
- Ramblings about Void
- Software testing
- Variance
- Scala's Equality operator considered awful
- Free theorems.
- Finance - Opportunity Cost
- Personal Information Privacy Management
- Logging
- Any is a final object
- Counting type inhabitants
- Why identity of indiscernibles?
- Monoidal Hashing
- Food analytics
- Aluffi Notes
- Python Generator DSLs