bor0

9 ms·

31.
Proving Groupoids with Idris(bor0.wordpress.com)
2 points by bor0 7y ago|0 comments
32.
Freedom of Creativity(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
33.
Tuply Singleton v3 (With Proof)(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
34.
Tuply Singleton v2(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
35.
Tuply Singleton(bor0.wordpress.com)
2 points by bor0 7y ago|0 comments
36.
One plus one equals two(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
37.
Meet Them All(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
38.
Abstraction and Generalization of Objects(bor0.wordpress.com)
2 points by bor0 7y ago|0 comments
39.
Generalized Average(bor0.wordpress.com)
2 points by bor0 7y ago|0 comments
40.
Arithmetic on Algebraic Data Types(bor0.wordpress.com)
3 points by bor0 7y ago|0 comments
41.
Brief Introduction to ML with Gradient Descent(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
42.
Customer-Driven Engineering(bor0.wordpress.com)
3 points by bor0 7y ago|0 comments
43.
Lambda Calculus with Generalized Abstraction(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
44.
Writing a lambda calculus type-checker in Haskell(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments
45.
Writing a lambda calculus evaluator in Haskell(bor0.wordpress.com)
1 points by bor0 8y ago|0 comments
46.
Writing a simple evaluator and type-checker in Haskell(bor0.wordpress.com)
126 points by bor0 8y ago|9 comments
47.
Self-publishing my first book(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments
48.
CoC Base Terms – Type and Prop(bor0.wordpress.com)
1 points by bor0 8y ago|0 comments
49.
by bor0 8y ago
I've written my first book entirely in Vim. Using Leanpub's support for Markdown+LaTeX was a very pleasant experience.
50.
by bor0 8y ago
Exactly why I switched from Xubuntu to Mac 5 years ago. I just want to do my work, not fix my system after every minor upgrade.
51.
by bor0 8y ago
Contributions to open source software. Knowing that the code I wrote runs on millions of machines feels great. Also, another favourite project of mine is my book, written in Markdown+LaTeX and hosted with Git. Writing and editing experience
52.
Dependently Typed Lambda Calculus in Haskell(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments
53.
by bor0 8y ago
> The lack of syntax makes python a great language for prototyping And I thought Lisp had a lack of syntax.
54.
Proving Monoids with Idris(bor0.wordpress.com)
3 points by bor0 8y ago|0 comments
55.
Partial orders in Idris(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments
56.
Mathematical structure of `git-bisect`(bor0.wordpress.com)
1 points by bor0 8y ago|0 comments
57.
by bor0 8y ago
Get married and have kids. They are my biggest inspiration for all successes that I have.
58.
Lambda calculus implementation in Scheme(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments
59.
by bor0 8y ago
This is an excellent answer! With the ever-changing frameworks and libraries, I couldn't agree more. Rel: https://news.ycombinator.com/item?id=16352336
60.
Closed-expression of a sum with proof in Idris(bor0.wordpress.com)
2 points by bor0 8y ago|0 comments

More ›