Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-21 19:07:30 son0p joins (~son0p@181.136.122.143)
2020-11-21 19:07:33 <merijn> Mine probably right before WoW :p
2020-11-21 19:07:38 <merijn> From one drug to another ;)
2020-11-21 19:07:38 <[exa]> lol
2020-11-21 19:07:48 <[exa]> that may correspond well, yes
2020-11-21 19:07:50 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-21 19:07:51 acidjnk_new2 joins (~acidjnk@p200300d0c719ff54e8f13b1c4a3f9bcc.dip0.t-ipconnect.de)
2020-11-21 19:10:34 justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-21 19:10:36 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds)
2020-11-21 19:12:32 chaosmasttter joins (~chaosmast@p200300c4a72cf8017c557ee44a5933bf.dip0.t-ipconnect.de)
2020-11-21 19:12:57 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:6de0:da61:3bf0:e8b4) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-21 19:15:13 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2020-11-21 19:21:26 Lycurgus joins (~niemand@98.4.114.74)
2020-11-21 19:22:35 geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-21 19:26:18 elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-21 19:28:00 Guest42 joins (56ca6780@gateway/web/cgi-irc/kiwiirc.com/ip.86.202.103.128)
2020-11-21 19:29:28 ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf)
2020-11-21 19:30:25 <Feuermagier> %C08,13 how does one actually write in color here?
2020-11-21 19:31:46 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-21 19:32:41 kupi joins (uid212005@gateway/web/irccloud.com/x-zjfftffhhqbtimeu)
2020-11-21 19:33:32 <hpc> depends on the client
2020-11-21 19:33:39 <geekosaur> that %C thing is specific to xchat and only if color is enabled (check its settings). at low level it's control-C,and up to the client to specify how to get that (the webchat I'm using doesn't seem to support it at all)
2020-11-21 19:33:56 <Feuermagier> hexchat here
2020-11-21 19:35:25 <geekosaur> then you needto enable the color escapes. I don't recall where that is in the settings
2020-11-21 19:35:54 <geekosaur> (I usually edit the settings files directly while it's not running, there are a lot of settings it doesn't expose in the ui)
2020-11-21 19:36:37 × Lycurgus quits (~niemand@98.4.114.74) (Quit: Exeunt)
2020-11-21 19:36:40 <Feuermagier> IRC really has everything one could need
2020-11-21 19:37:05 _linker_ joins (~linker@185.12.21.77)
2020-11-21 19:41:14 <[exa]> Feuermagier: pls don't color
2020-11-21 19:41:29 × alp quits (~alp@2a01:e0a:58b:4920:4e0f:6ea:5e4e:a140) (Ping timeout: 272 seconds)
2020-11-21 19:41:45 <Feuermagier> [exa], why?
2020-11-21 19:42:20 <[exa]> one shall typeset with a single ink, even IRC
2020-11-21 19:46:17 Uniaika can show why colourful IRC can be a pain :>
2020-11-21 19:46:45 Feuermagier is interested
2020-11-21 19:47:01 <Uniaika> 14,6 KIKOO FEUERMAGIER !!!!!! :o))))))))))))))))
2020-11-21 19:47:01 <Uniaika> 10,3 KIKOOOOOOOOOOOO FEUERMAGIER !!!!!!!! :o))))))))))))
2020-11-21 19:47:02 <Uniaika> 7,4 KIKOO FEUERMAGIER !!!!!! :o))))))))))
2020-11-21 19:47:03 <Uniaika> 13,11 KIKOOOOOOO FEUERMAGIER !!!!!!!!!!!!! :o))))))))
2020-11-21 19:47:05 <Uniaika> 12,2 KIKOOOOOOOOO FEUERMAGIER !!! :o))))))))))))))))
2020-11-21 19:47:05 × Uniaika quits (~uniaika@163.172.211.189) (Killed (Sigyn (Spam is off topic on freenode.)))
2020-11-21 19:47:20 Feuermagier is amused
2020-11-21 19:47:49 <maerwald> lol
2020-11-21 19:47:57 <monochrom> Yikes Uniaika sacrified themselves to show you.
2020-11-21 19:48:10 <Feuermagier> how honorful
2020-11-21 19:48:25 <Feuermagier> may he rest in peace
2020-11-21 19:50:46 Uniaika joins (~uniaika@163.172.211.189)
2020-11-21 19:50:50 <zyklotomic> wait woah you can do that?
2020-11-21 19:50:56 <zyklotomic> that worked for me, i was not ready for that
2020-11-21 19:51:14 <merijn> You can do that, but clearly you shouldn't >.>
2020-11-21 19:51:27 <Uniaika> Feuermagier: that's the last time I'm helpful :>
2020-11-21 19:51:28 <zyklotomic> i have never ever seen colored in my 4 (albeit short) years of irc
2020-11-21 19:51:38 <ben_m> what's next, embedded images, emoji and voice chat?
2020-11-21 19:51:45 <zyklotomic> woah woah slow down
2020-11-21 19:51:59 <zyklotomic> maybe a few decades down the road
2020-11-21 19:52:12 <zyklotomic> i don't think that's possible right now
2020-11-21 19:52:45 <zyklotomic> is there a clean way to compose functions that share tails?
2020-11-21 19:52:57 <geekosaur> some clients translate emoji
2020-11-21 19:52:57 <zyklotomic> f: a -> b -> c, g: b -> c -> d
2020-11-21 19:53:10 <geekosaur> (it's a bad idea here, it'll do weird things to code)
2020-11-21 19:53:16 <zyklotomic> where the b and the c arguments are the same
2020-11-21 19:53:32 <zyklotomic> where the tail is the head of the next*
2020-11-21 19:53:40 <Feuermagier> can I use emojis for variable or function names in haskell?
2020-11-21 19:53:44 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-21 19:54:03 <maerwald> like haskell isn't obscure enough already
2020-11-21 19:54:11 <Uniaika> ben_m: you could have avatars with Hexchat I think
2020-11-21 19:54:19 <Uniaika> emojis are already here
2020-11-21 19:54:42 <geekosaur> also there's emoji in unicode which probably pass through and are displayed by Unicode-capable clients
2020-11-21 19:54:45 <merijn> > let x ☃ y = x*y + x + y in 3 ☃ 4 -- I dunno, can you?
2020-11-21 19:54:48 <lambdabot> 19
2020-11-21 19:54:59 <geekosaur> depends on the character class. I suspect they're symbols so would have to be operator syntax
2020-11-21 19:55:21 <Feuermagier> merijn, my god, what have I done...
2020-11-21 19:55:30 <merijn> > generalCategory '💩'
2020-11-21 19:55:32 <lambdabot> OtherSymbol
2020-11-21 19:55:40 <merijn> Symbol, so valid operator :)
2020-11-21 19:55:53 jneira joins (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192)
2020-11-21 19:55:54 <merijn> > let x 💩 y = x*y + x + y in 3 💩 4 -- I dunno, can you?
2020-11-21 19:55:55 hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-11-21 19:55:56 <lambdabot> 19
2020-11-21 19:56:05 <Feuermagier> *oh god*
2020-11-21 19:56:14 × knupfer quits (~Thunderbi@200116b82ce1e1004151d196bd118340.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-21 19:56:16 <zyklotomic> oh right i was reading the other the day, almost any unicode is a valid operator
2020-11-21 19:56:21 <merijn> Feuermagier: For details see chapter 2 of the Haskell 2010 report :p
2020-11-21 19:56:23 knupfer joins (~Thunderbi@200116b82ce1e1001cbbbad91fc51f3d.dip.versatel-1u1.de)
2020-11-21 19:56:28 <merijn> zyklotomic: Not really
2020-11-21 19:56:39 <merijn> zyklotomic: Only the unicode characters with "symbol" class
2020-11-21 19:57:06 <merijn> > generalCategory '∑'
2020-11-21 19:57:08 <lambdabot> MathSymbol
2020-11-21 19:57:15 <Feuermagier> 🐧
2020-11-21 19:57:18 <zyklotomic> ah
2020-11-21 19:57:22 <merijn> > generalCategory 'Σ'
2020-11-21 19:57:23 <lambdabot> UppercaseLetter
2020-11-21 19:57:26 <zyklotomic> and then there's this abomination https://github.com/vasilevp/aboriginal lol
2020-11-21 19:57:59 <merijn> Note how the sum symbol is an operator, but capital sigma is a letter and thus only in function names
2020-11-21 19:59:14 <zyklotomic> that makes sense
2020-11-21 19:59:15 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-21 19:59:28 <Feuermagier> KDE replaces each one of those emjois with high-res color-images, which do not fit one bit into IRC
2020-11-21 19:59:31 <zyklotomic> i'm surprised they thought to make this distinction
2020-11-21 19:59:41 <merijn> zyklotomic: Fun related trivia
2020-11-21 19:59:42 henninb joins (~henninb@63.226.173.161)
2020-11-21 19:59:50 Tario joins (~Tario@201.192.165.173)

All times are in UTC.