bor0

10 ms·

91.
Coq to Haskell(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
92.
MU puzzle(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
93.
Intuitionistic logic(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
94.
Curry–Howard correspondence(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
95.
by bor0 9y ago
Very good suggestion. Here's is a similar but free book: http://people.uleth.ca/~dave.morris/books/proofs+concepts.ht...
96.
Code checklist(bor0.wordpress.com)
2 points by bor0 9y ago|0 comments
97.
Deriving derivative(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
98.
Researching automated theorem provers(bor0.wordpress.com)
3 points by bor0 9y ago|0 comments
99.
Relation between strict and non-strict identities(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
100.
Abstractions with Set Theory(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
101.
by bor0 9y ago
In around 2001 I started reverse-engineering games on the PC before having any programming skills (later moved to programming). I remember MadWizard's assembly tutorial[0] being very helpful at the time. [0] http://www.madwi
102.
by bor0 9y ago
"How to Prove It" by D. Velleman. Introduces logical reasoning, set theory, functions, relations, and proofs. It is the base for understanding any mathematical subject.
103.
Soft skills(bor0.wordpress.com)
2 points by bor0 9y ago|0 comments
104.
Predicting values with linear regression(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
105.
by bor0 9y ago
Not really. I've only done some Haskell and finishing "How to prove it". Doing proofs for hobby but I'll check those tools. Thanks!
106.
Correctness on iterative and recursive processes(bor0.wordpress.com)
2 points by bor0 9y ago|3 comments