The Unclear Impact

Kristóf Marussy ferdi |

I'm a PhD student working on the extra-functional requirements and formal verification of cyber-physical system architectures.
I also like free (as in liberty) software, privacy enhancing technologies, and cryptography.

Neofeud is a game where a social worker for homeless robots, an ex-con & a socialist princess fight a cabal of post-human CEO / Kings building Fully Automated Luxury Space Fascist Capitalism
Get it (70% off now!) & help me finish NF2! (Pictured)

re: weird e-mail


There should be a special group of organisations who flag harmful/illegal content on Big Tech platforms. This group’s decisions should never be contested and content should be removed automatically.

this sounds… creepy. blobfoxeyes

@Linux4Everyone I don’t get why is this considered a good thing. Aren’t anti-cheat software basically rootkits at this point? Surely, the big win for freedom-respecting software would be to have game developers adopt server-side anti-cheat mechanisms that don’t require users to run malware.

Re: window management, hot take

@robby @inference One benefit would be saving/restoring browser tabs, which is not commonly implemented in window managers (guess you could use some kind of session manager, but browsers can unload unused tabs while still not removing them entirely, and that would be tricky with a session manager).

Plus browser tabs can show favicons, another feature not commonly implemented in tiling vms. There’s also tree style tab for Firefox, which would be very messy (but cool) to have in a vm, I think.

In general, applications can know a lot about their own tabs, which is not necessarily easy to expose to a vm (you could define custom wayland protocols for that, but there would be a problem of wide adoption).

is there any #matrix bridge for stackoverflow chat?

documentation, java, javascript, academia

What is the current meta for documenting multi-language projects? We basically have

  • a bunch of markdown files with developer documentation (and hopefully user documentation, the future,
  • a bunch a java libraries (in a multi-project gradle build) that should have some API documentation,
  • a typescript project that should have some API documentation (this is the least critical, most people wouldn’t want to touch this if they can help it).

The target group would mostly be students/researchers, either interacting with the frontend from a browser during lab sessions (guided by the lab syllabus and the user docs), or developing math-y extension in the (java) backend (quickly dropping in to the project for a few semesters, guided by 1-on-1 meetings and the developer and API docs). But libraries from the backend will also be used in other research projects.

Is running javadoc and tsdoc separately and linking the results from a html page really the best option for API docs?

It would be really nice to have a documentation tool that supports (BibTeX) citations, but I’m not holding my breath.

accidentally sent an invitation for a 12-week-long office hours instead of a 1-hour-long office hour, repeated for 12 weeks

@floppy For articles, at least in Firefox, you can just leave the tab open / unload it and it’ll remember the scroll position. I have a very large number of tabs with stuff to read (or might never get around to finish reading), so I like using Tree Style Tab to manage them and Tab Unloader for Tree Style Tab to unload tabs to save memory. With Preferences > General > Startup > Restore previous session this turns tabs into a bunch of bookmarks that remember scroll position and browsing history. (With Temporary Containers tabs saved this way also get their own cookie jars, which is not really necessary for just remembering where you left off reading, but might be useful for user-hostile sites like medium blogs.)

@hazel maybe I forgot how doors work, but that door looks upside down blobfoxupsidedown

re: firefox

it’s a pity that the changelog for developer-visible changes has no mention of these changes. maybe they don’t want theming to be a public API any more?


Me after upgrading to firefox 92: there’s something weird about how my url bar looks blobfoxconfused I remember setting up userChrome.css to look more like the rest of my system

fiddling around with userChrome.css for a while with no avail

ah, so 92 renamed a bunch of css variables and reddit comes to the rescue

--lwt-toolbar-field-background-color -> --toolbar-field-background-color
--lwt-toolbar-field-focus -> --toolbar-field-focus-background-color

at least the -focus version is now consistent with the rest, and my browser looks comfy again blobfoxcomfytea

(see also browser.urlbar.groupLabels.enabled and set it to false to hide the annoying Firefox Suggest label which is good for absolutely nothing since I disable search suggestions)

i am saying nothing new here but it is beyond disgusting that judith butler, one of the most important and influential thinkers in the world, can be censured by a newspaper of record for upsetting a bunch of english women with bad haircuts


@hazel That sounds even more terrifying, then.

@hazel Ah, hashing… blobfoxteaterrified

gender, media, shitpost

The whole censoring of the Judith Butler interview is so utterly bizarre… if some rag doesn’t want to publish material that slams TERFs, then maybe they shouldn’t schedule an interview with the person who came up with the term gender performativity. Other courses of action, such as hiding in a hole, seem to be much more conductive towards that effect. blobfoxupsidedown

Re: cryptography, moderation, whatsapp

@meisam @sotolf Isn’t that kinda the point of the double ratchet protocol?

I presume you’d only share the message keys for the messages you want to expose to the moderators, who can then verify that the keys indeed decrypt the ciphertexts stored on the server. It shouldn’t be possible to calculate keys for earlier messages from the exposed keys, and later messages are protected by pfs. (Usually, this is formulated for accidental keys exposure, but should hold for deliberate ones, too.)

So exposing the full session to someone who already has a record of the ciphertexts seems to be unnecessary, or I’m misunderstanding something.

vax, plague

3rd vax dose hit me quite heavily after 12 hours. I guess this means it’s doing… something useful? blobcatsick

(Pfizer after 2 doses of Sputnik-V, unapproved, but widely recommended protocol in Hungary)

Ours was now a country in which the cost of replacing a broken machine with a newer model was typically lower than the cost of having it fixed by an expert, which itself was typically lower than the cost of sourcing the parts and figuring out how to fix it yourself. This fact alone virtually guaranteed technological tyranny, which was perpetuated not by the technology itself but by the ignorance of everyone who used it daily and yet failed to understand it. To refuse to inform yourself about the basic operation and maintenance of the equipment you depended on was to passively accept that tyranny and agree to its terms: when your equipment works, you'll work, but when your equipment breaks down you'll break down, too. Your possessions would possess you.
- Edward Snowden, Permanent Record

these quotes are from Blessed is the Flame, a book about anarchism, nihilism, and the resistance movements inside the nazi concentration camps. it's a heavy read but very good