boris_m

9 ms·

31.
Unity of Thought(abuseofnotation.github.io)
1 points by boris_m 2y ago|0 comments
32.
Occam's Razor(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
33.
The Unreliability of Past Events in Shaping Our Worldview(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
34.
Show HN: Term-Lisp – A Lisp, based on pattern matching and term rewriting(github.com)
83 points by boris_m 2y ago|27 comments
35.
The Role of Goals and Emotions in Knowledge(abuseofnotation.github.io)
1 points by boris_m 2y ago|0 comments
36.
Frames of Reality: The Interplay of Causality and Temporal Perception(abuseofnotation.github.io)
1 points by boris_m 2y ago|0 comments
37.
by boris_m 2y ago
Touching. Thanks. And feel free to create some Github issues or write to me if you have some feedback.
38.
Category Theory Illustrated: Logic (2021)(abuseofnotation.github.io)
252 points by boris_m 2y ago|83 comments
39.
Humane Technologies (2021)(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
40.
Category Theory Illustrated: Orders(abuseofnotation.github.io)
4 points by boris_m 2y ago|1 comments
41.
Category Theory Illustrated(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
42.
The Knapsack Problem(abuseofnotation.github.io)
2 points by boris_m 2y ago|0 comments
43.
From Sets to Categories (2023)(abuseofnotation.github.io)
68 points by boris_m 2y ago|47 comments
44.
Show HN: Term-Lisp – A Lisp, based on pattern matching and term rewriting(github.com)
4 points by boris_m 3y ago|0 comments
45.
How does knowledge work: using logic to model real-world communication(abuseofnotation.github.io)
2 points by boris_m 3y ago|0 comments
46.
Humane Technology(abuseofnotation.github.io)
3 points by boris_m 3y ago|0 comments
47.
Show HN: Fediscope: Mastodon Post Aggregator(abuseofnotation.github.io)
2 points by boris_m 3y ago|0 comments
48.
by boris_m 3y ago
Just pushed an update which allows you to look at some popular instances and favor them, I think it would make it much easier to start.
49.
by boris_m 3y ago
This is the first version, here are some servers you can add, if you don't know any: mathstodon.xyz - math mastodon.art , sunny.garden - art c.im - general
50.
Show HN: Fediscope: Fediverse Post Aggregator(abuseofnotation.github.io)
2 points by boris_m 3y ago|2 comments
51.
by boris_m 3y ago
They are not 2 sets they are two diagrams, depicting the same set. You can present it like this or in the way you mentioned.
52.
by boris_m 3y ago
Relevant chapter from the book: https://abuseofnotation.github.io/category-theory-illustrate...
53.
by boris_m 3y ago
Author here. It was backwards, I fixed it when I saw the comment. Feel free to report any other mistakes you see on https://github.com/abuseofnotation/category-theory-illustrat... or email.
54.
Category Theory Illustrated – Sets(abuseofnotation.github.io)
218 points by boris_m 3y ago|94 comments
55.
Category Theory Illustrated – From Sets to Categories(abuseofnotation.github.io)
8 points by boris_m 3y ago|0 comments
56.
by boris_m 3y ago
These kind of articles are sooo dumb. Those tech CEO's are acting like complete idiots. 1. You can measure productivity in a precise way only in some mindless repetitive jobs e.g. are Twitter employees more productive now that they are
57.
Determinism and free will are compatible(abuseofnotation.github.io)
3 points by boris_m 3y ago|2 comments
58.
by boris_m 3y ago
It was mainly a demonstration of a pattern, yes, implementation was a secondary consideration. But there are ways to make this approach work as well.
59.
by boris_m 3y ago
No, I mean to reimplement the "framework". 1. Change the "div" "span" etc. to be just "createElement('div'..." 2. At the "render" function, do "reactDOM.render" instead
60.
by boris_m 3y ago
What is the role of the "root node" in Elm?

More ›