"Unfortunately, most existing programming languages treat software as an isolated, closed-world formal system."
–ULS Report, page 89
"Unfortunately, most existing programming languages treat software as an isolated, closed-world formal system." 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. 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]
@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. 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.
Show previous comments
This is actually the better starting point: http://www.dalnefre.com/wp/2010/06/solving-same-fringe-with-stream-generators/ 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
Took the prop off for the first time, it's nice to see how it works inside.
[DATA EXPUNGED]
[DATA EXPUNGED]
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. A copy of Adam Wiśniewski-Snerg's Robot was waiting for us in Sidney. The embossed cover is very pretty. 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. "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.. 🤔
Show previous comments
@neauoire Don't have context, but I think it alludes to the concept of Kolmogorov complexity: @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., https://doc.rust-lang.org/book/ch13-04-performance.html). 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. @neauoire I wrote about the tradeoffs between size, speed, features, and simplicity on the toybox design page more than 10 years ago: https://landley.net/toybox/design.html#goals 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...) 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. How to implement INTERCAL's COMEFROM in Uxntal. @neauoire COMEFROM wasn't in the original INTERCAL spec, though, it's a later addition! Roasting the remain of our green coffee beans in the sun, I will leave them longer and try for a dark roast. @neauoire woah how good does it end up ? Is it cheaper to buy compared to roasted coffee? Where do you get it? 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.
Show previous comments
|