Tootfinder

Opt-in global Mastodon full text search. Join the index!

@patrikja@functional.cafe
2026-09-22 18:02:42

New pre-print out (and submitted to JFP): "niFite semPurtatoni" (Finite permutations in Agda). We study a first-order representation of finite permutations: every value of this type represents a bijection by construction (1st image). An interesting part is composition — finding a definition that's structurally recursive at all takes some care (2nd image: an example, plus the key lemma that `skip` and `pinch` are approximate inverses). Inversion, and the classical Lehmer-code &q…

Agda code: Permutation n defined inductively as nil, or a Fin (suc n) pivot consed onto a smaller Permutation n.
Side-by-side composition diagrams. Left (a): p2 composed with p1. Right (b): skip 2 composed with pinch 2, yielding straight lines equivalent to the identity.
@jtk@infosec.exchange
2026-07-27 19:48:31

#DNS root servers on an observed June 2026 traffic increase:
"[...] a representative from the AS responded on July 3rd. They confirmed that the traffic originated from their networks (i.e., was not spoofed) and was the unintentional result of recent recursive resolver software updates."
root-servers.org/media/news/20

@mlncn@social.coop
2026-09-18 00:51:10

Destroying rare books to stave off large language model collapse seems like a far cry from recursive self-improvement for generative 'AI'.

@michabbb@social.vivaldi.net
2026-07-10 07:11:24

🔁 #ypi is a recursive #coding agent built on #Pi and inspired by Recursive Language Models (#RLM). Named after the Y combinator, it's Pi that can call itself.