Email or username:

Password:

Forgot your password?
2,452 posts total
Devine Lu Linvega

"Unfortunately, most existing programming languages treat software as an isolated, closed-world formal system."
–ULS Report, page 89

Devine Lu Linvega

Almost done restocking for the summer. We should have enough food to last us until the fall, only a few extra runs to grab snacks and extras, and we're done with the spring preparations.

Devine Lu Linvega

I'm trying to find the name of a flash game that was very popular for a while, where it was an editor of wireframe lines and it had gravity, and wind settings, and you could make some of these lines work like pistons, and make little walking machines or bridges. Does that ring a bell for anyone?

Show previous comments
[DATA EXPUNGED]
vacuumbeef

@neauoire This isn't it, but you made me remember Algodoo (or Phun how it was called before). Oh god how much time me and my friend wasted when we were early teenagers.
It's like a sandbox with physics engine, with gravity, wind, fluids, magnets, springs, different materials and different forces. People did basically anything in it, from simple games with fun physics to complex gun models with working insides (like it shoots a bullet because there is reaction happens inside) and car engines.

trave

@neauoire sodaplay was SO GOOD, I was obsessed with this in highschool

Devine Lu Linvega

Some call his classes "Uncle John’s Mystery Hour," in which John McCarthy can and will lecture on the last thing he thought of before rushing late through the door and down the stairs to the front of the lecture hall.

dreamsongs.com/10ideas.html

Devine Lu Linvega

It's been so long that I've seen an apple device, in person, that wasn't more than 10 years old, I wonder who even buys that shit nowadays.

Show previous comments
nomand

@neauoire I bought a MacBook air m2, because it's the highest ratio of performance to power consumption in small form factor that satisfies requirements that make me a living.
People exist to whom these things are the right tool for the job :)

[DATA EXPUNGED]
Devine Lu Linvega

Took the prop off for the first time, it's nice to see how it works inside.
#theBoatyard

Puller installed on the shaft.
[DATA EXPUNGED]
[DATA EXPUNGED]
Devine Lu Linvega

Cleaned up the prop, and reassembled it. Took nearly 4 hours to get it all back together. Luckily, the person working on the boat next to ours could advise us.
#theBoatyard

Cleaned up 2 blade reversible prop.
Devine Lu Linvega

A copy of Adam Wiśniewski-Snerg's Robot was waiting for us in Sidney. The embossed cover is very pretty.
#theLibrary

Adam Wiśniewski-Snerg's Robot
Bad Diode

@neauoire that's cool, but also the first thing that came to my mind was: :eccehomo:

Maya

@neauoire oh that's cool! Have a nice read ☺️

Devine Lu Linvega

Asked the crane operator in the boatyard how heavy Pino was, 16'500 pounds he said. We carry a lot of legumes, it has got to be why we're so heavy.

wrack

@neauoire That's surprising! our design weight is 11650 lbs — and Rival 32s, which are mostly 40+ years old and solid fibreglass, are considered heavy displacement.

Devine Lu Linvega

"Let's call a program elegant if no smaller program written in the same programming language has the same output."

I keep thinking back about Chaitin's Unknowable, and can't really appreciate the quote due to golfing being most often synonymous to obfuscation. But I'm also of the mind, that maybe the sort of golfing that results in obfuscation is a side-effect of the language for not being able to express meaning both concisely and explicitly at once.. 🤔

The Unknowable, by G. J. Chaintin
Show previous comments
Jencel Panic

@neauoire Don't have context, but I think it alludes to the concept of Kolmogorov complexity:
"Kolmogorov complexity of an object, such as a piece of text, is the length of a shortest computer program (in a predetermined programming language) that produces the object as output."

Romain Delamare

@neauoire my first reaction was to strongly disagree, mainly for the reasons you explain.

But I kept thinking about it and I realized the reason I like #rustlang so much is that the most explicit way of doing something is often the most concise and has better performance (e.g., doc.rust-lang.org/book/ch13-04).

I still think that it's a very tricky thing to do with a general purpose language. For a DSL though, I think that's something one should strive for.

Rob Landley

@neauoire I wrote about the tradeoffs between size, speed, features, and simplicity on the toybox design page more than 10 years ago:

landley.net/toybox/design.html

Seriously, the smallest code, simplest code, and easiest to understand code are not always the same thing. You've got to sort of 80/20 all of them at once. (I learned that maintaining busybox coming up on 20 years ago now. Wow I'm old...)

Devine Lu Linvega

Action at a distance is an anti-pattern in computer science in which behavior in one part of a program modifies operations in another part of the program. I will try to demonstrate how it can be a powerful ally when writing #uxntal if wielded safely.

wiki.xxiivv.com/site/uxntal_st

An illustration of mine where storms of wireframe lines collide
[DATA EXPUNGED]
bx

@neauoire i spent so long looking at this image thinking it was some kind of picture taken using microscope, perhaps of gur discarded shells of some tiny armoured worm

Devine Lu Linvega

Roasting the remain of our green coffee beans in the sun, I will leave them longer and try for a dark roast.

flaeky pancako

@neauoire woah how good does it end up ? Is it cheaper to buy compared to roasted coffee? Where do you get it?

city

@neauoire gimme some of that salty solar coffee yum

Devine Lu Linvega

Pulled the anchor up early this morning, we're heading back to Sidney. We'll haul out, fix up a few things, resupply, and we're off again.

Devine Lu Linvega

Welcome aboard Bathtub Catapult Airlines

$nyx: paw-socks sysadmin

@neauoire i have no idea where that comes from but i dig it

Go Up