Reposted by 150 Years of Snark
Celebrating the Snark's 150th anniversary with a Haskell truth checker: What I tell you three times is true!
www.reddit.com/r/LewisCarro...
![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)
150 Years of Snark
@snark150.bsky.social
259 followers 773 following 859 posts
Let's celebrate the sesquicentennial anniversary (snrk.de/150th-snark-anniversaries/) of Lewis Carroll and Henry Holiday's "The Hunting of the Snark" in 2026. For Xwitter refugees: x[.]com/Snark150 ➜ @snarkhunt.bsky.social 2025-01-20
