Elektrine lite

← Feed

Amanda

amanda@social.spejset.org

<p><a href="https://social.spejset.org/tags/ComputerScientist" class="mention hashtag" rel="tag">#<span>ComputerScientist</span></a> PhD student working on specialised <a href="https://social.spejset.org/tags/ConstraintSolvers" class="mention hashtag" rel="tag">#<span>ConstraintSolvers</span></a> for <a href="https://social.spejset.org/tags/ProgramAnalysis" class="mention hashtag" rel="tag">#<span>ProgramAnalysis</span></a>, including <a href="https://social.spejset.org/tags/Polonius" class="mention hashtag" rel="tag">#<span>Polonius</span></a> in <a href="https://social.spejset.org/tags/Rust" class="mention hashtag" rel="tag">#<span>Rust</span></a>. Interested in personal computing, roads not taken, big dreams and liberatory projects. Vaguely <a href="https://social.spejset.org/tags/solar

Posts

  • Post #4440391

    How about this: the discursive field/consensus reality is the warp from warhammer 40k and we’re currently in the war in heaven era?

  • Post #4433613

    It’s #BandcampFriday! Today I bought some stuff from Nini Music, davvn, electrølush, gunship, rooting for you, and rl805. Bandcamp apparently has a playlists feature now!

  • Post #4409711

    https://github.com/entropy-om/entheai what the fuck is happening to language itself here? I feel like I’m going crazy

  • Post #4292640

    RE: https://masto.ai/@transworld/117016556441297675 Marx: ”…hunt in the morning, fish in the afternoon, rear cattle in the evening, criticise after dinner, just as I have a mind, without ever becoming hunter, fisherman, herdsman or critic” Avocados: hold my beer

  • Post #4235620

    #pixelgraphics people: I’m thinking of implementing a radar/scanner view of a todo list/calendar with tasks/events placed around me like aliens approaching in Aliens. Obviously the choice for this would be polar coordinates, with angle picked arbitrarily except avoiding overlap and distance picked by time to event/deadline. Now, how does one convert polar coordinates to Cartesian integer pixel coordinates? It seems unnecessarily complicated when computer graphics people online describe it.

  • Post #4193650

    Om någon vill göra en insats så är alla svenska Wikipedias artiklar om i stort sett varje transfråga i förskräckligt skick. Min favorit är den som har alla källor från 2001 och skriver att nästan hela Europa har steriliseringskrav för att ändra juridiskt kön. Exempel: - https://sv.wikipedia.org/wiki/Society_for_Evidence-Based_Gender_Medicine?wprov=sfti1# (länkad från portslsidor!) - https://sv.wikipedia.org/wiki/K%C3%B6nsbekr%C3%A4ftande_v%C3%A5rd?wprov=sfti1#Referenser - https://sv.wikipedia....

  • Post #3688838

    Why isn’t there a HTML thing for including a header inside another page that isn’t frames?

  • Post #3621192

    On the other hand Dolphin’s ability to add commands to run on selections coupled with the advanced file matching expression is a fantastic way to do what would have been brittle and annoying shell globbing or, worse, an hour of figuring out how to wire find to xargs without it choking the second one of your file names has a space. This is obviously how it should work: immediate visual feedback, text input used where it’s the most efficient (I.e. to specify a pattern).

  • Post #3621152

    I’ve been looking for two things missing in the desktop metaphor: - a ”drag rest” window where you can drag and drop files and folders to and have them act as if the drag and drop event was continuous while they rest there and you do something else (usually prepare the landing area) - a visual clipboard with drag and drop The second thing definitely exists, but probably not in Plasma?

  • Post #3577456

    I just realised I’ve mostly stopped learning programs. Since everything’s changing all the time, spending effort learning how to power use most programs is a waste of time.

  • Post #3487071

    I just heard Cory Doctorow mention that he has cancer (apparently it &quot;seems treatable&quot; so I&#39;m not too worried for him) on the Dreaming against the machine podcast and think I experienced Time in a way I haven&#39;t since I was in my dad&#39;s workshop in my early 20s and realised one day he&#39;ll be dead and I won&#39;t know how to use the majority of the tools and machines in there.

  • Post #3421958

    These are insane numbers https://www.phoronix.com/news/Extended-Cache-Aware-Sched

  • Post #2554027

    RE: https://mastodon.nu/@Flamman/116562920204031399 Den här texten är dålig på tre sätt: 1. Den innehåller inga konkreta reaktioner på vad som faktiskt är grov antisemitism rapporterad om av en rätt pålitlig utomstående part. 2. Ursäkten i sig är otroligt mjäkig, närmast urskuldande, och 3. ...bara en språngbräda till att prata om något annat; ett litet stycke handlar om det här rätt allvarliga problemet medan resten handlar om något annat. Det som står på spel här är att kunna använda begrep...

  • Post #2554026

    Uuuuuh I read some archived versions of Jeff Geerling’s old 2011 posts. Now, I generally think we should let things that old lie. However; they were still published late 2025, with no revision, and they’re *very* out there. They’re not meaningfully ”personal opinions” either. These are clearly articulated political opinions. This is Daesh [Catholic], more or less.

  • Post #2554024

    Tyskland finansierar tydligen KDE, det uppenbara valet eftersom det är den tyskaste skrivbordsmiljön https://kde.org/announcements/sovereign-tech-fund-invests-kde/

  • Post #2449131

    Is there a #Wayland that allows docking windows like Winamp once did? Or tabbing them like #Haiku?

  • Post #2449129

    Äntligen har knubbarna kommit så att jag kan göra utbrytningar i vår bokhylla hemma!

  • Post #2449128

    Jag har migrerat @read till en statisk site på SourceHut pages eftersom det inte kostar mig något extra och write.as inte var så bra. RSS-flödet fortsätter att fungera som vanligt och alla länkar ska fortfarande också göra det.

  • Post #2416726

    I’ve updated my tiny review of the Linux I use https://amandastjerna.se/memex/fedora-kinoite/

  • Post #2177554

    Sure we should kill the big publishers but that’s table stakes. What I want is to kill *LaTeX*. https://www.experimental-history.com/p/the-one-science-reform-we-can-all

  • Post #263078

    I think Firefall by Peter Watts is the absolute correct reference for this. Echopraxia is also very good for understanding AI https://distantprovince.by/posts/its-rude-to-show-ai-output-to-people/