robryk @robryk@qoto.org

I wonder if we can construct a family of (increasingly large) semigroups of second-preimage resistant one-way functions. More precisely, I would like to have an indexed family (let's denote the index by i) of semigroups of functions (where the semigroup operation is composition) such that:
- i-th semigroup has size >= i,
- the members of the i-th semigroup can be described by natural numbers from a range of size poly(i),
- there are algorithms polynomial in input size that:
a) read i, descriptions of two functions from the i-th semigroup and output the description of their composition,
b) read i, description of a function from i-th semigroup, an input, and evaluate the function,
- the functions in i-th semigroup are resistant to second preimage attacks with security parameter log(i) [^].

tl;dr I want families of efficiently composable hash functions.

#cryptography

[^] I could just as well request a family indexed by i and the security parameter separately (and have all the complexities be poly(input size + security parameter)). This is equivalent.

What's a better programmatic vector graphics library than (py)Cairo? For example, I want to draw a (linear gradient) between two curves, with the color dependent on the vertical position as a fraction of the distance between the curves. It appears that in cairo I need to mess with MeshPatterns to do that, which creates quite a few annoyances (e.g. having to draw one of the curves backwards, have to actually draw the vertical stubs at both ends, etc.).

Are you annoyed by all the weird error handling characteristics of bash? You might wish to take a look at https://skarnet.org/software/execline/index.html or, if you desire compatibility, https://www.oilshell.org/

I would really like for more of my devices to come with this kind of documentation.

This in particular is a multimeter that belongs to my father; it was produced sometime in the late 80s in the Soviet block.

@timorl This is the kind of thing I thought would be happening without eventual consistency in follows :/
QT: https://mstdn.social/@feditips/107916542161347338

I'm somewhat amused that I now own a noticeably loud lightbulb.

@timorl Is this the kind of thing you were looking for when you found mobilizon instead?
QT: https://mastodon.online/@FediFollows/107825507961049716

MSI BIOS setup UI is getting terrible. Switches that enable virtualization are in the overclocking section.

Obvious choice for the first thing to crochet.

http://www.twibright.com/hw.php has a very wide variety of ... projects? design documentation of stuff? recipes?

A city builds and staffs a new jail. Before putting arrestees in it, they want to test whether everything operates well. But how do you test a jail without arrestees? You invite the public to spend a day or a few in the jail as beta testers: https://app.guestoo.de/public/event/b937d04d-7b32-4755-96a7-337f85180bec

Eh... why do we try to be magical? When you claim to depend on a package that's actually a file, Nix treats it as a build hook and tries to execute it: https://github.com/NixOS/nixpkgs/commit/b23dbb1a5dffbfa3abb47fcd0f1579ac2e6f29fc

So, adding extraneous srcs to buildInputs breaks your build instead of doing nothing.

#nixos

https://www.ietf.org/id/draft-patton-cfrg-vdaf-00.html

Haven't read it yet.

A weird curiosity: One can find lots of brass orchestra arrangements of various pieces of more or less popular music by searching for "stabsmusikkorps <song>", many of them very much not intended for brass instruments.

Why? Because a German military ceremony that is used to honor people involves having the target of the ceremony choose the music.

Dziś się dowiedziałem, że każdy może zarejestrować dowolną domenę pod .edu.pl; nie ma żadnych wymogów na zawartość ani na tożsamość właściciela.