boris_m

5 ms·

1.
It's not the end of programming(mathstodon.xyz)
49 points by boris_m 21d ago|89 comments
2.
Category Theory Illustrated: From Sets to Categories(abuseofnotation.github.io)
1 points by boris_m 3mo ago|1 comments
3.
Category Theory Illustrated – Monoids(abuseofnotation.github.io)
2 points by boris_m 4mo ago|0 comments
4.
A case against Boolean logic(abuseofnotation.github.io)
68 points by boris_m 4mo ago|93 comments
5.
Vanilla FP: The no-framework framework for building component-based UIs(github.com)
2 points by boris_m 4mo ago|0 comments
6.
Category Theory Illustrated – Orders(abuseofnotation.github.io)
252 points by boris_m 5mo ago|61 comments
7.
Vanilla-FP, the no-framework framework for building purely-functional UI(github.com)
2 points by boris_m 5mo ago|0 comments
8.
Category Theory Illustrated – Logic(abuseofnotation.github.io)
4 points by boris_m 5mo ago|0 comments
9.
Category Theory Illustrated – Types(abuseofnotation.github.io)
117 points by boris_m 6mo ago|22 comments
10.
Category Theory Illustrated – Types(abuseofnotation.github.io)
5 points by boris_m 6mo ago|1 comments
11.
Category Theory Illustrated – Types(abuseofnotation.github.io)
2 points by boris_m 6mo ago|0 comments
12.
The case against boolean logic(abuseofnotation.github.io)
5 points by boris_m 10mo ago|0 comments
13.
The case against boolean logic(abuseofnotation.github.io)
3 points by boris_m 11mo ago|0 comments
14.
by boris_m 11mo ago
What's a page?
15.
Show HN: Jekyll Book Boilerplate – A boilerplate for self-publishing books(github.com)
2 points by boris_m 11mo ago|0 comments
16.
Category Theory Illustrated – Natural Transformations(abuseofnotation.github.io)
217 points by boris_m 1y ago|83 comments
17.
Why should I care? Or why punks are correct and old wise philosophers are wrong(abuseofnotation.github.io)
33 points by boris_m 1y ago|26 comments
18.
Show HN: Create a static feed aggregator website, using GitHub Actions(github.com)
1 points by boris_m 1y ago|0 comments
19.
A Small Haskell Task(abuseofnotation.github.io)
3 points by boris_m 1y ago|0 comments
20.
Why should I care? or why punks are correct and old wise philosophers are wrong(abuseofnotation.github.io)
2 points by boris_m 1y ago|0 comments
21.
by boris_m 1y ago
Languages like Java are awful in that respect, as they make it super hard to declare new types. People expect for a type to contain some logic, but it doesn't have to. e.g. a configuration is a type that contains other types that conta
22.
Philosophy Beefs(abuseofnotation.github.io)
3 points by boris_m 2y ago|0 comments
23.
Comic-web – a markup language for creating comics(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
24.
Show HN: Comic-web: a markup language for writing comics, and a rendering engine(github.com)
2 points by boris_m 2y ago|0 comments
25.
Dogmatism Through the Lens of Memory(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
26.
Show HN: Make your RSS feed aggregator using GitHub Actions(github.com)
3 points by boris_m 2y ago|0 comments
27.
Science Philosophy and Mathematics(abuseofnotation.github.io)
1 points by boris_m 2y ago|0 comments
28.
An RSS aggregator that generates a simple embeddable static Markdown page(github.com)
1 points by boris_m 2y ago|0 comments
29.
Structured programming: how to write proper if statements(abuseofnotation.github.io)
3 points by boris_m 2y ago|1 comments
30.
The Principle of Triviality(abuseofnotation.github.io)
1 points by boris_m 2y ago|6 comments

More ›