found in a comment in /r/lisp: The mechanical evaluation of expressions (1964):
This paper is a contribution to the “theory” of the activity of using computers. It shows how some forms of expression used in current programming languages can be modelled in Church’s λ-notation, and then describes a way of “interpreting” such expressions. This suggests a method, of analyzing the things computer users write, that applies to many different problem orientations and to different phases of the activity of using a computer. Also a technique is introduced by which the various composite information structures involved can be formally characterized in their essentials, without commitment to specific written or other representations.
@izaya i’ve mostly seen it used as short for isabel/isabelle, so feminine. outlier: https://en.wikipedia.org/wiki/Izzy_Stradlin
@kissane pleroma-fe has some rudimentary threading with indentation. here’s a video i recorded with a thread opened in-place, and as a separate “page” (note the changed url): https://youtu.be/gOMuHZGvJWk
i long for a client that threads like gnus or mutt.
no cover of kate bush’s running up that hill has the same feel as the 8 bit au version i heard thirty years ago.
re: automatic rimworld colony screenshot
@izaya @ChiralTheAlien wow, 347 mods! i’m surprised they all work together without conflicts.
Creating a Smalltalk App with Morphic Designer: a step-by-step guide that covers building a user interface with morphs in #squeak #smalltalk using Morphic Designer.
Workaholics are addicted to the solace they find in extreme fatigue; it’s like the high that a marathon runner might get in her last mile. I can be utterly depleted yet energized by that depletion. There’s a masochistic pride to overworking. How heavy a workload can I truly handle? How many plates can I keep in the air? When I get to the end of a particularly overloaded day, my voice hoarse from teaching, my mind buzzing from far too many e-mails, questions, and deadlines, I vow never to let that happen again, knowing full well that, as soon as I’ve achieved a new level of exhaustion, my id will push me to try to exceed it.
[…]
- The trick to balancing five jobs is to never, ever procrastinate. What you can do right now, you have to do now. When a new request files in, you address it immediately, like a burst pipe. Question from a student? Reply within five minutes. Question from your boss? Reply within two minutes. Grading papers? Start the moment they’re turned in. Other miscellaneous stuff? Squeeze it in whenever you can, but finish it by the end of the day. I’ve taken only a dozen or so yoga classes in my lifetime and, though I like the general process of stretching and flow, I feel a debilitating stress at the end of class, when I am expected to lie there for ten minutes, breathing, and thinking about nothing. I think about how many e-mails I could have sent in that time.
– Notes on Work: There’s a masochistic pride to overworking. How heavy a workload can I truly handle? How many plates can I keep in the air?
Translated into English, my mother’s name means “joy”; my father’s, “handsome”; my sister’s, “mystery.” “Erin,” the name that my Turkish parents assigned me at birth, meant, at least as far as they knew, absolutely nothing. They tried to come up with something that would accommodate two cultures. To their credit, “Eren,” the Turkish word for “saint” and the traditional name from which the spelling of mine strayed, does correspond in sound and sense to “Aaron,” the American name that I have copped, for most of my life, from countless Jews and the prophet of God. But Erin, the peculiar compromise that adorns my birth certificate, sprang from the brain of my late father, an engineer who, years after immigrating to the States, mistook that entry as male in a book of baby names. His choice forfeited the Turkish thrill of Eren and the biblical pedigree of Aaron. Like many ill-fated hybrids attempting dual objectives—the spork, say, or two-in-one shampoo–conditioner—my birth name failed to perfect either. Any sane stranger would guess that Erin is an Irish girl.
– Changing Names, by Eren Orbey
@codinghorror threading on reddit.com, or old.reddit.com? subreddit moderators can change the comment sort order.
https://www.tor.com/2023/01/24/cover-reveal-murderbot-system-collapse-by-martha-wells/
release date: november 14, 2023.
@divclassbutton i went from a laptop with a 2.2GHz 6-core i7 processor to a laptop with a 10-core (8+2) m1 pro processor. build times for one rust project dropped from roughly 2 minutes to roughly 20 seconds (for opt-level = 1).
ZKPs are being touted as the next catalyst for crypto, a “game changer” that will make blockchain safe and scalable using revolutionary technology. It seems odd I would choose to criticize something so promising, but ever since I first worked with a ZK team five years ago I found one fact troubling: that ZKPs have actually been around for 3 decades but never found much adoption - although some of the related cryptography proved to be important - a story that seemed all too familiar to me. I started to grow cynical.
I’m going to argue that ZKPs are part of the blockchain shell game. Because blockchains have so many technical faults, ZKPs are touted as a solution - and the two together are so confusing it’s easy to pass another complicated concept over our heads. Both are immature technologies where the perfect solution resides at some point in the future, and that’s the ideal formula for more influencers to shill their bags.
In blockchain-land, ZKPs actually create a paradox: as the US and other governments squash privacy solutions like Tornado Cash, every permutation of ZKP-based privacy - fully private, partially private, rollups - is a loaded trap. Ultimately, we’ll see that while using ZKPs plus blockchains to solve our data and privacy issues in the tech world might seem like the holy grail, it’s more like a Hail Mary.
@dredmorbius @woozle @Doug_Bostrom I pointed him at this post, and he said:
I think that back just opens using a case knife, it’s not screw-on, but a watchmaker will make sure seals, lubrication, and timing are right in addition to changing the battery, so he ought to take it someplace.