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