Reposted by Götz
(2) Sowohl in Richtung #EUKommission als auch #Wildberger-Ministerium und #Bundesregierung erinnert @konstantinnotz.bsky.social „Digitale Identitätssysteme müssen höchsten Anforderungen an #Datenschutz und #ITSicherheit genügen.“ Dies sei auch verfassungsrechtlich geboten. #EUWallet
![Celebrating the Snark's 150th anniversary with a Haskell truth checker: What I tell you three times is true!
https://www.reddit.com/r/LewisCarroll/comments/1s6u2ty/celebrating_the_snarks_150th_anniversary_with_a/
----
Today (March 29th, 2026) we can start to celebrate the 150th anniversary of Lewis Carroll and Henry Holiday's "The Hunting of the Snark". Carroll distributed first editions of his Snark tragicomedy to selected friends and family before the official publication date. Macmillan officially published the poem on April 1st, 1876, but Carroll prepared 80 presentation copies on March 29th, 1876, many of which he signed and gave away.
On occasion of the 150th anniversary of Carroll's long Snark poem and Holiday's Snark illustrations, I now provide you with a tool for which our snarked world has been waiting since the big bang (or even earlier). The tool checks assertions in a table of assertionsbased on the Bellman's rule: "What I tell you three times is true!". The function atLeastThrice yields all assertions which it can find at least three times in the assertions table.
The function uses a fact checking algorithm which also is used by the most powerful leaders of the world.
The function makes fact checking great again.
The function makes fact checking great again.
The function makes fact checking great again.
Here is my implementation of "What I tell you three times is true" in Haskell:
atLeastThrice :: [String] -> [String]
atLeastThrice assertions =
[head grp | grp <-
group $ sort assertions, length grp >= 3]
ChatGPT's explanation of atLeastThrice: "Thank you for providing the implementation in Haskell. Yes, your implementation looks correct. The "group" function groups the same elements in the list together, then you are filtering out the groups that have less than three elements, and finally returning the head of each group (which is the repeated assertion)."](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:vr3736rw7tegkvylmzm7m47v/bafkreie5h3h6222yxj77l6quebjqrryaouwrlsgsztszvfic34ccy33jkq)
![[...] Second, one page on your own site (snrk.de/snarkhunt) dates the letter as 1897-12-01, which looks like a day/month transposition of the January 12 date your main page and Wikipedia give — possibly worth a look if you want consistency across your pages. [...]
Source: https://lumo.proton.me, 2026-09-30](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:l6iae4tlmgtc4xzkeb3oyjrn/bafkreihlks54xfdibnquodohyf3javcxdlfdlxfqztu5nhxs4l6bbuy7vi)
