Devine Lu Linvega

It’s always night under the ultraviolet sun.

memex: https://wiki.xxiivv.com
seasteading: https://100r.co
No Pipelines!: https://unistoten.camp/no-pipelines/

Public Key

npub1z8rjwhwhg8dna3cq0uz6hded2rdqlegj7lrvcs7s0zd56yj9fdasfgmrq6

NIP-05 Address

[email protected]

Profile Code

nprofile1qqspr3e8tht5rke7cuq87pdtkuk4pks0u5f003kvg0g83x6dzfz5k7cpqqm5sjer

Publishing to

Author Public Key

npub1z8rjwhwhg8dna3cq0uz6hded2rdqlegj7lrvcs7s0zd56yj9fdasfgmrq6

Show more details

Last Notes

2026-05-14 19:03:33 CEST

https://assets.merveilles.town/media_attachments/files/116/574/008/546/428/298/original/baa8c6ba9e3da89d.png

2026-05-10 17:20:55 CEST

- reply

Let's fucking go! I almost made it blinking, but I controlled myself.
https://assets.merveilles.town/media_attachments/files/116/550/954/571/905/683/original/c09e92be0e3ed782.png

2026-05-09 19:47:54 CEST

- reply

I think there was two or three left yesterday, they're large size tho, but I know @npub1485…8vcz doesn't want to travel back with the shirts, so maybe I can grab two extra ones and ship them to you?

2026-05-08 20:26:30 CEST

- reply

WOW! I want one, if I send you some money could you print me one?

2026-04-24 16:47:42 CEST

- reply

you're worth it ✊

2026-04-18 17:41:54 CEST

- reply

nice! Do you plan on sharing the talk?

2026-04-15 19:04:00 CEST

- reply

yeah, most part shops are still stuck in imperial units, but honestly, it hasn't been probably, we can find metric parts for everything.

2026-04-15 18:21:49 CEST

- reply

yeah, I think my computer brain is just NOT USED to this.

2026-04-15 18:10:00 CEST

It's really nice to know that we can buy parts compatible with a 50 years old furler.
This is a new fitting connected to a 45+ years old socket, I realize that thread sizes have standardized a long time ago, but still, aren't we fortunate to live in such a world that these don't change every 5 years..
https://assets.merveilles.town/media_attachments/files/116/409/559/779/420/330/original/33832916b7c47279.jpeg

2026-04-15 17:25:29 CEST

- reply

everything looks extremely crude and low-resolution in comparison to nature, and there's no faking this. 🌻

2026-04-15 17:08:58 CEST

- reply

there's a lot to this, high den might be reflected as heavier fabric, but if you're looking to develop an eye for well made clothing, Bernadette Banner has a lot of amazing resources on that topic, esp thrifting.
She's a famous youtuber, her book covers most of the same things as well if video formats are not your thing.

2026-04-15 16:58:53 CEST

Denier count is the most measurable indicator of fabric durability.
https://en.wikipedia.org/wiki/Units_of_textile_measurement

2026-04-15 05:32:57 CEST

- reply

After an entire day tracking the wildebeest in the savana.
https://wiki.xxiivv.com/site/rejoice#beastiary
https://assets.merveilles.town/media_attachments/files/116/406/610/909/642/320/original/c81a2c6406d7366f.png

2026-04-14 23:09:43 CEST

- reply

:moar: it's really nice! good vibes, I'd bring it out skating if it wasn't raining right now

2026-04-14 22:37:12 CEST

- reply

that's Sean Young, she plays Rachel in Blade Runner.

2026-04-14 22:20:00 CEST

https://assets.merveilles.town/media_attachments/files/116/404/911/399/704/588/original/7547eb8f8214ffc4.mp4

2026-04-14 18:57:07 CEST

- reply

it's a Smullyan reference, but I think I'll use Lyrebird instead :)

2026-04-14 18:34:50 CEST

- reply

It's a great idea, I'm going to adopt it for Identity 🙏

2026-04-14 18:33:25 CEST

- reply

Oh! is that the bird that the Flashbulb used to encode a picture?!

