Checking my Haskell implementation of "What I tell you three times is true" using ChatGPT (https://chat.openai.com/chat)
![Here is an implementation of "What | tell you three times is true" in Haskell:
atlLeastThrice :: [String] -> [String]
atLeastThrice assertions =
[head grp | grp <-
group $sort assertions, length grp >= 3]
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://functional.cafe/system/media_attachments/files/110/044/022/079/633/301/original/7e645009841878ee.png "Here is an implementation of \"What | tell you three times is true\" in Haskell:
atlLeastThrice :: [String] -> [String]
atLeastThrice assertions =
[head grp | grp <-
group $sort assertions, length grp >= 3]
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).")
Recent searches
Search options
#TheHuntingOfTheSnark
0 posts0 participants0 posts today
Continued thread
More tags for #TheHuntingOfTheSnark:
#SnarkHunting #GoetzKluge #Victodon #VictorianLiterature #VictorianLit #Victorian #VictorianStudies #VictorianLiterature #Literature #Litstudies #ChildrensBooks #EnglishLit #EnglishLiterature #BritishLiterature #HiddenImage #PictorialReference #Allusion #Pareidolia #CharlesLutwidgeDodgson #CharlesDodgson #ThomasCranmer #42Articles #39Articles #Snarkology
Implementation of the Bellman's rule "What I tell you three times is true" (from Lewis Carroll's "The Hunting of the Snark", 1876). The #Haskell code is here: https://snrk.de/truth-isnt-truth/
This is a great tool for fact checking.
This is a great tool for fact checking.
This is a great tool for fact checking.
#TheHuntingOfTheSnark, #LewisCarroll, #WhatITellYouThreeTimesIsTrue, #BellmansRule, #thrice, #threeTimes, #truth, #facts, #assertion, #assertiveness, #proof, #FactChecking
Continued thread
An article, which I wrote one year ago about #LewisCarroll and #HenryHoliday's "The Hunting of the Snark": "Holiday’s References" (https://snrk.de/page_holidays-references/), #KnightLetter, № 106 (https://archive.org/details/knightletterno106306lewi/page/12/mode/2up), Spring 2021, p. 12~13, #LCSNA (https://www.lewiscarroll.org/).
The article is about #PictorialReferences in #illustrations by the Snark #illustrator Henry Holiday to works by #MatthiasGrünewald, J.E. #Millais and #JohnMartin
#Introduction: The focus of @snark is on Henry Holiday's #illustrations (engraved by Joseph Swain) to Lewis Carroll's #tragicomedy "The Hunting of the Snark".
#TheHuntingOfTheSnark"
#HenryHoliday
#LewisCarroll
#Boojum
#Snark
#スナーク
As this is about Henry Holiday's Snark, I (#GötzKluge) am not the artist in this instance for creators, even though sometimes I draw something. (My neighbours said that I drew my #tröte better than I tooted it.)
"Tröte" is German slang for #trumpet.
Continued thread
"Burning the Baker", LCSNA Knight Letter (http://www.lewiscarroll.org/publications/knightletter/) № 100, Spring 2018, p. 55~56 (https://snrk.de/knight-letter-100/)
My most important Snark finding (#ReligSnark):
In his #illustration (https://snrk.de/snarkhunt/#561) to fit#8 of #LewisCarroll's #tragicomedy "#TheHuntingOfTheSnark" (1876), #HenryHoliday hid a pictorial reference to the print "Faiths Victorie in Romes Crueltie" (published by Thomas Jenner, c. 1630). The attached image shows
(1) the print (containing a depiction of #ThomasCranmer's burning) with a comment from a curator of the #BritishMuseum and
(2) my image comparison.
Article "Holiday’s References" (https://snrk.de/page_holidays-references/) in the #KnightLetter (https://snrk.de/knight-letter-links/), № 106 (https://archive.org/details/knightletterno106306lewi/page/12/mode/2up), Spring 2021, p. 12~13, #LCSNA (https://www.lewiscarroll.org/).
The article is about #PictorialReferences in illustrations by #HenryHoliday (to "LewisCarroll's "The Hunting of the Snark") to works by #MatthiasGrünewald, J.E. #Millais and #JohnMartin
