Devine Lu Linvega
come to [a-z]{3}langs! we've got: - conlangs
Devine Lu Linvega
A brand new instance dedicated entirely to catlangs! 
Devine Lu Linvega
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?  
⛧ esoterik ⛧
Devine Lu Linvega
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. 
R E K
I'm keeping a very detailed log of our travels, complete with silly drawings.
Devine Lu Linvega
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. 
⛧ esoterik ⛧
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.)
Devine Lu Linvega
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 
Csepp 🌢
@neauoire You might like Agda's mixfix operators:
Devine Lu Linvega
Sailing through an eerily flat sea at 4 knot engulfed in fog eating instant ramen.   
:luz_cat_ears: meow meow
@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
Devine Lu Linvega
Writing code with languages more esoteric than a 3 trit cat.
Devine Lu Linvega
Everytime I download a pdf from acm, how can something so boring be written about a topic that is so exciting.
Avi Bryant
@neauoire I love papers from earlier in the 20th century because the writing is so much more engaging. 
(wryl)
@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.
George Z
@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.
Devine Lu Linvega
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. 
Capital
The secret is that I'm marking when sand is in a stable state (can't move down, left, or right).
Devine Lu Linvega
Devine Lu Linvega
@pervognsen 5/5 Kondo-san
Devine Lu Linvega
"It is pitch black. You are likely to be eaten by a Thue."   
Devine Lu Linvega
Devine Lu Linvega
We have more solar power coming than we can store, and it's only 9am 🌻
Show previous comments
Daniel Demmel
@neauoire time to run some large language model queries on your laptop! Sorry, I'll see myself out... 🙃 
tired blip
@neauoire you can be like that guy we met last year and convert all that excess power into ice :P
Devine Lu Linvega
First pixels ever drawn from #Modal, a string rewriting system. The only way to program this strange computer is by defining rules that replace lengths of text in a source file.  
James Chip
@neauoire I had a fever dream about a computer that could only run one piece of software which was self modifying and the source had to be twisted in real time to do what you needed. The program was fixed length, and always had to stay that length, so you could only overwrite bytes. I feel like you might make this real.
Devine Lu Linvega
☕ Coffee by the woodstove before we put the dingy in the water and row to shore. 
Devine Lu Linvega
"Work on something that matters, if only to you. |
Gregory's Server