2026-04-14 18:29:39 CEST

- reply

that's the reason :) before making orca, I had started working on a tracker(it was called marabu) and I dropped it to focus on orca, it was like a tracker, only moreso :)

2026-04-14 18:25:33 CEST

- reply

This post will get flagged as jackpotmaxxing, if you want to keep it, repost it as unlisted or it might get deleted in the next minute or so.

2026-04-14 18:08:39 CEST

- reply

yeah! I need to turn this into a sort of ..
https://wiki.xxiivv.com/site/logic

2026-04-14 17:50:41 CEST

- reply

they are!
https://assets.merveilles.town/media_attachments/files/116/403/852/732/191/206/original/735d439a0245ee82.jpg

2026-04-14 17:47:32 CEST

What if I names to the different multiset combinators 🤔
https://assets.merveilles.town/media_attachments/files/116/403/838/089/217/828/original/1afde5afcca3b1c6.png

2026-04-14 16:45:36 CEST

14 avril
https://assets.merveilles.town/media_attachments/files/116/403/595/840/709/742/original/8a8e7d63279a0ffa.mp4

2026-04-13 16:37:45 CEST

- reply

I have to admit I only started to get what they were talking about by the 3rd time it tried to explain its point.

2026-04-13 16:26:59 CEST

- reply

I am actually typing this message in morse.

2026-04-13 16:25:44 CEST

- reply

I do!

2026-04-13 06:19:23 CEST

A calculator with just two buttons, EML and the digit 1, can compute everything a full scientific calculator does.
https://arxiv.org/pdf/2603.21852

2026-04-13 05:36:24 CEST

- reply

I've seen tutus(tutum) used like that before, I think that's a good bet!

2026-04-13 04:46:50 CEST

- reply

🥂 *clink*

2026-04-12 21:45:18 CEST

- reply

I'd love to help you understand the bits you don't, if you're interested :)

2026-04-12 21:02:37 CEST

- reply

she's excellent in The Fountain :)

2026-04-12 19:55:55 CEST

I've always been interested in the connection between linear logic and reversibility, but lacked a language malleable enough that reversibility could emerge naturally from its resource model rather than enforced as a separate concern.
Most programming languages are designed as if thermodynamics don't apply, and when it is considered, reversibility is either bolted on as a constraint or the language's entire point. In a linear resource model, every transformation must account for what it consumes, information cannot be silently acquired or discarded. Reversible computing might be a way toward zero energy dissipation, and this is how I choose to explore it!
https://wiki.xxiivv.com/site/rejoice#reversibility
https://assets.merveilles.town/media_attachments/files/116/392/913/750/053/518/original/5ed48dde36a8ffc6.png

2026-04-12 17:39:20 CEST

- reply

I was wondering if your weather station had to be digital at all? Would it be enough to make a barometer push a little needle with a lead point on a piece of a paper?
Simpler parts, easy to repare, lasts forever, uses power only to turn the drum, but you could do without.
Just an idea 🌻
https://assets.merveilles.town/media_attachments/files/116/392/482/076/509/009/original/bd3dba97e7bbecbc.png

2026-04-12 16:44:26 CEST

- reply

:eyes_fast:

2026-04-12 16:42:40 CEST

- reply

I wrote about why I picked it when I was a teen here:
https://wiki.xxiivv.com/site/faqs

2026-04-12 16:39:31 CEST

- reply

no, we only play in Victoria :)

2026-04-12 03:54:12 CEST

- reply

Harvested the zipper from the basmati rice jute bags, the fabric from our old jib. It's tricky to take a picture of this thing without it looking like lumpy mess.
https://assets.merveilles.town/media_attachments/files/116/389/229/610/731/470/original/8425c0680586dccb.jpeg

2026-04-12 02:55:20 CEST

- reply

yea it's going through out heavy duty sewing machine, dacron is too tough for household ones unfortunately.
https://100r.co/site/sewing.html

2026-04-12 02:32:51 CEST

- reply

