In other news, I got a very simple #uxn hello world running as a #solo5 unikernel, as part of the #mirageos retreat. Hello from Marrakesh :)

https://github.com/Profpatsch/uxn-solo5

@wim_v12e @neauoire I mentioned CakeML in #uxn as a dream for formal compiler verification, how it can pull itself out of its logic:

> it is bootstrapped “in the logic” – essentially, an application of the compiler function with the compiler’s source implementation as argument is evaluated via logical inference. This bootstrapping method produces a machine code implementation of the compiler and also proves a theorem stating functional correctness of that machine code.
<http://www.cs.cmu.edu/~yongkiat/files/cakeml-jfp.pdf>

@angelastella

It's fine for code but also (a) harder to explain/teach, (b) harder to automate, (c) badly supported on Mastodon (incremental search usually smashes case).

I think Mastodon has gotten better at preserving #CamelCase in hashtags. #GoToSocial is working on it, it's still really bad right now (always flattening/tolower()-ing).

I can see being a bit harder to explain/teach, although I'm not sure what cases of automation you're referring to.

I guess my main thing (and perhaps it's a silly one) is that _ is harder to reach than just capitalizing (and not spacing out) the next word. XD

I have no issues with Pascal (Borland's implementations and docs were excellent), but I had to learn C immediately afterwards like everyone else.

I used Borland on the PC and Symantec/THINK on the Mac. Both absolutely lovely.
Symantec Pascal on the (emulated) mac was actually a stepping stone towards @neaoire@merveilles.town's development of #uxn, IIRC. They even developed a 3d game in Pascal on the Mac (heavily accelerated, of course)

Do you know an #emulator or #homebrew console or even a virtual machine ala #uxn that has a) assembly ala amd64 or risc but simple like gameboy b) network capability c) durable memory d) well documented like the #gameboy

+#retrocomputing

Thanks to everyone who suggested improvements to the #Uxn documentation. I've implemented every suggestion and expanded the REPL to include examples inspired from the excellent Rust By Examples website.
https://wiki.xxiivv.com/site/uxntal
https://doc.rust-lang.org/rust-by-example

@lambdacalculus #uxn just for the fun of it

@wim_v12e

Very! I love seeing #uxn ported to all kinds of hardware!

@neauoire I recall there was a nice breakdown of bits on the #Uxn site but I cant remember where it is now.

Can you direct me it it?

@eladhen

אם נסתכל על התג #Uxn בפדיוורס נראה שחלק גדול ממה שיש שם לא דורש לדעת לתכנת.
לחיצה על התג למעלה תוביל למה שהשרת שלך מכיר; נראה לי שהכיסוי השלם ביותר של התג בפדיוורס הוא אצל Town of Merveilles. הדף של התג שם זמין לצפיה לכולן בכתובת https://merveilles.town/tags/uxn

אני בטוחה שתסתדר, אבל אם יש משהו שאתה רוצה לעשות ונתקל בקשיים טכניים — דבר איתי ואעזור בשמחה כפי יכולתי

@profoundlynerdy

Also BASIC, maybe 6-8 years old.

Initial exposure was on an Apple II, but then later I had my own Commodore 64 that played with extensively.

I think a virtual console like the #Tic80 or #uxn is probably the best way to start learning and exploring.

Anyway, I feel I should maybe do a release of yaku so that folks can try it out, maybe without the optimisations.

(4/n=4)
#Uxn #Uxntal