IRCBrowse

2023/07/05

2023-07-05 00:00:18 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection)
2023-07-05 00:00:46 +0200reach(~reach@74.12.129.40)
2023-07-05 00:02:52 +0200timetravel(~timetrave@bcdcac82.skybroadband.com) (Ping timeout: 240 seconds)
2023-07-05 00:05:42 +0200timetravel(~timetrave@bcdcac82.skybroadband.com)
2023-07-05 00:16:09 +0200Inst_(~Inst@2601:6c4:4081:2fc0:984c:1807:2944:a356) (Ping timeout: 240 seconds)
2023-07-05 00:16:27 +0200Inst(~Inst@2601:6c4:4081:2fc0:7088:a2de:6315:2e37)
2023-07-05 00:18:49 +0200Guest|34(~Guest|34@112.154.244.134)
2023-07-05 00:19:02 +0200Guest|34(~Guest|34@112.154.244.134) (Client Quit)
2023-07-05 00:20:47 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 00:20:53 +0200Inst(~Inst@2601:6c4:4081:2fc0:7088:a2de:6315:2e37) (Ping timeout: 246 seconds)
2023-07-05 00:22:54 +0200Inst(~Inst@c-76-101-10-131.hsd1.fl.comcast.net)
2023-07-05 00:25:09 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-07-05 00:26:41 +0200Guest5033(~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2023-07-05 00:32:26 +0200Inst(~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 250 seconds)
2023-07-05 00:34:43 +0200Inst(~Inst@c-76-101-10-131.hsd1.fl.comcast.net)
2023-07-05 00:36:29 +0200reach(~reach@74.12.129.40) (Ping timeout: 240 seconds)
2023-07-05 00:40:22 +0200gurkenglas(~gurkengla@46.114.178.188) (Read error: Connection reset by peer)
2023-07-05 00:45:07 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 246 seconds)
2023-07-05 00:45:51 +0200m5zs7k(aquares@web10.mydevil.net)
2023-07-05 00:48:09 +0200nick2(~nick@2600:100d:b115:5b19:1404:72ff:f345:f58d) (Ping timeout: 240 seconds)
2023-07-05 00:55:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 00:55:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 00:55:21 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-05 00:55:34 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 00:59:08 +0200acidjnk(~acidjnk@p200300d6e7072f2765686619b7fdb571.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-07-05 00:59:29 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds)
2023-07-05 01:06:44 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
2023-07-05 01:07:35 +0200y04nn(~username@2a03:1b20:5:f011::aaae) (Ping timeout: 246 seconds)
2023-07-05 01:07:44 +0200Guest|32(~Guest|32@189.101.124.2)
2023-07-05 01:07:55 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-07-05 01:08:35 +0200thegeekinside(~thegeekin@189.217.90.138)
2023-07-05 01:11:00 +0200ksqsf(~user@111.19.96.197)
2023-07-05 01:13:13 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-05 01:20:48 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-07-05 01:28:52 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2023-07-05 01:34:18 +0200caubert(~caubert@user/caubert) (Server closed connection)
2023-07-05 01:34:37 +0200caubert(~caubert@user/caubert)
2023-07-05 01:38:27 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 01:39:04 +0200mauke_(~mauke@user/mauke)
2023-07-05 01:39:15 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 01:40:28 +0200mauke(~mauke@user/mauke) (Ping timeout: 250 seconds)
2023-07-05 01:40:28 +0200mauke_mauke
2023-07-05 01:45:56 +0200ksqsf(~user@111.19.96.197) (Ping timeout: 246 seconds)
2023-07-05 01:55:58 +0200jargon(~jargon@184.101.73.95)
2023-07-05 02:02:02 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-07-05 02:03:03 +0200califax(~califax@user/califx)
2023-07-05 02:03:08 +0200ksqsf(~user@111.19.96.197)
2023-07-05 02:08:23 +0200ksqsf(~user@111.19.96.197) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.0.92))
2023-07-05 02:08:35 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2023-07-05 02:10:48 +0200Guest|32(~Guest|32@189.101.124.2) (Quit: Connection closed)
2023-07-05 02:17:28 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 02:18:08 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 02:20:52 +0200geekosaur[c](sid609282@id-609282.lymington.irccloud.com)
2023-07-05 02:22:26 +0200geekosaur[c](sid609282@id-609282.lymington.irccloud.com) (Changing host)
2023-07-05 02:22:26 +0200geekosaur[c](sid609282@xmonad/geekosaur)
2023-07-05 02:22:45 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-07-05 02:24:26 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 02:24:26 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 02:25:06 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:25:41 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:26:58 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:27:33 +0200brettgilio9(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:30:09 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Ping timeout: 240 seconds)
2023-07-05 02:30:09 +0200HerlockSholmes0HerlockSholmes
2023-07-05 02:30:25 +0200geekosaur[m](~geekosaur@xmonad/geekosaur) ()
2023-07-05 02:30:28 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Ping timeout: 240 seconds)
2023-07-05 02:30:29 +0200brettgilio9brettgilio
2023-07-05 02:38:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-07-05 02:38:19 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 02:38:19 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 02:38:58 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:39:33 +0200brettgilio(~brettgili@66.42.113.124)
2023-07-05 02:41:02 +0200brettgilio(~brettgili@66.42.113.124) (Client Quit)
2023-07-05 02:41:02 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 02:41:24 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:42:00 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 02:46:41 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 260 seconds)
2023-07-05 02:48:29 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net)
2023-07-05 02:59:10 +0200fweht(uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-05 02:59:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
2023-07-05 02:59:20 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2023-07-05 02:59:34 +0200mei(~mei@user/mei) (Remote host closed the connection)
2023-07-05 03:02:00 +0200mei(~mei@user/mei)
2023-07-05 03:03:38 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 246 seconds)
2023-07-05 03:11:27 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-07-05 03:12:14 +0200RedNifre(~RedNifre@dslb-002-203-026-004.002.203.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2023-07-05 03:13:10 +0200jargon(~jargon@184.101.73.95) (Remote host closed the connection)
2023-07-05 03:17:35 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-07-05 03:23:01 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-05 03:26:30 +0200RedNifre(~RedNifre@dslb-088-075-093-231.088.075.pools.vodafone-ip.de)
2023-07-05 03:27:29 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-07-05 03:36:05 +0200drewolson(~drewolson@user/drewolson)
2023-07-05 03:36:19 +0200drewolson(~drewolson@user/drewolson) (Remote host closed the connection)
2023-07-05 03:41:18 +0200phma(phma@2001:5b0:215a:8658:90:4018:da2:9069) (Read error: Connection reset by peer)
2023-07-05 03:41:48 +0200phma(~phma@host-67-44-208-75.hnremote.net)
2023-07-05 03:45:43 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-05 03:46:44 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-05 03:46:44 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-05 03:46:44 +0200wroathe(~wroathe@user/wroathe)
2023-07-05 03:53:33 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 03:53:33 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 03:53:55 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 03:54:30 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 03:56:15 +0200rburkholder(~blurb@96.45.2.121) (Quit: Leaving)
2023-07-05 04:04:01 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 04:04:02 +0200HerlockSholmes0(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 04:04:23 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 04:04:35 +0200Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2023-07-05 04:04:58 +0200xff0x_(~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds)
2023-07-05 04:05:00 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 04:15:58 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 04:16:17 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 04:16:34 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-07-05 04:16:34 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-07-05 04:16:34 +0200finn_elijaFinnElija
2023-07-05 04:16:54 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 04:17:18 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 04:17:29 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-05 04:20:17 +0200td_(~td@i53870926.versanet.de) (Ping timeout: 246 seconds)
2023-07-05 04:21:14 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 04:22:11 +0200td_(~td@i53870923.versanet.de)
2023-07-05 04:22:57 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 04:23:24 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 04:24:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-07-05 04:24:46 +0200gry(quasselcor@botters/gry) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-07-05 04:25:31 +0200EvanR(~EvanR@user/evanr)
2023-07-05 04:25:37 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-05 04:29:53 +0200Sgeo(~Sgeo@user/sgeo) (Quit: Leaving)
2023-07-05 04:30:04 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 04:32:27 +0200lainon(~textual@2601:7c0:cb00:c0a0:acce:9a76:ab27:40eb)
2023-07-05 04:33:55 +0200caryhartline(~caryhartl@168.182.58.169) (Quit: caryhartline)
2023-07-05 04:39:53 +0200j4cc3b(~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Ping timeout: 246 seconds)
2023-07-05 04:45:23 +0200lainon(~textual@2601:7c0:cb00:c0a0:acce:9a76:ab27:40eb) (Quit: My Mac has gone to sleep. ZZZzzz…)
2023-07-05 04:46:54 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-07-05 04:48:40 +0200nick2(~nick@2600:8807:9084:7800:48b6:d2b6:113:1b8c)
2023-07-05 04:51:30 +0200zaidhaan(~zai@2001:f40:906:5965:a1ed:95ba:81ce:1ada)
2023-07-05 04:53:39 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-07-05 04:53:43 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2023-07-05 04:53:58 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2023-07-05 04:58:08 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 04:58:08 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 04:58:29 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 04:59:06 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:00:34 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 05:01:58 +0200ec(~ec@gateway/tor-sasl/ec)
2023-07-05 05:06:12 +0200html(~User@31.173.240.121)
2023-07-05 05:07:32 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 246 seconds)
2023-07-05 05:14:36 +0200Thorin(~Thorin@212.102.51.243)
2023-07-05 05:15:25 +0200reach(~reach@74.12.129.40)
2023-07-05 05:17:50 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 05:17:50 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 05:18:11 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:18:29 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-07-05 05:18:49 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:19:21 +0200Thorin(~Thorin@212.102.51.243) (Changing host)
2023-07-05 05:19:21 +0200Thorin(~Thorin@user/Thorin)
2023-07-05 05:22:05 +0200falafel(~falafel@2603-7000-a700-8710-286e-8c8e-d1f4-ddd7.res6.spectrum.com)
2023-07-05 05:30:23 +0200talismanick(~user@76.133.152.122)
2023-07-05 05:33:41 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 05:33:41 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 05:34:04 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:34:40 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:36:28 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 05:36:28 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 05:36:50 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:37:27 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 05:49:49 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 05:54:38 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-07-05 05:57:19 +0200aforemny(~aforemny@i59F516D3.versanet.de)
2023-07-05 05:57:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-07-05 05:58:07 +0200aforemny_(~aforemny@2001:9e8:6cd9:ab00:4c8b:566d:e69c:6108) (Ping timeout: 245 seconds)
2023-07-05 06:02:48 +0200[Leary](~Leary]@user/Leary/x-0910699) (Server closed connection)
2023-07-05 06:07:46 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 06:09:24 +0200falafel(~falafel@2603-7000-a700-8710-286e-8c8e-d1f4-ddd7.res6.spectrum.com) (Remote host closed the connection)
2023-07-05 06:09:45 +0200falafel(~falafel@2603-7000-a700-8710-ab9e-d6ea-f4df-3d9b.res6.spectrum.com)
2023-07-05 06:11:04 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-05 06:14:29 +0200reach(~reach@74.12.129.40) (Ping timeout: 240 seconds)
2023-07-05 06:19:14 +0200zaidhaan(~zai@2001:f40:906:5965:a1ed:95ba:81ce:1ada) (Quit: WeeChat 4.0.0)
2023-07-05 06:21:04 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 06:22:20 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 240 seconds)
2023-07-05 06:23:57 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-07-05 06:28:26 +0200falafel(~falafel@2603-7000-a700-8710-ab9e-d6ea-f4df-3d9b.res6.spectrum.com) (Remote host closed the connection)
2023-07-05 06:28:29 +0200trev(~trev@user/trev)
2023-07-05 06:41:33 +0200akadude[m](~akadudema@2001:470:69fc:105::2:5bf7) (Server closed connection)
2023-07-05 06:42:12 +0200notzmv(~zmv@user/notzmv)
2023-07-05 06:52:20 +0200Techcable(~Techcable@user/Techcable) (Ping timeout: 240 seconds)
2023-07-05 06:53:46 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 250 seconds)
2023-07-05 06:54:44 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 06:55:40 +0200mmhat(~mmh@p200300f1c722e45dee086bfffe095315.dip0.t-ipconnect.de)
2023-07-05 06:55:41 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 06:55:55 +0200smoge(~smoge@2603-7000-4b42-1100-5587-7d41-d2a7-2838.res6.spectrum.com)
2023-07-05 06:57:04 +0200smoge(~smoge@2603-7000-4b42-1100-5587-7d41-d2a7-2838.res6.spectrum.com) (Client Quit)
2023-07-05 06:57:31 +0200smogeb(~smogeb@2603-7000-4b42-1100-5587-7d41-d2a7-2838.res6.spectrum.com)
2023-07-05 06:58:12 +0200 <smogeb> Hello! How to build an old Haskell code with   build-depends:       base ==4.6.*, QuickCheck ==2.6.*, vector-space ==0.8.*, semigroups ==0.9.*, HCodecs ==0.2.*, containers ==0.5.*, process ==1.1.*, unix ==2.6.*, csound-catalog ==0.5.* ??
2023-07-05 06:58:13 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 246 seconds)
2023-07-05 06:58:28 +0200tomboy64(~tomboy64@user/tomboy64)
2023-07-05 06:59:55 +0200 <monochrom> Short term: Tell cabal "--allow-newer". Long term: Widen those constraints already.
2023-07-05 07:00:58 +0200 <smogeb> Is there a tool that "updates" the code?
2023-07-05 07:02:14 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 07:02:57 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-07-05 07:03:02 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 07:05:29 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 07:06:03 +0200kimiamania6(~681cf57f@user/kimiamania) (Quit: Ping timeout (120 seconds))
2023-07-05 07:06:06 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 07:06:22 +0200kimiamania6(~681cf57f@user/kimiamania)
2023-07-05 07:11:47 +0200smogeb(~smogeb@2603-7000-4b42-1100-5587-7d41-d2a7-2838.res6.spectrum.com) (Quit: Client closed)
2023-07-05 07:18:28 +0200tv1(~tv@user/tv) (Ping timeout: 250 seconds)
2023-07-05 07:26:42 +0200ddellacosta(~ddellacos@143.244.47.76) (Ping timeout: 250 seconds)
2023-07-05 07:31:20 +0200mmhat(~mmh@p200300f1c722e45dee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.1)
2023-07-05 07:35:38 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-07-05 07:37:10 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-07-05 07:37:11 +0200y04nn(~username@2a03:1b20:5:f011::aaae)
2023-07-05 07:39:47 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 246 seconds)
2023-07-05 07:42:27 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-05 07:43:15 +0200tomboy64(~tomboy64@user/tomboy64)
2023-07-05 07:45:44 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 07:46:15 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 07:50:44 +0200y04nn(~username@2a03:1b20:5:f011::aaae) (Ping timeout: 240 seconds)
2023-07-05 07:56:58 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-05 07:58:23 +0200timetravel(~timetrave@bcdcac82.skybroadband.com) (Read error: Connection reset by peer)
2023-07-05 07:59:07 +0200cyphase(~cyphase@user/cyphase)
2023-07-05 07:59:35 +0200dsrt^(~dsrt@24.125.210.85)
2023-07-05 08:03:13 +0200michalz(~michalz@185.246.207.215)
2023-07-05 08:05:11 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-07-05 08:08:52 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-07-05 08:09:01 +0200timetravel(~timetrave@bcdcac82.skybroadband.com)
2023-07-05 08:16:50 +0200mikoto-chan(~mikoto-ch@164.5.249.78)
2023-07-05 08:17:50 +0200mbuf(~Shakthi@49.207.178.186)
2023-07-05 08:19:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 08:19:20 +0200titibandit(~titibandi@user/titibandit)
2023-07-05 08:29:28 +0200oo_miguel(~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
2023-07-05 08:31:09 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds)
2023-07-05 08:39:08 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-05 08:41:48 +0200mikoto-chan(~mikoto-ch@164.5.249.78) (Ping timeout: 240 seconds)
2023-07-05 08:41:59 +0200mauke(~mauke@user/mauke) (Ping timeout: 264 seconds)
2023-07-05 08:45:47 +0200fweht(uid404746@id-404746.lymington.irccloud.com)
2023-07-05 08:46:58 +0200`2jt(~jtomas@90.162.208.36)
2023-07-05 08:52:22 +0200timetravel(~timetrave@bcdcac82.skybroadband.com) (K-Lined)
2023-07-05 08:53:32 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds)
2023-07-05 08:54:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 08:55:57 +0200hipnozis(~hipnozis@178-164-207-236.pool.digikabel.hu)
2023-07-05 08:56:50 +0200[Leary](~Leary]@user/Leary/x-0910699)
2023-07-05 09:03:05 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0)
2023-07-05 09:04:41 +0200acidjnk(~acidjnk@p200300d6e7072f4965686619b7fdb571.dip0.t-ipconnect.de)
2023-07-05 09:06:14 +0200puke(~puke@user/puke) (Ping timeout: 246 seconds)
2023-07-05 09:08:22 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-07-05 09:11:34 +0200RedNifre(~RedNifre@dslb-088-075-093-231.088.075.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2023-07-05 09:12:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 09:16:12 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-05 09:18:32 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 09:20:49 +0200CiaoSen(~Jura@2a05:5800:285:8200:664b:f0ff:fe37:9ef)
2023-07-05 09:21:06 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds)
2023-07-05 09:22:47 +0200rainbyte_rainbyte
2023-07-05 09:23:05 +0200rainbyte(~rainbyte@181.31.239.226) (Remote host closed the connection)
2023-07-05 09:23:23 +0200rainbyte(~rainbyte@181.31.239.226)
2023-07-05 09:26:35 +0200 <hackyhacker> should you commit dist-newstyle from cabal into git?
2023-07-05 09:26:46 +0200 <hackyhacker> or can another user just make that by running cabal init
2023-07-05 09:26:50 +0200 <hackyhacker> or cabal run or whatever
2023-07-05 09:26:58 +0200 <Axman6> yeah don't commit that
2023-07-05 09:27:08 +0200 <dminuoso_> hackyhacker: No.
2023-07-05 09:27:58 +0200 <dminuoso_> hackyhacker: the dist-newstyle contains all the build level artifacts. If you try and ship it, you likely will encounter various issues.
2023-07-05 09:28:11 +0200 <dminuoso_> Well not *all* the build level artifacts, some of them.
2023-07-05 09:29:21 +0200 <dminuoso_> Sadly dist-newstyle appears not really documented.
2023-07-05 09:34:42 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 09:35:49 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 240 seconds)
2023-07-05 09:41:18 +0200dtman34_(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
2023-07-05 09:41:35 +0200dtman34(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2023-07-05 09:44:49 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-05 09:46:44 +0200chromoblob(~user@37.113.162.25) (Ping timeout: 240 seconds)
2023-07-05 09:47:16 +0200dtman34_(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2023-07-05 09:48:22 +0200gmg(~user@user/gehmehgeh)
2023-07-05 09:52:01 +0200dtman34(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
2023-07-05 09:52:48 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-05 09:53:55 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds)
2023-07-05 09:54:43 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 09:55:01 +0200zmt01(~zmt00@user/zmt00)
2023-07-05 09:55:34 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer)
2023-07-05 09:55:35 +0200geekosaur[c](sid609282@xmonad/geekosaur) (Ping timeout: 246 seconds)
2023-07-05 09:55:35 +0200acertain_(sid470584@id-470584.hampstead.irccloud.com) (Ping timeout: 246 seconds)
2023-07-05 09:55:41 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-05 09:55:44 +0200geekosaur[c](sid609282@xmonad/geekosaur)
2023-07-05 09:55:54 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-07-05 09:56:20 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 240 seconds)
2023-07-05 09:56:20 +0200jackdk(sid373013@cssa/jackdk) (Ping timeout: 240 seconds)
2023-07-05 09:56:59 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Ping timeout: 246 seconds)
2023-07-05 09:57:14 +0200jackdk(sid373013@cssa/jackdk)
2023-07-05 09:57:32 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2023-07-05 09:57:43 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2023-07-05 09:58:50 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-05 09:58:50 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-05 09:58:50 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-05 10:04:59 +0200lainon(~textual@2601:7c0:cb00:c0a0:acce:9a76:ab27:40eb)
2023-07-05 10:09:56 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds)
2023-07-05 10:10:17 +0200acertain_(sid470584@id-470584.hampstead.irccloud.com)
2023-07-05 10:11:52 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-05 10:11:52 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-05 10:11:52 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-05 10:19:22 +0200samhh(7569f027cf@2604:bf00:561:2000::e4) (Ping timeout: 245 seconds)
2023-07-05 10:22:24 +0200samhh(7569f027cf@2604:bf00:561:2000::e4)
2023-07-05 10:22:32 +0200mikoto-chan(~mikoto-ch@nat1.panoulu.net)
2023-07-05 10:24:20 +0200nick2(~nick@2600:8807:9084:7800:48b6:d2b6:113:1b8c) (Ping timeout: 240 seconds)
2023-07-05 10:25:16 +0200delYsid(~user@user/delYsid)
2023-07-05 10:27:10 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 246 seconds)
2023-07-05 10:31:27 +0200henrytill(e0180937c3@2604:bf00:561:2000::e8c) (Ping timeout: 245 seconds)
2023-07-05 10:33:52 +0200tv(~tv@user/tv)
2023-07-05 10:34:18 +0200henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-07-05 10:45:48 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-07-05 10:48:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 10:50:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 10:54:42 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-05 10:57:27 +0200danse-nr3(~francesco@151.43.253.152)
2023-07-05 10:57:28 +0200eggplant_(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 11:00:09 +0200Pickchea(~private@user/pickchea)
2023-07-05 11:16:53 +0200chromoblob(~user@37.113.162.25)
2023-07-05 11:17:13 +0200ft(~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving)
2023-07-05 11:17:43 +0200delYsid(~user@user/delYsid) (ERC 5.6-git (IRC client for GNU Emacs 30.0.50))
2023-07-05 11:22:28 +0200chromoblob(~user@37.113.162.25) (Ping timeout: 240 seconds)
2023-07-05 11:22:48 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2023-07-05 11:26:16 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-07-05 11:26:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-07-05 11:29:05 +0200Lord_of_Life_Lord_of_Life
2023-07-05 11:32:24 +0200gurkenglas(~gurkengla@dynamic-046-114-177-021.46.114.pool.telefonica.de)
2023-07-05 11:36:58 +0200mniip(mniip@libera/staff/mniip) (*.net *.split)
2023-07-05 11:37:05 +0200mniip(mniip@libera/staff/mniip)
2023-07-05 11:38:51 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:cd78:a7d7:19d2:47e6)
2023-07-05 11:41:03 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-05 11:46:53 +0200xff0x_(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2023-07-05 11:57:58 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 12:01:06 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-05 12:02:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Ping timeout: 246 seconds)
2023-07-05 12:06:18 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-07-05 12:08:59 +0200hipnozis(~hipnozis@178-164-207-236.pool.digikabel.hu) (Ping timeout: 264 seconds)
2023-07-05 12:09:56 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2023-07-05 12:10:30 +0200hipnozis(~hipnozis@176-241-45-156.pool.digikabel.hu)
2023-07-05 12:19:28 +0200danse-nr3_(~francesco@151.57.248.110)
2023-07-05 12:20:30 +0200danse-nr3(~francesco@151.43.253.152) (Read error: Connection reset by peer)
2023-07-05 12:26:21 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-07-05 12:26:29 +0200lainon(~textual@2601:7c0:cb00:c0a0:acce:9a76:ab27:40eb) (Quit: My Mac has gone to sleep. ZZZzzz…)
2023-07-05 12:32:35 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2023-07-05 12:33:04 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds)
2023-07-05 12:34:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-07-05 12:37:13 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au)
2023-07-05 12:37:14 +0200dibblego(~dibblego@116-255-1-157.ip4.superloop.au) (Changing host)
2023-07-05 12:37:14 +0200dibblego(~dibblego@haskell/developer/dibblego)
2023-07-05 12:38:38 +0200lainon(~textual@2601:7c0:cb00:c0a0:919b:b5ed:cd0b:b93f)
2023-07-05 12:40:29 +0200zmt00(~zmt00@user/zmt00)
2023-07-05 12:40:52 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds)
2023-07-05 12:42:09 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2023-07-05 12:44:33 +0200Null_A[m](~jasonjckn@2001:470:69fc:105::bb85) (Server closed connection)
2023-07-05 12:44:49 +0200Null_A[m](~jasonjckn@2001:470:69fc:105::bb85)
2023-07-05 12:46:13 +0200Flow(~none@gentoo/developer/flow)
2023-07-05 12:46:47 +0200mikoto-chan(~mikoto-ch@nat1.panoulu.net) (Quit: WeeChat 3.8)
2023-07-05 12:51:52 +0200Pickchea(~private@user/pickchea)
2023-07-05 12:55:01 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-07-05 12:59:56 +0200alternateved(~user@77-254-166-50.dynamic.inetia.pl)
2023-07-05 13:00:21 +0200alternateved(~user@77-254-166-50.dynamic.inetia.pl) (Remote host closed the connection)
2023-07-05 13:00:36 +0200alternateved(~user@77-254-166-50.dynamic.inetia.pl)
2023-07-05 13:04:00 +0200jtomas(~jtomas@90.162.208.36)
2023-07-05 13:04:57 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-07-05 13:06:45 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 260 seconds)
2023-07-05 13:10:09 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-07-05 13:14:33 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) (Server closed connection)
2023-07-05 13:14:46 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4)
2023-07-05 13:17:43 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-05 13:18:06 +0200cfricke(~cfricke@user/cfricke)
2023-07-05 13:21:39 +0200lainon(~textual@2601:7c0:cb00:c0a0:919b:b5ed:cd0b:b93f) (Quit: Textual IRC Client: www.textualapp.com)
2023-07-05 13:22:08 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-07-05 13:25:49 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-05 13:28:33 +0200ripspin(~chatzilla@1.145.207.32)
2023-07-05 13:31:04 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-07-05 13:31:48 +0200CiaoSen(~Jura@2a05:5800:285:8200:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds)
2023-07-05 13:35:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-07-05 13:36:26 +0200ddellacosta(~ddellacos@146.70.168.100)
2023-07-05 13:37:43 +0200xff0x_(~xff0x@2405:6580:b080:900:3b24:e2a6:429e:3a16)
2023-07-05 13:46:47 +0200acidjnk(~acidjnk@p200300d6e7072f4965686619b7fdb571.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2023-07-05 13:48:43 +0200puke(~puke@user/puke)
2023-07-05 13:49:56 +0200haritz(~hrtz@user/haritz) (Ping timeout: 260 seconds)
2023-07-05 13:54:17 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2023-07-05 13:54:17 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2023-07-05 13:54:18 +0200haritz(~hrtz@user/haritz)
2023-07-05 14:01:50 +0200inversed(~inversed@bcdcac82.skybroadband.com)
2023-07-05 14:05:08 +0200hipnozis(~hipnozis@176-241-45-156.pool.digikabel.hu) (Ping timeout: 252 seconds)
2023-07-05 14:05:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 14:06:50 +0200hipnozis(~hipnozis@176-241-45-156.pool.digikabel.hu)
2023-07-05 14:07:05 +0200CiaoSen(~Jura@2a05:5800:285:8200:664b:f0ff:fe37:9ef)
2023-07-05 14:10:35 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2023-07-05 14:11:53 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2023-07-05 14:14:19 +0200danse-nr3_(~francesco@151.57.248.110) (Ping timeout: 246 seconds)
2023-07-05 14:25:42 +0200danse-nr3_(~francesco@151.57.248.110)
2023-07-05 14:30:56 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-05 14:32:53 +0200gry(quasselcor@botters/gry)
2023-07-05 14:33:58 +0200 <hackyhacker> https://kergro.art/blog/pegs-hs.html
2023-07-05 14:34:12 +0200 <hackyhacker> anyone commentary on my haskell code?
2023-07-05 14:34:19 +0200 <hackyhacker> first time I've written something in haskell that's over 5 lines
2023-07-05 14:35:08 +0200 <merijn> hackyhacker: Looks mostly reasonable. Personally not a fan of the if/then/else (especially with the current formatting)
2023-07-05 14:35:24 +0200 <merijn> hackyhacker: So I'd probably rewrite those if/then/else into guards
2023-07-05 14:35:41 +0200 <hackyhacker> ah yea good call
2023-07-05 14:36:24 +0200 <merijn> I would also split up (into 1 or 2 where bindings) the fromStrings
2023-07-05 14:36:41 +0200 <merijn> Also, repeated application of $ is generally considered worse than using .
2023-07-05 14:37:45 +0200 <merijn> "let nextBoard = move from to board; case nextBoard of
2023-07-05 14:37:58 +0200 <merijn> can simply be "case move from to board of"
2023-07-05 14:37:58 +0200 <Unicorn_Princess> hackyhacker, is positionInBoard correct? says only indices x in the "1 < x <= size" range are in board. but that's size-1 number of valid indices..
2023-07-05 14:38:21 +0200 <hackyhacker> oh yea that was a bug I forgot to publish it on the page
2023-07-05 14:38:27 +0200 <hackyhacker> I fixed it in my actual project
2023-07-05 14:39:12 +0200 <merijn> As a style note, I'm not a big fan of aligning where blocks after where. I tend to prefer a linebreak so bindings don't march so far right
2023-07-05 14:40:04 +0200 <merijn> So the first, rather than the second: https://paste.tomsmeding.com/rIdSlpxK
2023-07-05 14:40:37 +0200 <hackyhacker> oh ok
2023-07-05 14:40:48 +0200 <Unicorn_Princess> speaking of style i've decided to go snake_case even in haskell. capitalization matters too often, making camelCase too awkward
2023-07-05 14:41:12 +0200acidjnk(~acidjnk@p200300d6e7072f49514bca14a8451a2d.dip0.t-ipconnect.de)
2023-07-05 14:42:54 +0200 <Unicorn_Princess> hackyhacker, using floating-point distance then comparing it with strict equality rubs me the wrong way
2023-07-05 14:43:08 +0200 <Unicorn_Princess> not really a style/haskell thing, but...
2023-07-05 14:43:24 +0200 <hackyhacker> how else?
2023-07-05 14:43:33 +0200 <hackyhacker> do == 2.0?
2023-07-05 14:43:48 +0200 <Unicorn_Princess> that's semantically identical to what you have now
2023-07-05 14:44:09 +0200 <Unicorn_Princess> i'm sure there's an elegant test, but as first aid, you can use the square of the distance directly
2023-07-05 14:44:23 +0200 <Unicorn_Princess> leave it an integer, and check that it's 4 instead of 2
2023-07-05 14:44:30 +0200 <hackyhacker> Oh that's a cool solution yeah
2023-07-05 14:44:58 +0200 <hackyhacker> are you a fan of N J Wildberger?
2023-07-05 14:44:59 +0200 <hackyhacker> haha
2023-07-05 14:45:24 +0200 <Unicorn_Princess> anyway yeah i don't trust floating point enough to believe the sqrt would end up exactly 2 in all the cases you'd want it to
2023-07-05 14:45:32 +0200 <Unicorn_Princess> dunno who this wildberger is tho
2023-07-05 14:46:51 +0200 <Unicorn_Princess> i usually think of floats as a bit fuzzy, even for the simplest calculations. figure they're within some (hopefully small) epsilon of the correct value, but no guarantee they're actually correct
2023-07-05 14:47:14 +0200 <Unicorn_Princess> in _some_ cases they are correct, and in other cases epsilon isn't small, but as a first measure, this approach works out
2023-07-05 14:47:25 +0200 <hackyhacker> N J Wildberger is a mathematician that's a bit controversial
2023-07-05 14:47:44 +0200 <hackyhacker> and he wrote a whole book about geometry where the basic unit is the square of the distance or something
2023-07-05 14:47:49 +0200 <hackyhacker> I don't really know what it's all about
2023-07-05 14:49:06 +0200 <hackyhacker> Unicorn_Princess you said snake case is preferred
2023-07-05 14:49:12 +0200 <hackyhacker> yet the standard library also uses camel case
2023-07-05 14:49:13 +0200 <Unicorn_Princess> the square distance trick is popular in any kinda simulation/geometry code, is where i got it from
2023-07-05 14:49:19 +0200 <Unicorn_Princess> no no, *I* prefer snake_case
2023-07-05 14:49:30 +0200 <hackyhacker> Ohh ok Yeah I was renaming everything >:(
2023-07-05 14:49:30 +0200 <Unicorn_Princess> alas haskell has settled on camelCase
2023-07-05 14:49:38 +0200 <merijn> hackyhacker: camel case is definitely the most widely used in general
2023-07-05 14:49:46 +0200 <hackyhacker> Unicorn_Princess bad advice
2023-07-05 14:50:57 +0200 <Unicorn_Princess> anyway usually the square of distance is used, even if a float, to avoid the expensive sqrt calculation. which you don't care about for peg solitaire
2023-07-05 14:51:50 +0200 <geekosaur> BecauseJammingEverythingTogetherIsJustSoEasyToReadEspeciallyWhenItsLong
2023-07-05 14:53:32 +0200jtomas(~jtomas@90.162.208.36) (Ping timeout: 245 seconds)
2023-07-05 14:53:33 +0200`2jt(~jtomas@90.162.208.36)
2023-07-05 14:56:05 +0200 <hackyhacker> ok I updated it
2023-07-05 14:56:05 +0200 <hackyhacker> https://kergro.art/blog/pegs-hs.html
2023-07-05 14:56:52 +0200 <hackyhacker> oh wait I forgot to replace if else by cases
2023-07-05 14:56:54 +0200 <Unicorn_Princess> hackyhacker, the fromString :: String -> Board might be cleaner with use of lines :: String -> [String]
2023-07-05 14:57:10 +0200 <merijn> hackyhacker: oh, I just realised a bit less superficial improvement
2023-07-05 14:57:26 +0200 <Unicorn_Princess> i think your current version fails if last row doesn't end with newline
2023-07-05 14:57:34 +0200 <merijn> You have moveLegal returning a boolean and ove returning a maybe board
2023-07-05 14:58:02 +0200 <merijn> I would consider instead just having moveLegal return "Maybe Move" and then 'fmap' the board manipulation over that
2023-07-05 14:58:20 +0200 <merijn> Which eliminates the awkward if/then in move *and* removes the "boolean blindness"
2023-07-05 14:58:20 +0200 <hackyhacker> o-o
2023-07-05 14:58:21 +0200hipnozis(~hipnozis@176-241-45-156.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-05 14:59:22 +0200 <hackyhacker> Unicorn_Princess I tested a file that doesn't end in a newline and it works still
2023-07-05 14:59:28 +0200 <Unicorn_Princess> hm
2023-07-05 14:59:35 +0200 <hackyhacker> the newline characters just get filtered out so I don't see why it wouldn't work
2023-07-05 15:00:02 +0200 <Unicorn_Princess> i thought cuz of rows = count '\n' s
2023-07-05 15:00:08 +0200hipnozis(~hipnozis@87-97-82-148.pool.digikabel.hu)
2023-07-05 15:00:17 +0200 <hackyhacker> oh yeah no you are right
2023-07-05 15:00:29 +0200 <hackyhacker> my text editor adds an empty line at the end by default
2023-07-05 15:01:01 +0200 <Unicorn_Princess> i think we have C #includes to thank for that
2023-07-05 15:01:24 +0200 <Unicorn_Princess> at least it's not defensive semicolons...
2023-07-05 15:01:50 +0200 <hackyhacker> Isn't that a product of just command line tools in general
2023-07-05 15:01:58 +0200 <Unicorn_Princess> could be
2023-07-05 15:02:00 +0200 <hackyhacker> like if you can something without a newline at the end it messes up your prompt
2023-07-05 15:02:02 +0200 <hackyhacker> cat*
2023-07-05 15:04:20 +0200 <Axman6> hackyhacker: not sure if anyone's mentioned it, but that readsPrec implementation looks suspect to me - should be readsPrec _ ('.':r) = [(Empty, r)] etc IIRC
2023-07-05 15:06:59 +0200 <hackyhacker> Axman6 wouldn't that be to read a string as a list of squares?
2023-07-05 15:07:06 +0200 <hackyhacker> I don't really understand that readsPrec thing to be honest
2023-07-05 15:07:47 +0200 <merijn> hackyhacker: it's fine, I've been doing haskell for, uh, 16 years and I *still* don't really grok readsPrec :p
2023-07-05 15:08:16 +0200 <hackyhacker> merijn: is it related to parser combinators?
2023-07-05 15:08:38 +0200 <geekosaur> it's a very strange parser combinator
2023-07-05 15:08:47 +0200 <merijn> That, yeah
2023-07-05 15:08:59 +0200xff0x_(~xff0x@2405:6580:b080:900:3b24:e2a6:429e:3a16) (Ping timeout: 246 seconds)
2023-07-05 15:09:34 +0200 <hackyhacker> yeah I was thinking of maybe using parsec but it seemed silly to just read a character
2023-07-05 15:10:09 +0200 <hackyhacker> merijn: if you match a boolean is it still preferred to use guards or is an if then else fine in that case
2023-07-05 15:10:11 +0200 <geekosaur> unlike most parsers, it produces a list of (value,remainder) and it's up to the caller to determine which result is correct
2023-07-05 15:10:24 +0200 <merijn> hackyhacker: in general if/then/else is pretty rare in haskell
2023-07-05 15:10:33 +0200 <merijn> People tend to prefer guards
2023-07-05 15:10:46 +0200 <geekosaur> which means it can parse ambiguous values at the price that the user has to deal with the ambiguity
2023-07-05 15:10:56 +0200xff0x_(~xff0x@ai086045.d.east.v6connect.net)
2023-07-05 15:11:01 +0200 <hackyhacker> interesting...
2023-07-05 15:11:12 +0200 <hackyhacker> merijn: ok I'll change them all to guards
2023-07-05 15:12:23 +0200 <merijn> hackyhacker: mostly you see if/then/else in code from beginners coming from different languages and (rarely) inside do blocks for cases where you can't use guards because you depend on the result of, for example, IO
2023-07-05 15:14:12 +0200 <merijn> hackyhacker: Just did a quick check and I have 11 if/else in about 25k LOC :p
2023-07-05 15:14:34 +0200 <hackyhacker> merijn: but so it should be using match of statements then right?
2023-07-05 15:14:42 +0200 <hackyhacker> euhm I mean case of
2023-07-05 15:15:04 +0200 <merijn> hackyhacker: you can use case-of, but most of your examples can be moved into the guards of the function
2023-07-05 15:16:09 +0200 <merijn> hackyhacker: i.e.: https://paste.tomsmeding.com/LxLQ5Nqt
2023-07-05 15:16:30 +0200CiaoSen(~Jura@2a05:5800:285:8200:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds)
2023-07-05 15:16:42 +0200 <merijn> same for squareBetween
2023-07-05 15:21:40 +0200 <hackyhacker> ohh ok thanks
2023-07-05 15:26:08 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2023-07-05 15:27:19 +0200crazazy(~user@130.89.171.133)
2023-07-05 15:27:23 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:3d0c:c380:8be9:54d4) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2023-07-05 15:27:43 +0200YoungFrog(~youngfrog@2a02:a03f:ca07:f900:c0d1:a78f:f0d6:915b)
2023-07-05 15:28:35 +0200 <hackyhacker> https://kergro.art/blog/pegs-hs.html
2023-07-05 15:28:42 +0200 <hackyhacker> but those in the do blocks I can't replace that way right?
2023-07-05 15:31:48 +0200 <merijn> hackyhacker: correct, you could maybe move them into where blocks, but that's the one case where I would keep the if/then/else, yeah
2023-07-05 15:34:36 +0200danse-nr3_(~francesco@151.57.248.110) (Ping timeout: 245 seconds)
2023-07-05 15:35:05 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2023-07-05 15:35:57 +0200 <_d0t> ohaaai! Is there a way to add a finaliser function to a Haskell thread?
2023-07-05 15:36:20 +0200 <merijn> _d0t: forkFinally? :)
2023-07-05 15:36:34 +0200 <_d0t> merijn: that, except I need it from inside of the thread
2023-07-05 15:36:42 +0200 <_d0t> it's not my code that calls forkIO here
2023-07-05 15:37:11 +0200 <merijn> _d0t: forkFinally runs in the thread, though
2023-07-05 15:37:19 +0200 <merijn> oh
2023-07-05 15:37:36 +0200 <merijn> _d0t: I mean, just make it the last thing in the IO action that gets run?
2023-07-05 15:37:37 +0200 <_d0t> for context. I'm experimenting with Thread Local Storage here and I need a way to cleamup stuff after thread is finished.
2023-07-05 15:37:55 +0200chromoblob(~user@37.113.162.25)
2023-07-05 15:37:58 +0200 <_d0t> merijn: no can do :( i wanna be able to use this in WAI/Servant
2023-07-05 15:38:09 +0200 <merijn> _d0t: ah, rip
2023-07-05 15:38:29 +0200 <merijn> _d0t: I think that'd require some messing with the RTS to implement support for that
2023-07-05 15:38:40 +0200crazazy(~user@130.89.171.133) (Read error: Connection reset by peer)
2023-07-05 15:38:45 +0200 <_d0t> somehow i feel it is already there, just not exposed
2023-07-05 15:38:59 +0200 <merijn> _d0t: also, multiple haskell threads can be running on the same OS thread, so they'd share the same TLS
2023-07-05 15:39:19 +0200 <_d0t> merijn: no no, i'm talking about haskell's TLS. Basically, Map ThreadId a
2023-07-05 15:40:04 +0200 <merijn> _d0t: FYI, probably wanna use Weak ThreadId's, because threads aren't GCed while there are ThreadId's referencing them
2023-07-05 15:40:05 +0200 <Axman6> is there, like, any chance at all that thread local storage would work with GHC's runtime?
2023-07-05 15:40:24 +0200 <Axman6> right, ok, that's quite different
2023-07-05 15:40:27 +0200 <merijn> Axman6: Sure? Not without work, but I don't think it'd be that hard
2023-07-05 15:40:36 +0200 <_d0t> merijn: this is one problem. Another one is just to prevent a memory leak from all those values from dead threads.
2023-07-05 15:40:58 +0200 <merijn> but no, I don't think there currently is a finaliser in the RTS
2023-07-05 15:41:43 +0200 <_d0t> touche :(
2023-07-05 15:42:06 +0200chromoblob(~user@37.113.162.25) (Ping timeout: 245 seconds)
2023-07-05 15:42:23 +0200 <merijn> _d0t: Be the change you wanna see in the world :D
2023-07-05 15:43:09 +0200 <_d0t> merijn: i have like four or five branches in my personal GHC tree with unfinished features right now
2023-07-05 15:43:19 +0200 <merijn> _d0t: :D
2023-07-05 15:43:57 +0200 <_d0t> including porting GHC to a bare VM environment, similar to what halvm was
2023-07-05 15:45:03 +0200 <_d0t> oh btw, maybe you guys know what's wrong with this
2023-07-05 15:45:05 +0200 <_d0t> https://discourse.haskell.org/t/package-version-mismatch-during-hadrian-build/6243/4
2023-07-05 15:45:20 +0200 <_d0t> seems like GHC cross-compiling is borked in a way
2023-07-05 15:46:41 +0200 <Axman6> I don't think GHC cross-compiling has ever worked
2023-07-05 15:46:58 +0200danse-nr3_(~francesco@151.57.248.110)
2023-07-05 15:47:18 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2023-07-05 15:47:28 +0200 <_d0t> it mostly does, except that ghc-pkg thing
2023-07-05 15:48:02 +0200 <_d0t> seems that hadrian introduction broke things
2023-07-05 15:48:22 +0200chromoblob(~user@37.113.162.25)
2023-07-05 15:48:53 +0200nschoe(~q@141.101.51.197)
2023-07-05 15:49:47 +0200 <Axman6> I've been using it for about 15 years and never once heard of anyong having it work
2023-07-05 15:49:53 +0200 <Axman6> anyone*
2023-07-05 15:50:05 +0200 <_d0t> halvm worked *shrug*
2023-07-05 15:50:19 +0200 <Axman6> halvm wasn't in ghc proper though
2023-07-05 15:50:31 +0200 <_d0t> well, my bad, i mean building a cross-compiler, not cross-compiling GHC itself
2023-07-05 15:50:40 +0200 <Axman6> it was a separate project, like ghcjs, etc
2023-07-05 15:50:57 +0200 <_d0t> Axman6: it was, but there weren't any real changes to the build code. Other than adding targets and a few minor things.
2023-07-05 15:52:08 +0200 <_d0t> but again, this was pre-hadrian
2023-07-05 15:52:48 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-07-05 15:56:28 +0200 <_d0t> anyhow, my attitude to working on GHC constantly jumps between WE BALL and WE ARE SOOO BACK on this graph https://pbs.twimg.com/media/FzllBASWwAEayoE.png
2023-07-05 15:56:56 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-07-05 15:57:30 +0200 <_d0t> *afk lunch*
2023-07-05 15:58:47 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 264 seconds)
2023-07-05 15:58:56 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-05 16:00:13 +0200srk-(~sorki@user/srk)
2023-07-05 16:01:04 +0200`2jt(~jtomas@90.162.208.36)
2023-07-05 16:03:08 +0200srk(~sorki@user/srk) (Ping timeout: 240 seconds)
2023-07-05 16:03:12 +0200srk-srk
2023-07-05 16:04:23 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-05 16:08:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 16:12:38 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-07-05 16:12:58 +0200nschoe(~q@141.101.51.197) (Remote host closed the connection)
2023-07-05 16:14:18 +0200Pickchea(~private@user/pickchea)
2023-07-05 16:19:31 +0200danse-nr3__(~francesco@151.37.250.245)
2023-07-05 16:19:44 +0200danse-nr3_(~francesco@151.57.248.110) (Read error: Connection reset by peer)
2023-07-05 16:20:39 +0200 <hackyhacker> What would you guys recommend for a simple rest server in Haskell?
2023-07-05 16:20:56 +0200 <hackyhacker> I was thinking of trying this library https://hackage.haskell.org/package/rest-wai
2023-07-05 16:21:43 +0200 <Axman6> if it was me, I'd use servant. scotty is the usual recommendation for beginners though
2023-07-05 16:23:14 +0200 <hackyhacker> oh scotty looks very readable
2023-07-05 16:23:38 +0200ripspin(~chatzilla@1.145.207.32) (Remote host closed the connection)
2023-07-05 16:27:08 +0200ryantrinkle(~ryantrink@204.2.90.61) (Ping timeout: 240 seconds)
2023-07-05 16:27:28 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-07-05 16:33:02 +0200rburkholder(~blurb@96.45.2.121)
2023-07-05 16:33:07 +0200hipnozis(~hipnozis@87-97-82-148.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-05 16:34:06 +0200mauke(~mauke@user/mauke)
2023-07-05 16:35:05 +0200hipnozis(~hipnozis@84-236-122-224.pool.digikabel.hu)
2023-07-05 16:36:10 +0200Midjak(~Midjak@82.66.147.146)
2023-07-05 16:45:28 +0200reach(~reach@74.12.129.40)
2023-07-05 16:46:03 +0200hsiktas[m](~hsiktasm]@2001:470:69fc:105::30d4) (Server closed connection)
2023-07-05 16:46:21 +0200sagax(~sagax_nb@user/sagax)
2023-07-05 16:47:11 +0200ystael(~ystael@user/ystael)
2023-07-05 16:48:21 +0200hsiktas[m](~hsiktasm]@2001:470:69fc:105::30d4)
2023-07-05 16:49:24 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-07-05 16:49:43 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-07-05 16:50:08 +0200html(~User@31.173.240.121) (Ping timeout: 240 seconds)
2023-07-05 16:53:17 +0200 <_d0t> merijn: Weak ThreadId's seem barely usable because Weak doesn't have an Eq instance. And cannot possibly have one.
2023-07-05 16:55:26 +0200 <_d0t> StableName seems like what I need here instead of Weak
2023-07-05 16:59:14 +0200 <[exa]> hackyhacker: +1 for scotty
2023-07-05 16:59:40 +0200 <[exa]> hackyhacker: if you need a nice database for it, selda glues pretty well
2023-07-05 17:02:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 17:05:25 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-07-05 17:06:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Ping timeout: 246 seconds)
2023-07-05 17:07:21 +0200 <hackyhacker> [exa]: is selda's website down?
2023-07-05 17:07:27 +0200 <hackyhacker> they link to selda.link but it doesn't load for me
2023-07-05 17:08:17 +0200 <hackyhacker> to https://selda.link
2023-07-05 17:08:52 +0200 <[exa]> mhm yeah seems so
2023-07-05 17:09:05 +0200maukegoes to https://samus.link/ instead
2023-07-05 17:11:30 +0200 <hackyhacker> hahaha wtf is that
2023-07-05 17:11:34 +0200 <hackyhacker> seems like the nerdiest thing ever
2023-07-05 17:11:45 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 17:12:54 +0200 <Hecate> incredible
2023-07-05 17:13:27 +0200 <hackyhacker> I can't even fathom how to begin making that
2023-07-05 17:15:11 +0200 <mauke> they got lucky because apparently Zelda 3 and Super Metroid use almost entirely different memory addresses
2023-07-05 17:15:41 +0200 <mauke> maybe nintendo had plans for publishing both games on the same cartridge?
2023-07-05 17:16:30 +0200reach(~reach@74.12.129.40) (Remote host closed the connection)
2023-07-05 17:16:54 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 17:18:21 +0200hipnozis(~hipnozis@84-236-122-224.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-05 17:19:14 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-05 17:20:13 +0200hipnozis(~hipnozis@91-83-1-218.pool.digikabel.hu)
2023-07-05 17:21:50 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds)
2023-07-05 17:22:53 +0200danse-nr3__(~francesco@151.37.250.245) (Ping timeout: 246 seconds)
2023-07-05 17:23:29 +0200lainon(~textual@c-98-54-78-2.hsd1.al.comcast.net)
2023-07-05 17:23:31 +0200 <ski> hackyhacker : ` :: IO String' is redundant; brackets around `Eq',`fst small',`snd small',`snd small + 1',`snd from',`snd to',`board ! ...',`squareBetween from to',`Int' are redundant; `IO()' should be `IO ()'; `((/=) '\n')' could be `('\n' /=)'; all `$'s are ugly imho (can be replaced by brackets, perhaps composition, `(fromList rows cols . map (read . (: [])) . filter ('\n' /=)) s',`(setElem Peg to .
2023-07-05 17:23:37 +0200 <ski> setElem Empty middle . setElem Empty from)'); ..
2023-07-05 17:23:46 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-07-05 17:23:49 +0200 <ski> ..; `putStrLn (show x)' is `print x'; `input > 0 && input <= limit' is `inRange (1,limit) input' (import `Data.Ix'); some `x's should be `y's in `positionInBoard'; `x <= rows && x >= 1' is `inRange (1,rows) x'; `inRange (1,rows) x && inRange (1,cols) y' is `inRange ((1,1),(rows,cols)) (x,y)'; avoid `fst'&'`snd' (use pattern-matching, `(xs,ys) = min from to',`moveLegal from@(xf,yf) to@(xt,yt) board = ...'); ..
2023-07-05 17:23:55 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-07-05 17:24:06 +0200 <ski> ..; `let nextBoard = move from to board' followed by `case nextBoard of ...' could be `case move from to board of ...'; you could use `putStr' & `hFlush stdout' in place of `putStrLn' if you want prompt on same line as input; `readLn' will abort program (throw I/O exception) if parse fails; `Collumn' should be `Column'; `positionInBoard' is redundant in `moveLegal' since `limitReadInt' already checks bounds;
2023-07-05 17:24:12 +0200 <ski> ..
2023-07-05 17:24:19 +0200 <ski> ..; `readsPrec' is incorrect (per what Axman6 said); both `Show' and `Read' are misuses of those type classes, they're meant for (compositionally) generating&parsing Haskell representations of values, in a way that can be copied back into source (given an appropriate module environment) -- would suggest to define separate functions instead (did you define `Data.Matrix' ?); ..
2023-07-05 17:24:24 +0200 <ski> ..; `fromString' could still be done with `ReadS' if you want to, but then shouldn't use `map' like that
2023-07-05 17:27:23 +0200danse-nr3(~francesco@151.37.250.245)
2023-07-05 17:27:25 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 17:27:51 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 17:29:06 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-07-05 17:30:08 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds)
2023-07-05 17:35:17 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds)
2023-07-05 17:37:51 +0200euandreh(~Thunderbi@189.6.18.7)
2023-07-05 17:38:33 +0200end^(~end^@user/end/x-0094621) (Server closed connection)
2023-07-05 17:38:40 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 17:39:21 +0200end^(~end^@user/end/x-0094621)
2023-07-05 17:39:39 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 17:40:54 +0200nick3(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-07-05 17:41:25 +0200 <hackyhacker> Data.Matrix is the matrix package from hackage
2023-07-05 17:41:34 +0200 <hackyhacker> ski: thank you for your review
2023-07-05 17:43:32 +0200alternateved(~user@77-254-166-50.dynamic.inetia.pl) (Ping timeout: 245 seconds)
2023-07-05 17:43:46 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-07-05 17:44:06 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-07-05 17:44:32 +0200lainon(~textual@c-98-54-78-2.hsd1.al.comcast.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2023-07-05 17:46:39 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-05 17:51:53 +0200ryantrinkle(~ryantrink@adsl-72-50-32-109.prtc.net)
2023-07-05 17:52:06 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds)
2023-07-05 17:52:11 +0200 <ski> ok, looks like `instance Show a => Show (Matrix a)' is also bad
2023-07-05 17:52:17 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds)
2023-07-05 17:53:02 +0200skiwould roll their own pretty-printer
2023-07-05 17:53:32 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 245 seconds)
2023-07-05 17:55:32 +0200kupi(uid212005@id-212005.hampstead.irccloud.com)
2023-07-05 17:55:34 +0200titibandit(~titibandi@user/titibandit)
2023-07-05 17:56:39 +0200caryhartline(~caryhartl@168.182.58.169)
2023-07-05 17:57:52 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net)
2023-07-05 17:59:36 +0200delYsid(~user@user/delYsid)
2023-07-05 18:01:01 +0200 <delYsid> Is there a way to have cabal/stack install a config file to $XDG_CONFIG_HOME or similar upon program install?
2023-07-05 18:01:07 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 18:02:33 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 18:02:41 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2023-07-05 18:03:38 +0200 <geekosaur> no more than there is for OS package managers
2023-07-05 18:04:56 +0200 <geekosaur> the way most programs handle this is to create it if it doesn't exist
2023-07-05 18:10:22 +0200bilegeek(~bilegeek@2600:1008:b03d:73ae:5023:a503:e3b9:3dc0)
2023-07-05 18:11:30 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-07-05 18:11:55 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 18:12:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 18:13:07 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 18:14:58 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.1)
2023-07-05 18:15:45 +0200 <delYsid> Hmm, I guess the message is, stack is just for building, packaging your app is a task for something else...
2023-07-05 18:16:11 +0200ryantrinkle(~ryantrink@adsl-72-50-32-109.prtc.net) (Ping timeout: 264 seconds)
2023-07-05 18:16:22 +0200 <delYsid> I also just realized that I trashed my ~/.local/bin/pandoc binary by rm'ing ~/.stack, which is kind of unexpected and weird. I was hoping for installed binaries to be independent from ~/.stack.
2023-07-05 18:16:48 +0200 <geekosaur> that doesn't explain why OS package managers also don't modify user dirs when installing
2023-07-05 18:16:55 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-07-05 18:17:02 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 18:17:25 +0200 <benjaminbellick> @type map
2023-07-05 18:17:26 +0200 <lambdabot> (a -> b) -> [a] -> [b]
2023-07-05 18:17:37 +0200 <geekosaur> the correct takeaways are (a) it's bad UX to misbehave without your config file (b) it's good UX to create one on first run and if necessary point the user to it (although modern (c) is better UX is to provide a config dialog)
2023-07-05 18:18:01 +0200 <benjaminbellick> @free (a -> b) -> F a -> F b
2023-07-05 18:18:01 +0200 <lambdabot> Try `free <ident>` or `free <ident> :: <type>`
2023-07-05 18:18:51 +0200 <geekosaur> as for the .stack thing, (a) cabal does the same (b) but has a `--install-method` option (I don't know if stack does)
2023-07-05 18:19:12 +0200 <delYsid> geekosaur: True. However, there isn't really a "package manager" for ~/.local. And, many classical programs *will* install config files to $PREFIX/etc upon (make) install.
2023-07-05 18:20:17 +0200danse-nr3(~francesco@151.37.250.245) (Quit: Leaving)
2023-07-05 18:20:37 +0200 <geekosaur> but $PREFIX is not usually the user's dir; it's /usr or /usr/local
2023-07-05 18:20:38 +0200danse-nr3(~francesco@151.37.250.245)
2023-07-05 18:20:59 +0200 <delYsid> And installing on first run will need bundling of the data file inside of the executable, for no particularily good reason.
2023-07-05 18:22:33 +0200 <delYsid> geekosaur: Yes, but setting --prefix=$HOME/.local works in *many* cases just fine. In any case, there isn't what I want, and that is also a good answer, thanks.
2023-07-05 18:24:28 +0200 <geekosaur[c]> And you can ship data files with your program, just not for automatic installation in a user directory
2023-07-05 18:25:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 18:28:06 +0200 <geekosaur[c]> They don't install under `$XDG_CONFIG_HOME` but under.stack or .cabal
2023-07-05 18:29:11 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds)
2023-07-05 18:30:52 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 18:32:20 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 240 seconds)
2023-07-05 18:32:42 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 18:33:02 +0200 <ski> @free foo :: (a -> b) -> F a -> F b -- benjaminbellick
2023-07-05 18:33:03 +0200 <lambdabot> g . h = k . f => $map_F g . foo h = foo k . $map_F f
2023-07-05 18:33:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 18:35:01 +0200hipnozis(~hipnozis@91-83-1-218.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-05 18:36:54 +0200hipnozis(~hipnozis@79-120-162-171.pool.digikabel.hu)
2023-07-05 18:37:56 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 246 seconds)
2023-07-05 18:38:01 +0200alternateved(~user@77-254-166-50.dynamic.inetia.pl)
2023-07-05 18:40:03 +0200tbidne[m](~tbidnemat@2001:470:69fc:105::3:6d42) (Server closed connection)
2023-07-05 18:40:17 +0200tbidne[m](~tbidnemat@2001:470:69fc:105::3:6d42)
2023-07-05 18:43:37 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2023-07-05 18:44:36 +0200ystael(~ystael@user/ystael) (Ping timeout: 245 seconds)
2023-07-05 18:44:41 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 18:45:37 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 18:45:38 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 18:46:02 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 18:46:39 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 18:50:30 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 18:50:30 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 18:50:52 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 18:51:29 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 18:51:46 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 18:52:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-07-05 18:52:15 +0200phma(~phma@host-67-44-208-75.hnremote.net) (Read error: Connection reset by peer)
2023-07-05 18:52:21 +0200Inst_(~Inst@2601:6c4:4081:2fc0:cdf0:9b5e:1ff5:35cc)
2023-07-05 18:52:28 +0200Inst(~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 240 seconds)
2023-07-05 18:52:41 +0200phma(phma@2001:5b0:215a:8658:1ead:e764:9c5d:6413)
2023-07-05 18:54:17 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 18:54:17 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Client Quit)
2023-07-05 18:54:39 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 18:55:16 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 18:57:12 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 18:57:30 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 18:57:32 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 18:57:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 18:58:03 +0200kleenestar[m](~kleenesta@2001:470:69fc:105::3:6d78) (Server closed connection)
2023-07-05 18:59:42 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: The Lounge - https://thelounge.chat)
2023-07-05 18:59:42 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Quit: BRB!)
2023-07-05 19:00:04 +0200HerlockSholmes(~herlock@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 19:00:40 +0200brettgilio(~brettgili@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e)
2023-07-05 19:02:06 +0200ddellacosta(~ddellacos@146.70.168.100) (Ping timeout: 245 seconds)
2023-07-05 19:02:17 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 246 seconds)
2023-07-05 19:02:33 +0200Daniel[m]1(~danieltan@2001:470:69fc:105::3:6e5e) (Server closed connection)
2023-07-05 19:02:46 +0200Daniel[m]1(~danieltan@2001:470:69fc:105::3:6e5e)
2023-07-05 19:04:03 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 19:04:12 +0200ddellacosta(~ddellacos@146.70.166.152)
2023-07-05 19:04:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-07-05 19:05:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 19:10:01 +0200hipnozis(~hipnozis@79-120-162-171.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-05 19:11:55 +0200hipnozis(~hipnozis@178-164-235-192.pool.digikabel.hu)
2023-07-05 19:12:18 +0200 <Nosrep> is ghc core output's variable names deterministic?
2023-07-05 19:12:30 +0200 <Nosrep> they seem to change all the time
2023-07-05 19:12:35 +0200 <sm> delYsid: I think a more robust way is to build config file setup into your program
2023-07-05 19:14:56 +0200blueonyx(~blueonyx@user/blueonyx)
2023-07-05 19:14:58 +0200blueonyx_(~blueonyx@user/blueonyx)
2023-07-05 19:14:59 +0200blueonyx_(~blueonyx@user/blueonyx) (Client Quit)
2023-07-05 19:15:03 +0200blueonyx(~blueonyx@user/blueonyx) (Client Quit)
2023-07-05 19:15:16 +0200blueonyx(~blueonyx@user/blueonyx)
2023-07-05 19:15:38 +0200blueonyx(~blueonyx@user/blueonyx) (Client Quit)
2023-07-05 19:16:44 +0200ystael(~ystael@user/ystael)
2023-07-05 19:18:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 19:21:06 +0200lainon(~textual@2601:7c0:cb00:c0a0:718c:10e2:ff4c:a39)
2023-07-05 19:21:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 19:22:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 19:26:09 +0200mechap(~mechap@user/mechap) (Ping timeout: 240 seconds)
2023-07-05 19:26:35 +0200mbuf(~Shakthi@49.207.178.186) (Quit: Leaving)
2023-07-05 19:27:25 +0200mechap(~mechap@user/mechap)
2023-07-05 19:28:02 +0200html(~User@31.173.240.121)
2023-07-05 19:29:06 +0200Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Remote host closed the connection)
2023-07-05 19:29:31 +0200Psybur(~Psybur@c-76-123-45-25.hsd1.va.comcast.net)
2023-07-05 19:33:37 +0200 <geekosaur> Nosrep, probably best asked in #ghc but I think you may need a special option to get that (and nix uses it to get mostly deterministic builds iirc)
2023-07-05 19:34:01 +0200Thorin(~Thorin@user/Thorin) (Leaving)
2023-07-05 19:34:15 +0200 <Nosrep> dang
2023-07-05 19:34:46 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-07-05 19:38:08 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-07-05 19:43:28 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-07-05 19:43:48 +0200hipnozis(~hipnozis@178-164-235-192.pool.digikabel.hu) (Ping timeout: 240 seconds)
2023-07-05 19:45:53 +0200hipnozis(~hipnozis@84-236-3-115.pool.digikabel.hu)
2023-07-05 19:52:02 +0200bonz060(~bonz060@105.163.1.181)
2023-07-05 19:56:12 +0200__monty__(~toonn@user/toonn)
2023-07-05 19:56:25 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 20:00:32 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 20:04:18 +0200ubert(~Thunderbi@2a02:8109:abc0:6434:cd78:a7d7:19d2:47e6) (Remote host closed the connection)
2023-07-05 20:11:33 +0200Ross[m](~zhichuche@2001:470:69fc:105::3:584b) (Server closed connection)
2023-07-05 20:11:47 +0200Ross[m](~zhichuche@2001:470:69fc:105::3:584b)
2023-07-05 20:15:11 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 20:15:50 +0200gry(quasselcor@botters/gry) (Remote host closed the connection)
2023-07-05 20:18:02 +0200gry(quasselcor@botters/gry)
2023-07-05 20:18:03 +0200robertm(robertm@lattice.rojoma.com) (Quit: WeeChat 3.8)
2023-07-05 20:18:11 +0200robertm(robertm@lattice.rojoma.com)
2023-07-05 20:18:24 +0200danse-nr3(~francesco@151.37.250.245) (Ping timeout: 252 seconds)
2023-07-05 20:24:11 +0200hipnozis(~hipnozis@84-236-3-115.pool.digikabel.hu) (Ping timeout: 246 seconds)
2023-07-05 20:25:12 +0200Axma47006(~Axman6@user/axman6)
2023-07-05 20:25:55 +0200hipnozis(~hipnozis@84-236-122-118.pool.digikabel.hu)
2023-07-05 20:26:16 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 245 seconds)
2023-07-05 20:26:27 +0200mechap(~mechap@user/mechap) (Ping timeout: 245 seconds)
2023-07-05 20:27:08 +0200ystael(~ystael@user/ystael) (Ping timeout: 240 seconds)
2023-07-05 20:27:41 +0200html(~User@31.173.240.121) (Quit: Leaving)
2023-07-05 20:27:44 +0200mechap(~mechap@user/mechap)
2023-07-05 20:28:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 20:29:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2023-07-05 20:34:11 +0200EvanR(~EvanR@user/evanr) (Ping timeout: 264 seconds)
2023-07-05 20:35:07 +0200Sgeo_(~Sgeo@user/sgeo)
2023-07-05 20:35:20 +0200kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-07-05 20:36:40 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2023-07-05 20:37:58 +0200Sgeo(~Sgeo@user/sgeo) (Ping timeout: 250 seconds)
2023-07-05 20:39:08 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 20:43:12 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 240 seconds)
2023-07-05 20:45:54 +0200Sgeo__(~Sgeo@user/sgeo)
2023-07-05 20:46:18 +0200ystael(~ystael@user/ystael)
2023-07-05 20:48:50 +0200Sgeo_(~Sgeo@user/sgeo) (Ping timeout: 246 seconds)
2023-07-05 20:49:11 +0200mechap(~mechap@user/mechap) (Ping timeout: 264 seconds)
2023-07-05 20:49:43 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca)
2023-07-05 20:50:02 +0200mechap(~mechap@user/mechap)
2023-07-05 20:50:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-07-05 20:51:20 +0200tremon(~tremon@83.80.159.219)
2023-07-05 20:51:22 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 20:53:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-07-05 20:53:28 +0200Sgeo__(~Sgeo@user/sgeo) (Quit: Leaving)
2023-07-05 20:54:07 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-05 20:54:36 +0200reach(~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds)
2023-07-05 20:54:39 +0200azr4e1(~azr4e1@2a00:23c7:9cbc:3401:45fb:9c68:12fe:262b)
2023-07-05 20:56:33 +0200trev(~trev@user/trev) (Quit: trev)
2023-07-05 21:01:12 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 21:01:43 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-07-05 21:05:43 +0200reach(~reach@74.12.129.40)
2023-07-05 21:07:06 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds)
2023-07-05 21:10:01 +0200hipnozis(~hipnozis@84-236-122-118.pool.digikabel.hu) (Ping timeout: 245 seconds)
2023-07-05 21:11:02 +0200dhil(~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds)
2023-07-05 21:12:05 +0200hipnozis(~hipnozis@84-236-122-154.pool.digikabel.hu)
2023-07-05 21:14:57 +0200taupiqueur(~taupiqueu@168.244.204.77.rev.sfr.net)
2023-07-05 21:15:26 +0200taupiqueur(~taupiqueu@168.244.204.77.rev.sfr.net) (Client Quit)
2023-07-05 21:15:26 +0200Pickchea(~private@user/pickchea)
2023-07-05 21:15:47 +0200bilegeek(~bilegeek@2600:1008:b03d:73ae:5023:a503:e3b9:3dc0) (Quit: Leaving)
2023-07-05 21:18:29 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-07-05 21:18:30 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-07-05 21:18:30 +0200wroathe(~wroathe@user/wroathe)
2023-07-05 21:18:30 +0200reach(~reach@74.12.129.40) (Ping timeout: 260 seconds)
2023-07-05 21:19:00 +0200Sgeo(~Sgeo@user/sgeo)
2023-07-05 21:20:45 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-07-05 21:25:30 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-07-05 21:25:38 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 250 seconds)
2023-07-05 21:26:25 +0200gok(~gok@c-71-205-240-222.hsd1.co.comcast.net)
2023-07-05 21:27:24 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Remote host closed the connection)
2023-07-05 21:29:28 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2023-07-05 21:30:41 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-07-05 21:31:57 +0200chromoblob(~user@37.113.162.25) (Quit: leaving)
2023-07-05 21:34:56 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 21:35:33 +0200titibandit(~titibandi@user/titibandit) (Read error: Connection reset by peer)
2023-07-05 21:36:00 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2023-07-05 21:37:33 +0200gok(~gok@c-71-205-240-222.hsd1.co.comcast.net) (Quit: Client closed)
2023-07-05 21:38:12 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-07-05 21:41:04 +0200titibandit(~titibandi@user/titibandit)
2023-07-05 21:41:19 +0200iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2023-07-05 21:41:49 +0200iteratee(~kyle@162.218.222.207)
2023-07-05 21:41:56 +0200lainon(~textual@2601:7c0:cb00:c0a0:718c:10e2:ff4c:a39) (Quit: My Mac has gone to sleep. ZZZzzz…)
2023-07-05 21:44:02 +0200alexherbo2(~alexherbo@2a02-8440-2340-66f9-187f-1a13-45b7-e886.rev.sfr.net)
2023-07-05 21:45:44 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-07-05 21:45:51 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 245 seconds)
2023-07-05 21:47:31 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2023-07-05 21:47:50 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-07-05 21:51:29 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 21:52:16 +0200hipnozis(~hipnozis@84-236-122-154.pool.digikabel.hu) (Ping timeout: 252 seconds)
2023-07-05 21:53:59 +0200iteratee_(~kyle@162.218.222.207)
2023-07-05 21:54:11 +0200hipnozis(~hipnozis@84-236-122-154.pool.digikabel.hu)
2023-07-05 21:54:48 +0200pavonia(~user@user/siracusa)
2023-07-05 21:55:02 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2023-07-05 21:56:54 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 260 seconds)
2023-07-05 21:59:17 +0200alexherbo2(~alexherbo@2a02-8440-2340-66f9-187f-1a13-45b7-e886.rev.sfr.net) (Ping timeout: 246 seconds)
2023-07-05 22:01:26 +0200`2jt(~jtomas@90.162.208.36)
2023-07-05 22:07:10 +0200hipnozis(~hipnozis@84-236-122-154.pool.digikabel.hu) (Ping timeout: 260 seconds)
2023-07-05 22:08:49 +0200hipnozis(~hipnozis@92-249-150-162.static.digikabel.hu)
2023-07-05 22:10:04 +0200billb(~billb@cpe-66-8-173-22.hawaii.res.rr.com)
2023-07-05 22:11:18 +0200EvanR(~EvanR@user/evanr)
2023-07-05 22:11:59 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 264 seconds)
2023-07-05 22:13:16 +0200puke(~puke@user/puke) (Read error: Connection reset by peer)
2023-07-05 22:13:49 +0200alternateved(~user@77-254-166-50.dynamic.inetia.pl) (Ping timeout: 240 seconds)
2023-07-05 22:14:14 +0200`2jt(~jtomas@90.162.208.36) (Ping timeout: 246 seconds)
2023-07-05 22:15:08 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 22:15:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 22:15:57 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-07-05 22:18:55 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-07-05 22:20:01 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 245 seconds)
2023-07-05 22:20:36 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 22:20:52 +0200iteratee_(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2023-07-05 22:21:32 +0200ystael(~ystael@user/ystael) (Ping timeout: 250 seconds)
2023-07-05 22:21:32 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-07-05 22:21:34 +0200iteratee(~kyle@162.218.222.207)
2023-07-05 22:28:02 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982)
2023-07-05 22:32:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:78da:7b39:4337:d982) (Ping timeout: 246 seconds)
2023-07-05 22:32:18 +0200wroathe(~wroathe@50.205.197.50)
2023-07-05 22:32:18 +0200wroathe(~wroathe@50.205.197.50) (Changing host)
2023-07-05 22:32:18 +0200wroathe(~wroathe@user/wroathe)
2023-07-05 22:34:11 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-07-05 22:34:34 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Remote host closed the connection)
2023-07-05 22:34:48 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 22:37:05 +0200ystael(~ystael@user/ystael)
2023-07-05 22:38:09 +0200 <EvanR> seq ⊥ b = ⊥
2023-07-05 22:38:14 +0200 <EvanR> seq a b = b if a ≠ ⊥
2023-07-05 22:38:38 +0200 <EvanR> I wonder if there's a clearer way to say the same thing
2023-07-05 22:40:26 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 245 seconds)
2023-07-05 22:41:45 +0200 <monochrom> You can describe lazy evaluation. Some people find that clearer.
2023-07-05 22:42:57 +0200iteratee(~kyle@162.218.222.207)
2023-07-05 22:43:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-07-05 22:43:38 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Ping timeout: 250 seconds)
2023-07-05 22:44:09 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net)
2023-07-05 22:44:19 +0200 <EvanR> it's trying to "case split" on whether a is or isn't bottom, which are the only two possibilities ever! But it's written awkwardly
2023-07-05 22:45:10 +0200 <EvanR> we just don't have a notation for "not bottom"
2023-07-05 22:46:08 +0200 <monochrom> You can (should, must) use math notation. There is a math notation for cases.
2023-07-05 22:46:27 +0200 <EvanR> OR true b = true
2023-07-05 22:46:37 +0200 <EvanR> OR a b = b if a is not true
2023-07-05 22:46:45 +0200 <monochrom> Although, I would pretty like to declare Haskell guard syntax to be math notation, too.
2023-07-05 22:47:09 +0200 <EvanR> the OR function is easily given using a truth table instead
2023-07-05 22:47:28 +0200 <monochrom> Ah, you can do table for seq too.
2023-07-05 22:47:29 +0200benjaminbellick(~user@ool-4575ce40.dyn.optonline.net) (Remote host closed the connection)
2023-07-05 22:49:38 +0200 <EvanR> what would the table look like
2023-07-05 22:51:36 +0200 <monochrom> Oh darn, I was wrong, not easy.
2023-07-05 22:52:02 +0200 <monochrom> Yeah guard or math case notation, both featuring an "otherwise" clause.
2023-07-05 22:52:11 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 264 seconds)
2023-07-05 22:52:47 +0200 <EvanR> i got this far lol https://i.imgur.com/G229PrG.png
2023-07-05 22:53:35 +0200 <EvanR> ok otherwise
2023-07-05 22:53:52 +0200 <monochrom> Yeah I realized I don't know what to write for the ? slot.
2023-07-05 22:53:59 +0200iteratee(~kyle@162.218.222.207)
2023-07-05 22:55:03 +0200 <EvanR> seq a b = { ⊥ if a = ⊥
2023-07-05 22:55:23 +0200 <[Leary]> You could write `seq a b = if a↓ then b else ⊥` where down-arrow is read "converges".
2023-07-05 22:55:31 +0200 <EvanR> { b otherwise
2023-07-05 22:56:50 +0200 <monochrom> Now we get to the nuance of whether (⊥, ⊥) ↓ is true or false.
2023-07-05 22:57:01 +0200 <EvanR> converges...
2023-07-05 22:57:38 +0200 <monochrom> However, both the Haskell Report and common denotational semantics talk about just whether a=⊥ or not.
2023-07-05 22:58:09 +0200 <EvanR> > seq (undefined, undefined) "ok"
2023-07-05 22:58:10 +0200 <lambdabot> "ok"
2023-07-05 22:58:16 +0200 <monochrom> IMO the word "converge" is better reserved for another purpose.
2023-07-05 22:59:38 +0200 <monochrom> To a large extent, the opposite word "diverge" is only defined with an operational semantics in mind.
2023-07-05 23:00:31 +0200res0nat0r0844909(~Fletch@fenrir.whatbox.ca)
2023-07-05 23:01:01 +0200 <EvanR> the first equation for seq is pretty great
2023-07-05 23:02:48 +0200misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds)
2023-07-05 23:02:57 +0200 <EvanR> a rubyist may find appealing: seq a b = b unless a=⊥
2023-07-05 23:07:18 +0200 <monochrom> They got that from Perl.
2023-07-05 23:07:26 +0200hipnozis(~hipnozis@92-249-150-162.static.digikabel.hu) (Ping timeout: 246 seconds)
2023-07-05 23:07:34 +0200 <monochrom> "stmt if cond" and "stmt unless cond".
2023-07-05 23:07:56 +0200ystael(~ystael@user/ystael) (Ping timeout: 245 seconds)
2023-07-05 23:08:10 +0200 <monochrom> When delusional programmers want English in programming languages.
2023-07-05 23:08:21 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds)
2023-07-05 23:08:22 +0200 <dolio> But did Perl get it from Miranda?
2023-07-05 23:08:31 +0200 <monochrom> Ah I don't know.
2023-07-05 23:09:05 +0200 <monochrom> "A potential clergyman and sysadmin designed a programming language. This is what happened."
2023-07-05 23:09:12 +0200hipnozis(~hipnozis@80-95-82-232.pool.digikabel.hu)
2023-07-05 23:09:25 +0200 <dolio> It's unlikely.
2023-07-05 23:09:46 +0200 <monochrom> I never got around to look at Miranda.
2023-07-05 23:09:49 +0200 <dolio> I don't think Miranda has unless. Just if.
2023-07-05 23:10:06 +0200 <dolio> max2 a b = a, if a > b
2023-07-05 23:10:16 +0200 <dolio> = b, otherwise
2023-07-05 23:10:40 +0200 <monochrom> OK then that's math case notation. Perl didn't draw from that.
2023-07-05 23:11:03 +0200 <geekosaur> I always thought that was what the BASIC-PLUS reference in the original perl manual was about
2023-07-05 23:11:03 +0200 <dolio> Yeah, it's guards that look more like math.
2023-07-05 23:11:19 +0200 <EvanR> flowchart. a=⊥? --- yes ---> seq a b = ⊥
2023-07-05 23:11:24 +0200 <EvanR> --- no ---> seq a b = b
2023-07-05 23:11:26 +0200 <monochrom> Tony Hoare came up with "expr-t <| cond |> expr-e" to mean our "if cond then expr-t else expr-e"
2023-07-05 23:12:06 +0200 <monochrom> In fact he used triangles for the <| and |>
2023-07-05 23:14:40 +0200 <EvanR> I want that guard syntax
2023-07-05 23:16:45 +0200gok(~gok@c-71-205-240-222.hsd1.co.comcast.net)
2023-07-05 23:18:08 +0200Inst_(~Inst@2601:6c4:4081:2fc0:cdf0:9b5e:1ff5:35cc) (Ping timeout: 246 seconds)
2023-07-05 23:18:14 +0200hellwolf(~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee)
2023-07-05 23:18:21 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-07-05 23:24:29 +0200rainbyte(~rainbyte@181.31.239.226) (Ping timeout: 240 seconds)
2023-07-05 23:25:46 +0200puke(~puke@user/puke)
2023-07-05 23:26:22 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2023-07-05 23:28:34 +0200puke(~puke@user/puke)
2023-07-05 23:28:55 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2023-07-05 23:30:16 +0200puke(~puke@user/puke)
2023-07-05 23:30:18 +0200 <EvanR> what's up with #haskell and the matrix bridge
2023-07-05 23:31:13 +0200 <monochrom> Strong wind causes resonance in the bridge and it is swinging like crazy. >:D
2023-07-05 23:31:26 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2023-07-05 23:31:41 +0200 <EvanR> I hate it when that happens
2023-07-05 23:33:11 +0200iteratee(~kyle@162.218.222.207) (Ping timeout: 246 seconds)
2023-07-05 23:34:08 +0200hipnozis(~hipnozis@80-95-82-232.pool.digikabel.hu) (Ping timeout: 240 seconds)
2023-07-05 23:34:16 +0200 <geekosaur> I'm not seeing bridge issues
2023-07-05 23:34:29 +0200 <geekosaur> admittedly I'm not using it in here any more
2023-07-05 23:35:35 +0200iteratee(~kyle@162.218.222.207)
2023-07-05 23:36:03 +0200hipnozis(~hipnozis@176-241-45-174.pool.digikabel.hu)
2023-07-05 23:38:49 +0200ft(~ft@p508db151.dip0.t-ipconnect.de)
2023-07-05 23:39:00 +0200 <hellwolf> gotta setup irc in emacs again.
2023-07-05 23:39:17 +0200 <hellwolf> it seems the bridges have been collapsing well ahead of the time.
2023-07-05 23:39:25 +0200hellwolf[m](~hellwolfm@2001:470:69fc:105::3:6a4) ()
2023-07-05 23:40:35 +0200 <hellwolf> from r/haskell vs. discourse to twitter vs. mastodon. now this...
2023-07-05 23:41:06 +0200 <[Leary]> > let a <| b = guard b $> a; infix 2 <|; (|>) = flip fromMaybe; infix 1 |> in ("green" <| True |> "blue", "green" <| False |> "blue")
2023-07-05 23:41:07 +0200 <lambdabot> ("green","blue")
2023-07-05 23:43:35 +0200 <ncf> _◂_▸_ = flip if_then_else_
2023-07-05 23:44:05 +0200 <monochrom> Haha now I know what to pose on my parsing assignment!
2023-07-05 23:44:09 +0200lainon(~textual@c-98-54-78-2.hsd1.al.comcast.net)
2023-07-05 23:48:59 +0200puke(~puke@user/puke)
2023-07-05 23:49:21 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2023-07-05 23:50:39 +0200puke(~puke@user/puke)
2023-07-05 23:51:39 +0200fendor(~fendor@2a02:8388:1640:be00:821b:25b5:c8f3:73a0) (Remote host closed the connection)
2023-07-05 23:51:50 +0200michalz(~michalz@185.246.207.215) (Remote host closed the connection)
2023-07-05 23:52:59 +0200 <mauke> oh no, this is python all over again
2023-07-05 23:53:18 +0200 <monochrom> Which one? "stmt if cond"?
2023-07-05 23:53:30 +0200 <mauke> expr1 if cond else expr2
2023-07-05 23:53:37 +0200 <monochrom> Oh heh
2023-07-05 23:55:14 +0200 <monochrom> I am biased so I love Tony Hoare so I like his "_ <| _ |> _" so I am OK with the small change to "_ if _ else _".
2023-07-05 23:55:32 +0200nick4(~nick@wsip-174-78-110-18.pn.at.cox.net)
2023-07-05 23:55:39 +0200 <monochrom> It is not everyday that we get to say "finally Python got something right" :)
2023-07-05 23:55:54 +0200 <monochrom> Along with, you know, "lambda x : expr"
2023-07-05 23:56:02 +0200 <mauke> ew
2023-07-05 23:57:14 +0200 <monochrom> But I wonder if Python goes one step further and declare that the part "if cond else" acts as an infix right-associative operator.
2023-07-05 23:57:27 +0200 <monochrom> Well, I'm going to do that!
2023-07-05 23:58:02 +0200nick3(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 246 seconds)
2023-07-05 23:59:22 +0200 <mauke> could pull a PHP and make it left-assoc for no reason
2023-07-05 23:59:41 +0200 <Rembane> Is there a middle-assoc?
2023-07-05 23:59:49 +0200nick4(~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 240 seconds)