I made a 7ft long bag earlier today, for holding oars during storage but flipping it inside out was near impossible due to the dacron not being super happy with being folded into itself.
https://assets.merveilles.town/media_attachments/files/116/388/916/738/860/269/original/f6b4a1b65f94aee9.jpeg

2026-04-12 02:31:26 CEST

- reply

it's very stiff, and nothing sticks to it, we're used to using tape for aligning things, it doesn't work at all for this so we have to use clips and pins but it gets all tangled up. It's a pretty tough material to work with for rounded shapes and corners.

2026-04-12 02:30:20 CEST

- reply

we use it mostly as a thickener, like in sauces too. We don't do anything special, if we make some sauce and it's too runny, we add more tvp X)

2026-04-12 01:51:45 CEST

Making a bag for our squash rackets from old sails.
https://assets.merveilles.town/media_attachments/files/116/388/755/377/213/981/original/2c29613df75ac22b.jpeg

2026-04-11 22:16:30 CEST

- reply

I will! I mean to improve all the rejoice stuff throughout the next few weeks :)

2026-04-11 22:03:37 CEST

- reply

that's exactly it, but it might not just be you, I added a little paragraph that spells it out clearly.
Also, the playground lets you find the answer to that quickly:
( Put a logic gate and balanced ternary states in the bag: )
e bt+
bt-

2026-04-11 21:49:10 CEST

An afternoon of sewing projects while it pours outside.

2026-04-11 19:43:52 CEST

- reply

Oh god, do you want balanced or unsigned bills?!

2026-04-11 19:43:16 CEST

- reply

you're saying this as if being kind and encouraging others, if a low bar to clear, but really, I think that you're already doing more than most. I hope you can be content with that! 🌻

2026-04-11 18:52:45 CEST

- reply

the sewer vegans
https://assets.merveilles.town/media_attachments/files/116/387/108/795/593/275/original/5fcd9e812994e6a4.png

2026-04-11 18:50:33 CEST

- reply

hard to say, it's less about abstract/deabstracting, and more like, this is just doesn't look like normal human words.

2026-04-11 18:10:51 CEST

- reply

ah yeah sometimes, it's good late night reading music along Dead Can Dance, Aindulmedir, IJdelheid, Ulvesang and that sort of things :)

2026-04-11 17:51:40 CEST

- reply

yeah, I never really got into that somehow.. I realize that everyone sitting in their boat right now is listening to Old Pine by Ben Howard, but that's just not for us.

2026-04-11 17:46:06 CEST

- reply

who wouldn't morelike, that's the only sign that I am still sane

2026-04-11 17:44:48 CEST

- reply

peekaboo!
https://assets.merveilles.town/media_attachments/files/116/386/841/929/459/145/original/b1575edf81121ff4.png

2026-04-11 17:39:25 CEST

Sitting back at my desk, looking at the screen and the opened windows, thinking: these are the ramblings of a mad person
https://assets.merveilles.town/media_attachments/files/116/386/819/596/476/686/original/9906d1771f0b0f19.png

2026-04-11 17:04:06 CEST

- reply

Oh! so all of them meanings then! Love it, I marked the date down on my calendar :)

2026-04-11 16:44:40 CEST

- reply

what is patching? :) I know 3 meanings of what patching might mean, but none seem to fit in this context

2026-04-11 00:42:22 CEST

- reply

I still think about this book near every week since.

2026-04-10 06:11:04 CEST

- reply

I've improved the page on ternary logic and heptavintimal notation.
I've even added little interactive playgrounds to experiment with the different possible values and single-input ternary logic gates.
https://wiki.xxiivv.com/site/ternary
I hope it helps :) Sorry it took me a while to get to it.

2026-04-10 03:22:47 CEST

- reply

haha, riiight. It's crazy to me that you can actually compile roms on the device itself :uxn: genius work with setting this up!

2026-04-10 00:28:53 CEST

- reply

keep an eye on the local feed and find folks in town that you jazz with ^__^
https://merveilles.town/public/local

2026-04-09 21:46:18 CEST

- reply

