The Unclear Impact

Krist贸f Marussy 馃巰 | @kristof@pleroma.marussy.com

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.

I may not be trans but transgender hating script kiddies are too incompetent to tell the difference. Donkey Kong says trans rights = human rights.

open source drama

project I contributed to and use regularly seems to implode due to the original maintainer (inactive for a long time, but holding the signing keys) suddenly deciding to be a jerk to the person who was actually maintaining the code blobfoxlurk2glare

academia

I鈥檓 starting to like ieee standards a bit more: they are on the ieee digital library and have a doi, ergo they are available on sci-hub blobfoxsmug

of course, the fact that they aren鈥檛 actually open access is still a travesty鈥

@reddit-users-with-questionable-sanity a beautiful illustration of a Boolean lattice

'90s: Information wants to be free! Heck yeah I would DOWNLOAD A CAR if I could.

'20s: Information must be monetized. You can buy a hash of this JPEG of a cartoon car, for a price and CO2 emissions of a real car!

@lanodan it also sounds like some wierd Java thing

why are there people distributing software as a 24GiB container image?

another similar (scientific prototype) tools is distributed as a 5GiB vm image, which is somehow less cursed鈥 blobfoxglare

re: logic programming, functional programming

@natecull @vandys There are stuff like 位Prolog, Datafun, and Flix that mix higher-order functional programming with logic programming (but I haven鈥檛 used it, so I鈥檓 nor really familiar).

Also, there seems to be a relatively straightforward (if a bit esoteric) way to map functional programs to logic programs. It even seems to be possible to do this with Datalog-like systems, at least for first-order functional programs, e.g., with eval expressions in VIATRA. I guess you could do a limited form of higher-order functional programming in Datalog with defunctionalization. So you could (theoretically) get all the goodies with relational semantics and logic programming, but still write functional programs.

On the distributed / blockchain-but-done-right side, the Unison language tries to use a content-addressed store that hashes all program terms to identify them in a distributed system in an immutable way. Maybe if this could be extended to all terms at runtime it could form a basis of the system you describe. However, it is unclear how to incorporate relational / logic programming semantics. A 鈥渘ondeterminism monad鈥 (interpreting functions A -> B as something like A -> Set[B]) would be easiest, but of course can鈥檛 really be used with unbound variables 鈥 or you have to do something like 碌Kanren.

pol

Now I鈥檓 confused whether it鈥檚 Alexandria Ocasio-Cortez, Advent of Code, or Axiom of Choice.

@jonny One more reason to open papers from the authors鈥 (static html) website or straight from SciHub, even if we have an institutional subscription.

hi I've spent all try trying to fix a blocked toilet please buy my band's music

https://powderpaint.bandcamp.com/

writing a script to extract music downloaded on Bandcamp Friday into individual directories blobfoxcomfycomputer

re: bikeshedding

@aral @harald It still surprises me why the language that starts with a J and ends with avaScript is viewed so widely as beginner friendly. Among numerous eslint rulesets, typescript annotations, and a package manager that strictly enforces dependency declarations, I鈥檓 just starting to entertain the hope that some parts of my code might lack silly bugs鈥

Nevertheless, it鈥檚 what people use nowadays, so that鈥檚 what we end up using to reach a wide audience, too. blobfoxbongo

2021: scammers are copying websites from well-known news outlets and buying Facebook advertising space. Don't say victims are dumb, this is pretty convincing.

Screenshot of a sponsored post on Facebook, supposedly from The Guardian, mentioning some sort of crypto ICO by Amazon. Everything looks legit, only the domain name is a bit fishy. Full-page screenshot of the web page you get when clicking on the Facebook post. It looks very much like the actual website of The Guardian, reads quite like an actual news article, and mentions another site where one can buy "Amazon Tokens" Full page screenshot of the supposed "Amazon Token" sale site, which has all the design elements and brands you'd expect from an actual Amazon thing

Neither me nor the channel endorses the consumption of anything. Don鈥檛. Consume. Nuthin鈥.

blobfoxteaglare

re: Messing with Matrix/Dendrite (long)

@trysdyn Isn鈥檛 presence turned on most smaller Synapse instances due to ridiculous memory usage, anyways? So no presence support doesn鈥檛 sound like that big of a deal.

I just want you guys to know that the multiple *years* I've had my music on Spotify and iTunes have still made me less money than the first two weeks of the same albums on Bandcamp.

Please support artists directly if you can.

yesterday I had to record and post-process 5 minutes of narration for a demo video. editing took over 2 hours for me, ouch鈥 blobfoxcry2

javascript

I might have created something very cursed: https://github.com/siouan/frontend-gradle-plugin/issues/175

javascript build tooling is flabbergasting: am I really supposed to check a 2MiB .cjs file into git?

checking in gradle-wrapper.jar was bad enough, but this is on another level

@striker @TransGal4872

[鈥 you would set the front panel switches to a number and run dsw, which would then read that number of entries from the current directory, print on the terminal the name of the last one it had read, and crash itself, leaving a core dump. You could then, if you wanted, remove the file it had named by reexecuting the core file.

This is legitimately terrifying. blobfoxsipterrified