Nostr notes by Devine Lu Linvega

Away from the noise of the city until autumn. ...

2026-05-18T16:30:40+02:00

Away from the noise of the city until autumn.

Nostr event nevent1qqspx6hpxazncagk207vdcq7fxlsju557sm6zzkdeh8pgxgafjdh64czyqguwf6a6aqak0k8qplst2ah94gd5rl9ztmudnzr6pufkngjg49hk9xwv4j

2026-05-14T19:03:33+02:00

Let's fucking go! I almost made it blinking, but I controlled ...

2026-05-10T17:20:55+02:00

In reply to nevent1q…wj9p
_________________________

Let's fucking go! I almost made it blinking, but I controlled myself.

I think there was two or three left yesterday, they're large ...

2026-05-09T19:47:54+02:00

In reply to nevent1q…8yza
_________________________

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

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

2026-05-08T20:26:30+02:00

In reply to nevent1q…c25w
_________________________

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

you're worth it ✊

2026-04-24T16:47:42+02:00

In reply to nevent1q…rgrp
_________________________

you're worth it ✊

nice! Do you plan on sharing the talk?

2026-04-18T17:41:54+02:00

In reply to nevent1q…0lev
_________________________

nice! Do you plan on sharing the talk?

yeah, most part shops are still stuck in imperial units, but ...

2026-04-15T19:04:00+02:00

In reply to nevent1q…ed7q
_________________________

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

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

2026-04-15T18:21:49+02:00

In reply to nevent1q…3dkg
_________________________

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

It's really nice to know that we can buy parts compatible ...

2026-04-15T18:10:00+02:00

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..

everything looks extremely crude and low-resolution in comparison ...

2026-04-15T17:25:29+02:00

In reply to nevent1q…msar
_________________________

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

there's a lot to this, high den might be reflected as heavier ...

2026-04-15T17:08:58+02:00

In reply to nevent1q…e6yg
_________________________

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.

Denier count is the most measurable indicator of fabric ...

2026-04-15T16:58:53+02:00

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

After an entire day tracking the wildebeest in the savana. ...

2026-04-15T05:32:57+02:00

In reply to nevent1q…crum
_________________________

After an entire day tracking the wildebeest in the savana.
https://wiki.xxiivv.com/site/rejoice#beastiary

:moar: it's really nice! good vibes, I'd bring it out ...

2026-04-14T23:09:43+02:00

In reply to nevent1q…rq3e
_________________________

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

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

2026-04-14T22:37:12+02:00

In reply to nevent1q…3079
_________________________

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

Nostr event nevent1qqspl8c5xwhhmfjer5rf5wqxh92j3rwvs868acszx76805fpqct25eqzyqguwf6a6aqak0k8qplst2ah94gd5rl9ztmudnzr6pufkngjg49hkxq03lq

2026-04-14T22:20:00+02:00

it's a Smullyan reference, but I think I'll use Lyrebird ...

2026-04-14T18:57:07+02:00

In reply to nevent1q…x20m
_________________________

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

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

2026-04-14T18:34:50+02:00

In reply to nevent1q…s6fs
_________________________

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

Oh! is that the bird that the Flashbulb used to encode a ...

2026-04-14T18:33:25+02:00

In reply to nevent1q…4tlv
_________________________

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

that's the reason :) before making orca, I had started ...

2026-04-14T18:29:39+02:00

In reply to nevent1q…9x72
_________________________

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 :)

This post will get flagged as jackpotmaxxing, if you want to keep ...

2026-04-14T18:25:33+02:00

In reply to nevent1q…le6c
_________________________

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.

yeah! I need to turn this into a sort of .. ...

2026-04-14T18:08:39+02:00

In reply to nevent1q…yy4r
_________________________

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

they are! ...

2026-04-14T17:50:41+02:00

In reply to nevent1q…exeu
_________________________

they are!

What if I names to the different multiset combinators 🤔 ...

2026-04-14T17:47:32+02:00

