entaloneralie

5 ms·

31.
by entaloneralie 1y ago
Immediately implements the Antihydra in Fractran 13122 -> 50/18, 55/42, 539/2, 297/275, 2/55, 2/11
32.
by entaloneralie 1y ago
Joy, right? Not Forth. Conversion between spagetti stacks and pure stack programming(in which the stack contains numbers and no GC) has a massive translation cost if you go from LC to Forth and back.
33.
by entaloneralie 1y ago
A lot of languages(including forth) maps really poorly to LC. Read some of the Forth writing on portability at all costs: http://www.ultratechnology.com/antiansi.htm
34.
by entaloneralie 1y ago
That's a very narrow lens, functions in ALGOLs maybe.
35.
by entaloneralie 1y ago
In FRACTRAN, Bools is all you get. The value is 6 is a:true, b:true, c: false, d: false, etc.. I love fractran tho, I must have written a thousand lines of it this year alone.
36.
by entaloneralie 1y ago
Archaeologists have discovered Sumerian cuneiform tablets which complain that software quality isn't what it used to be.
37.
by entaloneralie 1y ago
God is a FRACTRAN program.
38.
by entaloneralie 1y ago
Besides Orca, Befunge, etc.. the McCulloch-Pitts Neuron is a graphical language with a discrete timestep, it solves some of the shortcomings of Orca and Recto where the evaluation has to do a lot of walking to traverse space. https:/&
39.
by entaloneralie 1y ago
Let's go ternary!
40.
by entaloneralie 1y ago
Same, after reading your post, it sent me down reading all sorts of guest articles he did left and right, and it really made me wonder what he'd think of all this. I feel like his views on technology changed over his lifetime. He got m
41.
by entaloneralie 1y ago
I feel like John Holt, author of Unschooling, who is quoted numerous times in the article, would not be too keen on seeing his name in a post legitimizes a technology that uses inevitabilism to insert itself in all domains of life. -- &quo
42.
Silence Is a Commons by Ivan Illich (1983)(davidtinapple.com)
201 points by entaloneralie 1y ago|53 comments
43.
by entaloneralie 1y ago
Hi! One of the two authors of the site up here, I just want to clarify before this becomes a rumour, I never worked at Meta, nor in big tech, neither have my partner. Prior to moving on the water, Rek worked in a 10 person animation studio
44.
by entaloneralie 1y ago
That's where all my savings are going, same difference Kragen ;)
45.
by entaloneralie 1y ago
It's useful for programming with functions to return many elements at once. I program in forth for a living, and that has been one of my favourite advantage, multiple returns without unecessary re-bindings.
46.
by entaloneralie 1y ago
Related: Origami-Constructible Numbers[1] & Folding Primes[2] [1] https://www.cs.mcgill.ca/~jking/papers/origami.pdf [2] https://www.pythabacus.com/Origami%20Fractions/folding.htm
47.
by entaloneralie 1y ago
If I may chip in, I wouldn't call it obvious or straight-forward, but multiset rewriting[1] can be implemented in terms of multiplication alone(like in Fractran), and multiplication can be implemented in origami[2], so there might be s
48.
by entaloneralie 2y ago
AI slop at the top, closed immediately.
49.
by entaloneralie 2y ago
Wowow! this is fantastic, so many exciting and weird languages in there, even Mouse-83 is in the list! It was really nice to read about the author's impression of each language. Well done
50.
by entaloneralie 2y ago
Henry G. Baker wrote this paper titled "The Thermodynamics of Garbage Collection" in the 90s about linear logic, stack machines, reversibility and the cost of erasing information: https://wiki.xxiivv.com/docs/
51.
by entaloneralie 2y ago
Exactly, you get it. That's the goal of the project, no undefined behavior, no hazy specifications. :) I've dabbled in this space for quite a while now, I can assure you that dependency on implementation idiosyncrasies get increas
52.
by entaloneralie 2y ago
> Unfortunately, it seems that they went against the project's very principle by inventing a new language, new VM and toolchain instead of simply targeting one of the existing platforms. The intentions of Uxn are not directly in lin
53.
by entaloneralie 2y ago
You might get a kick out of DuskOS(baremetal forth system)'s C compiler. https://git.sr.ht/~vdupras/duskos/tree/master/item/fs/doc/co...
54.
by entaloneralie 2y ago
Loving Pearl's new OCaml logo.
55.
by entaloneralie 2y ago
Maude is the most famous one that I know of I think. https://maude.lcc.uma.es/maude-manual/maude-manualch1.html#x...
56.
by entaloneralie 2y ago
Here's a little zine on multiset rewriting(unordered term rewriting), John Conway said(about Fractran in The Book of Numbers) that it is such a simple paradigm of computation that no book is needed to learn it, and it can be taught in
57.
by entaloneralie 2y ago
Strand is one of the languages that particularly blew my mind, I think it was Armstrong that said that Strand was "too parallel" Strand is a logic programming language for parallel computing, derived from Parlog[2] which itself is
58.
by entaloneralie 2y ago
I program with stack machines directly, so I visualize plates with numbers, names or things on them.
59.
by entaloneralie 2y ago
It's very eery to sail through a 100 strong fleet of chinese squid ships and seeing them all turn off their AIS as they see you approaching.
60.
by entaloneralie 2y ago
Reduction steps from the example: https://git.sr.ht/~rabbits/fractran/tree/main/item/examples :: 55/33 acc.3 iter.11 > x.5 iter.11 :: 1/11 iter.11 > :: 42/35 x.5 y.7 &

More ›