Love watching these repair videos; you realize that all our stuff is made using tools that are made using tools that are made using tools, and also repaired using tools that were made using tools (et cetera). Nothing we have springs forward straightforwardly from idea to material reality; instead it is sits atop hundreds of years of embodied labor. How much time could really be saved if the process had to be restarted from scratch?
https://www.youtube.com/watch?v=x4gH5RICgqU
=> More informations about this toot | View the thread
Very sad. Another beautiful lake fallen to the razor-sharp menace. Giving up and turning it into a containment lake.
https://www.cbc.ca/news/canada/manitoba/zebra-mussels-riding-mountain-eradication-1.7444029
[#]Manitoba
=> More informations about this toot | View the thread
=> More informations about this toot | View the thread
The entire 2024 election year was more of a protracted nightmare than something to be enjoyed but I did like this Yi Jian Mei cover from XHS after the first debate https://www.youtube.com/watch?v=CtKSHJKzia4
=> More informations about this toot | View the thread
Remember Christian baby memes. Feel like those died too quickly
=> More informations about this toot | View the thread
Sometimes you'll read about a strong cultural/regional identity thing in England and then it's funny because you look at a map and they're talking about somewhere 60 miles away from London. It would be like identifying really strongly with the Buc-ee's gas station 60 miles northwest of Atlanta.
=> More informations about this toot | View the thread
Every few years I read a long fiction novel that gets me all hyped up to lead an ascetic scholarly life reading textbooks for eight hours a day. Last one: Anathem; currently: Jonathan Strange & Mr. Norrell
=> More informations about this toot | View the thread
Okay - this is like a weird thought, but after boost-muting nearly everybody on my timeline (I just want to hear your personal thoughts!) it is so radically different that I can't help but conceptualize the popular boosted posts as parasitic entities that move over and cover all of us, rendering us a simple substrate. I guess another restatement of the idea that people don't have ideas, ideas have people - but never have I seen it so starkly illustrated!
=> More informations about this toot | View the thread
Couple months back I asked for advice on lobste.rs about how to write correctness tests for a language's semantic-level tooling (identifier resolution, arity checking, simple type checking, things of this nature). One person strongly recommended writing the assertions about semantic properties in the language itself, in the input test file (for example, defining a "RefersTo" method that your tests search for in the parse tree & evaluate). I went with that approach and it's been working great! So if you are ever also faced with this incredibly niche design problem I definitely recommend doing that.
=> More informations about this toot | View the thread
Don't understand the criticism about trump admin clearing house in the executive branch and installing loyalists everywhere. Like that's something a minimally competent party would do to enact their agenda right? Dems didn't even fire the trump postal service guy. Are we really going to be hearing toothless "he didn't follow the RULES" type stuff for the next four years? People have a limited appetite for critique, focus on things that actually matter instead of preemptively rhetorically tying your own hands for whenever you regain power.
=> More informations about this toot | View the thread
Me (brilliant) emailing the inventor of LaTeX asking whether he is going to publish his new textbook in a reflowable format like epub in addition to PDF
=> More informations about this toot | View the thread
Drilling my favorite counter to an underhook during standup. Some kind of Greco head & arm sacrifice throw, don't know what it's called. Best to only hit this on blue belts and up due to possibility of neck injury if they don't roll with it.
[#]BJJ
=> More informations about this toot | View the thread
Played Prince of Persia: The Lost Crown. Good gameplay but deeply mid everything else. Characterization especially made no sense. As the credits scrolled by for many minutes I couldn’t help but ruminate on the massive quality gap compared to Hollow Knight, made by a comparatively very small number of people with no main character dialogue.
=> More informations about this toot | View the thread
Discovery: lettuce can have flavor, but you gotta pay money for it
=> More informations about this toot | View the thread
=> More informations about this toot | View the thread
Oh you want to learn a topic? Here are twenty links about it. No I haven't read any of them. I learned a different way.
=> More informations about this toot | View the thread
Annoyance of modern life is that it's easy to learn about lots of technical topics but quite difficult to learn technical topics. The elevated-infotainment content crowds out other things.
=> More informations about this toot | View the thread
What’s a good introduction to the Lambda calculus that you’ve personally used to learn? I wasn’t exposed to it in undergrad and need to understand wtf de Bruijn indices are in the moderately imminent future.
[#]AskFedi #LambdaCalculus #ComputerScience
=> More informations about this toot | View the thread
Realizing I’ll have to reinstate some strict media consumption rules that I’ve let lax over the past while. The news is not substantially more horrifying than it has been in recent times but it is oddly… insanity inducing? in a way that I forgot about. So back to only thinking about something if the local org is discussing it. Focusing.
=> More informations about this toot | View the thread
Still getting the hang of non-phone photography using an old Nikon D3100 and can't focus for shit
=> More informations about this toot | View the thread
=> This profile without reblog | Go to ahelwer@discuss.systems account This content has been proxied by September (3851b).Proxy Information
text/gemini