Lykso
lykso@tiny.tilde.website
<p>They/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.</p><p>I belong somewhere among the anarchists and socialists.</p><p>I once was an an-cap.</p><p>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.</p><p>Fascists fuck off.</p><p><a href="https://tiny.tilde.website/tags/nobridge" class="mention hashtag" rel="tag">#<span>nobridge</span></a> <a href="https://tiny.tilde.website/tags/nobot" class="mention hashtag" rel="tag">#<span>nobot</span></a></p>
Posts
-
Post #4298927
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 &quot;execute_process&quot; commands to make it work, but hey, it works.
-
Post #4298926
One of those days where you wake up, read the news, and the stress and rage vaporizes all your energy.
-
Post #4298925
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&#39;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.
-
Post #2878080
Stolen from @joe@f.duriansoftware.com in order to write screen reader friendly alt text. Original text: "making sure my codebase is properly agentic"
-
Post #2313619
You will never get "left behind" by not learning a "skill" aimed squarely at deskilling.
-
Post #2098290
@palomakop Congrats on two years of Zine Club! 🥳
-
Post #1873251
Laptop stopped charging a couple days ago. Put a damper on things, but managed without it. Made good progress on my projects anyway using the Steam Deck (for designing and slicing a couple audio jack collars for the 3D printer) and lower-tech, pencil-and-ruler methods.
-
Post #1873250
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.