< 1616458320 673234 :S_Gautam!uid286066@gateway/web/irccloud.com/x-kzuaulgwanydedav JOIN :#esoteric
< 1616458385 796364 :craigo!~craigo@180-150-37-63.b49625.bne.nbn.aussiebb.net QUIT :Quit: Leaving
> 1616459270 638367 PRIVMSG #esoteric :14[[07User:Dbtx14]]4 10 02https://esolangs.org/w/index.php?diff=81507&oldid=81500 5* 03Dbtx 5* (+178) 10
< 1616459743 923203 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Ping timeout: 260 seconds
< 1616460367 128743 :spruit11!~unknown@86-82-44-193.fixed.kpn.net QUIT :Ping timeout: 256 seconds
< 1616460472 367089 :spruit11!~unknown@86-82-44-193.fixed.kpn.net JOIN :#esoteric
> 1616460811 872558 PRIVMSG #esoteric :14[[07User:Dbtx14]]4 10 02https://esolangs.org/w/index.php?diff=81508&oldid=81507 5* 03Dbtx 5* (+214) 10
< 1616460966 160691 :zeroed!~admin@unaffiliated/zeroed QUIT :Ping timeout: 265 seconds
< 1616461088 375937 :adminh!~admin@unaffiliated/zeroed JOIN :#esoteric
> 1616461132 300015 PRIVMSG #esoteric :14[[07User:Dbtx14]]4 M10 02https://esolangs.org/w/index.php?diff=81509&oldid=81508 5* 03Dbtx 5* (+61) 10
> 1616461315 964118 PRIVMSG #esoteric :14[[07User:Dbtx14]]4 M10 02https://esolangs.org/w/index.php?diff=81510&oldid=81509 5* 03Dbtx 5* (+58) 10
> 1616461409 529181 PRIVMSG #esoteric :14[[07User:Dbtx14]]4 M10 02https://esolangs.org/w/index.php?diff=81511&oldid=81510 5* 03Dbtx 5* (+0) 10/* C */
< 1616462414 778907 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com JOIN :#esoteric
< 1616467479 169369 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :We are trying to save the princess by attacking her, and the man in black is trying to kill the princess by means of healing her.
< 1616467899 426600 :S_Gautam!uid286066@gateway/web/irccloud.com/x-kzuaulgwanydedav QUIT :Quit: Connection closed for inactivity
< 1616467921 614328 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(That is the game.)
< 1616479626 35248 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net QUIT :Read error: Connection reset by peer
< 1616480257 123055 :sprock!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 256 seconds
< 1616480945 287495 :arseniiv_!~arseniiv@94.41.226.89.dynamic.ufanet.ru JOIN :#esoteric
< 1616484449 855096 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :A quine in Free Hero Mesh (displays in a popup message):  ($A(INIT"($A(INIT%c%s%c34 over 34(PopUp 3)))"34 over 34(PopUp 3)))
< 1616485734 856454 :olsner!~salparot@c83-249-186-43.bredband.comhem.se QUIT :Ping timeout: 256 seconds
< 1616486265 133183 :olsner!~salparot@c83-249-186-43.bredband.comhem.se JOIN :#esoteric
> 1616486487 471121 PRIVMSG #esoteric :14[[07UM814]]4 10 02https://esolangs.org/w/index.php?diff=81512&oldid=76478 5* 03Palaiologos 5* (-38) 10
< 1616486883 887669 :hendursa1!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1616487035 843376 :hendursaga!~weechat@gateway/tor-sasl/hendursaga QUIT :Ping timeout: 268 seconds
< 1616487996 361580 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1616488786 293715 :LKoen!~LKoen@194.250.88.92.rev.sfr.net JOIN :#esoteric
> 1616490826 341271 PRIVMSG #esoteric :14[[07Talk:Zirconium14]]4 M10 02https://esolangs.org/w/index.php?diff=81513&oldid=81481 5* 03Strohtaler 5* (+61) 10added ''alternative''
< 1616491727 344145 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Ping timeout: 244 seconds
< 1616492360 153035 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com JOIN :#esoteric
> 1616499964 369911 PRIVMSG #esoteric :14[[07Underload/Numbers14]]4 M10 02https://esolangs.org/w/index.php?diff=81514&oldid=71184 5* 03Monochromeninja 5* (+545) 10Added Python program
> 1616500643 48682 PRIVMSG #esoteric :14[[07User:Monochromeninja14]]4 N10 02https://esolangs.org/w/index.php?oldid=81515 5* 03Monochromeninja 5* (+532) 10Created page
> 1616500674 378398 PRIVMSG #esoteric :14[[07User:Monochromeninja14]]4 10 02https://esolangs.org/w/index.php?diff=81516&oldid=81515 5* 03Monochromeninja 5* (-27) 10Created page
< 1616501813 156717 :b_jonas!~a@catv-176-63-11-168.catv.broadband.hu QUIT :Ping timeout: 256 seconds
< 1616502126 591817 :dcristofani!~dcristofa@69-71-183-170.mammothnetworks.com QUIT :Quit: Leaving
< 1616506310 447995 :Taneb!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 QUIT :Ping timeout: 264 seconds
< 1616506315 495447 :atriq!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 JOIN :#esoteric
< 1616506435 152711 :b_jonas!~a@catv-176-63-11-168.catv.broadband.hu JOIN :#esoteric
< 1616506445 519276 :atriq!~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0 NICK :Taneb
< 1616506703 828433 :HackEso!~h@unaffiliated/fizzie/bot/hackeso QUIT :Ping timeout: 245 seconds
< 1616506711 819306 :HackEso!~h@unaffiliated/fizzie/bot/hackeso JOIN :#esoteric
< 1616507188 826182 :aloril!~aloril@mobile-access-5d6a9f-81.dhcp.inet.fi QUIT :Ping timeout: 256 seconds
< 1616507836 943467 :LKoen_!~LKoen@194.250.88.92.rev.sfr.net JOIN :#esoteric
< 1616508004 884764 :LKoen!~LKoen@194.250.88.92.rev.sfr.net QUIT :Ping timeout: 256 seconds
< 1616508133 536527 :aloril!~aloril@mobile-access-5d6af6-251.dhcp.inet.fi JOIN :#esoteric
< 1616509644 176414 :Sgeo!~Sgeo@ool-18b98aa4.dyn.optonline.net JOIN :#esoteric
< 1616513716 399929 :Soni!~quassel@unaffiliated/soniex2 QUIT :Remote host closed the connection
< 1616513748 270479 :none30!none30matr@gateway/shell/matrix.org/x-fmbswyqmrnrgqdjr QUIT :Ping timeout: 246 seconds
< 1616513748 313675 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-eyumucvhtzorhzhm QUIT :Ping timeout: 246 seconds
< 1616513786 375862 :verdecchia[m]!verdecchia@gateway/shell/matrix.org/x-uebllrpnhkzuiqhe QUIT :Ping timeout: 240 seconds
< 1616513789 103928 :Soni!~quassel@unaffiliated/soniex2 JOIN :#esoteric
< 1616513816 359565 :Discordian[m]!discordi1@gateway/shell/matrix.org/x-oxpzttjrahusjcnw QUIT :Ping timeout: 240 seconds
< 1616513826 456958 :laerling!~laerling@unaffiliated/laerling QUIT :Remote host closed the connection
< 1616513830 407205 :TannerSwett[m]!tannerswet@gateway/shell/matrix.org/x-alyfggaxxinjhscj QUIT :Ping timeout: 244 seconds
< 1616513844 149196 :laerling!~laerling@static.235.77.203.116.clients.your-server.de JOIN :#esoteric
< 1616513844 215385 :laerling!~laerling@static.235.77.203.116.clients.your-server.de QUIT :Changing host
< 1616513844 258598 :laerling!~laerling@unaffiliated/laerling JOIN :#esoteric
< 1616513844 468075 :jix!~jix@static.71.5.69.159.clients.your-server.de QUIT :Remote host closed the connection
< 1616513861 864772 :jix!~jix@static.71.5.69.159.clients.your-server.de JOIN :#esoteric
< 1616514715 3892 :wmww!wmwwmatrix@gateway/shell/matrix.org/x-cmbmsafiqvkglrwg JOIN :#esoteric
< 1616514725 934706 :none30!none30matr@gateway/shell/matrix.org/x-gnoiawpilhunufad JOIN :#esoteric
> 1616514754 599034 PRIVMSG #esoteric :14[[07BrainFlow14]]4 M10 02https://esolangs.org/w/index.php?diff=81517&oldid=78843 5* 03Monochromeninja 5* (+122) 10Updated & description
< 1616515289 485555 :verdecchia[m]!verdecchia@gateway/shell/matrix.org/x-ulcdjgbagpgwbggi JOIN :#esoteric
< 1616515389 315723 :Discordian[m]!discordi1@gateway/shell/matrix.org/x-itylebgmhruqhgdt JOIN :#esoteric
< 1616515526 503634 :TannerSwett[m]!tannerswet@gateway/shell/matrix.org/x-hmicuxafemapzwvl JOIN :#esoteric
< 1616515564 96550 :LKoen_!~LKoen@194.250.88.92.rev.sfr.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
> 1616519177 97080 PRIVMSG #esoteric :14[[07Special:Log/newusers14]]4 create10 02 5* 03Arcs 5*  10New user account
> 1616519223 640854 PRIVMSG #esoteric :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=81518&oldid=81496 5* 03Arcs 5* (+54) 10/* Introductions */
< 1616520308 211908 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 JOIN :#esoteric
< 1616520466 366976 :LKoen!~LKoen@194.250.88.92.rev.sfr.net JOIN :#esoteric
< 1616520847 944193 :sprock!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric
< 1616528123 455926 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 JOIN :#esoteric
< 1616528183 357680 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 244 seconds
< 1616528209 47530 :Lord_of_Life_!~Lord@unaffiliated/lord-of-life/x-0885362 NICK :Lord_of_Life
< 1616528214 357273 :arseniiv_!~arseniiv@94.41.226.89.dynamic.ufanet.ru NICK :arseniiv
< 1616529486 622800 :ubq323!~ubq323@host86-155-175-238.range86-155.btcentralplus.com JOIN :#esoteric
< 1616529856 304937 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :lambdabot is really useful when you’re lazy to install ghci
< 1616529903 691392 :int-e!~noone@int-e.eu PRIVMSG #esoteric :@bot
< 1616529904 104951 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric ::)
< 1616529933 546261 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: happy to hear it :)
< 1616530117 382994 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: this is my final result:
< 1616530130 848507 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :@run let x = map sum . inits . three (1:) $ [] where { plus = liftA2 (.) ; three = plus id id (plus (plus id id) id) } in x
< 1616530132 979438 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9]
< 1616530248 935121 :int-e!~noone@int-e.eu PRIVMSG #esoteric :pfft, "three"
< 1616530320 336878 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let two f x = f (f x); three f x = f (f (f x)) in two three succ 0
< 1616530323 204086 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 9
< 1616530362 399931 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> let two f x = f (f x); three f x = f (f (f x)) in two three (1 +) x
< 1616530364 599218 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : 1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + (1 + x))))))))
< 1616530527 173929 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: of course I don't remember the last time I didn't have ghci installed ;)
< 1616530627 814546 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :oh, those expression-y pluses
< 1616530936 826804 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's a fun abuse of type classes: https://hackage.haskell.org/package/simple-reflect
< 1616531134 222210 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> foldMap N $ S.fromList [1,2,3]
< 1616531137 45905 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : N 1 ◇ (N 2 ◇ N 3)
< 1616531142 112469 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> foldMap N $ S.fromList [1,2,3,4,5]
< 1616531144 981302 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (N 1 ◇ (N 2 ◇ N 3)) ◇ (N 4 ◇ N 5)
< 1616531154 741650 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh man, it's all fixedy-wixedy, right.
< 1616531210 117951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> foldMap N $ Seq.fromList [1,2,3,4,5,6]
< 1616531212 242178 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((N 1 ◇ N 2) ◇ N 3) ◇ (ε ◇ ((N 4 ◇ N 5) ◇ N 6))
< 1616531215 129218 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's pretty good.
< 1616531266 332587 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, does IntSet not have a balanced fold function?
< 1616531298 311471 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shouldn't it be Foldable?
< 1616531312 612614 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> IS.fromList [1..10]
< 1616531314 687984 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : fromList [1,2,3,4,5,6,7,8,9,10]
< 1616531317 929326 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's the wrong kind.
< 1616531323 435945 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Since it's only for Ints.
< 1616531332 436844 :int-e!~noone@int-e.eu PRIVMSG #esoteric :of course.
< 1616531453 616734 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> IS.foldMapWithKey (const N) $ IS.fromList [1..10]
< 1616531456 111733 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error:
< 1616531456 149501 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     Not in scope: ‘IS.foldMapWithKey’
< 1616531456 221366 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     Perhaps you meant one of these:
< 1616531465 311577 :int-e!~noone@int-e.eu PRIVMSG #esoteric :err, that was stupid
< 1616531492 227998 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> IM.foldMapWithKey (const N) $ IM.fromList [(i,i) | i <- [1..10]]
< 1616531494 822905 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : ((N 1 ◇ (N 2 ◇ N 3)) ◇ ((N 4 ◇ N 5) ◇ (N 6 ◇ N 7))) ◇ ((N 8 ◇ N 9) ◇ N 10)
< 1616531513 458517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I sent the maintainer an email a long time ago saying that was full of epsilons.
< 1616531525 221623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And now it's all unepsilonized.
< 1616531563 524982 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> IS.fold (\k -> (N k <>)) $ IS.fromList [1..10]
< 1616531566 76469 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : error:
< 1616531566 76517 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :     • Couldn't match expected type ‘N IS.Key’
< 1616531566 159628 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :                   with actual type ‘IS.IntSet’
< 1616531597 85415 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :IS.fold is defined to be foldr.
< 1616531597 890831 :int-e!~noone@int-e.eu PRIVMSG #esoteric :> IS.fold (\k -> (N k <>)) mempty $ IS.fromList [1..10]
< 1616531599 976197 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : N 1 ◇ (N 2 ◇ (N 3 ◇ (N 4 ◇ (N 5 ◇ (N 6 ◇ (N 7 ◇ (N 8 ◇ (N 9 ◇ (N 10 ◇ ε)))))...
< 1616531672 885132 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Evidently. Oh well. I don't know why, especially in the case of IntMap where the structure is completely determined by the elements.
< 1616531712 560521 :int-e!~noone@int-e.eu PRIVMSG #esoteric :s/Map/Set/
< 1616531746 548820 :int-e!~noone@int-e.eu PRIVMSG #esoteric :Not that I've ever missed such a balanced fold...
< 1616531795 279990 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I have implemented it for lists several times though.
< 1616531811 786784 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm not sure I've ever actually used IntSet.
< 1616531855 978242 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I guess it's some sort of fancy radix tree.
< 1616531873 551348 :int-e!~noone@int-e.eu PRIVMSG #esoteric :(the bottom-up version, foldb f [] = error "..."; foldb f [x] = x; foldb f xs = foldb f (pairUp f xs); pairUp f (x:y:xs) = f x y:pairup f xs; pairup f xs = xs)
< 1616531893 508520 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it is a trie
< 1616531901 627147 :int-e!~noone@int-e.eu PRIVMSG #esoteric :which I guess is a fancy radix tree
< 1616531912 676971 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, doesn't actually look that fancy, it just has binary nodes.
< 1616531929 613169 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the fanciness is in the bitmasks
< 1616531946 631933 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not just a prefix tree, right? You don't walk a 64-long path for a 64-bit number.
< 1616531967 282706 :int-e!~noone@int-e.eu PRIVMSG #esoteric :well you check the whole key, of course
< 1616531983 123469 :arcsor5!~textual@104.206.206.147 JOIN :#esoteric
< 1616531997 390452 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder, are B-trees good in Haskell or is all the copying too much?
< 1616532030 852925 :int-e!~noone@int-e.eu PRIVMSG #esoteric :it's not prefix-oriented either; tries elide all nodes that would only have one non-empty child
< 1616532035 795423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If your workload is mostly reads I'm sure they're better than Data.Map. Writes might be worse but I'm not sure.
< 1616532053 308583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think the thing you're calling a "trie" I'd call a "radix tree".
< 1616532071 828512 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And when people say "trie" I read that as "prefix tree".
< 1616532077 94658 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :Brainfuck interpreter in Rust
< 1616532080 290153 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the thing I'd call a radix tree cannot skip levewls
< 1616532082 139978 :int-e!~noone@int-e.eu PRIVMSG #esoteric :-w
< 1616532107 646441 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You mean it has to have a node at every single bit?
< 1616532113 344006 :int-e!~noone@int-e.eu PRIVMSG #esoteric :yesd
< 1616532118 129115 :int-e!~noone@int-e.eu PRIVMSG #esoteric :wow, typing...
< 1616532134 715561 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That seems backwards from https://en.wikipedia.org/wiki/Radix_tree
< 1616532383 528982 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :((N 1 ◇ N 2) ◇ N 3) ◇ (ε ◇ ((N 4 ◇ N 5) ◇ N 6)) => wait, how do we know? Is this the Seq from Data.Sequence? It didn’t export any patterns, or did it?..
< 1616532405 894573 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Patterns?
< 1616532502 666952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, you mean constructors aren't exported?
< 1616532516 561523 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :ah, I should have said pattern synonyms and usual constructors
< 1616532529 144571 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :N has a monoid instance with a non-associative mappend and non-identity mempty.
< 1616532536 378420 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So you can look at the Monoid calls.
< 1616532575 609177 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :yeah, does Data.Sequence.Seq export any? But now I think it doesn’t have to if it has Typeable-Generic-something-something instances
< 1616532595 992379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :This just uses Monoid.
< 1616532603 530908 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> N 1 <> (N 2 <> N 3)
< 1616532605 948550 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : N 1 ◇ (N 2 ◇ N 3)
< 1616532615 418796 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (N 1 <> N 2) <> N 3
< 1616532617 916576 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric : (N 1 ◇ N 2) ◇ N 3
< 1616532648 984046 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :ah! foldMap! I got it I think now
< 1616532653 563809 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :@type foldMap
< 1616532655 291702 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :(Foldable t, Monoid m) => (a -> m) -> t a -> m
< 1616532665 492112 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :@type foldMap N
< 1616532667 488279 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :Foldable t => t a -> N a
< 1616532681 165866 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :that’s now clear
< 1616532759 488579 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :zzo38 is fabrice bellard
< 1616532759 920249 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :so Foldable Seq decides the matter and it’s safe to assume it uses the internal structure of a Seq to fold
< 1616532831 502929 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right.
< 1616532931 8446 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :interesting that we can extract details like those by using something as simple as a free monoid-bar-associativity thing
< 1616532933 992912 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: Hmm. I'm not sure whether my usage is wrong or outdated.
< 1616532966 850504 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :int-e: btw regarding lambdabot, it one asks:
< 1616532979 331688 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't like "trie" because of pronunciation issues (especially since they say it comes from "retrieval").
< 1616532983 44630 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :@pointless \m n f -> m f . n f
< 1616532983 501613 :lambdabot!~lambdabot@haskell/bot/lambdabot PRIVMSG #esoteric :liftM2 (.)
< 1616533009 878396 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I always say "prefix tree".
< 1616533017 117395 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :it gives us liftM2, but could it give liftA2 now? What modules does this command use?
< 1616533055 976569 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It uses https://hackage.haskell.org/package/pointfree
< 1616533064 182311 :int-e!~noone@int-e.eu PRIVMSG #esoteric :no it doesn't
< 1616533095 423688 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the code originates in lambdabot but lambdabot still has its own copy of it
< 1616533096 368509 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Uh oh, my information is out of date.
< 1616533109 88099 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, it was never correct, OK.
< 1616533178 124185 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I should maybe change that... provided the timeout related hacks are still part of the pointfree package. (that's why this isn't a no-brainer)
< 1616533361 774343 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :shachaf: anyway thanks as I now see there’s just a simple line replace like https://github.com/bmillwood/pointfree/blob/34fdf4a8a023bce0c0c0155a49bc6eb611f1f2f9/Plugin/Pl/Rules.hs#L209 that line in that fork
< 1616533366 114456 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: it's hard to keep track. for example, @djinn is properly externalized
< 1616533402 63532 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :(or not a simple replace, I didn’t scan all of code)
< 1616533420 603897 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :(maybe it’s used for something other than functions)
< 1616533449 858756 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :(which should be a monad and not simply an applicative)
< 1616533455 326164 :int-e!~noone@int-e.eu PRIVMSG #esoteric :arseniiv: `grep` should do the trick
< 1616533477 706048 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :ha :D
< 1616533514 526681 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :like a good mathematician, I see that a solution exists and lay my hands off!
< 1616533525 767154 :int-e!~noone@int-e.eu PRIVMSG #esoteric :perfect
< 1616533551 714194 :int-e!~noone@int-e.eu PRIVMSG #esoteric :the last thing we want is to make @pl more useful
< 1616533564 259541 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :or, I mean, not just any solution but a more or less good solution, so laying hands off is not too bad an inaction
< 1616533623 810216 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :<int-e> the last thing we want is to make @pl more useful => because it would conquer the world? (slowly and inefficiently but inevitably)
< 1616533683 791534 :int-e!~noone@int-e.eu PRIVMSG #esoteric :shachaf: FWIW, I'm aware of that split (pointfree vs. lambdabot), cf. https://github.com/bmillwood/pointfree/issues/30
< 1616533720 779744 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, I imagine you would be.
< 1616533869 159782 :int-e!~noone@int-e.eu PRIVMSG #esoteric :I don't know, I'm not the greatest of maintainers.
< 1616533875 441150 :int-e!~noone@int-e.eu PRIVMSG #esoteric :ACTION shrugs.
< 1616533911 553504 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru PRIVMSG #esoteric :hehe hm don’t mind me
< 1616535177 663971 :delta23!~deltaepsi@unaffiliated/deltaepsilon23 QUIT :Quit: Leaving
< 1616535937 932578 :ubq323!~ubq323@host86-155-175-238.range86-155.btcentralplus.com QUIT :Ping timeout: 260 seconds
< 1616536279 127249 :Lord_of_Life!~Lord@unaffiliated/lord-of-life/x-0885362 QUIT :Ping timeout: 265 seconds
< 1616537465 396514 :ubq323!~ubq323@host86-155-175-238.range86-155.btcentralplus.com JOIN :#esoteric
< 1616537747 466174 :ubq323!~ubq323@host86-155-175-238.range86-155.btcentralplus.com QUIT :Client Quit
< 1616537759 582601 :ubq323!~ubq323@host86-155-175-238.range86-155.btcentralplus.com JOIN :#esoteric
< 1616538513 572788 :b_jonas!~a@catv-176-63-11-168.catv.broadband.hu PRIVMSG #esoteric :...
< 1616539483 28344 :LKoen!~LKoen@194.250.88.92.rev.sfr.net QUIT :Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”
< 1616539586 818574 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :arcsor5: I think that I am not Fabrice Bellard.
< 1616539920 766620 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(Rather, I think that I am Aaron CLC Black.) (No relation to CLC-INTERCAL; that is named after someone else whose name is also CLC)
< 1616540227 731948 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :zzo38 well regardless I still think you are a great programmer.
< 1616540617 389975 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :OK
< 1616540745 331408 :arseniiv!~arseniiv@94.41.226.89.dynamic.ufanet.ru QUIT :Ping timeout: 272 seconds
< 1616542095 950305 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :Whenever i learn a new programming language I like to write a brainf*** compiler to test my skills
< 1616542121 626603 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I have added a README file into Free Hero Mesh now. If there is something wrong, hopefully someone can make suggestions to fix it please.
< 1616542179 629319 :ubq323!~ubq323@host86-155-175-238.range86-155.btcentralplus.com QUIT :Quit: WeeChat 2.3
< 1616542198 546497 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :arcsor5: Yes, that is one thing that you can do when learning a new programming language. I think it is not that bad to try that
< 1616542242 919607 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :(I had previously also tried to write Z-machine interpreter in some programming languages that I had learned of, if they support byte arrays; that includes PostScript.)
< 1616542251 875237 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :what is your favorite esolangs?
< 1616542273 700064 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :Someone was making an alternative to Ghostscript, but as I like to think, Postscript is a esoteric language while not being at the same time
< 1616542277 986073 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't think I have a single favourite one, although some I like better than others
< 1616542367 738312 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :arcsor5: Yes, I suppose that could be said about PostScript. Who was making what alternative to Ghostscript? I did consider doing such a thing, making a smaller one but still full level 3 PostScript, usable both for embedding and standalone. (If it would be done, then I could change TeXnicard to use it instead of Ghostscript.)
< 1616542534 554461 :hendursa1!~weechat@gateway/tor-sasl/hendursaga QUIT :Quit: hendursa1
< 1616542556 333457 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :https://github.com/luser-dr00g/xpost 
< 1616542587 906569 :hendursaga!~weechat@gateway/tor-sasl/hendursaga JOIN :#esoteric
< 1616542691 125309 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :Someone should make a browser that works with none of all the crap Chrome is pulling off. Its sad how Github makes little effort to be compatible with all browsers
< 1616542806 663618 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Xpost looks like a good idea, but far from complete it looks like. Hopefully it will be, in time.
< 1616542831 291280 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I agree that a better web browser should be made. I had many ideas about how to design it better.
< 1616542921 871189 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :what are those ideas
< 1616543009 456676 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :One is meta-CSS, another is a table of contents window. Also many things are just removed or left unimplemented. Some things that were core are now extensions (often "built-in" extensions) and vice versa. Ensure the user has full control.
< 1616543123 41113 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :I will keep that in mind. Have you heard of Gemini and/or the Pale moon browser? They may be what you are looking for.
< 1616543138 228714 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :There are many other things too, including ARIA view, save/recall form data using local files, cookie editor, animation skipping, possibility to load animated GIF and PNG as videos, relative location bar, etc.
< 1616543182 230683 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I have heard of those. They are not quite it, but they have done some of the things.
< 1616543265 339859 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :isn't cookie editing already a thing? along with saving form data? animated gif as video would be useful?
< 1616543269 608103 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :.
< 1616543273 298353 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :the last ? is a .
< 1616543296 809210 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :No "do not track" setting is needed; instead, the header overriding feature can be used to do the same thing (and it can also be used to specify what languages you want, and other things). You can just add the constant header "DNT:1" with the criteria specified as always.
< 1616543372 950654 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Cookie editing isn't fully featured in the common modern browsers; you can only delete them. Saving form data seems not to be. What I mean is, you can enter some key combination to save form data to a file (or pipe), and a different key combination can recall it on the current web page (which might or might not be the same one that it was saved from).
< 1616543407 18423 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Keyboard-oriented operation is good; you don't need all sorts of icons, menus, etc.
< 1616543428 449775 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think I saw once one web browser has a table of contents window, but it is supported only for Gemini and Markdown, not HTML.
< 1616543553 622124 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :In chrome I think I can edit cookies, but I'm not to sure about it. It would be in inspect element. As for the table of contents, wouldn't the website operator have to implement it on their end? How would the browser know what to put in a table of contents
< 1616543555 623802 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I don't like the way that many of the APIs accessible to the document work, either. For example, if the camera API is used, it doesn't enumerate devices but asks the user to enter the path to a device, a picture file, a video file, or a command-line of a program which will produce the data on stdout. Similar can be applicable to the other APIs.
< 1616543591 438694 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :The browser would know what to put in the table of contents from the <H1> and <H2> and stuff like that, as well as newer things such as <ARTICLE>.
< 1616543671 749571 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :I think Lynx supports a footnote command in HTML, but other web browsers don't.
< 1616543708 576178 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :The api thing is a good idea. What are your thoughts on Javascript? My website uses very little Javascript  (and even if you don't have Javascript enabled the site works fine)
< 1616543759 160739 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Most web pages should not need JavaScripts at all. It is used way too much. If you do use it, ensure it works without if possible (like you mention).
< 1616543838 823952 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Sometimes it is useful though. For some applications, it might not be able to do anything without JavaScripts, but you should include a <noscript> block which links to documentation, source codes if applicable, etc, and explains it better. Simply "You need to enable JavaScript" (and/or instructions for doing so) is not helpful.
< 1616543869 283903 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :I agree Javascript is used way too much. If I recall from my browser testing, the problem with Lynx, Netsurf, and co. is not HTML, rather it is javascript parsing. The scope is simply way to wide in my opinion. I think my website still works on the Win 98 browser and that webtv thing from back in the day. Javascript does have some good uses, but like you said the noscript blocks need to be more descriptive
< 1616543908 364107 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :Things like webcomponents, amp, forced https, and other stuff are simply not necessary
< 1616543954 565491 :arcsor5!~textual@104.206.206.147 PRIVMSG #esoteric :I never got the whole HTTPS rush. Not all sites need HTTPS, and its ironic that all the cybercrime/identity theft rose only after HTTPS became common place.
< 1616543979 163108 :zzo38!~zzo38@host-24-207-14-22.public.eastlink.ca PRIVMSG #esoteric :Yes, I agree, they are not necessary.