timorl @timorl@social.cleverlibre.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.

.hg that's not the only instantiation of this abstract idea either! for another one, contrast typical mono people with…heck, even other mono creatures who are chill. the ones who can admire creatures outside their relationship because they don't harbor a culture of jealousy and mistrust. “whoa, they're cute” doesn't mean “I'm going to abandon you and all of the state and history of our relationship and go chase them”. it doesn't even mean “I want to date them”.

it just means they're cute.

"Monads are scary; or, The Queering of Object Orientated Programming"

https://njms.ca/posts/monads-are-scary.html

First article in a year, wow.

@alexandra this furthers my theory that type theory is just gender for variables

"immortality sucks shit" no it doesn't

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.

this is how you make sure i leave your site and never come back again

We've been steadily working away at P2P Matrix over the last few years & while there's still lots of work left, we're starting to see distant light at the end of the tunnel! So if you want to track our past & present progress, we're proud to present: ✨ https://arewep2pyet.com ✨

"Technology is the active human interface with the material world.

But the word is consistently misused to mean only the enormously complex and specialised technologies of the past few decades, supported by massive exploitation both of natural and human resources.

This is not an acceptable use of the word. "Technology" and "hi tech" are not synonymous, and a technology that isn't "hi," isn't necessarily "low" in any meaningful sense.

We have been so desensitized by a hundred and fifty years of ceaselessly expanding technical prowess that we think nothing less complex and showy than a computer or a jet bomber deserves to be called "technology " at all. As if linen were the same thing as flax — as if paper, ink, wheels, knives, clocks, chairs, aspirin pills, were natural objects, born with us like our teeth and fingers -- as if steel saucepans with copper bottoms and fleece vests spun from recycled glass grew on trees, and we just picked them when they were ripe..."

http://ursulakleguinarchive.com/Note-Technology.html

We are about to launch a small #makerspace for #Ukrainian #refugees, #maker.s and #craftperson.s
Do I know anyone keen and able to help us get sponsored by some serious toolmaking company?
Initial list includes #makitatools #boschtools #milwaukeetools #BlackAndDecker, but I am open to suggestions.

What do people do for trans day of visibility? I’m so new to this! Do I learn Rust? Light a police car on fire? Become a cryptid and local folk legend?