Remix clone Hacker News

Sounds really cool.

It reminds me of programming, that moment when new code starts to really sync up and code goes from being a bunch of text to more intuitive structures. When really in the zone it feels like each function has its own shape and vibe. Like a clean little box function or a big ugly angry urchin function or a useless little circle that doesn't do anything and you make a note to get rid of. I can kinda see the whole graph connected by the data that flows through them.

▲

hosh 4 days ago | parent [-]

There's a lot of interesting discrete math that can supercharge programming at different levels of scale. What's pretty cool is that it reveals a layer of understanding when I watch my toddlers learn math from counting.

One of the interesting things is being able to exactly describe how something is an anti-pattern, because you have a precise language for describing constraints.

▲

FractalHQ 4 days ago | parent [-]

I would love to learn about some of these anti-pattern proofs if you have any examples or references you can share!

	▲	hosh 10 hours ago \| parent [-]
		I don't have proofs. I haven't gone into any level of rigor with any of this. Here is a recent example: https://files.spritely.institute/papers/petnames.html The idea of a naming system can be (1) decentralized, (2) globally unique, (3) human meaningful. It talks about the onion DID names which achieves decentralized and globally-unique, and proposes a petname system that maps local names to achieve all three when combined with the onion names. It sounds similar to me to the mathematical concept of an atlas. Atlases originally came about trying to map a non-Euclidian topology to a local, Euclidian topology. No Euclidian topology can fully describe the non-Euclidian topology, but a set of those can, and together would form an atlas. Someone with more math chops than I can prove (or disprove) that the petname system forms an atlas over the set of globally-unique names (identifiers). The biggest anti-pattern I can see coming out of it is when people using this attempt to make the local petnames globally unique instead of working with it as a local mapping that can never fully describe the global space of unique names.