LR

@lr

Account of Leonard Ritter (he/him, they/them). Arts, Maths, Metaprogramming & Nonsense; Game Developer at @duangle. paniq in the demoscene. Building Tukan, maintaining Scopes & gently going NOWHERE.

54 Siguiendo733 Seguidores1339 Publicaciones

YouTube YouTube Bluesky

gamer

¿Es tu perfil?Reclamar perfil

LR@lr· 23d

zwei deppen ein gedanke

LR@lr· 25d

ist es... ja, er ist es

LR@lr· Jul 12

okay i've been lucky. two uses, with modifications.

LR@lr· Jul 12

built for this popcorn transport. no other practical use.

LR@lr· Jul 12

current status

LR@lr· Jul 11

LR@lr· Jul 10

oh no no please no

LR@lr· Jul 10

so glad this is unrealistically stable right now

LR@lr· Jul 10

i'm the michelangelo of transport

LR@lr· Jul 8

LR@lr· Jul 4

another example of a classical application of datalog that takes many more lines to implement in an imperative language. it's slightly more verbose but still compact in comparison.

type ID : s32
set edge ID ID
set path ID ID
queue next_path ID ID

then edge ::
0 :: 1 2
1 3
3 4
2 4
4 :: 5 6

# rules for transitive closure
and # init path from edge
edge ?x ?y
then path x y

and # discover transitive closures
let x y z
# chained sub-products are evaluated disjunctively
and
new path x y # for every new insertion in path
path y z # for every edge starting at y
and
new path y z
path x y # for every edge ending in y
then next_path x z # add to queue
and
new next_path ?a ?b # work off queue
cue path a b # `cue` is like `then` but applies to next iteration

LR@lr· Jul 4

@mmalex.bsky.social here's fizzbuzz written in nudl (that's the name of my language)

$# fizzbuzz evaluated in single top level iteration using import reduce # for sum_option # table of type sum_option and name "output", with one column of type string tables are container abstractions and the "vertices" of our data flow graph. sum_option output string # declare external C function; rawstring is `const char *` extern fn puts rawstring -> s32 # product that is evaluated once `out` is complete, see next block for more details about products. and # declare variable `str` in-place with `?` prefix output ?str _ = puts (str : rawstring) # cast str to rawstring before printing it assert str == S"1\n2\nFizz\n4\nBuzz\nFizz\n7\n8\nFizz\nBuzz\n11\nFizz\n13\n14\nFizzBuzz\n" # products are how we transfer data between tables. they are the "edges" of our data flow graph. specifically, each product is a hyperedge, so our graph is bipartite, with two vertex types: tables and products. and ?i = range 1 16 # generate numbers from i >= 1 to i < 16 # for each i: fold and # open a local fixed point iterative loop here we only have one product which completes in one iteration, so the fold section only serves to merge control flow. try # disjunctive product that may yield zero completions or # products conceptually evaluated in parallel and i % 3 == 0 then output S"Fizz" and i % 5 == 0 then output S"Buzz" else # execute this product if try has no completions then output (format "{}" i) # once for each i then output S"\n"$

LR@lr· Jul 3

would love to code for a while in this exact messed up dot matrix font with the vertical misalignments, missing ink and everything

https://en.wikipedia.org/wiki/Paul_Allen#/media/File:Altair_Basic_Sign.jpg

LR@lr· Jul 1

updated

LR@lr· Jul 1

took a photo of this historical score

LR@lr· Jun 28

exact point where the goose stopped being valued

LR@lr· Jun 28

LR@lr· Jun 26

over at mastodon, the memes about this are going crazy

LR@lr· Jun 25

disaster-movie screenplay writers watching the EU news this summer like

LR@lr· Jun 24

albern. und überhaupt... (vom januar)

LR@lr· Jun 20

logotype for nudl, inkscape, 2026

LR@lr· Jun 18

from my notes for the year 2036:

as primitive and annoyingly invasive as LLMs were, i wonder if their emergence helped to cover the gaps of expertise that the eminently creative silent generation left behind as they went, just long enough so that generation z could pick up the pieces and rebuild the living bridge of understanding between us all.

LR@lr· Jun 17

basic window state serialization. of course this is not complete; you also want to replicate maximized state and fullscreen. i love posting source code that probably freaks you all out #devlog #tukan #nudl