What if I names to the different multiset combinators 🤔

14 avril ...

2026-04-14T16:45:36+02:00

14 avril

I have to admit I only started to get what they were talking ...

2026-04-13T16:37:45+02:00

In reply to nevent1q…jzqy
_________________________

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

I am actually typing this message in morse.

2026-04-13T16:26:59+02:00

In reply to nevent1q…u3rt
_________________________

I am actually typing this message in morse.

I do!

2026-04-13T16:25:44+02:00

In reply to nevent1q…grhy
_________________________

I do!

A calculator with just two buttons, EML and the digit 1, can ...

2026-04-13T06:19:23+02:00

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

I've seen tutus(tutum) used like that before, I think ...

2026-04-13T05:36:24+02:00

In reply to nevent1q…73h3
_________________________

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

🥂 clink

2026-04-13T04:46:50+02:00

In reply to nevent1q…qahh
_________________________

🥂 *clink*

I'd love to help you understand the bits you don't, if ...

2026-04-12T21:45:18+02:00

In reply to nevent1q…mdd0
_________________________

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

she's excellent in The Fountain :)

2026-04-12T21:02:37+02:00

In reply to nevent1q…f52k
_________________________

she's excellent in The Fountain :)

I've always been interested in the connection between linear ...

2026-04-12T19:55:55+02:00

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

I was wondering if your weather station had to be digital at all? ...

2026-04-12T17:39:20+02:00

In reply to nevent1q…gz73
_________________________

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 🌻

:eyes_fast:

2026-04-12T16:44:26+02:00

In reply to nevent1q…6z9m
_________________________

:eyes_fast:

I wrote about why I picked it when I was a teen here: ...

2026-04-12T16:42:40+02:00

In reply to nevent1q…ejre
_________________________

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

no, we only play in Victoria :)

2026-04-12T16:39:31+02:00

In reply to nevent1q…yr6f
_________________________

no, we only play in Victoria :)

Harvested the zipper from the basmati rice jute bags, the fabric ...

2026-04-12T03:54:12+02:00

In reply to nevent1q…4aqw
_________________________

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.

yea it's going through out heavy duty sewing machine, dacron ...

2026-04-12T02:55:20+02:00

In reply to nevent1q…rtnv
_________________________

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

I made a 7ft long bag earlier today, for holding oars during ...

2026-04-12T02:32:51+02:00

In reply to nevent1q…r2s0
_________________________

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.

it's very stiff, and nothing sticks to it, we're used to ...

2026-04-12T02:31:26+02:00

In reply to nevent1q…3k66
_________________________

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.

we use it mostly as a thickener, like in sauces too. We don't ...

2026-04-12T02:30:20+02:00

In reply to nevent1q…4cjc
_________________________

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)

Making a bag for our squash rackets from old sails. ...

2026-04-12T01:51:45+02:00

Making a bag for our squash rackets from old sails.

I will! I mean to improve all the rejoice stuff throughout the ...

2026-04-11T22:16:30+02:00

In reply to nevent1q…zm8d
_________________________

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

that's exactly it, but it might not just be you, I added a ...

2026-04-11T22:03:37+02:00

In reply to nevent1q…v4ha
_________________________

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-

Nostr event nevent1qqspshrjqc9ksk2tfj2dxay4jv73q52tdxvxg2lsjmdqf4nkwjt8ddczyqguwf6a6aqak0k8qplst2ah94gd5rl9ztmudnzr6pufkngjg49hk0z3uas

2026-04-11T21:49:10+02:00

An afternoon of sewing projects while it pours outside.

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

2026-04-11T19:43:52+02:00

In reply to nevent1q…998w
_________________________

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

you're saying this as if being kind and encouraging others, ...

2026-04-11T19:43:16+02:00

In reply to nevent1q…vd8u
_________________________

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! 🌻

the sewer vegans ...

2026-04-11T18:52:45+02:00

In reply to nevent1q…c8mg
_________________________

the sewer vegans

