Logs: freenode/#haskell
| 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.