this post was submitted on 09 Aug 2023
11 points (100.0% liked)
TechTakes
2114 readers
84 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
There have actually been multiple attempts at doing actual computer science from a starting point of Urbit.
Here's one I wrote up in 2017, whose proponents were so outraged at the Ethereum plan that they forked, and wrote their fork's constitution in Lojban.
Oh hey, small world; I operated a star for that fork. However, I no longer think that Urbit's codebase is worth reusing, and I've stopped participating. Instead, I developed a Hoon alternative (Cammy) and decided not to pursue Arvo compatibility.
I just want to say, as someone who's pretty well-versed in functional programming and has a decent grasp of category theory, that wiki article is absolutely impenetrable to me. I get that it's an esolang so the goal isn't a broad audience, just thought I'd share my perception. It looks very cool still, and I do want to understand it.
Thanks! For an esolang, that is a compliment. Cammy does a lot of things differently, but it's okay to just look at it as an alternative syntax for expressing diagrams. Bring your own Cartesian-closed category, etc.