Gregory's Server
|
two 1hr documentary films about taumako voyaging culture, produced over a 30 year period, are now free to watch. it's a wild journey, and i highly recommend checking it out. here is part 1: "We, the Voyagers: Our Vaka" https://vimeo.com/403052537 String Rewrite Systems are abstract machines that can only replace parts of a string with another. A rule is made of two statements, where "left" is replaced with "right": <> left right The system will attempt to do rewrites until no matches in the input string can be found and the program will terminate. But most importantly, it's super fun to use to draw graphics.  @neauoire have you played with context free art or a similar rewriting system? Basically a probabilistic extension - rewrites have a chance of happening or not   @neauoire Suggestion: polyomino generation with string replacement! https://stackoverflow.com/a/12020601/295177 https://github.com/Rezmason/Scourge/blob/master/src/net/rezmason/polyform/PolyformGenerator.hx#L19 *using a collection of efficient programs that don't eat up too much solar power, but also-*
Show previous comments
come to [a-z]{3}langs! we've got: - conlangs We've stowed away all the 120v devices, untied the lines and have begun our sail north toward Juneau, Alaska! We will sail through the inside passage and out at the northern tip of Vancouver Island. As we hop between anchorages, I'd like to try exploring the question: Is a graphical environment running on top a naive string rewriting computer possible, or even usable?  When we cross the Strait of Georgia, we usually exit out of Gabriola Pass and overnight in Silva Bay to take the next day's favorable wind, but yesterday we left from Porlier and shot across to Smuggler's Cove on the Sunshine Coast, a 37 nm long sail.  I'm keeping a very detailed log of our travels, complete with silly drawings. eee, my Uxn implementation passes the opcode tests! the main bugs i had to squash were misunderstanding byte order on the stack (since it's big endian, you pop the low byte first), decrementing the stack pointer after popping instead of before, and wrangling the SFT specification vs Zig's expectations about bitshifting. this is not as cool as i had hoped because it just hardcodes the first 14 terms of the continued fraction for pi, i.e. 3, 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1 (i did implement a generalized continued fraction which isn't hardcoded, but (A) it converges much more slowly and (B) it doesn't actually find the "best" convergents (e.g. 355/113) so it just didn't seem very useful.) It's super exciting to see all the interest in semi-thue computing these past few weeks. I love to see it :monkeywrench: :drake_dislike: arbitrarily using prefix, infix or postfix notation dictated by the programming language  @neauoire You might like Agda's mixfix operators: Sailing through an eerily flat sea at 4 knot engulfed in fog eating instant ramen.   @neauoire I’m curious. Does someone always have to be at the wheel or can you leave the ship to its own devices every now and then Everytime I download a pdf from acm, how can something so boring be written about a topic that is so exciting. @neauoire I love papers from earlier in the 20th century because the writing is so much more engaging.  @neauoire I'm convinced that there's some preference for the amount of notation you can cram in a paper, and it's been rising for the past 40 years. Most of my initial work on Modal was combing through notation-heavy papers found in obscure journals, where even the slightest glint of insight could be found. The hard part was piecing together the good parts from the huge aggregate of literature. It's a habit that sticks with me even to this day. @neauoire I can relate so much! I also feel dreadful when I have to write some of these papers sometimes. I got my own theory on how we got here which I'm happy to talk about in PMs. But if you're looking for top quality entertaining papers in (functional) programming languages look for "Functional Pearls" in ICFP and JFP. The CfP states that the papers must be engaging, fun, and short-ish. Most of the time that is the case. With some more effort and being smarter about my rules, rewrite output length, and properties of 2D sand, I can run a 128x128 sand box in real time.  The secret is that I'm marking when sand is in a stable state (can't move down, left, or right). |
@neauoire there’s something distinct about that space that reminds your brain, “this is the place where you workout.” I can feel like a glop of particularly unmotivated porridge, but when I walk into a gym I’m Ready To Go.
@neauoire wanna be gym partners?