hard to say, it's less about abstract/deabstracting, and more ...

2026-04-11T18:50:33+02:00

In reply to nevent1q…xsk4
_________________________

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

ah yeah sometimes, it's good late night reading music along ...

2026-04-11T18:10:51+02:00

In reply to nevent1q…ksuu
_________________________

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

yeah, I never really got into that somehow.. I realize that ...

2026-04-11T17:51:40+02:00

In reply to nevent1q…ch39
_________________________

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.

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

2026-04-11T17:46:06+02:00

In reply to nevent1q…ly9a
_________________________

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

Nostr event nevent1qqsq8n94cy6ea4rfd0c05f7znss9ve6mp575jfzh2w6thskweccxvngzyqguwf6a6aqak0k8qplst2ah94gd5rl9ztmudnzr6pufkngjg49hk5ajuxj

2026-04-11T17:44:48+02:00

In reply to nevent1q…9pcx
_________________________

peekaboo!

Sitting back at my desk, looking at the screen and the opened ...

2026-04-11T17:39:25+02:00

Sitting back at my desk, looking at the screen and the opened windows, thinking: these are the ramblings of a mad person

Oh! so all of them meanings then! Love it, I marked the date down ...

2026-04-11T17:04:06+02:00

In reply to nevent1q…rvpa
_________________________

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

what is patching? :) I know 3 meanings of what patching might ...

2026-04-11T16:44:40+02:00

In reply to nevent1q…7mgj
_________________________

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

I still think about this book near every week since.

2026-04-11T00:42:22+02:00

In reply to nevent1q…w8g8
_________________________

I still think about this book near every week since.

I've improved the page on ternary logic and heptavintimal ...

2026-04-10T06:11:04+02:00

In reply to nevent1q…zfgq
_________________________

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.

haha, riiight. It's crazy to me that you can actually compile ...

2026-04-10T03:22:47+02:00

In reply to nevent1q…e0dv
_________________________

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

keep an eye on the local feed and find folks in town that you ...

2026-04-10T00:28:53+02:00

In reply to nevent1q…9793
_________________________

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

yeah, I agree with that, the pieces already were in place for us ...

2026-04-09T21:46:18+02:00

In reply to nevent1q…f5g4
_________________________

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.

we're not ready in a similar way that self-driving is going ...

2026-04-09T20:18:23+02:00

In reply to nevent1q…0498
_________________________

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.

The most expensive dumbell in the world.. We've taken off the ...

2026-04-09T20:15:36+02:00

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

we can fight back! ✊ ...

2026-04-09T19:43:11+02:00

In reply to nevent1q…8s65
_________________________

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

TIL! that's awesome

2026-04-09T16:34:14+02:00

In reply to nevent1q…gj8s
_________________________

TIL! that's awesome

we eat so may kalamata olives X(

2026-04-09T16:33:02+02:00

In reply to nevent1q…3exn
_________________________

we eat so may kalamata olives X(

Cucumber is a heck of a name <3

2026-04-09T02:56:50+02:00

In reply to nevent1q…vmt5
_________________________

Cucumber is a heck of a name <3

Oh that's cool! tries it out

2026-04-08T20:06:25+02:00

In reply to nevent1q…vp7j
_________________________

Oh that's cool! *tries it out*

Nostr event nevent1qqsqmtzcpmrg0xy7fcha0pas847xg36jlv9vmp36kgm98jldwfhmxnszyqguwf6a6aqak0k8qplst2ah94gd5rl9ztmudnzr6pufkngjg49hkm2gycm

2026-04-08T19:44:58+02:00

In reply to nevent1q…l3kl
_________________________

oh! That's a little like lambdas in uxntal where the compiler ...

2026-04-08T19:21:26+02:00

In reply to nevent1q…fr92
_________________________

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

I'm so happy, this is why I do this, and I'm super hyped ...

2026-04-08T19:19:44+02:00

In reply to nevent1q…2lwh
_________________________

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

I've received a pretty interesting email this morning that ...

2026-04-08T18:59:29+02:00

In reply to nevent1q…sxkw
_________________________

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 )

yeah, instead of looping 10 times, you get how many times the num ...

2026-04-08T18:39:13+02:00

In reply to nevent1q…s8yy
_________________________

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

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

2026-04-08T18:00:16+02:00

gosha (npub16ns…9u5t) psst! new lisa song just dropped

I realized something this morning. .hey^5 should emit ...

2026-04-08T17:18:59+02:00

In reply to nevent1q…6ccx
_________________________

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)