yeah, I agree with that, the pieces already were in place for us to fail to prepare, it's not something that just happened accidentally.

2026-04-09 20:18:23 CEST

- reply

we're not ready in a similar way that self-driving is going to make insurance companies price human driving out, in the guide of "security" this will price out developers from working on codebases.
"To minimize suffering and to maximize security were natural and proper ends of society and Caesar. But then they became the only ends, somehow, and the only basis of law — a perversion. Inevitably, then, in seeking only them, we found only their opposites: maximum suffering and minimum security."
Walter M. Miller Jr.

2026-04-09 20:15:36 CEST

The most expensive dumbell in the world..
We've taken off the forestay yesterday, we'll take it all apart, have a new stay made and try to put the whole thing back together without breaking anything.
I'm so done going up the mast when its only partly stayed, it's harrowing af
#theBoatyard
https://assets.merveilles.town/media_attachments/files/116/376/106/033/142/188/original/94b0cef373fcaf30.jpeg

2026-04-09 19:43:11 CEST

- reply

we can fight back! ✊
https://rabbitwaves.ca/site/celestial_compass.html

2026-04-09 16:34:14 CEST

- reply

TIL! that's awesome

2026-04-09 16:33:02 CEST

- reply

we eat so may kalamata olives X(

2026-04-09 02:56:50 CEST

- reply

Cucumber is a heck of a name <3

2026-04-08 20:06:25 CEST

- reply

Oh that's cool! *tries it out*

2026-04-08 19:44:58 CEST

- reply

https://assets.merveilles.town/media_attachments/files/116/370/324/492/446/106/original/2b2d152f45a95222.png
https://assets.merveilles.town/media_attachments/files/116/370/327/696/743/304/original/893ce10f3fb104b9.mp4

2026-04-08 19:21:26 CEST

- reply

oh! That's a little like lambdas in uxntal where the compiler has a scope stack for automatically assigning names to things.. That's comfy af, lemme take it for a spin

2026-04-08 19:19:44 CEST

- reply

I'm so happy, this is why I do this, and I'm super hyped to see where this might lead.

2026-04-08 18:59:29 CEST

- reply

I've received a pretty interesting email this morning that made rethink the connection with linear logic. The way I had it phrased made it seem like resources cannot be duplicated, right after I had JUST demonstrated how to duplicate resources..
It's a bit more subtle than that.
Traditional logic treats propositions as infinite, whereas linear logic accounts for resources. Rejoice is an attempt at making a linear logic playground in which every transformation equates to a transaction that consumes rules.
In Rejoice, the linear logic ! modality applies to rules, not to values. A one-shot fraction can freely duplicate or discard symbols(x^2/x), but the fraction itself is consumed after firing. Anonymous functions and the @label mechanism are what promote rules to unlimited use. This is illustrated with file handles: once file is consumed, any fraction requiring it in its denominator simply won't fire, the resource is inaccessible through absence rather than enforcement. A fraction requiring a consumed symbol doesn't crash, it just becomes dead code.
file^1
closed/file
read/file ( unreachable )

2026-04-08 18:39:13 CEST

- reply

yeah, instead of looping 10 times, you get how many times the num fits in the den, and apply it once :) Reduces cycles a LOT!
https://wiki.xxiivv.com/site/fractran.html#exhaustive

2026-04-08 18:00:16 CEST

@npub16ns…9u5t psst! new lisa song just dropped

2026-04-08 17:18:59 CEST

- reply

I realized something this morning.
.hey^5 should emit "hey" 5 times, it's necessary for the optimization where: x^10 y/x can be optimized into y^10/x^10, otherwise it merged outputs.. It's a bit hard to explain X)

2026-04-08 17:00:54 CEST

- reply

Wow, that's a lot of space. As a baseline, Sunflower basic is 6000 bytes and has a full graphical system and font included. Do you know why it's so large?

2026-04-08 16:34:11 CEST

- reply

we wrote floub instead of flour once, and now it's just the word we use for it.

2026-04-08 04:49:37 CEST

- reply

we throw them on everything, they're especially good with stir fry on rice noodles. I like to roast them a bit on their own.

