mridsole

4 ms·

1. 1.▲
   Scientists use Age of Empires computer game to simulate ant warfare(abc.net.au)

   3 points by mridsole 3y ago|0 comments
2. 2.▲
   by mridsole 4y ago

   Type Theory and Formal Proof: An Introduction A ground up walk-through for using dependent types for formal proof. What I liked about this book is that it's presented more as mathematics than as computer science: you can work through
3. 3.▲
   by mridsole 5y ago

   I've been using Jupyter Book [0] at work to put together a cookbook for a market data analysis package, and am really liking it so far. I'm not a big fan of Jupyter's GUI editors for notebooks (and all the usual issues with .