bor0

23 ms·

61.
Paperback: Gentle Introduction to Dependent Types with Idris(amazon.com)
2 points by bor0 8y ago|0 comments
62.
by bor0 8y ago
Hacking for sure is different nowadays, but that does not stop anyone from learning and understanding more.
63.
by bor0 8y ago
Let's agree that re-inventing the wheel makes one more experienced, and also that it helps understanding things better. I believe that this distinction is what makes one a good/true programmer, compared to just lego play. Edit: Al
64.
by bor0 8y ago
> Programmers do not need to write much code anymore; all they need to do in most cases is wire together already available components. As if this stops you from re-inventing the wheel in attempt to understand more. Understanding things i
65.
by bor0 8y ago
I also have a job, wife, kids, house, non-tech friends. However, at one point in my life I lived a very "closed" life, sitting in my room by myself and self-learning stuff (hacking Delphi/Pascal, then some Assembly x86, then
66.
Proving length of mapped and filtered lists in Idris(bor0.wordpress.com)
1 points by bor0 8y ago|0 comments
67.
by bor0 8y ago
Learning Idris will definitely alter the way you think about programming and make you a better programmer, even if you don't program in it on a daily basis.
68.
Git Repository of Gentle Introduction to Dependent Types with Idris(github.com)
4 points by bor0 8y ago|0 comments
69.
Simple theorem prover in Racket(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments
70.
by bor0 8y ago
To me, personally, the biggest barrier was lack of a proper introduction with a lot of examples. I try to break this barrier a bit with my upcoming book: Gentle Introduction to Dependent Types with Idris. I am very interested in this area
71.
Gentle Introduction to Dependent Types with Idris(leanpub.com)
3 points by bor0 8y ago|0 comments
72.
Effects of Side effects(bor0.wordpress.com)
3 points by bor0 8y ago|0 comments
73.
Show HN: Scheme-coin with P2P support(github.com)
1 points by bor0 8y ago|0 comments
74.
Creating our own ‘struct’ macro in Racket(bor0.wordpress.com)
3 points by bor0 8y ago|0 comments
75.
Hashtable implementation in C (2017)(github.com)
3 points by bor0 8y ago|0 comments
76.
Simplified example cryptocurrency implementation in Scheme(github.com)
1 points by bor0 8y ago|0 comments
77.
Refactoring using mathematical properties of min(bor0.wordpress.com)
1 points by bor0 8y ago|1 comments
78.
Dafny – programming language for formal specifications(bor0.wordpress.com)
4 points by bor0 8y ago|0 comments
79.
Why Dependent Types matter(bor0.wordpress.com)
1 points by bor0 8y ago|0 comments
80.
by bor0 9y ago
World of Warcraft with TeamSpeak/Ventrillo. However I have stopped playing it almost a decade ago.
81.
Proofs with Idris(bor0.wordpress.com)
4 points by bor0 9y ago|0 comments
82.
Dependent types in typed Racket(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
83.
Idris, dependent types and IO(bor0.wordpress.com)
2 points by bor0 9y ago|0 comments
84.
Type systems and proofs(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments
85.
by bor0 9y ago
Design patterns get obsolete. Programming languages get obsolete. Libraries get obsolete. Mathematics doesn't. Learn CS foundations, logic, proofs to get better at understanding and gain abstraction experience. Edit: books: How to prov
86.
Top 3 applications I mostly use(bor0.wordpress.com)
2 points by bor0 9y ago|0 comments
87.
Associativity of Elvis operator(bor0.wordpress.com)
2 points by bor0 9y ago|0 comments
88.
by bor0 9y ago
As the top voted answer says, proofs are at a very high level compared to programming. Now imagine writing proofs on a very low level (check Metamath) where you work with wff and rewrite rules. It gets as tricky as programming.
89.
Metamath(bor0.wordpress.com)
4 points by bor0 9y ago|0 comments
90.
Calculus of Constructions(bor0.wordpress.com)
1 points by bor0 9y ago|0 comments

More ›