Misc playground

In this repository you will find a lot of stuff which I've been practicing throughout the years. I have a bunch of other stuff on my other computers, so as soon as I sort them I will be posting them here.

Here's a list of interesting stuff that I have read or am reading.

Technical books

1. Introducing Software Verification with Dafny Language #
2. Gentle Introduction to Dependent Types with Idris #
3. Introducing Blockchain with Lisp #
4. How To Prove It #
5. Proofs and Concepts #
6. Learn You a Haskell for Great Good! #
7. The Little Schemer #
8. The C Programming Language #
9. The Pragmatic Programmer #
10. Structure and Interpretation of Computer Programs #
11. JavaScript Patterns #
12. Competetive Programmer's Handbook #
13. Software Foundations Vol. 1: Logic #
14. Metamath #
15. Gödel, Escher, Bach #
16. Naive Set Theory #
17. Thinking as Computation #

Tutorials/papers

1. My papers #
2. Win32asm tutorial #
3. DBMS Lecture Notes #
4. Lambda calculus #
5. Prolog #
6. Idris tutorial #
7. McCarthy's LISP #
8. Hoare logic #
9. LambdaPi tutorial #
10. How to write a great research paper #
11. How to write proofs: a quick guide #
12. Mathematics and Faith #
13. Propositions as Types #

Misc. reads

1. A Mathematician's Lament #
2. The Laws of Simplicity #
3. Redesigning Leadership #
4. The Alchemist #
5. Bobby Fischer Teaches Chess #
6. The Art of Learning #
7. The Queen's Gambit #
8. Darkly Dreaming Dexter #
9. Thinking, Fast and Slow #
10. The Lady or the Tiger? #
11. The Gödelian Puzzle Book #
12. What Is the Name of This Book? #
13. On faith, unbelief, and doubt (Metropolitan Benjamin)
14. Spirit, Soul, Body #
15. Philosophy for Everyone #
16. Sophie's World #

Boro Sitnikovski