"What shall I call my OS? TypeOS?"
One search later...
"Of course, it's already taken... by a browser plugin... for producing AI generated text..."
Remote
Lykso
@lykso@tiny.tilde.website
mastodon 4.7.2+glitchThey/them online pseudonym. Anti-capitalist, anti-religious, anti-spiritual, anti-AI, anti-crypto, anti-fascist. Raised in one of the less-but-still-toxic branches of a cult.
I belong somewhere among the anarchists and socialists.
I once was an an-cap.
I make music, pottery, food, repairs, software, and hardware. I boost much more than I post, but I don't boost images without alt-text.
Fascists fuck off.
363 Followers
401 Following
50 Posts
Joined October 27, 2022
Digital Garden:
Bandcamp:
Codeberg:
Replying to
@gloriouscow@oldbytes.space @offby1@wandering.shop @ariadne@social.treehouse.systems Yes, the US government takes its secrets VERY SERIOUSLY.
I was raised to look at media first and foremost in terms of cultural impact and intended and unintended cultural messages. Maybe that's why the backlash against Anita Sarkeesian's work was so surprising to me, and why it seemed so hypocritical.
Replying to
@duke_of_germany@mastodon.gamedev.place @MaddieM4@raphus.social I've interacted with one of these in real life, and he held these two things to be true: one, the quality of his code basically doesn't matter because the product his company sells is pointless anyway. Two, only people who can "do the work of a thousand programmers" will get to keep their jobs.
Basically it's rooted in a mindset of being completely detached from material reality. To paraphrase, "nothing needs to work and you need to make as much of it as possible."
Replying to
@zzt@mas.to I mean, I personally try to avoid using, much less contributing code to, any project that allows slop, so... maybe they should be worried about how allowing slop might discourage legitimate contributions?
Okay, so I now have code written in Idris 2 and running on seL4. Next steps are to begin modeling seL4 within Idris 2 so I can start writing drivers and the like. Gotta do a little planning.
Might also take a pause to get the careful.party server set up enough to begin inviting people in. I want to share my code, but I'm trying to feel out a post-FLOSS method of doing so as I go. The minimal route I see is through a sort of tilde server with services secured via Wireguard.
Replying to
If in some dystopian future you *must* use the deskilling machine, you'll be able to pick it up in very little time and lie to your employer about how long you've been using it. (Don't feel bad, they deserve it.)
Boosted by @GroupNebula563@mastodon.social
Replying to
@GroupNebula563@mastodon.social @cap_ybarra@beige.party @zzt@mas.to Yup. Falls easily out of a "social darwinist" view of the world. Not that far, if at all, removed from the standard capitalist perspective.
Replying to
@robpike@hachyderm.io Voices in the industry, as in capitalism in general, are weighted by how much wealth they command, and the acquisition of wealth is largely not a merit-based process.
Replying to
@dave@alvarado.social @artemis@dice.camp Notably, the reason the hostages in the 1973 bank robbery in Stockholm (from which we got the notion of "Stockholm Syndrome") began siding with the robber was because he was seen to be negotiating in good faith and taking steps to preserve the lives of the hostages, whereas the police seemed to be acting recklessly, without regard for the lives of the hostages. The behavior of Iran versus the US in this war has been bringing this to mind for me quite often as of late.
Replying to
@mntmn@mastodon.social It's almost as if owning the means of production is important or something. Someone should write a book on that...
Replying to
@lina@vt.social It'd be nice for there to be a *good* version, right? Not gonna get that from vibe-coded crap.
Replying to
@be@floss.social @jonny@neuromatch.social This is the biggest reason we need to build things as *correctly* as we can manage, regardless of the dominant modalities and products. These giants *will* fall apart someday, and they will fall apart before better-built alternatives will. For those of us who can see the dysfunction and keep our own work free of it, it's a waiting game.
Replying to
@robpike@hachyderm.io Ergo, capitalism tends to become ever-more detached from reality, and, if let alone, will destroy itself eventually. That which better comports with reality will remain, and will serve as foundations for whatever comes after. (Hopefully this includes us as a species, let alone high technology, but I suppose nothing is guaranteed.
Well, neat. I just got Hello World from a program written in Idris2 running on top of the seL4 kernel in qemu!
Took a little time to clear my head, realized my Idris runtime was probably just linking against the wrong GMP, got it sorted, and now it works. Abusing CMake via a string of "execute_process" commands to make it work, but hey, it works.
Replying to
@MaddieM4@raphus.social @duke_of_germany@mastodon.gamedev.place @onepict@chaos.social
someone who celebrates meaning being personally constructed rather than universally declared
If I understand correctly, this is the gist of existentialism. I haven't read any of the well-known existentialist philosophers myself yet, though. (I attempted "Being and Nothingness" as a teenager, but wasn't quite ready for that yet! 😅)
Replying to
@jonny@neuromatch.social We need to make cloisters.
Edit: Here's @mttaggart@infosec.exchange's take on a foundation for such a thing: https://taggart-tech.com/human-web/
Came across my feed a few days ago and have only skimmed it, but seemed to align with what I've been kicking around in my head.
Replying to
@mhoye@cosocial.ca Thought on it and wrote a bit in my day log. In short: Tailscale seems fine, but there's an anticapitalist, "dual power" bent to the network I'm contemplating; depending on Tailscale starts to feel a bit like an additional point of vulnerability to me. I'm also going to want to write membership management software that reflects whatever governing structure we wind up with, which means at some point I'd be likely to find myself having to work around abstractions that may not be a good fit.
Replying to
@mhoye@cosocial.ca Agreed. I am mostly unfamiliar with Tailscale. Is it a subscription service? It seems to depend on a "closed source coordination server." This makes me a bit wary.
One of those days where you wake up, read the news, and the stress and rage vaporizes all your energy.
Replying to
@ozzelot@mstdn.social @robpike@hachyderm.io It very well may take life on the planet with it, if we don't build get busy building structures to replace it.
Replying to
@thegarbagebird@theblower.au @robpike@hachyderm.io Even this is more rational than reality, in many cases. These people are quite often a sort of nouveau aristocracy; people lifted up only because of personal connections, with little regard for actual competencies.
Replying to
@zygoon@fosstodon.org @ariadne@social.treehouse.systems @juliank@mastodon.social @tris@chaos.social Putting aside LLMs entirely: the only solution to work-life balance issues is banding together with your fellow workers to push back on your employers. Otherwise you're just experiencing a temporary gain from the lag between a change in output and your employer's expectations. You'll find yourself right back where you were in short order if you don't change the balance of power fundamentally. There are no technical solutions to that issue.
Replying to
@kkarhan@mastodon.social @duke_of_germany@mastodon.gamedev.place @MaddieM4@raphus.social This was a rank-and-file programmer who had done doctoral work in programming languages, IIRC. But yes, that attitude does also show up in board rooms.
Replying to
@housepanther @blogdiva Especially since it was under cover of "deportation" and "resettlement" that the Holocaust was committed.
These people only care if all the *living* Jews are in Israel. That's all they need to trigger their fascist Jesus fantasy.
Replying to
@pho4cexa@tiny.tilde.website If Wendell Berry can go all this time without a computer, I can refuse LLMs. Maybe I'll go get a horse-drawn plough and start farming too, I dunno. We make the world. I wish more people were comfortable telling the oligarchs and tech bros where to stuff it.
Replying to
@eniko@mastodon.gamedev.place I want small chunks of well-specified code with machine supported proofs so I can be certain of my program's actual behavior across its whole domain.
I should probably just learn Ada/SPARK or Idris already.
Replying to
@jonny@neuromatch.social @mttaggart@infosec.exchange Though from a re-skim, I think he might have in mind something monolithic/objective, whereas I'd like to see something subjective. No single reputational score, but one derived from the ratings of identities in my first-degree network, and the identities in their networks, and so on to some user-defineable level.
Replying to
@hellomiakoda@pdx.social Ah, crap. I just noticed the aux jack on that first one is an aux *out.* 🙃
Sorry 'bout that.
@palomakop@merveilles.town Congrats on two years of Zine Club! 🥳
Replying to
See? Pencil-and-ruler. Not evenly spaced, not exactly square, but for an instrument I'll be playing myself which hardly anyone else will get a close look at? It's fine.
I don't know what my point is, exactly. I think I'm just talking to myself in public here and partly trying to convince myself that it *is* fine. 😅
Replying to
@azonenberg@ioc.exchange @unlofl@mstdn.social @alice@lgbtqia.space And licensed restrictively to keep it away from the capital class. Something like the Peer Production License.
Replying to
@MaddieM4@raphus.social @alxd@writing.exchange @tinker@infosec.exchange I don't think licenses are sufficient to address the issue, but I've been using the Peer Production License while waiting for more people to come around. What are your inclinations regarding a way to deal with this, if don't mind my asking?
Replying to
@hellomiakoda@pdx.social If your phone has aux, you can use something like this: https://www.aliexpress.us/item/3256807606262575.html
If not, maybe combining it with this would work: https://www.aliexpress.us/item/3256812009236652.html
Replying to
@glyph@mastodon.social Maybe because the knitters are already doing something because they simply enjoy it, something already "left behind," whereas technologists live in constant terror of being "left behind," and, as terrified people, are accordingly easy to manipulate.
Replying to
@paulk@writing.exchange Those of us who know what he is, and what America is, haven't forgotten. What do we do now that things have become bad enough that the average American seems to finally understand as well?
It's a rhetorical question; I know full well that some things should not be put in writing.
Replying to
On reflection, I'm a bit embarrassed at how "I must make sure these knobs are perfectly spaced" somehow became "I must write code to create a 3D printed drill guide with evenly-spaced holes." Sure, pencil-and-ruler is less precise, but you don't *need* that kind of precision for knob spacing.
Laptop back up via externally charged batteries. Internal charger still appears to be kaput. At least I have a workaround I can use until I manage to diagnose and fix this thing, even if it is a bit obnoxious.
Replying to
@pho4cexa@tiny.tilde.website There's no way that DJ doesn't know exactly what they're doing. 😂
Replying to
@pho4cexa TBH, I'm really counting on the "impressed that you build your own instruments" factor here to make up for any weaknesses in the performance part. 🤞
Replying to
@tbortels@infosec.exchange @mhoye@cosocial.ca Yeah, that would be a better choice for me than Tailscale. Premature abstraction and excess complexity concerns remain. Regarding NAT-busting: seems like pointing all devices to the same public-IP Wireguard endpoint would do the trick, right? Is there more to consider there?
Stolen from @joe@f.duriansoftware.com in order to write screen reader friendly alt text.
Original text:
"making sure my codebase is properly agentic"