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