Email or username:

Password:

Forgot your password?
2,445 posts total
Devil Lu Linvega

For a few years, I have had Vogue covers assigned to the various programming languages documented on xxiivv, unfortunately rick owens has never done a vogue cover or this would be the one for the Modal language.
wiki.xxiivv.com/site/modal

Aleph

@neauoire listen sometimes its worth breaking a trend because that is incredible lol

Janne Moren

@neauoire
I bet you could make a jacket like that feel really comfortable and pleasant. I'm still undecided on the language.

Leonard Ritter

@neauoire first disappointed as i lean in to discover that this is, in fact, broccoli; but then slightly impressed as i have never seen purple broccoli before.

Damien Guard

@neauoire What app/system is the window in white?

It has a gorgeous bitmap font!

TAU TAU

@neauoire I had not realized uxn has a clojure-like syntax. Looking very nice.

Devil Lu Linvega

So I didn't hallucinate, someone at the gym was playing a new Empire Of The Sun track, it's true, summer must be here now. 🌻

Devil Lu Linvega

Recently, I've been taken by this project of @wryl that might be of interest to folks diving into minimal virtual machines.

It's a string rewriting scheme with a single operator <>, similar to Thue, with the added capability of binding addresses in the input string to registers and manipulate them during the transcription.

It's an extremely elegant runtime, capable of emulating lisps, type systems, concatenative languages, all without any form of garage collection.

wiki.xxiivv.com/site/modal

Recently, I've been taken by this project of @wryl that might be of interest to folks diving into minimal virtual machines.

It's a string rewriting scheme with a single operator <>, similar to Thue, with the added capability of binding addresses in the input string to registers and manipulate them during the transcription.

Show previous comments
kr1sp1n

@neauoire How do you run the lisp.modal example from your code repo? Where is 'define' defined? Or is this an old syntax, only running with the python implementation from @wryl ?

Jorge Acereda

@neauoire @wryl I guess you're aware of XL, the language behind tao3d.sourceforge.net/

If so, could you comment on the differences for those that, like me, aren't familiar with rewriting languages?

Kartik Agaram

@neauoire @wryl Bug report for the ANSI C implementation:

$ cat x.modal
<> (?x dup) (?x ?x)
<> (?x ?y swap) (?y ?x)
<> ( ?x pop) ()

.. (1 2 3) (4 5 6) swap pop dup

$ gcc -g modal.c -o modal && ./modal x.modal
01 .. (4 5 6) (1 2 3) pop dup

02 .. (4 5 6) dup

00 .. (4 5 6)

<> (?x dup) (?x ?x)
<> (?x ?y swap) (?y ?x)
<> (?x pop) ()

Devil Lu Linvega

"In her translator's note on an article on Babbage's computer, Ada Lovelace becomes the first person to clearly see that programming a computer is a distinct discipline from building the computer itself. This hardware/software distinction will be so well known as to seem obvious."
jeffreykegler.github.io/person

John Burns

@neauoire

And soon thereafter, was born the age old support statement:
-- it's the hardware
-- no, it's the software

πŸ€” πŸ˜‰

Devil Lu Linvega

Tudor sat at the piano and opened the keylid, after which he did nothing until he closed it over a minute later. He repeated this sequence twice, at which point the performance, which had taken four minutes and thirty-three seconds, was finished. Most people did not understand what they had just witnessed, and some did not realize anything had actually happened.

One listener reacted: β€œIt sounds a great deal better than the majority of music that is sold today.”

eat veggies daily and survive

@neauoire @joemama

going to a john cage performance to get some peace and fucking quiet, 5/5, worth the $60 ticket

Devil Lu Linvega

In "The Road Towards A Minimal Forth Architecture"(1990), Mikael Patel builds toward a forth from only a handful of arithmetic and stack primitives. Here is an implementation of some of these primitives in Uxntal macros:
wiki.xxiivv.com/site/forth#min
Leah's blog post: leahneukirchen.org/blog/archiv
Patel's paper: github.com/larsbrinkhoff/forth

In "The Road Towards A Minimal Forth Architecture"(1990), Mikael Patel builds toward a forth from only a handful of arithmetic and stack primitives. Here is an implementation of some of these primitives in Uxntal macros:
wiki.xxiivv.com/site/forth#min
Leah's blog post: leahneukirchen.org/blog/archiv
Patel's paper: github.com/larsbrinkhoff/forth

max22-

@neauoire i see he uses bruteforce to find his little programs : maybe you have already heard of relational programming, with this you can synthesize programs, run them backwards (you give the output, it gives the input), make a quine generator (you have write a uxn interpreter in a relational language, then you query for a program that evaluates to itself). There is a very nice paper about microkanren ( webyrd.net/scheme-2013/papers/ ), a (minimal) relational language you can implement yourself.

@neauoire i see he uses bruteforce to find his little programs : maybe you have already heard of relational programming, with this you can synthesize programs, run them backwards (you give the output, it gives the input), make a quine generator (you have write a uxn interpreter in a relational language, then you query for a program that evaluates to itself). There is a very nice paper about microkanren ( webyrd.net/scheme-2013/papers/ ), a (minimal) relational language...

[DATA EXPUNGED]
PypeBros

@neauoire there's something haskell-ish in the way the `--` token separates "what must be pulled" from "what will be pushed ...

(if I understood those expressions properly)

Lazarou Monkey Terror πŸš€πŸ’™πŸŒˆ

@neauoire I've been expecting something like this since I saw where the path of totality was.

lhp

@neauoire Back in school I made my own, which probably wasn't my smartest move. Two pieces of glass from welding goggles, a red gel filter and a blue gel filter, glued on sunglassed "borrowed" from my sister. Tested it with various strong lamps. Also only did one side, the other was covered up just in case and used it more no more than like 10 seconds at a time. Still not exactly a good idea.

I have gotten a lot more careful since then...

Devil Lu Linvega

Falling in love with @wryl's Modal language, a simple string replacement engine that exists beyond programming paradigms, and allow your code to mimic other languages.
wiki.xxiivv.com/site/modal

Show previous comments
troethe

@neauoire @wryl That's cool! Does it use DFS to decide what rules to apply, like Prolog?

Devil Lu Linvega

:mocking: Combinatory logic, lisp processor or concatenative language, using only string rewrites. This is going to keep me up at night.
wiki.xxiivv.com/site/modal

defel

@neauoire excellent recommendation, thanks

I had read her book before, but only after listening this podcast I have the feeling that she was the Hari Seldom of our time.

Did not know that her book was so controversial at her time and her enemies used the same arguments as climate-sceptics do nowadays.

gustav

@neauoire Makes me wonder even more about how we can change our field from within and the ground up to be less about consumption and more eternal

gustav

@neauoire Pretty wild that this report/book was not mentioned once in my 2 year master on "complex adaptive systems" at university! We had at least one course on dynamical systems which is this exact field :0

I will comb through some of my books and see if was mentioned there..

Devil Lu Linvega

πŸ³οΈβ€βš§οΈ happy trans day of visiblity!

Devil Lu Linvega

Wanda is a Forth-like, "concatenative" programming language that's arguably not concatenative at all, nor even "stack-based", because it's based on a string-rewriting semantics.
git.catseye.tc/Wanda/
via @capital

Devil Lu Linvega

For those of you that couldn’t make it to Ian’s talk here is a video of the presentation.

/talk.asx

<__<

"thanks"

Go Up