| 2023-05-31 00:08:32 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 00:11:32 +0000 | jargon | (~jargon@184.101.77.79) |
| 2023-05-31 00:13:52 +0000 | vandita | (~vandit@193-110-63-63.cable-modem.hdsnet.hu) (Ping timeout: 248 seconds) |
| 2023-05-31 00:15:52 +0000 | vandita | (~vandit@94-21-48-22.pool.digikabel.hu) |
| 2023-05-31 00:15:52 +0000 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-05-31 00:16:03 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-31 00:16:15 +0000 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) |
| 2023-05-31 00:20:26 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-05-31 00:24:33 +0000 | ijqq | (uid603979@id-603979.helmsley.irccloud.com) |
| 2023-05-31 00:24:49 +0000 | <ijqq> | Hello |
| 2023-05-31 00:26:10 +0000 | <Axman6> | Hello! |
| 2023-05-31 00:26:32 +0000 | <ijqq> | How's it going? |
| 2023-05-31 00:27:23 +0000 | <ijqq> | I am here because I would like some advice on how to learn haskell. I need to learn it because I want to write my own programming language in Haskell. |
| 2023-05-31 00:28:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2023-05-31 00:36:24 +0000 | <jackdk> | https://haskellbook.com/ was the book that got me over the hump, but it costs money and is extremely thorough. (I did all of the exercises over several months.) https://www.seas.upenn.edu/~cis1940/spring13/ is probably the best general-purpose free resource, but maybe given your goals https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours could be of interest (I haven't read it) |
| 2023-05-31 00:38:59 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-05-31 00:39:20 +0000 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-05-31 00:42:05 +0000 | <ijqq> | Ah okay, thank you |
| 2023-05-31 00:50:48 +0000 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 00:50:54 +0000 | thegeekinside | (~thegeekin@189.180.38.64) |
| 2023-05-31 00:54:01 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-05-31 01:00:34 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-05-31 01:00:48 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 2023-05-31 01:02:19 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2023-05-31 01:03:37 +0000 | quarkyalice | (~alice@user/quarkyalice) (Quit: Leaving) |
| 2023-05-31 01:05:11 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-05-31 01:05:41 +0000 | czy | (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-05-31 01:12:30 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-31 01:17:20 +0000 | forell | (~forell@user/forell) (Ping timeout: 248 seconds) |
| 2023-05-31 01:18:28 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-31 01:18:38 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-31 01:20:00 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 2023-05-31 01:20:03 +0000 | cheater_ | cheater |
| 2023-05-31 01:22:23 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) |
| 2023-05-31 01:23:01 +0000 | forell | (~forell@user/forell) |
| 2023-05-31 01:23:13 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-31 01:42:15 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.104) (Read error: Connection reset by peer) |
| 2023-05-31 01:43:02 +0000 | AlexNoo_ | (~AlexNoo@178.34.163.104) |
| 2023-05-31 01:46:00 +0000 | byte | (~byte@user/byte) (Quit: Quitting...) |
| 2023-05-31 01:47:37 +0000 | byte | (~byte@user/byte) |
| 2023-05-31 01:50:57 +0000 | byte | (~byte@user/byte) (Client Quit) |
| 2023-05-31 01:51:36 +0000 | byte | (~byte@user/byte) |
| 2023-05-31 01:55:39 +0000 | Sciencentistguy7 | (~sciencent@hacksoc/ordinary-member) |
| 2023-05-31 01:57:48 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 2023-05-31 01:57:49 +0000 | Sciencentistguy7 | Sciencentistguy |
| 2023-05-31 01:58:02 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-31 02:04:39 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-05-31 02:04:48 +0000 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 265 seconds) |
| 2023-05-31 02:16:54 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-05-31 02:17:42 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-31 02:20:00 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-05-31 02:22:35 +0000 | <probie> | I'm not sure if this is better asked here or in #ghc, but how can I make rewrite rules play nicely with composition? I've got https://play.haskell.org/saved/lxt7XaoJ, and if you look at the core, sumFirstN and sumFirstN' generate code with rather different performance characteristics |
| 2023-05-31 02:23:32 +0000 | <Lycurgus> | you know about th, right? |
| 2023-05-31 02:23:55 +0000 | <Lycurgus> | (didn look at the stuff) |
| 2023-05-31 02:24:40 +0000 | <probie> | what's the relevance of th here? |
| 2023-05-31 02:24:50 +0000 | <Lycurgus> | rewrite |
| 2023-05-31 02:26:37 +0000 | <cheater> | if i have f x a b c d e, and now i want to make g xs a b c d e = map (\x -> f x a b c d e) xs, is there a pointfree way to do this? |
| 2023-05-31 02:26:43 +0000 | <cheater> | @pointfree f = g |
| 2023-05-31 02:26:43 +0000 | <lambdabot> | Unknown command, try @list |
| 2023-05-31 02:26:45 +0000 | <cheater> | @list |
| 2023-05-31 02:26:45 +0000 | <lambdabot> | What module? Try @listmodules for some ideas. |
| 2023-05-31 02:26:48 +0000 | <cheater> | @pl |
| 2023-05-31 02:26:48 +0000 | <lambdabot> | (line 1, column 1): |
| 2023-05-31 02:26:48 +0000 | <lambdabot> | unexpected end of input |
| 2023-05-31 02:26:48 +0000 | <lambdabot> | expecting white space, "()", natural, identifier, lambda abstraction or expression |
| 2023-05-31 02:27:00 +0000 | <cheater> | @pl g xs a b c d e = map (\x -> f x a b c d e) |
| 2023-05-31 02:27:00 +0000 | <lambdabot> | g = const ((((((((map .) . flip) .) . flip) .) . flip) .) . flip . flip f) |
| 2023-05-31 02:27:14 +0000 | <cheater> | @pl g a b c d e xs = map (\x -> f a b c d e x) |
| 2023-05-31 02:27:14 +0000 | <lambdabot> | g = (((((const . map) .) .) .) .) . f |
| 2023-05-31 02:27:57 +0000 | <probie> | When I say rewrite, I mean https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rewrite_rules.html I don't see how th helps here |
| 2023-05-31 02:28:01 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-31 02:28:27 +0000 | <cheater> | this is kinda ugly |
| 2023-05-31 02:29:41 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-31 02:30:01 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 02:31:07 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 02:42:15 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 256 seconds) |
| 2023-05-31 02:42:47 +0000 | jero98772 | (~jero98772@190.158.28.80) (Ping timeout: 250 seconds) |
| 2023-05-31 02:44:32 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-31 02:44:32 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-05-31 02:44:32 +0000 | finn_elija | FinnElija |
| 2023-05-31 02:46:19 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-31 02:50:17 +0000 | scrungus | (~scrungus@bras-base-aurron9127w-grc-63-70-24-87-21.dsl.bell.ca) (Quit: WeeChat 3.8) |
| 2023-05-31 02:51:53 +0000 | vandita | (~vandit@94-21-48-22.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-31 02:53:51 +0000 | vandita | (~vandit@77-234-64-159.pool.digikabel.hu) |
| 2023-05-31 02:55:38 +0000 | <EvanR> | cheater, looks like an unfortunate positioning of the x argument |
| 2023-05-31 02:55:51 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 02:56:01 +0000 | <cheater> | i could put it anywhere else |
| 2023-05-31 02:56:17 +0000 | <EvanR> | if it was last, you could write map (f a b c d e) xs |
| 2023-05-31 02:56:23 +0000 | <cheater> | yes |
| 2023-05-31 02:56:30 +0000 | <cheater> | but that only allows me to point-free remove the xs |
| 2023-05-31 02:56:39 +0000 | <cheater> | i want to point-free remove a b c d e |
| 2023-05-31 02:56:43 +0000 | <cheater> | that's the one i really care about |
| 2023-05-31 02:56:58 +0000 | hsw_ | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) |
| 2023-05-31 02:57:19 +0000 | <cheater> | ones* |
| 2023-05-31 02:57:20 +0000 | hsw_ | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2023-05-31 02:57:24 +0000 | <EvanR> | if xs is last in g, then g a b c d e = map (f a b c d e) |
| 2023-05-31 02:57:38 +0000 | <cheater> | sure |
| 2023-05-31 02:57:46 +0000 | <EvanR> | or if you are into .:::: thingies |
| 2023-05-31 02:57:50 +0000 | <cheater> | i'm not |
| 2023-05-31 02:57:53 +0000 | <EvanR> | g = map .::::: f xD |
| 2023-05-31 02:58:01 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2023-05-31 02:58:09 +0000 | <cheater> | but i mean |
| 2023-05-31 02:58:10 +0000 | <cheater> | ... |
| 2023-05-31 02:58:10 +0000 | <EvanR> | yeah |
| 2023-05-31 02:58:12 +0000 | <cheater> | you know |
| 2023-05-31 02:58:16 +0000 | <EvanR> | just use variables |
| 2023-05-31 02:58:34 +0000 | <cheater> | yeah but the problem is those variables each are 20 letters |
| 2023-05-31 02:58:43 +0000 | <cheater> | so the line is like five monitors long |
| 2023-05-31 02:58:49 +0000 | td_ | (~td@i53870907.versanet.de) (Ping timeout: 250 seconds) |
| 2023-05-31 02:58:54 +0000 | hsw | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) |
| 2023-05-31 02:59:22 +0000 | <EvanR> | I aggressively use multiple lines to make sure code fits in <strikethrough>80</> 40 columns |
| 2023-05-31 03:00:46 +0000 | td_ | (~td@i53870935.versanet.de) |
| 2023-05-31 03:00:52 +0000 | <int-e> | do you use that to fit two lines of code on a single punched card? |
| 2023-05-31 03:00:54 +0000 | <cheater> | ah, i see you program on an ntsc tv. |
| 2023-05-31 03:01:01 +0000 | <cheater> | a man of honor. |
| 2023-05-31 03:07:05 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 240 seconds) |
| 2023-05-31 03:12:51 +0000 | <[Leary]> | cheater: If your function takes that many arguments, and better, shares them with at least one other function, it might be time to use a record. Then it becomes `f Args{arg1,arg2,...} x = ...`; `g args xs = f args <$> xs`. |
| 2023-05-31 03:13:10 +0000 | <cheater> | hmm yeah maybe |
| 2023-05-31 03:13:22 +0000 | <cheater> | but it's only one function that this is being shared, not more |
| 2023-05-31 03:14:30 +0000 | <cheater> | oh hmm |
| 2023-05-31 03:14:48 +0000 | <cheater> | if i define f inside a where inside g's body |
| 2023-05-31 03:14:50 +0000 | <probie> | Does that imply that `f` is local to your function? In which case why do you need to pass the arguments to it in the first place? |
| 2023-05-31 03:14:57 +0000 | <cheater> | then i don't necessarily need to take arguments in f, right? |
| 2023-05-31 03:15:02 +0000 | <cheater> | right i was just thinking that |
| 2023-05-31 03:15:25 +0000 | xameer | (~xameer@144.48.224.57) |
| 2023-05-31 03:15:27 +0000 | xameer | (~xameer@144.48.224.57) (Client Quit) |
| 2023-05-31 03:19:23 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2023-05-31 03:48:12 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 03:49:52 +0000 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 2023-05-31 03:50:58 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-31 03:52:32 +0000 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) |
| 2023-05-31 03:54:02 +0000 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 03:57:45 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 03:59:55 +0000 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-05-31 04:01:45 +0000 | <cheater> | yeah, that's a really good approach |
| 2023-05-31 04:01:57 +0000 | <cheater> | thanks probie and rest |
| 2023-05-31 04:08:59 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-31 04:33:43 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-05-31 04:35:34 +0000 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 04:40:47 +0000 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2023-05-31 04:40:54 +0000 | leungbk | (~user@2603-8000-1201-2dd2-bef6-2a16-62b5-90ff.res6.spectrum.com) |
| 2023-05-31 04:43:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-31 04:44:01 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-31 04:45:02 +0000 | kluk_ | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) |
| 2023-05-31 04:45:32 +0000 | cheater_ | (~Username@user/cheater) |
| 2023-05-31 04:46:11 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2023-05-31 04:47:38 +0000 | cheater__ | (~Username@user/cheater) |
| 2023-05-31 04:47:39 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-31 04:48:01 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-31 04:48:35 +0000 | zer0bitz__ | (~zer0bitz@user/zer0bitz) |
| 2023-05-31 04:49:04 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 248 seconds) |
| 2023-05-31 04:50:12 +0000 | cheater___ | (~Username@user/cheater) |
| 2023-05-31 04:50:12 +0000 | cheater___ | cheater |
| 2023-05-31 04:51:03 +0000 | cheater_ | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-31 04:51:07 +0000 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-31 04:52:07 +0000 | cheater__ | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-05-31 04:53:55 +0000 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-31 04:58:54 +0000 | _xor6 | (~xor@50.216.161.66.ded-dsl.fuse.net) |
| 2023-05-31 05:01:13 +0000 | _xor | (~xor@nw-esr1-72-49-97-201.fuse.net) (Ping timeout: 265 seconds) |
| 2023-05-31 05:01:14 +0000 | _xor6 | _xor |
| 2023-05-31 05:06:15 +0000 | trev | (~trev@user/trev) |
| 2023-05-31 05:10:24 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 265 seconds) |
| 2023-05-31 05:19:10 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-05-31 05:23:23 +0000 | _xor1 | (~xor@nw-esr1-72-49-97-201.fuse.net) |
| 2023-05-31 05:24:48 +0000 | _xor | (~xor@50.216.161.66.ded-dsl.fuse.net) (Ping timeout: 240 seconds) |
| 2023-05-31 05:24:48 +0000 | _xor1 | _xor |
| 2023-05-31 05:25:17 +0000 | ddellacosta | (~ddellacos@143.244.47.74) (Ping timeout: 250 seconds) |
| 2023-05-31 05:26:54 +0000 | kluk_ | (~arrowhead@cpe-74-66-76-151.nyc.res.rr.com) () |
| 2023-05-31 05:37:37 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-05-31 05:39:37 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-31 05:40:11 +0000 | leungbk | (~user@2603-8000-1201-2dd2-bef6-2a16-62b5-90ff.res6.spectrum.com) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)) |
| 2023-05-31 05:43:52 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-05-31 05:44:39 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-31 05:45:57 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-31 05:46:32 +0000 | vandita | (~vandit@77-234-64-159.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-31 05:48:07 +0000 | vandita | (~vandit@78-131-74-0.pool.digikabel.hu) |
| 2023-05-31 05:50:28 +0000 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2023-05-31 06:00:23 +0000 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 06:06:15 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-31 06:11:42 +0000 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2023-05-31 06:12:13 +0000 | echoreply | (~echoreply@45.32.163.16) |
| 2023-05-31 06:14:28 +0000 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2023-05-31 06:15:48 +0000 | mxs | (~mxs@user/mxs) (Ping timeout: 240 seconds) |
| 2023-05-31 06:16:52 +0000 | APic | (apic@apic.name) (Ping timeout: 250 seconds) |
| 2023-05-31 06:27:57 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) |
| 2023-05-31 06:31:00 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-31 06:34:40 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Ping timeout: 248 seconds) |
| 2023-05-31 06:35:12 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2023-05-31 06:35:12 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2023-05-31 06:35:12 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) |
| 2023-05-31 06:35:28 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 265 seconds) |
| 2023-05-31 06:35:28 +0000 | chele | (~chele@user/chele) |
| 2023-05-31 06:40:32 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2023-05-31 06:42:40 +0000 | pyook | (~puke@user/puke) (Ping timeout: 248 seconds) |
| 2023-05-31 06:51:27 +0000 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-05-31 06:51:43 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3e30:d1db:17eb:3fe6) |
| 2023-05-31 06:55:06 +0000 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) (Client Quit) |
| 2023-05-31 06:56:27 +0000 | fiddlerwoaroof_ | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-05-31 07:00:47 +0000 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 07:10:01 +0000 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 07:12:20 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-05-31 07:21:36 +0000 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) (Quit: Leaving) |
| 2023-05-31 07:21:59 +0000 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) |
| 2023-05-31 07:22:01 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-31 07:23:38 +0000 | hsw | (~hsw@112-104-11-46.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2023-05-31 07:23:51 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-05-31 07:28:00 +0000 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) |
| 2023-05-31 07:28:10 +0000 | mmhat | (~mmh@p200300f1c706686dee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-05-31 07:28:33 +0000 | mmhat | (~mmh@p200300f1c706686dee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-05-31 07:33:46 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-31 07:34:01 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-05-31 07:34:37 +0000 | michalz | (~michalz@185.246.204.89) |
| 2023-05-31 07:42:20 +0000 | hisa383 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-05-31 07:42:21 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-05-31 07:44:01 +0000 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-31 07:44:01 +0000 | hisa383 | hisa38 |
| 2023-05-31 07:46:27 +0000 | CiaoSen | (~Jura@145.224.73.17) |
| 2023-05-31 07:47:57 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-31 07:52:31 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-05-31 07:59:26 +0000 | maerwald | (~maerwald@user/maerwald) (Quit: gone) |
| 2023-05-31 08:00:17 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-31 08:00:45 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-31 08:05:36 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-31 08:10:16 +0000 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 08:11:15 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-31 08:12:16 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 248 seconds) |
| 2023-05-31 08:12:37 +0000 | bilegeek | (~bilegeek@2600:1008:b09b:c4b4:7afa:ef19:5ec6:a9f7) (Quit: Leaving) |
| 2023-05-31 08:13:11 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-31 08:13:17 +0000 | EvanR | (~EvanR@user/evanr) |
| 2023-05-31 08:16:48 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 2023-05-31 08:20:05 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-05-31 08:24:33 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-31 08:26:58 +0000 | Deide | (~deide@user/deide) (Remote host closed the connection) |
| 2023-05-31 08:32:26 +0000 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 08:33:26 +0000 | talismanick | (~user@2601:204:ef01:8ca0::a680) |
| 2023-05-31 08:35:45 +0000 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) (Quit: WeeChat 3.7.1) |
| 2023-05-31 08:36:25 +0000 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-05-31 08:36:58 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-31 08:40:02 +0000 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 08:42:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 08:43:20 +0000 | foul_owl | (~kerry@71.212.137.212) (Client Quit) |
| 2023-05-31 08:46:42 +0000 | <probie> | Are there limitations on when single constructor elimination can fire? I've seen GHC generate some core where there are two functions in a letrec, and the first is calling the second with a regular tuple (which the first constructs), which the second immediately deconstructs |
| 2023-05-31 08:47:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 240 seconds) |
| 2023-05-31 08:49:45 +0000 | merijn | (~merijn@145.136.142.121) |
| 2023-05-31 08:54:24 +0000 | merijn | (~merijn@145.136.142.121) (Ping timeout: 248 seconds) |
| 2023-05-31 08:54:56 +0000 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-31 08:57:14 +0000 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-05-31 08:57:30 +0000 | foul_owl | (~kerry@71.212.137.212) |
| 2023-05-31 08:57:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-05-31 08:58:46 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-31 09:00:11 +0000 | <jonathan_> | I'm considering attending the ghc developer's workshop remotely. In the registration form they said to please get an accout on the gch gitlab. I asked for access a few weeks ago, but it's still pending admin approval. How should I go about getting access? |
| 2023-05-31 09:00:50 +0000 | <geekosaur> | generally you have to ask in #ghc, and an admin should be able to help you |
| 2023-05-31 09:05:01 +0000 | trillp | (~trillp@216.128.139.100) |
| 2023-05-31 09:06:32 +0000 | trillp | (~trillp@216.128.139.100) (WeeChat 3.8) |
| 2023-05-31 09:08:35 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-31 09:14:37 +0000 | <talismanick> | Why might loading test/Spec.hs in GHCi error with "Could not load module ‘Test.Hspec’... member of hidden package" when it's clearly listed in the build-depends for the test suite? |
| 2023-05-31 09:15:15 +0000 | <c_wraith> | talismanick: did you start ghci in the context of the test suite? |
| 2023-05-31 09:15:37 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) |
| 2023-05-31 09:15:43 +0000 | <talismanick> | c_wraith: I loaded the file inside Emacs with C-c C-l, so... presumably so? |
| 2023-05-31 09:15:56 +0000 | <c_wraith> | Oh. Definitely not, then |
| 2023-05-31 09:16:21 +0000 | <geekosaur> | [25 23:37:58] <Artem[m]> <fgaz> "or just `cabal test` if you don..." <- Infamously, you may have to do `cabal test --enable-tests`. I wish I learned the ticket number by heart by now... |
| 2023-05-31 09:17:06 +0000 | <c_wraith> | talismanick: that will just run a bare `cabal repl` |
| 2023-05-31 09:17:18 +0000 | <talismanick> | huh, it's doing something different from `cabal run name-of-test` |
| 2023-05-31 09:17:22 +0000 | <c_wraith> | Maybe telling it about your source file |
| 2023-05-31 09:17:33 +0000 | CiaoSen | (~Jura@145.224.73.17) (Ping timeout: 250 seconds) |
| 2023-05-31 09:17:48 +0000 | <talismanick> | c_wraith: how might I do that? |
| 2023-05-31 09:18:25 +0000 | <talismanick> | Is there some knob I need to configure for HLS to handle this for me automatically? It handles the rest of project management pretty well |
| 2023-05-31 09:18:50 +0000 | <talismanick> | (insofar as importing dependencies for lookup while editing goes ) |
| 2023-05-31 09:20:16 +0000 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:490c:faf5:667:6a2e) |
| 2023-05-31 09:21:22 +0000 | <c_wraith> | No idea how to get HLS to do the right thing. |
| 2023-05-31 09:27:32 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2023-05-31 09:31:51 +0000 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 09:32:46 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2023-05-31 09:33:05 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-31 09:40:16 +0000 | thegeekinside | (~thegeekin@189.180.38.64) (Ping timeout: 248 seconds) |
| 2023-05-31 09:44:47 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Remote host closed the connection) |
| 2023-05-31 09:47:12 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) (Quit: oo_miguel) |
| 2023-05-31 09:47:38 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-31 09:50:45 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-31 09:51:30 +0000 | lottaquestions | (~nick@2607:fa49:503f:6d00:b491:99a4:aba0:ca2f) (Quit: Konversation terminated!) |
| 2023-05-31 09:52:07 +0000 | lottaquestions | (~nick@2607:fa49:503f:6d00:2ffc:724d:26ca:ea57) |
| 2023-05-31 09:54:36 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-05-31 09:55:41 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2023-05-31 09:57:21 +0000 | merijn | (~merijn@145.136.142.121) |
| 2023-05-31 10:04:21 +0000 | merijn | (~merijn@145.136.142.121) (Ping timeout: 250 seconds) |
| 2023-05-31 10:09:59 +0000 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 250 seconds) |
| 2023-05-31 10:11:07 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2023-05-31 10:14:09 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-31 10:14:17 +0000 | xff0x_ | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-05-31 10:18:25 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60497b3233a309ba1a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-31 10:21:11 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-05-31 10:21:47 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-05-31 10:23:35 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-31 10:24:39 +0000 | APic | (apic@apic.name) |
| 2023-05-31 10:27:25 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) |
| 2023-05-31 10:30:31 +0000 | tstat | (~user@user/tstat) |
| 2023-05-31 10:33:07 +0000 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-31 10:33:19 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Read error: Connection reset by peer) |
| 2023-05-31 10:34:21 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-05-31 10:39:44 +0000 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 10:40:20 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-05-31 10:52:44 +0000 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-05-31 11:02:48 +0000 | maerwald | (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2023-05-31 11:03:05 +0000 | maerwald | (~maerwald@mail.hasufell.de) |
| 2023-05-31 11:03:37 +0000 | supersven | (sid501114@id-501114.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-31 11:04:55 +0000 | mxs | (~mxs@user/mxs) |
| 2023-05-31 11:06:12 +0000 | xff0x_ | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-31 11:15:41 +0000 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-a566-5e72-30af-bdfe.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-31 11:16:44 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-05-31 11:19:07 +0000 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-31 11:19:25 +0000 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-31 11:23:14 +0000 | merijn | (~merijn@145.136.142.121) |
| 2023-05-31 11:26:47 +0000 | kilolympus | (~kilolympu@213.144.144.24) |
| 2023-05-31 11:27:37 +0000 | merijn | (~merijn@145.136.142.121) (Ping timeout: 240 seconds) |
| 2023-05-31 11:33:56 +0000 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-31 11:37:36 +0000 | jonathan_ | (~jonathan@193.234.101.122) |
| 2023-05-31 11:39:48 +0000 | gurkenglas | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-31 11:40:48 +0000 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
| 2023-05-31 11:52:29 +0000 | dcleonarski | (~user@2804:d51:4793:c800:b0e2:a2e8:89a0:4c46) |
| 2023-05-31 11:55:43 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-05-31 11:58:37 +0000 | zer0bitz__ | (~zer0bitz@user/zer0bitz) (Ping timeout: 240 seconds) |
| 2023-05-31 12:08:37 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2023-05-31 12:16:00 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-31 12:36:54 +0000 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 12:37:22 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-05-31 12:41:01 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a9c3) |
| 2023-05-31 12:58:32 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2023-05-31 13:00:43 +0000 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-31 13:05:31 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 13:15:48 +0000 | <Las[m]1> | What do people usually use to write academic papers on Haskell? |
| 2023-05-31 13:17:14 +0000 | <mzg> | LaTeX? |
| 2023-05-31 13:17:39 +0000 | <jade[m]> | do you mean what software to write papers? |
| 2023-05-31 13:30:55 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-31 13:32:54 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-31 13:36:00 +0000 | <juri_> | laTeX. |
| 2023-05-31 13:38:59 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-31 13:38:59 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-31 13:38:59 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-31 13:44:14 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2023-05-31 13:44:45 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-31 13:46:37 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-31 13:47:14 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 13:50:29 +0000 | tstat | (~user@user/tstat) (Remote host closed the connection) |
| 2023-05-31 13:51:28 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 248 seconds) |
| 2023-05-31 13:58:17 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-31 13:58:37 +0000 | tstat | (~user@user/tstat) |
| 2023-05-31 13:59:39 +0000 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-05-31 13:59:59 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds) |
| 2023-05-31 14:00:50 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 14:04:13 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::a9c3) (Remote host closed the connection) |
| 2023-05-31 14:05:20 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-31 14:05:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-31 14:05:56 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:165c:a993:55fe:cf4b) (Ping timeout: 265 seconds) |
| 2023-05-31 14:08:53 +0000 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 14:09:28 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 240 seconds) |
| 2023-05-31 14:10:11 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 14:10:58 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-31 14:21:24 +0000 | <somerandomnick[m> | alex + happy |
| 2023-05-31 14:22:30 +0000 | <somerandomnick[m> | ADTs closely reflect the BNF and disallow invalid values |
| 2023-05-31 14:22:41 +0000 | caubert_ | (~caubert@user/caubert) (Quit: WeeChat 3.8) |
| 2023-05-31 14:22:51 +0000 | caubert | (~caubert@user/caubert) |
| 2023-05-31 14:23:22 +0000 | thegeekinside | (~thegeekin@189.180.38.64) |
| 2023-05-31 14:24:28 +0000 | <somerandomnick[m> | the compiler will warn you for every unmatched patterns in functions over AST then |
| 2023-05-31 14:24:57 +0000 | <somerandomnick[m> | I read "parsers" not "papers" XD |
| 2023-05-31 14:25:02 +0000 | <somerandomnick[m> | obv the answer is latex |
| 2023-05-31 14:25:19 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-31 14:27:19 +0000 | <sm> | or pandoc ? |
| 2023-05-31 14:31:16 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) |
| 2023-05-31 14:31:37 +0000 | pavonia_ | (~user@user/siracusa) (Quit: Bye!) |
| 2023-05-31 14:43:45 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-31 14:46:07 +0000 | n0den1te | (~~.~@157.119.87.13) |
| 2023-05-31 14:49:02 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-31 14:49:26 +0000 | CiaoSen | (~Jura@145.224.73.17) |
| 2023-05-31 14:50:31 +0000 | AlexNoo_ | AlexNoo |
| 2023-05-31 14:51:41 +0000 | <tomsmeding> | LaTeX here :p |
| 2023-05-31 14:52:01 +0000 | <tomsmeding> | also, like, basically all the relevant publication venues require LaTeX, so it's not like we have much choice |
| 2023-05-31 14:52:19 +0000 | <n0den1te> | sorry, what's latex? unless you mean those sweatingly fiendish pants |
| 2023-05-31 14:52:20 +0000 | dtman34 | (~dtman34@76.156.89.180) |
| 2023-05-31 14:52:50 +0000 | n0den1te | says no need to answer, I'm just joking |
| 2023-05-31 14:53:32 +0000 | <n0den1te> | I know academics have a thing for it, apparently |
| 2023-05-31 14:54:11 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:89bf:2c1e:724:8d14) (Remote host closed the connection) |
| 2023-05-31 14:54:51 +0000 | <geekosaur> | mostly because that's where it originated |
| 2023-05-31 15:01:11 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-05-31 15:04:02 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-31 15:04:24 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 15:07:35 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8) |
| 2023-05-31 15:10:33 +0000 | pharonix71 | (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 2023-05-31 15:10:58 +0000 | pharonix71 | (~pharonix7@user/pharonix71) |
| 2023-05-31 15:12:31 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 256 seconds) |
| 2023-05-31 15:13:04 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 15:13:25 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-31 15:14:56 +0000 | vandita | (~vandit@78-131-74-0.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-31 15:16:33 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-31 15:16:53 +0000 | vandita | (~vandit@92-249-182-18.pool.digikabel.hu) |
| 2023-05-31 15:16:56 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 15:19:16 +0000 | econo | (uid147250@user/econo) |
| 2023-05-31 15:19:33 +0000 | merijn | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) |
| 2023-05-31 15:22:04 +0000 | comerijn | (~merijn@86.86.29.250) |
| 2023-05-31 15:22:32 +0000 | merijn | Guest826 |
| 2023-05-31 15:22:52 +0000 | comerijn | merijn |
| 2023-05-31 15:26:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 15:26:37 +0000 | Guest826 | (~merijn@c-001-001-004.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2023-05-31 15:32:34 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-31 15:34:56 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-31 15:39:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 15:40:16 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 15:40:45 +0000 | mauke | (~mauke@user/mauke) |
| 2023-05-31 15:41:52 +0000 | AlexZenon | (~alzenon@178.34.163.104) (Ping timeout: 248 seconds) |
| 2023-05-31 15:42:31 +0000 | Alex_test_ | (~al_test@178.34.163.104) (Ping timeout: 240 seconds) |
| 2023-05-31 15:49:05 +0000 | Alex_test | (~al_test@178.34.163.104) |
| 2023-05-31 15:49:52 +0000 | AlexZenon | (~alzenon@178.34.163.104) |
| 2023-05-31 15:49:55 +0000 | CiaoSen | (~Jura@145.224.73.17) (Ping timeout: 256 seconds) |
| 2023-05-31 16:05:19 +0000 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-05-31 16:09:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 16:10:31 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 250 seconds) |
| 2023-05-31 16:10:53 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-05-31 16:12:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-05-31 16:13:04 +0000 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:490c:faf5:667:6a2e) (Remote host closed the connection) |
| 2023-05-31 16:15:27 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-05-31 16:17:09 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-05-31 16:19:46 +0000 | ddellacosta | (~ddellacos@146.70.168.162) |
| 2023-05-31 16:22:42 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 16:24:39 +0000 | ddellacosta | (~ddellacos@146.70.168.162) (Ping timeout: 265 seconds) |
| 2023-05-31 16:26:04 +0000 | ddellacosta | (~ddellacos@143.244.47.85) |
| 2023-05-31 16:26:04 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-05-31 16:31:56 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 16:33:43 +0000 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2023-05-31 16:34:21 +0000 | mei | (~mei@user/mei) |
| 2023-05-31 16:35:20 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-31 16:37:44 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-31 16:43:28 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 16:48:30 +0000 | talismanick | (~user@2601:204:ef01:8ca0::a680) (Remote host closed the connection) |
| 2023-05-31 16:51:58 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-05-31 16:52:23 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 16:53:39 +0000 | n0den1te | (~~.~@157.119.87.13) () |
| 2023-05-31 16:57:10 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-31 16:59:26 +0000 | turlando | (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 2023-05-31 16:59:55 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 16:59:57 +0000 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) |
| 2023-05-31 17:00:14 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-31 17:02:20 +0000 | mei | (~mei@user/mei) |
| 2023-05-31 17:03:15 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 268 seconds) |
| 2023-05-31 17:03:50 +0000 | turlando | (~turlando@user/turlando) |
| 2023-05-31 17:04:07 +0000 | vandita | (~vandit@92-249-182-18.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-31 17:04:58 +0000 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-31 17:06:02 +0000 | vandita | (~vandit@217-197-189-6.pool.digikabel.hu) |
| 2023-05-31 17:12:37 +0000 | troydm | (~troydm@user/troydm) |
| 2023-05-31 17:20:32 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-05-31 17:21:12 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) (Ping timeout: 265 seconds) |
| 2023-05-31 17:23:01 +0000 | malte | (~malte@mal.tc) (Ping timeout: 240 seconds) |
| 2023-05-31 17:24:05 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-05-31 17:25:08 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-31 17:26:45 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-05-31 17:30:34 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-05-31 17:31:10 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-05-31 17:34:09 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::2) |
| 2023-05-31 17:38:33 +0000 | reach | (~reach@cpe30b7d4bc76e3-cm30b7d4bc76e0.cpe.net.cable.rogers.com) |
| 2023-05-31 17:39:47 +0000 | <zero> | uh oh i think i messed something up. ghci is presenting me with this message: https://paste.jrvieira.com/1685554732088 |
| 2023-05-31 17:40:07 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-05-31 17:42:31 +0000 | <geekosaur> | do you have `NoImplicitPrelude` somewhere? |
| 2023-05-31 17:42:54 +0000 | <zero> | no |
| 2023-05-31 17:44:08 +0000 | <zero> | ghc-pkg base gives me this: https://paste.jrvieira.com/1685555036621 |
| 2023-05-31 17:46:37 +0000 | <zero> | * ghc-pkg list base |
| 2023-05-31 17:47:07 +0000 | reach | (~reach@cpe30b7d4bc76e3-cm30b7d4bc76e0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 2023-05-31 17:48:13 +0000 | <merijn> | zero: See line 105 |
| 2023-05-31 17:48:36 +0000 | <merijn> | You have a .ghci file that is (presumably) messing with your prompt |
| 2023-05-31 17:51:06 +0000 | <merijn> | and potentially also a default package environment wreaking havoc (line 1) |
| 2023-05-31 17:54:56 +0000 | <zups> | http://paste.dy.fi/HeD |
| 2023-05-31 17:55:02 +0000 | <zups> | anyone know why i get this error message |
| 2023-05-31 17:55:22 +0000 | <zups> | i don't understand since measure is only applied to one argument and not two like it says |
| 2023-05-31 17:55:54 +0000 | <geekosaur> | (measure a) is applied to (measure b) |
| 2023-05-31 17:56:00 +0000 | <zups> | aha hmm |
| 2023-05-31 17:56:12 +0000 | <geekosaur> | ($) is not magical; it works by precedence |
| 2023-05-31 17:56:40 +0000 | <EvanR> | I'm heavily questioning the $ there |
| 2023-05-31 17:56:51 +0000 | <geekosaur> | yes, it should just be removed |
| 2023-05-31 17:57:40 +0000 | <zups> | max (measure a) (measure b) |
| 2023-05-31 17:57:43 +0000 | <zups> | so this is more right? :) |
| 2023-05-31 17:57:47 +0000 | <geekosaur> | yes |
| 2023-05-31 17:57:54 +0000 | <geekosaur> | :t max |
| 2023-05-31 17:57:55 +0000 | <lambdabot> | Ord a => a -> a -> a |
| 2023-05-31 17:58:06 +0000 | <geekosaur> | don't need a $ |
| 2023-05-31 17:58:20 +0000 | <zups> | yeah, i feel like adding the $ prolly too much everywhere and not fully understanding it :) |
| 2023-05-31 17:58:35 +0000 | <EvanR> | a good rule of thumb is to just not using it at all |
| 2023-05-31 17:58:55 +0000 | <EvanR> | outsiders gripe haskell uses "too many operators" |
| 2023-05-31 17:58:59 +0000 | <zups> | :D i see, i thought people loved it in haskell! |
| 2023-05-31 17:59:04 +0000 | <EvanR> | and $ is often unnecessary |
| 2023-05-31 17:59:15 +0000 | <zups> | it is but i like it though! |
| 2023-05-31 17:59:28 +0000 | <EvanR> | by all means, put $ everywhere you can then xD |
| 2023-05-31 17:59:35 +0000 | <EvanR> | f $ x $ y $ z $ w |
| 2023-05-31 17:59:44 +0000 | <zups> | heh |
| 2023-05-31 18:00:28 +0000 | <zups> | is there a way to pattern match if some parameter x is an array |
| 2023-05-31 18:00:41 +0000 | <zups> | when x has type of a |
| 2023-05-31 18:00:47 +0000 | <zups> | as in it can be anything |
| 2023-05-31 18:01:11 +0000 | <EvanR> | how would you do "can be anything" in the first place |
| 2023-05-31 18:01:28 +0000 | <EvanR> | haskell uses static types |
| 2023-05-31 18:01:31 +0000 | <zups> | i don't know but i meant this: maxBy :: (a -> Int) -> a -> a -> a |
| 2023-05-31 18:01:36 +0000 | <EvanR> | oh |
| 2023-05-31 18:01:52 +0000 | <zups> | and i'd like to know if one of those parameters that has "type" a is an array/list |
| 2023-05-31 18:02:04 +0000 | <EvanR> | yeah with that type you can't do dynamic type checks |
| 2023-05-31 18:02:12 +0000 | <zups> | mmm i see |
| 2023-05-31 18:02:32 +0000 | <EvanR> | there's this :: Typeable a => (a -> Int) -> a -> a -> a |
| 2023-05-31 18:02:48 +0000 | <EvanR> | the Typeable brings in the ability to do dynamic type checks |
| 2023-05-31 18:02:58 +0000 | <EvanR> | but consider whether you really want that |
| 2023-05-31 18:03:41 +0000 | <zups> | yeah, i prolly don't need that for this but good to know |
| 2023-05-31 18:05:13 +0000 | <zups> | ok got it working, thanks for the help! :) |
| 2023-05-31 18:07:11 +0000 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-31 18:07:56 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-05-31 18:09:39 +0000 | <zero> | merijn: thanks. i had a rogue ~/.ghc folder that had to be deleted |
| 2023-05-31 18:10:02 +0000 | <zero> | because some stupid apt package decided it was a good idea to have ghc as a dependency |
| 2023-05-31 18:11:00 +0000 | <zero> | and i have it on .ghcup |
| 2023-05-31 18:16:25 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-31 18:16:32 +0000 | <mauke> | <EvanR> outsiders gripe haskell uses "too many operators" <- that's what BlockArguments is for |
| 2023-05-31 18:16:39 +0000 | <mauke> | f do x do y do z do w |
| 2023-05-31 18:16:47 +0000 | <dy> | Reminded of my PR from almost a decade ago: |
| 2023-05-31 18:16:51 +0000 | <dy> | https://github.com/haskell/cabal/issues/2308 |
| 2023-05-31 18:16:54 +0000 | <dy> | *issue not PR |
| 2023-05-31 18:17:41 +0000 | <EvanR> | oh good call |
| 2023-05-31 18:18:48 +0000 | zxrom | (~zxrom@mm-22-38-212-37.vitebsk.dynamic.pppoe.byfly.by) |
| 2023-05-31 18:19:25 +0000 | <merijn> | mauke: call me a grumpy curmudgeon, but I find BlockArguments a terrible idea >.> |
| 2023-05-31 18:19:29 +0000 | <mauke> | (and yes, I've seen very similar code in a production code base) |
| 2023-05-31 18:19:47 +0000 | <mauke> | merijn: why? |
| 2023-05-31 18:20:00 +0000 | <merijn> | dy: cabal shouldn't touch .ghc, I don't think? |
| 2023-05-31 18:20:21 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-31 18:20:40 +0000 | <merijn> | mauke: The rules for how it gets parsed are too unclear for my brain and it's one of those "death by a thousand papercuts of semantically uninteresting syntax change churn" |
| 2023-05-31 18:20:41 +0000 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-31 18:21:06 +0000 | <merijn> | I *might* be convinced it's a good idea if we were designing a grammar from scratch |
| 2023-05-31 18:21:37 +0000 | <merijn> | but the gain in expressive power (near zero) doesn't seem worth the syntax churn |
| 2023-05-31 18:21:49 +0000 | <merijn> | And people keep proposing an endless barrage of minor syntax churn extensions |
| 2023-05-31 18:22:05 +0000 | <mauke> | speaking as a perl programmer, it makes perfect sense to me :-D |
| 2023-05-31 18:22:13 +0000 | <mauke> | I never understood why it was disallowed in the first place |
| 2023-05-31 18:22:35 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-31 18:22:48 +0000 | <merijn> | mauke: A lot of the syntax suggestions I don't think are bad per-se, but the churn and fracturing into a million "almost, but not quite" extension dialects is bad, imo |
| 2023-05-31 18:23:39 +0000 | <merijn> | Anyway...back to somehow managing to cut 25% of the LOC in my TIS-100 results :p |
| 2023-05-31 18:24:20 +0000 | <EvanR> | too many versions of haskell, someone should make a universal standard to encompass all of them at once |
| 2023-05-31 18:24:49 +0000 | <mauke> | I expect it'll congeal into a new standard at some point |
| 2023-05-31 18:25:01 +0000 | <merijn> | Haskell Prime? :p |
| 2023-05-31 18:25:12 +0000 | <mauke> | Haskell Plus! |
| 2023-05-31 18:25:22 +0000 | <merijn> | mauke: Problem is you can't really to it properly without breaking a lot of backwards compat |
| 2023-05-31 18:25:26 +0000 | <EvanR> | haskell prime plus |
| 2023-05-31 18:25:52 +0000 | <merijn> | Hot take: operators should require whitespace around them, that's solve both the unary minus (remove it and make it part of lexing of literals) *and* record dot issue |
| 2023-05-31 18:26:08 +0000 | <merijn> | but you can never retrofit that sensibly' |
| 2023-05-31 18:26:12 +0000 | <mauke> | technically you could use your argument to argue against hierarchical module names |
| 2023-05-31 18:26:49 +0000 | <merijn> | mauke: those weren't backwards incompatible, though |
| 2023-05-31 18:26:53 +0000 | <mauke> | weird parsing rules, near zero gain in expressive power, not backwards compatible |
| 2023-05-31 18:27:12 +0000 | <mauke> | oh, that's a plus? |
| 2023-05-31 18:27:14 +0000 | <merijn> | mauke: with backwards compat I mean: doesn't break old code |
| 2023-05-31 18:27:41 +0000 | <merijn> | i.e. adding hierarchical module names kept all existing code as valid subset |
| 2023-05-31 18:27:46 +0000 | zero | zzz |
| 2023-05-31 18:27:50 +0000 | zzz | yin |
| 2023-05-31 18:27:58 +0000 | <mauke> | Just.id |
| 2023-05-31 18:28:14 +0000 | <mauke> | no, wait |
| 2023-05-31 18:28:18 +0000 | <mauke> | Prelude.Just.id |
| 2023-05-31 18:28:22 +0000 | <merijn> | mauke: That's another reason I think we shoulda had spaces around operators :p |
| 2023-05-31 18:30:38 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-31 18:33:49 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 18:36:08 +0000 | tstat | (~user@user/tstat) (Remote host closed the connection) |
| 2023-05-31 18:36:59 +0000 | vandita | (~vandit@217-197-189-6.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-31 18:38:56 +0000 | vandita | (~vandit@92-249-141-191.pool.digikabel.hu) |
| 2023-05-31 18:43:39 +0000 | <yin> | merijn: +1 for whitespace around operators. i have always been a proponent |
| 2023-05-31 18:45:37 +0000 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
| 2023-05-31 18:46:56 +0000 | pavonia | (~user@user/siracusa) |
| 2023-05-31 18:52:10 +0000 | <merijn> | yin: I mean, I'm not a proponent of changing this in Haskell, but certainly if I'd design a grammar from scratch that is the right way to go |
| 2023-05-31 18:53:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 18:56:55 +0000 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 256 seconds) |
| 2023-05-31 19:01:44 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-31 19:02:24 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-31 19:04:09 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2023-05-31 19:05:41 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 19:08:46 +0000 | cheater | (~Username@user/cheater) |
| 2023-05-31 19:08:48 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 240 seconds) |
| 2023-05-31 19:15:48 +0000 | acidjnk | (~acidjnk@p200300d6e7072f60212d131971c47e8e.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-31 19:15:58 +0000 | acidjnk | (~acidjnk@p200300d6e7072f606840ba95ce8ed5e1.dip0.t-ipconnect.de) |
| 2023-05-31 19:16:16 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-31 19:19:01 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 250 seconds) |
| 2023-05-31 19:25:42 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-05-31 19:26:07 +0000 | vandita | (~vandit@92-249-141-191.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-31 19:28:02 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-a566-5e72-30af-bdfe.rev.sfr.net) (Quit: WeeChat 3.8) |
| 2023-05-31 19:28:07 +0000 | vandita | (~vandit@84-236-21-40.pool.digikabel.hu) |
| 2023-05-31 19:28:55 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2023-05-31 19:30:09 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-05-31 19:32:29 +0000 | puke | (~puke@user/puke) |
| 2023-05-31 19:32:34 +0000 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-05-31 19:33:00 +0000 | puke | (~puke@user/puke) |
| 2023-05-31 19:35:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Remote host closed the connection) |
| 2023-05-31 19:35:40 +0000 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-a5ba-1479-0efa-11e0.rev.sfr.net) |
| 2023-05-31 19:46:24 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-31 19:48:21 +0000 | KabeloMsobomvuMo | (~elevenkb@2001:470:69fc:105::2:cb89) |
| 2023-05-31 19:50:22 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2023-05-31 19:59:43 +0000 | malte | (~malte@mal.tc) |
| 2023-05-31 20:04:45 +0000 | KabeloMsobomvuMo | elevenkb |
| 2023-05-31 20:05:15 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-05-31 20:06:23 +0000 | ft | (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 2023-05-31 20:07:00 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-05-31 20:09:22 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2023-05-31 20:10:39 +0000 | vgtw | (~vgtw@user/vgtw) |
| 2023-05-31 20:15:43 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-31 20:17:58 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-31 20:19:17 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 2023-05-31 20:19:53 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-05-31 20:21:54 +0000 | elevenkb | (~elevenkb@2001:470:69fc:105::2:cb89) (Remote host closed the connection) |
| 2023-05-31 20:22:49 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-05-31 20:32:30 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-31 20:33:34 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-05-31 20:34:51 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Ping timeout: 250 seconds) |
| 2023-05-31 20:35:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) |
| 2023-05-31 20:35:45 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-05-31 20:36:37 +0000 | vandita | (~vandit@84-236-21-40.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-31 20:38:39 +0000 | vandita | (~vandit@193-226-238-253.pool.digikabel.hu) |
| 2023-05-31 20:40:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:3dda:98a9:2443:29bc) (Ping timeout: 256 seconds) |
| 2023-05-31 20:41:50 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2023-05-31 20:49:27 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2023-05-31 20:52:08 +0000 | jonathan_ | (~jonathan@193.234.101.122) (Ping timeout: 240 seconds) |
| 2023-05-31 20:53:06 +0000 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) |
| 2023-05-31 20:55:07 +0000 | foul_owl | (~kerry@71.212.137.212) (Quit: WeeChat 2.3) |
| 2023-05-31 20:57:16 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-31 20:59:07 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 250 seconds) |
| 2023-05-31 21:01:18 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 2023-05-31 21:04:25 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-31 21:05:49 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-31 21:09:31 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 250 seconds) |
| 2023-05-31 21:12:08 +0000 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 250 seconds) |
| 2023-05-31 21:12:36 +0000 | ski | (~ski@remote11.chalmers.se) |
| 2023-05-31 21:17:37 +0000 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) |
| 2023-05-31 21:18:11 +0000 | oo_miguel | (~Thunderbi@77.252.47.84) (Remote host closed the connection) |
| 2023-05-31 21:19:15 +0000 | merijn | (~merijn@86.86.29.250) (Quit: leaving) |
| 2023-05-31 21:21:04 +0000 | texasmynsted | (~username@99.96.221.112) |
| 2023-05-31 21:21:10 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-31 21:22:07 +0000 | nate2 | (~nate@98.45.169.16) |
| 2023-05-31 21:26:37 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-31 22:03:23 +0000 | dcleonarski | (~user@2804:d51:4793:c800:b0e2:a2e8:89a0:4c46) (Remote host closed the connection) |
| 2023-05-31 22:06:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:3e30:d1db:17eb:3fe6) (Ping timeout: 265 seconds) |
| 2023-05-31 22:06:52 +0000 | michalz | (~michalz@185.246.204.89) (Remote host closed the connection) |
| 2023-05-31 22:08:38 +0000 | pyooque | (~puke@user/puke) |
| 2023-05-31 22:08:38 +0000 | puke | (~puke@user/puke) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-05-31 22:08:38 +0000 | pyooque | puke |
| 2023-05-31 22:12:37 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-31 22:15:03 +0000 | mei | (~mei@user/mei) |
| 2023-05-31 22:15:07 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-31 22:17:51 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) |
| 2023-05-31 22:19:12 +0000 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 248 seconds) |
| 2023-05-31 22:23:00 +0000 | byte` | (~byte@user/byte) |
| 2023-05-31 22:23:08 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-05-31 22:24:07 +0000 | byte | (~byte@user/byte) (Ping timeout: 240 seconds) |
| 2023-05-31 22:27:47 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-31 22:46:23 +0000 | scrungus | (~scrungus@bras-base-aurron9127w-grc-46-70-31-27-241.dsl.bell.ca) (Quit: WeeChat 3.8) |
| 2023-05-31 22:48:30 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-58-19.dsl.scarlet.be) (Quit: WeeChat 3.8) |
| 2023-05-31 22:59:09 +0000 | user__ | (~user@dynamic-046-114-183-195.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-05-31 23:01:08 +0000 | user__ | (~user@dynamic-046-114-179-113.46.114.pool.telefonica.de) |
| 2023-05-31 23:05:08 +0000 | acidjnk | (~acidjnk@p200300d6e7072f606840ba95ce8ed5e1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-31 23:07:42 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 268 seconds) |
| 2023-05-31 23:07:53 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-31 23:10:01 +0000 | thegeekinside | (~thegeekin@189.180.38.64) (Remote host closed the connection) |
| 2023-05-31 23:12:19 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-31 23:14:19 +0000 | machinedgod | (~machinedg@93-136-182-237.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2023-05-31 23:17:28 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-05-31 23:17:31 +0000 | reverse_ | (~inversed@188.220.172.130) |
| 2023-05-31 23:17:47 +0000 | reverse | (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 250 seconds) |
| 2023-05-31 23:19:07 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-05-31 23:19:07 +0000 | mauke_ | mauke |
| 2023-05-31 23:20:08 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2023-05-31 23:28:32 +0000 | vandita | (~vandit@193-226-238-253.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-05-31 23:29:47 +0000 | vandita | (~vandit@92-249-193-48.pool.digikabel.hu) |
| 2023-05-31 23:30:50 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-05-31 23:31:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-31 23:31:37 +0000 | user__ | (~user@dynamic-046-114-179-113.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-31 23:33:43 +0000 | <juri_> | what the.. my tests just got super flakey. even tests that are unit tests. updated my dependencies. anyone see anything insane in quickcheck today? |
| 2023-05-31 23:39:04 +0000 | <juri_> | great. yeah, upstream busted me. running "cabal v2-update 'hackage.haskell.org,2023-05-29T21:55:15Z'", then re-running my test suite makes all tests pass. |
| 2023-05-31 23:39:12 +0000 | thegeekinside | (~thegeekin@189.180.38.64) |
| 2023-05-31 23:40:24 +0000 | <juri_> | I'm going to go to bed now, and hope someone fixes this before morning. |
| 2023-05-31 23:47:56 +0000 | Ranhir | (~Ranhir@157.97.53.139) |
| 2023-05-31 23:51:25 +0000 | <Axman6> | juri_: have you reported it? |
| 2023-05-31 23:52:07 +0000 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2023-05-31 23:54:54 +0000 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-31 23:57:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |