Email or username:

Password:

Forgot your password?
2,445 posts total
Devil Lu Linvega

It's so nice to run into other hardcore long distance sailors with tricked out vessels.

Devil Lu Linvega

Interactive fiction is an ideal candidate for rewriting systems, I'm hoping to make use of the homoiconicity of the language to allow the world to be reprogrammed from within. The atoms of the world will be rewrite rules.
git.sr.ht/~rabbits/parade/tree

poetaster

@neauoire although I enjoy writing and rewriting haiku, I prefer arbitrarily soldering transistors to circuits to rearrange the atoms of the world. My software and my hardware sides favour disequilibrium.

poetaster

@neauoire just an aside, mind! I haven't looked at modal yet.

Devil Lu Linvega

Brandalism on point.

Shell Oil ad sponsoring British Cycling, defaced meticulously to look as if it authentically reads: "WE'VE TEAMED UP WITH BRITISH CYCLING TO HELP US FAST TRACK THE APOCALYPSE."

Show previous comments
Dark Photon Studio

@neauoire Is this a real billboard or just a Photoshop?

DELETED

@neauoire It looks VERY much like a typical Darren Cullen poster...(spellingmistakescostlives.com). Check him out, he has some very cutting and awesome stuff.

Devil Lu Linvega

Kindling making for the next leg of the trip north.

Justin Miller

@neauoire I love making kindling. Chopping wood? Also fun. But little kindling pieces are more satisfying to me.

Devil Lu Linvega

Rewriting systems are fascinating, since they're closer to the straight automata realm, there's no pointers, no variables, no functions(think, Orca).

To check if something is in a list, you basically have to implement a 1D physics engine, that sends a signal(a word) down the list, collide with some word or the tail of the list, and bounce back with a signal of its success or failure by rewriting the program as it goes. It's kind of blowing my mind right now.
git.sr.ht/~rabbits/parade/tree

Rewriting systems are fascinating, since they're closer to the straight automata realm, there's no pointers, no variables, no functions(think, Orca).

To check if something is in a list, you basically have to implement a 1D physics engine, that sends a signal(a word) down the list, collide with some word or the tail of the list, and bounce back with a signal of its success or failure by rewriting the program as it goes. It's kind of blowing my mind right now.
git.sr.ht/~rabbits/parade/tree

Show previous comments
(wryl)

@neauoire It's very nice to see you getting closer to the physical intuition and beauty of rewriting. I feel like that's the real insight behind these systems.

When you write in them, you're closer to a physicist (or, perhaps, a chemist) than a programmer. Things bounce off of other things, collide, expand, contract..

Modal may be used to build things that look functional, but at some point, you'll need to think like a physicist, or a mechanical engineer.

I could make a "string theory" pun..

Odo Klave

@neauoire What does working on this feel like?

[DATA EXPUNGED]
Devil Lu Linvega

No one else was sailing that day, we were the only fools out there.

Unfortunately, the only spot available in Port McNeil was only partially shielded from the wind waves, so we got our asses kicked all night at the dock too.
The harbourmaster felt sorry for us, and found another spot for us. We couldn't move to it until today though, the wind and water was keeping us pinned to the dock.

Now we are ready to relax.

R E K

We also did a really stupid thing on this transit. Furling the jib is really difficult in high winds, even when facing into it, so sometimes we roll it in wrong. Rolling it wrong means that the wind can catch in it.
The result is the top part of the sail fills with air and balloons out while the bottom is still furled. The wind causes the pocket of air in the sail to flail violently which shakes the entire rig in a very scary way. The only way we found to fix this is to do a 360 turn.

Devil Lu Linvega

You can gauge how far north you are by the reaction people give you when you answer them that you don't eat fish.

Devil Lu Linvega

We sailed to a small fishing town that claims to have the world's largest burl, so we have got to go check this out. 🌱

Devil Lu Linvega

Just updated my website with a new design inspired by this mindblowing art piece by @helveticablanc. I'm ecstatic to finally share it with you:

badd10de.dev/

I've got some news also, which you can find on my /now page if you are interested!

Shoutout to @thomasorus for their web developer notes, which I used to polish a few sore spots on my site: thomasorus.com/web-development

I decided to forgo the dark mode css switch, y'all will have to deal with the *yellow*. Hope you like it!

Just updated my website with a new design inspired by this mindblowing art piece by @helveticablanc. I'm ecstatic to finally share it with you:

badd10de.dev/

I've got some news also, which you can find on my /now page if you are interested!

Shoutout to @thomasorus for their web developer notes, which I used to polish a few sore spots on my site: thomasorus.com/web-development

Devil Lu Linvega

Exploring how to make a little interactive fiction engine entirely using rewrite rules.
git.sr.ht/~rabbits/parade/tree

Show previous comments
Marcos

@neauoire I see that code and think that perhaps the syntax "A <> B" could be better than "<> A B" ... but perhaps there is a good reason you use the prefix <> instead of infix?

Ciel

@neauoire so rad. I've been thinking about paradise again. I might try to do some interactive fiction thing to learn elixir

Devil Lu Linvega

Galway Blazer II, an unconventional junk-rigged schooner designed by English naval architect Angus Primrose and built at Souter’s, in Cowes, Isle of Wight, in 1967, for a much-decorated wartime submarine commander, Bill King, who intended to sail her alone around the world.

Devil Lu Linvega

Total Modal: A category of rewrite rules that must always have more terms in the left-hand side, than on the right-hand side. When found to be the only type of rules in a program, it makes up for a non-turing complete program that will always terminate. For example, where "swap" is the fuel:

<> (swap ?x ?y) (?y ?x)

mvu

@neauoire It is my goal in life to one day understand your posts about Modal~

DELETED

@neauoire wow, what an intuitive proof of termination. am I understanding correctly that the number of terms strictly decreases?

Devil Lu Linvega

Up before every sunrise, not much time to take the computer out of the chart table, drifting in many fjords through countless snow-covered mountains, taking too many photos.

wiki.xxiivv.com/site/now

Devil Lu Linvega

A modern take on the traditional Chinese trading junk: the 48.5-foot K’ung Fu-Tse, designed by the late Thomas Colvin and built of aluminium.

Colvin lived aboard the junk with his family and from 1973 to 1989, sailed her more than 75.000 sea miles.

Stoneface Vimes

@ccohanlon fine boat. The junk is eminently sailable. Even with a small crew.

Tessalation

@ccohanlon I love your aquatic vessel build posts.

Just really freakin love them.

I always save the schematic view and mildly daydream about building similar things for the next few days.

Thank you for that joy.

Devil Lu Linvega

When you pull in to dock your spaceship, but it turns it's a purge planet. :angy:

Devil Lu Linvega

Sailing through the thick diesel plume and violent wake of a cruise ship. An hour after it has passed, the air still burns our lungs, and a 10m high yellow fog covers the strait from coast to coast.

Fuck the cruise ships industry and everyone aboard.

Show previous comments
Phil Stevens

@neauoire If it were diesel that would be bad enough. It's a demonic sludge called bunker fuel, which is basically one small step away from tar and has to be heated in order to be pumped from the tanks to the engines. Nothing in that plume is good to breathe.

Go Up