reinman

8 ms·

31.
by reinman 4y ago
Categories are about composition. Crafting is also about composition - using inference rules. https://en.wikipedia.org/wiki/Category_theory The classic schematic representation of X Y Z shown on the above wiki page is
32.
by reinman 4y ago
You as the developer are the one who has to decide which tech is worthy of your attention. And Cats are trying to compete with FP for your attention Reducing or eliminating "functions" means reducing or eliminating the refactoring
33.
by reinman 4y ago
Exactly my thesis. Every programmer should be using an inference / crafting system by now in their daily tasks
34.
by reinman 4y ago
Do you have any Prolog background? Inference rules? Armstrong's axioms etc.?
35.
by reinman 4y ago
I would invite everyone to look at the Multix categorical machine. The FP style chains and crafting work wonderfully even over a network https://portal.multix.catatonic.ai/
36.
by reinman 4y ago
It was mostly a troll article not worth reading - maybe there is a copy on wayback machine
37.
by reinman 4y ago
I no longer keep things on Medium as I don't support them anymore. I'm sure there is a copy on wayback machine perhaps
38.
by reinman 4y ago
Funny how the same people that expect YOU to learn a bunch of arcane FP terminology suddenly demand that everything is explained to them in kindergarten terms Perhaps the greatest irony of FP BTW academic CT researchers are brilliant but us
39.
by reinman 4y ago
Yeah I don't support Medium anymore. If you are a programmer not an academic I would suggest you play w real software https://portal.multix.catatonic.ai/
40.
by reinman 4y ago
Categories are chains of morphisms If you don't get that, maybe you missed something in your training And yes it has everything to do with AI (not categories per se but the article)
41.
by reinman 4y ago
I appreciate the feedback - it's a follow up to Part 1 for completeness, I don't expect anyone here to read it. Bombastic articles get attention but yes I need to tone it down. I don't think anyone cares about the FP cat figh
42.
Did Functional Programming Get It Wrong (Part 2) – Minecraft-Style Crafting(multix.substack.com)
24 points by reinman 4y ago|66 comments
43.
by reinman 4y ago
Prolog style inference rules across a network is how Multix crafting works https://multix.substack.com/p/did-functional-programming-get...
44.
Moving Past Functional Programming to Category Mgmt and Cat Machines(vimeo.com)
1 points by reinman 6y ago|0 comments
45.
Categorical Machines (Part 2)(youtube.com)
2 points by reinman 6y ago|0 comments
46.
Interactive Computing with Categorical Machines (Part 2)(vimeo.com)
1 points by reinman 6y ago|0 comments
47.
From ad-hoc queries to ad-hoc programming: Categorical Machines(reinman.medium.com)
3 points by reinman 6y ago|0 comments
48.
Categorical Machines : Motivation(youtube.com)
1 points by reinman 6y ago|0 comments
49.
by reinman 6y ago
American cities are small potatoes compared to the glittering skyscrapers of Asia. Same for tired Europe. Which is why old school arguments against the downsides of "communism" are not working anymore. Kids (and corporations) will
50.
Move Beyond Functional Programming to Categories(blog.usejournal.com)
1 points by reinman 6y ago|0 comments
51.
Reboot Time for Operating Systems(medium.com)
2 points by reinman 6y ago|0 comments
52.
by reinman 6y ago
My response https://blog.usejournal.com/monoids-to-groupoids-492c3510511...
53.
Did Functional Programming Get It Wrong? (Yes and Here's Why)(blog.usejournal.com)
4 points by reinman 6y ago|0 comments
54.
Category Theory explained to a six year old, because Functional dropped the ball(medium.com)
2 points by reinman 6y ago|0 comments
55.
WTF Is Category Theory??(medium.com)
3 points by reinman 7y ago|0 comments
56.
by reinman 7y ago
Yes that's the point .NET is a 20 year old stack which is great for Microsoft's market cap but maybe not for the rest of the industry
57.
NYC got Functional Programming years ago, so why can't the west coast?
1 points by reinman 7y ago|2 comments
58.
by reinman 7y ago
- If you are confused, it is probably because FP languages are really only half the story of CT - Adjoints are all about joining things hence the name; much like chasing dependencies (arrows) between cells in a spreadsheet and then going ba
59.
by reinman 7y ago
Managing for whom? Is that a resource optimization problem? What if I use a control monad that does the same thing? If TF finds the shortest path for a computation does that make it an OS according to your definition ? JSON and SQL are clos
60.
by reinman 7y ago
The top-level FP CLI is unsafe for exactly that reason http://okmij.org/ftp/Computation/monadic-shell.html

More ›