2026-04-08 04:10:52 CEST

- reply

we put them in EVERYTHING

2026-04-08 03:39:53 CEST

Food prices about to blow up, did some extra grocery runs to fill up our long term storage.
https://assets.merveilles.town/media_attachments/files/116/366/530/733/923/320/original/85142bf613603373.jpeg

2026-04-08 01:50:29 CEST

- reply

I love that your mind went there, it might not be horrible to give the player total capabilities. It'll get messy, but who cares ^^

2026-04-08 01:46:53 CEST

- reply

oh daaaang! cc @npub10lg…asm4

2026-04-08 01:44:59 CEST

- reply

that's a great way to learn about the internals :) The opcode tests rom is a good one to try once your core passes hello world :) Hop on irc if you need a hand!

2026-04-08 01:44:10 CEST

We had a new sail made and cut the old one into panels, a few were bad, some were good, we gave some away to friends on other boats, and we'll reuse some for various projects.
I needed a liner for my backpack[1], and dacron is the perfect material for that!
[1] https://wiki.xxiivv.com/site/commuter_backpack.html
https://assets.merveilles.town/media_attachments/files/116/366/065/636/044/255/original/af1e2c6f1b9d9082.jpeg
https://assets.merveilles.town/media_attachments/files/116/366/066/418/044/579/original/c7dd496bf9e5703a.jpeg
https://assets.merveilles.town/media_attachments/files/116/366/066/940/778/548/original/98d2aa120dfd7110.jpeg
https://assets.merveilles.town/media_attachments/files/116/366/067/258/207/083/original/927c6844709a97c6.jpeg

2026-04-08 01:34:35 CEST

- reply

ah! yes non-deterministic printing madness X)

2026-04-08 01:34:04 CEST

- reply

are you writing uxntal? That looks like C no?

2026-04-08 01:33:10 CEST

- reply

I don't sorry, it never really worked too well.

2026-04-07 22:46:53 CEST

- reply

Ah! That's cool, yeah I think .x should always only print one, I'll have to think about that X).
Have you tried running the acid file on it?
https://git.sr.ht/~rabbits/rejoice/tree/master/item/examples/acid.rji

2026-04-07 22:41:51 CEST

- reply

Oh! concatenativa is a good one, I'll change it, same for decimale, that one's a typo X). I see a lot of -re removed in Formulario Mathematico so I went with that, whenever possible, I can't see it through Italian eyes, it does seem like the LsF docs conjugate things more than his own writing in Formulario.. Thanks for looking it over, if you see anything else, I'd love to hear.

2026-04-07 19:46:54 CEST

- reply

there is a marble^1 in my Castillian bag!
Cheers ;)
https://assets.merveilles.town/media_attachments/files/116/364/670/630/538/773/original/7717d4ddd1aa8727.png

2026-04-07 19:40:15 CEST

- reply

🙌

2026-04-07 19:31:03 CEST

- reply

it wasn't designed for math, but as an auxlang. X)
https://en.wikipedia.org/wiki/International_auxiliary_language

2026-04-07 19:22:53 CEST

- reply

There's this mathematician who decided to release his magnum opus in a language he's made up, that he felt better aligned with his sort of mathy framework for stuff, a bit like Polar releasing his book in Esperanto, but this is a language of Peano's making.
This mixture of application and conlang, is something I find extremely endearing.

2026-04-07 19:11:07 CEST

- reply

yeah, it's insanely cool, kindda blew my mind when I realized that if the input types are the same, I don't need to use two symbols.

2026-04-07 19:06:34 CEST

- reply

it's all good, the example kindda sucks, improving it now. I think I'll make it print the result in binary instead of going back.

2026-04-07 19:04:41 CEST

- reply

ah yes, if you want the binary result, you can remove the last two lines.

2026-04-07 19:02:15 CEST

- reply

hehe yeah, it goes back and forth ^__^, the trace is the important bit, not the output in this case.

2026-04-07 18:51:22 CEST

- reply

!!!!! THAT'S THE ONE