bor0

5 ms·

1.
by bor0 4y ago
> I like an environment that feels sane and logical and where I am not facing loads of incidental complexity along the way You should try my (esoteric) programming language (theorem prover), Budge-TP :) You might find useful my recent wr
2.
by bor0 4y ago
Hey, author here! Thank you for recommending my book. I am always happy when someone else finds my work useful :) > Anyone know if there's a decent way to get a printed copy? I decided to re-publish the book with Apress, and it shou
3.
by bor0 5y ago
It's a good post, but heavily OS dependant. For example, on my Mac: $ ls /dev/null /dev/full ls: /dev/full: No such file or directory /dev/null I guess in theory, you can imitate `&#x2
4.
Re-Inventing the Monad Wheel(bor0.wordpress.com)
1 points by bor0 5y ago|0 comments
5.
Algorithmic Puzzle: Continuous Increasing Subsequences(bor0.wordpress.com)
1 points by bor0 5y ago|1 comments
6.
Capturing Number Theory in Haskell(bor0.wordpress.com)
3 points by bor0 5y ago|0 comments
7.
by bor0 6y ago
Computation has been and is a huge part of my life, and thanks to it I live a decent life with my family. It also helped with self-esteem and other similar things. But love? Love taught me things I couldn't imagine (in a positive way).
8.
Towards Hoare logic for a small imperative language in Haskell(bor0.wordpress.com)
3 points by bor0 6y ago|0 comments
9.
by bor0 6y ago
The whole article builds on the premise that the main point of every programming language is adoption and growth, while for Haskell we have > avoid success at all costs According to that statement, to me it seems that the current "s
10.
Haskell Memoization and Evaluation Model(bor0.wordpress.com)
3 points by bor0 6y ago|0 comments
11.
Proof: One Sunday every 7 days(bor0.wordpress.com)
3 points by bor0 6y ago|0 comments
12.
A simple Constraint Programming implementation(bor0.wordpress.com)
2 points by bor0 6y ago|0 comments
13.
Superliminal Game Overview(bor0.wordpress.com)
1 points by bor0 6y ago|0 comments
14.
by bor0 6y ago
Wow. PEiD, ResHacker, IDA. This brought memories. Same tools seem to be used as it was 15+ years ago.
15.
Proofs and Computation with Trees(bor0.wordpress.com)
2 points by bor0 6y ago|0 comments
16.
by bor0 6y ago
No offence taken! Your first comment was constructive. I am looking forward to make the paper better.
17.
by bor0 6y ago
Hi! Author here. First of all thanks to whoever shared this on HN, it was amazing to see it on the front page :) > but it's not really what it claims to be at all I agree that the content may be interesting (only) to Coq newcomers,
18.
by bor0 6y ago
This is exactly what I did with my first book. It is available for free on Leanpub, but I charge minimum for Kindle/print using Amazon KDP. I just wanted to get my message across and learn something on the way. It also sells relatively
19.
Deriving a Quine in a Lisp(bor0.wordpress.com)
1 points by bor0 6y ago|0 comments
20.
Equational Reasoning in Racket(bor0.wordpress.com)
3 points by bor0 6y ago|0 comments
21.
by bor0 6y ago
https://bor0.wordpress.com I blog about math and programming. It is a random collection but mostly (but not only) functional programming, formal verification.
22.
Encoding probability and random variables in Racket(bor0.wordpress.com)
3 points by bor0 6y ago|0 comments
23.
by bor0 6y ago
TIL about most of this. Thanks for the detailed explanation.
24.
by bor0 6y ago
> we wouldn't want to go full Haskell and avoid success at all costs Can you elaborate on that statement? To me, it implies that going with Haskell avoids success, but I might be missing something. If that really is the implication,
25.
Stay Home(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
26.
by bor0 7y ago
I usually write a book review post on my blog that contains these highlights. Whenever I need to recall something, I am reading my own posts. I guess this is similar to spaced repetition.
27.
Introduction and Formalization of Boolean Algebra(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
28.
GEB: An EGB Overview (Part I)(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
29.
Idea: News Diversity(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments
30.
Formalizing Expresiveness of Line Editors(bor0.wordpress.com)
1 points by bor0 7y ago|0 comments

More ›