dan

danabra.mov

22 September 2026 07:11

"proof indigestion" www.youtube.com/watch?v=PZRb...

dan

danabra.mov

21 September 2026 19:36

great guest post by @3blue1brown.com

dan

danabra.mov

13 September 2026 23:30

monads are awesome. apparently i'm pretty late to this

boarders.bsky.social

27 August 2026 18:27

lean is pretty familiar if you have written a functional language (or used functional idioms). They are in the process of porting software foundations to it: github.com/plclub/sf-in... Already it has the first book, and works well for what I tried

dan

danabra.mov

22 August 2026 23:28

i'm formalizing React in Lean (???)