Category Theory Illustrated: From Sets to Categoriesabuseofnotation.github.io1 points·by boris_m·26 วันที่ผ่านมา·1 comments
Category Theory Illustrated – Monoidsabuseofnotation.github.io2 points·by boris_m·เดือนที่แล้ว·0 comments
A case against Boolean logicabuseofnotation.github.io68 points·by boris_m·2 เดือนที่ผ่านมา·93 comments
Vanilla FP: The no-framework framework for building component-based UIsgithub.com2 points·by boris_m·2 เดือนที่ผ่านมา·0 comments
Category Theory Illustrated – Ordersabuseofnotation.github.io252 points·by boris_m·3 เดือนที่ผ่านมา·61 comments
Vanilla-FP, the no-framework framework for building purely-functional UIgithub.com2 points·by boris_m·3 เดือนที่ผ่านมา·0 comments
Category Theory Illustrated – Logicabuseofnotation.github.io4 points·by boris_m·3 เดือนที่ผ่านมา·0 comments
Category Theory Illustrated – Typesabuseofnotation.github.io117 points·by boris_m·3 เดือนที่ผ่านมา·22 comments
Category Theory Illustrated – Typesabuseofnotation.github.io5 points·by boris_m·3 เดือนที่ผ่านมา·1 comments
Category Theory Illustrated – Typesabuseofnotation.github.io2 points·by boris_m·4 เดือนที่ผ่านมา·0 comments
The case against boolean logicabuseofnotation.github.io5 points·by boris_m·8 เดือนที่ผ่านมา·0 comments
The case against boolean logicabuseofnotation.github.io3 points·by boris_m·9 เดือนที่ผ่านมา·0 comments
Show HN: Jekyll Book Boilerplate – A boilerplate for self-publishing booksgithub.com2 points·by boris_m·9 เดือนที่ผ่านมา·0 comments
Category Theory Illustrated – Natural Transformationsabuseofnotation.github.io217 points·by boris_m·10 เดือนที่ผ่านมา·83 comments