@wim_v12e 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>

Just curious, is the compudanzas book now out-of-date?

It's been a few years since I tried learning. My problem was always that it seemed that there was just too much material for each "day."

#uxn-in-a-month could be a really fun pace!

One of my students implemented #Uxn in Vulkan so the VM can run on a GPU and render directly, without SDL. It was a tour de force.

I hope I can find another student to improve it. It works after a fashion, but as usual with these final year projects, there was not enough time to fix all remaining issues.

ICYI, I forked the repo:

https://github.com/wimvanderbauwhede/uxn-on-gpu

GitHub - wimvanderbauwhede/uxn-on-gpu: GPU-based implementation of the Uxn VM.

GPU-based implementation of the Uxn VM. Contribute to wimvanderbauwhede/uxn-on-gpu development by creating an account on GitHub.

^GitHub

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?

I've neglected the #Uxn docs for far too long, and I want to fix that, I'd love to make them as good as I possibly can, and for this one page to cover most of it without being too overwhelming.

The issue I have is that I've been "in it" for so long that I can't remember what it's like to not be fluent in this stuff, and can't pull back far enough to see the blind spots I have missed.

If you have a few minutes, are learning Uxn or have learnt it in the past, and found the docs lacking, let me know how I could change this page to give a more complete picture of the language.

Thanks!
https://wiki.xxiivv.com/site/uxntal.html
https://lists.sr.ht/~rabbits/uxn/%3C5cc53d2d-5062-4232-bff9-966dbedf67e8@100r.co%3E

uxntal

By Devine Lu Linvega

^XXIIVV

Today @jleigh presented me with an excellent brain teaser, the question was: Can something like #brainfuck be entirely written in #uxn macros, as opposed to being interpreted.
https://paste.sr.ht/~rabbits/3c39e1af6cd21ad668efe9d5468bfd0ccb3b152c

I have to use some ^ prefixes for the words as to not throw the assembler, but it works.

...

#uxn #oekaki #unix_surrealism #monochrome

I've doubted myself many times in the past that I have any artistic ability at all.
What I have loved about Devine's work: it gives me a reason to try being creative with no strings attached.

Here is an impact frame of a giant plant exploding.

#uxn #animation

Yesterday I knew about #uxn and I knew some other things were plausible with roms and such... now I am drawing on a "me built" rooted sdcarded homebrewed nintendo #3dsxl because I can!
This is the new thing I needed to tinker with. LOL
now to figure out how to post files FROM the 3ds over a network... shirly the #curl library could be of service... hmm. #smolweb #exploring #oldtech
thanks #fediverse

I need to learn C now. #programming

Working on a game where you have programmable units. Still figuring out exactly in which direction it's gonna go. Today I had a break from parenting and implemented an in-game debugger for the #uxn machines that power each unit.

#gamedev

It's time for an afternoon break and I wanted to give #uxn a try. I'm on NixOS. I see there's a package on nixpkgs: https://github.com/NixOS/nixpkgs/blob/nixos-24.11/pkgs/by-name/ux/uxn/package.nix

is that a good idea to go this way? Does that make a difference from following the instructions at https://100r.co/site/uxn.html?

nixpkgs/pkgs/by-name/ux/uxn/package.nix at nixos-24.11 · NixOS/nixpkgs

Nix Packages collection & NixOS. Contribute to NixOS/nixpkgs development by creating an account on GitHub.

^GitHub

I wrote a quick script to convert 1-bit drawings in Noodle’s .icn format to .png https://github.com/seanlabean/sonoshee/blob/main/poodle.py

I call it Poodle. Only Noodles can be Poodled at the moment, but I hope to generalize this to any .icn file.

I love writing scripts that help me with my hobbies 😀 I am using Noodle to draw scenes from an Underground fantasy world I am dreaming up. Here is “Ayers’ Node”

#1bit #uxn #pixelart

This is unxgo, inspired and based on @RavenLuni 's work at Hundred Rabbits.

https://github.com/ha1tch/unxgo

With many thanks and unreserved admiration for @RavenLuni and @rek 's inspiring, delicate, and beautifully precise work

My stuff is work in progress, not yet complete, may not compile. May implement a different kind of bitmap graphics system going forward.

My goal is not to offer a competing Varvara implementation on big systems, but to learn the platform and see how much of it I'm able to implement on other smaller systems. Possibly, eventually with TinyGo on microcontrollers, Z80, and the like.

Other work in progress: a DSL that works like a lua layer on top of unxtal called ualunx

#retrocomputing #uxn

GitHub - ha1tch/unxgo: A trivial unx implementation in Go

A trivial unx implementation in Go. Contribute to ha1tch/unxgo development by creating an account on GitHub.

^GitHub

Since I seem to have more money than sense, I got hold of an #AnaloguePocket and gotta say, this thing sure is cool.

Here it is running Donsol by @neauoire and @rek (#varvara core).

#HandheldGaming #uxn

I spent a few hours so we could easily push embedded builds of our #uxn roms to run directly in the browser on @itchio.

Also, @rek drew some excellent characters for the improved documentation for the rewriting playground!

https://hundredrabbits.itch.io/tote

I'm a little bit tired of Z80, I'm taking a break and I'll be learning #uxntal by the great @neauoire

Join me !! https://www.twitch.tv/astatinchan/

#vtuber #twitch #uxn #uxntal #permacomputing #happyBunny

AstatinChan - Twitch

✨ I'm Astatin ! I'm developing a Gameboy game live on Twitch ! ✨ Feel free to come hang out in my chat 🍵 I'd be happy to talk with you about anything !

^Twitch

Bunnymark:
305 🐰 (existing 0.0.4 core)
355 🐰 (WIP 0.0.5 core)

#uxn #varvara #AnaloguePocket

I’ve been learning some Verilog, and attempting to rewrite the Pocket Varvara core.

The design is a little simpler than before. It’s also a little faster and higher res now

It still doesn’t do everything the PipelineC version of core can do, but this rewrite may prove worthwhile in the end. Lots of catching up to do still 🙂

The screen test ROM is looking pretty good though, except for the top and left edge

#uxn #varvara #AnaloguePocket

Happy delivery day @neauoire and @rek 😀 😀

#uxn

Devine looks back on 4 years of #Uxn

https://wiki.xxiivv.com/site/now_lie_in_it.html

@neauoire

Finished v0.1.0 of Tuor, a basic Gemini client for #uxn.

For now it requires Finwë's `.Net` device, so you'll have to run with with `finwe -g src/main.finw` rather than any other Uxn emulator.

There's still a lot to do, but for now I'm going to focus on getting `.Net` into other emulators, and fixing the many issues in Finwë that working on Tuor surfaced (`rg 'TODO: Finwe: ' src/`).

https://github.com/kiedtl/tuor

https://github.com/kiedtl/finwe/blob/trunk/std/net.finw

Autumn is just around the corner, and when the leaves begin to fall, it will have been four years since the early sketches of a personal computing system which became #Uxn. I thought it would be interesting to look back and see what has happened since.

https://wiki.xxiivv.com/site/now_lie_in_it.html

Content warning: uxn unicode support Reveal/hide