Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/bor0/misc

Misc playground and random stuff
https://github.com/bor0/misc

assembly books c coq haskell idris javascript playground scheme

Last synced: about 13 hours ago
JSON representation

Misc playground and random stuff

Awesome Lists containing this project

README 

        
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 [#](https://www.amazon.com/dp/1484279778)

1. Gentle Introduction to Dependent Types with Idris [#](https://www.amazon.com/dp/1723139416)

1. Introducing Blockchain with Lisp [#](https://www.amazon.com/dp/1484269683)

1. How To Prove It [#](https://www.amazon.com/dp/1108439535)

1. Proofs and Concepts [#](http://people.uleth.ca/~dave.morris/books/proofs+concepts.html)

1. Learn You a Haskell for Great Good! [#](https://www.amazon.com/dp/1593272839)

1. The Little Schemer [#](https://www.amazon.com/dp/0262560992)

1. The C Programming Language [#](https://www.amazon.com/dp/0131103628)

1. The Pragmatic Programmer [#](https://www.amazon.com/dp/020161622X)

1. Structure and Interpretation of Computer Programs [#](https://www.amazon.com/dp/0262510871)

1. JavaScript Patterns [#](https://www.amazon.com/dp/0596806752)

1. Competetive Programmer's Handbook [#](https://www.amazon.com/dp/3319725467)

1. Software Foundations Vol. 1: Logic [#](https://softwarefoundations.cis.upenn.edu/lf-current/toc.html)

1. Metamath [#](https://www.amazon.com/dp/1411637240)

1. Gödel, Escher, Bach [#](https://www.amazon.com/dp/0465026567)

1. Naive Set Theory [#](https://www.amazon.com/dp/1614271313)

1. Thinking as Computation [#](https://www.amazon.com/dp/0262016990)



# Tutorials/papers



1. My papers [#](https://scholar.google.com/citations?user=lqCxESMAAAAJ)

1. Win32asm tutorial [#](http://www.madwizard.org/download/tutors/win32asmtutorial.zip)

1. DBMS Lecture Notes [#](http://www.cs.sfu.ca/CourseCentral/354/zaiane/material/notes/contents.html)

1. Lambda calculus [#](https://en.wikipedia.org/wiki/Lambda__calculus)

1. Prolog [#](https://staff.science.uva.nl/u.endriss/teaching/prolog/prolog.pdf)

1. Idris tutorial [#](http://docs.idris-lang.org/en/latest/tutorial)

1. McCarthy's LISP [#](http://www-formal.stanford.edu/jmc/recursive.pdf)

1. Hoare logic [#](https://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf)

1. LambdaPi tutorial [#](https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf)

1. How to write a great research paper [#](https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/How-to-write-a-great-research-paper.pdf)

1. How to write proofs: a quick guide [#](https://deopurkar.github.io/teaching/algebra1/cheng.pdf)

1. Mathematics and Faith [#](https://web.math.princeton.edu/~nelson/papers/faith.pdf)

1. Propositions as Types [#](http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf)



# Misc. reads



1. A Mathematician's Lament [#](https://www.maa.org/external_archive/devlin/LockhartsLament.pdf)

1. The Laws of Simplicity [#](https://www.amazon.com/dp/0262134721)

1. Redesigning Leadership [#](https://www.amazon.com/dp/0262015889)

1. The Alchemist [#](https://www.amazon.com/dp/0061122416)

1. Bobby Fischer Teaches Chess [#](https://www.amazon.com/dp/0553263153)

1. The Art of Learning [#](https://www.amazon.com/dp/0743277465)

1. The Queen's Gambit [#](https://www.amazon.com/dp/1400030609)

1. Darkly Dreaming Dexter [#](https://www.amazon.com/dp/0307277887)

1. Thinking, Fast and Slow [#](https://www.amazon.com/dp/0374533555)

1. The Lady or the Tiger? [#](https://www.amazon.com/dp/048647027X)

1. The Gödelian Puzzle Book [#](https://www.amazon.com/dp/0486497054)

1. What Is the Name of This Book? [#](https://www.amazon.com/dp/0486481980)

1. On faith, unbelief, and doubt (Metropolitan Benjamin)

1. Spirit, Soul, Body [#](https://www.amazon.com/dp/9079889431)

1. Philosophy for Everyone [#](https://www.amazon.com/dp/1138672947)

1. Sophie's World [#](https://www.amazon.com/dp/0374530718)



Boro Sitnikovski