timorl @timorl@qoto.org

Lies we tell ourselves to keep using Golang

https://fasterthanli.me/articles/lies-we-tell-ourselves-to-keep-using-golang

#SolarBaza (od ang. Solar -- słoneczny i pol. Baza -- zgodny z #RiGCz.em)

Kawałek wykoszonej łąki nieopodal Gniezna, czekającej na postawienie pierwszego namiotu.

Miejsce bazowanej działalności w stylu #solarpunk.

Mastodon: 70% shit posting, 20% talking about how mastodon is cooler than bird site, 5% rants about website boy, and 5% really cool, in depth posts by NASA scientists.

all windowsills should be big enough to fit humans. why let cats have all the fun

I fucking love being infodumped at by cute nerds tbh

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 ✨