Wow, that's a lot of space. As a baseline, Sunflower basic is ...

2026-04-08T17:00:54+02:00

In reply to nevent1q…a2a6
_________________________

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?

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

2026-04-08T16:34:11+02:00

In reply to nevent1q…4x8t
_________________________

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

we throw them on everything, they're especially good with ...

2026-04-08T04:49:37+02:00

In reply to nevent1q…zx7t
_________________________

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.

we put them in EVERYTHING

2026-04-08T04:10:52+02:00

In reply to nevent1q…9j4t
_________________________

we put them in EVERYTHING

Food prices about to blow up, did some extra grocery runs to fill ...

2026-04-08T03:39:53+02:00

Food prices about to blow up, did some extra grocery runs to fill up our long term storage.

I love that your mind went there, it might not be horrible to ...

2026-04-08T01:50:29+02:00

In reply to nevent1q…8suv
_________________________

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 ^^

oh daaaang! cc @npub10lg…asm4

2026-04-08T01:46:53+02:00

In reply to nevent1q…8suv
_________________________

oh daaaang! cc ... and and and and ... (npub10lg…asm4)

that's a great way to learn about the internals :) The opcode ...

2026-04-08T01:44:59+02:00

In reply to nevent1q…s77e
_________________________

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!

We had a new sail made and cut the old one into panels, a few ...

2026-04-08T01:44:10+02:00

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

ah! yes non-deterministic printing madness X)

2026-04-08T01:34:35+02:00

In reply to nevent1q…sc9w
_________________________

ah! yes non-deterministic printing madness X)

are you writing uxntal? That looks like C no?

2026-04-08T01:34:04+02:00

In reply to nevent1q…v96s
_________________________

are you writing uxntal? That looks like C no?

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

2026-04-08T01:33:10+02:00

In reply to nevent1q…lm98
_________________________

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

Ah! That's cool, yeah I think .x should always only print ...

2026-04-07T22:46:53+02:00

In reply to nevent1q…6ccx
_________________________

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

Oh! concatenativa is a good one, I'll change it, same for ...

2026-04-07T22:41:51+02:00

In reply to nevent1q…490c
_________________________

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.

there is a marble^1 in my Castillian bag! Cheers ;) ...

2026-04-07T19:46:54+02:00

In reply to nevent1q…6xgm
_________________________

there is a marble^1 in my Castillian bag!

Cheers ;)

🙌

2026-04-07T19:40:15+02:00

In reply to nevent1q…w8j9
_________________________

🙌

it wasn't designed for math, but as an auxlang. X) ...

2026-04-07T19:31:03+02:00

In reply to nevent1q…edn4
_________________________

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

There's this mathematician who decided to release his magnum ...

2026-04-07T19:22:53+02:00

In reply to nevent1q…y2em
_________________________

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.

yeah, it's insanely cool, kindda blew my mind when I realized ...

2026-04-07T19:11:07+02:00

In reply to nevent1q…mas8
_________________________

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.

it's all good, the example kindda sucks, improving it now. I ...

2026-04-07T19:06:34+02:00

In reply to nevent1q…gtd0
_________________________

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.

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

2026-04-07T19:04:41+02:00

In reply to nevent1q…xrkf
_________________________

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

hehe yeah, it goes back and forth ^__^, the trace is the ...

2026-04-07T19:02:15+02:00

In reply to nevent1q…8naj
_________________________

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