2021/05/09

2021-05-09 00:02:33 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-09 00:06:20 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 00:07:16 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 00:08:07 +0200Alleria(~textual@2603-7000-3040-0000-09a8-282f-3437-302a.res6.spectrum.com)
2021-05-09 00:08:23 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-09 00:08:30 +0200AlleriaGuest67296
2021-05-09 00:08:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-09 00:09:04 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:4d33:5c3c:fcf9:dcea)
2021-05-09 00:10:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 00:11:41 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-09 00:12:21 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-09 00:12:53 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-09 00:20:08 +0200Rudd0(~Rudd0@185.189.115.108)
2021-05-09 00:25:32 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
2021-05-09 00:26:15 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-09 00:27:42 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-09 00:29:30 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-09 00:30:22 +0200antoniotrkdz(2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 252 seconds)
2021-05-09 00:31:50 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-09 00:32:05 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-09 00:33:31 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-09 00:33:47 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6) (Remote host closed the connection)
2021-05-09 00:34:10 +0200sheepduck(~sheepduck@2607:fea8:2a62:9600::5ac6)
2021-05-09 00:34:49 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-05-09 00:37:00 +0200superstar64(6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed)
2021-05-09 00:37:14 +0200DavidEichmann(~david@156.59.147.147.dyn.plus.net)
2021-05-09 00:37:41 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-05-09 00:37:55 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 00:42:32 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-09 00:43:16 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-09 00:44:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-09 00:45:01 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-09 00:50:07 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b)
2021-05-09 00:51:25 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-09 00:51:26 +0200malumore(~malumore@151.62.124.22) (Ping timeout: 240 seconds)
2021-05-09 00:52:11 +0200alx741(~alx741@181.196.68.205) (Ping timeout: 246 seconds)
2021-05-09 00:56:16 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Ping timeout: 260 seconds)
2021-05-09 00:59:07 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-09 00:59:26 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-09 00:59:31 +0200hyiltiz(~quassel@31.220.5.250)
2021-05-09 00:59:31 +0200hyiltiz(~quassel@31.220.5.250) (Changing host)
2021-05-09 00:59:31 +0200hyiltiz(~quassel@unaffiliated/hyiltiz)
2021-05-09 01:01:19 +0200Guest67296(~textual@2603-7000-3040-0000-09a8-282f-3437-302a.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-09 01:03:13 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-09 01:03:57 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 01:04:56 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
2021-05-09 01:05:07 +0200alx741(~alx741@186.178.108.184)
2021-05-09 01:05:41 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-05-09 01:06:44 +0200olle(~olle@mue-88-130-56-050.dsl.tropolys.de)
2021-05-09 01:06:50 +0200Alleria(~textual@2603-7000-3040-0000-e8d4-b4be-a934-005b.res6.spectrum.com)
2021-05-09 01:07:09 +0200 <olle> Is there a Haskell answer to the expression problem? Isolating change when adding new data vs adding new behaviour?
2021-05-09 01:07:14 +0200AlleriaGuest53940
2021-05-09 01:08:09 +0200 <olle> Google helps
2021-05-09 01:08:39 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-6831-3bef-c439-efb8.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-09 01:08:52 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-09 01:11:21 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 01:12:11 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 01:13:07 +0200 <Rembane> olle: Kinda, see the paper Data types a la carte.
2021-05-09 01:14:20 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-a19f-b6a7-57ef-17ab.res6.spectrum.com)
2021-05-09 01:14:52 +0200 <seven_three> is it possible to write a quickcheck `Property`, that prints out a extra message on success/failure? It seems that hspec has a `describe` function to do this. I would like my output from a call of `quickCheck` to print `+++ OK, passed 100 tests -- prop_reverse`
2021-05-09 01:16:06 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2021-05-09 01:17:47 +0200 <olle> Rembane: Found some slides
2021-05-09 01:17:48 +0200 <olle> https://userpages.uni-koblenz.de/~laemmel/TheEagle/resources/pdf/xproblem1.pdf
2021-05-09 01:20:57 +0200 <olle> Wow, easy to both add new data and new behaviour in a separate module? Impressive.
2021-05-09 01:21:26 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-09 01:21:57 +0200tlgl^nix(~damien@S0106f0f24986c533.su.shawcable.net)
2021-05-09 01:22:11 +0200 <Rembane> olle: Yeah, I think it's really cool! :)
2021-05-09 01:22:59 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-09 01:24:13 +0200 <olle> This was only Haskell 98, it seems
2021-05-09 01:24:18 +0200 <olle> In the paper
2021-05-09 01:24:21 +0200 <olle> sorry, slides
2021-05-09 01:26:21 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-09 01:26:27 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-09 01:28:31 +0200 <Rembane> Then it should absolutely work in later versions of Haskell.
2021-05-09 01:30:12 +0200tlgl^nix(~damien@S0106f0f24986c533.su.shawcable.net) (Ping timeout: 240 seconds)
2021-05-09 01:30:45 +0200 <olle> Using type-classes instead of pattern match
2021-05-09 01:31:39 +0200shiraeeshi(~shiraeesh@46.34.206.174) (Ping timeout: 268 seconds)
2021-05-09 01:32:01 +0200motersen(~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection)
2021-05-09 01:32:15 +0200motersen(~motersen@gateway/tor-sasl/motersen)
2021-05-09 01:33:52 +0200stree(~stree@68.36.8.116)
2021-05-09 01:33:56 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-09 01:35:52 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-09 01:36:18 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-09 01:37:12 +0200olle(~olle@mue-88-130-56-050.dsl.tropolys.de) (Ping timeout: 240 seconds)
2021-05-09 01:37:16 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-09 01:41:11 +0200tlgl^nix(~damien@S0106f0f24986c533.su.shawcable.net)
2021-05-09 01:42:27 +0200 <monochrom> Except that "data (Exp l, Exp r) => ..." is Haskell 98 but not Haskell 2010 :)
2021-05-09 01:43:48 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-09 01:46:46 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-05-09 01:52:51 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 01:54:26 +0200tlgl^nix(~damien@S0106f0f24986c533.su.shawcable.net) (Ping timeout: 240 seconds)
2021-05-09 01:57:22 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 01:57:31 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2021-05-09 01:58:24 +0200bennofs__(~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) (Read error: Connection reset by peer)
2021-05-09 01:58:42 +0200bennofs_(~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de)
2021-05-09 01:59:25 +0200arahael1(~arahael@124-150-95-173.tpgi.com.au)
2021-05-09 02:00:20 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-05-09 02:00:35 +0200desophos(~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9)
2021-05-09 02:00:39 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-09 02:01:39 +0200Arahael(~arahael@123-243-38-74.tpgi.com.au) (Ping timeout: 252 seconds)
2021-05-09 02:03:52 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-09 02:04:38 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2021-05-09 02:06:59 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2021-05-09 02:08:45 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-05-09 02:13:06 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 02:13:27 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 02:13:44 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
2021-05-09 02:14:45 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-09 02:16:21 +0200arahael1Arahael
2021-05-09 02:16:45 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-09 02:17:54 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds)
2021-05-09 02:17:56 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-09 02:18:15 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-09 02:18:25 +0200ericsagn1(~ericsagne@2405:6580:0:5100:1174:bcc9:701e:5393)
2021-05-09 02:18:38 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-09 02:20:03 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-05-09 02:20:23 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 02:21:01 +0200ericsagnes(~ericsagne@i220-108-228-29.s42.a013.ap.plala.or.jp) (Ping timeout: 260 seconds)
2021-05-09 02:21:31 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 02:21:41 +0200bennofs__(~quassel@dynamic-078-055-001-072.78.55.pool.telefonica.de)
2021-05-09 02:23:29 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-09 02:25:31 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-09 02:25:55 +0200bennofs_(~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) (Ping timeout: 268 seconds)
2021-05-09 02:27:54 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
2021-05-09 02:33:33 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-05-09 02:34:19 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-09 02:40:41 +0200acidjnk_new2(~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-09 02:41:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 02:43:32 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds)
2021-05-09 02:48:01 +0200shiraeeshi(~shiraeesh@46.34.206.174)
2021-05-09 02:48:47 +0200Tristan(~tristan@luna.whatbox.ca)
2021-05-09 02:49:11 +0200TristanGuest27055
2021-05-09 02:55:32 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2021-05-09 03:02:47 +0200sw4n(~dustinswa@2001:19f0:5c01:f12:5400:1ff:fe39:69d9)
2021-05-09 03:04:19 +0200sw4n(~dustinswa@2001:19f0:5c01:f12:5400:1ff:fe39:69d9) (Client Quit)
2021-05-09 03:04:24 +0200rootmolloch(~zanetto@2a02:3038:406:59de:ae59:febd:838d:9aad)
2021-05-09 03:04:40 +0200 <rootmolloch> hey smart ones :-)
2021-05-09 03:04:48 +0200 <rootmolloch> a round of chess ??
2021-05-09 03:07:29 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 03:08:12 +0200fryguybo1(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 240 seconds)
2021-05-09 03:09:03 +0200xff0x(~xff0x@2001:1a81:52ef:f00:5daf:a79:257d:70d5) (Ping timeout: 260 seconds)
2021-05-09 03:10:57 +0200xff0x(~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d)
2021-05-09 03:11:15 +0200viluon(uid453725@gateway/web/irccloud.com/x-hbgtmzmnpyrxsuay) (Quit: Connection closed for inactivity)
2021-05-09 03:11:50 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-05-09 03:12:46 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-09 03:13:14 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-05-09 03:13:53 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-09 03:14:26 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:98d9:9567:ec99:15ba) (Read error: Connection reset by peer)
2021-05-09 03:14:32 +0200sillyotter(~sillyotte@cpe-74-137-150-154.kya.res.rr.com)
2021-05-09 03:15:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-09 03:15:53 +0200sillyotter(~sillyotte@cpe-74-137-150-154.kya.res.rr.com) (Client Quit)
2021-05-09 03:16:56 +0200ADG1089(~aditya@223.226.229.98)
2021-05-09 03:17:55 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 03:17:56 +0200ADG1089(~aditya@223.226.229.98) (Read error: Connection reset by peer)
2021-05-09 03:18:34 +0200Rudd0(~Rudd0@185.189.115.108) (Remote host closed the connection)
2021-05-09 03:22:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 03:26:20 +0200Stanley00(~stanley00@unaffiliated/stanley00) ()
2021-05-09 03:26:21 +0200 <monochrom> I prefer tic-tac-toe or global thermonuclear war
2021-05-09 03:26:23 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-05-09 03:26:41 +0200 <rootmolloch> hehe
2021-05-09 03:27:53 +0200 <rootmolloch> monochrom: come on one round ?
2021-05-09 03:28:14 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 03:31:29 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-09 03:32:08 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 03:41:38 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 03:42:01 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-09 03:42:15 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 03:44:24 +0200xcmw(~textual@128-092-110-163.biz.spectrum.com)
2021-05-09 03:46:39 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-09 03:46:39 +0200ollie(519fdcf4@host81-159-220-244.range81-159.btcentralplus.com) (Quit: Connection closed)
2021-05-09 03:50:25 +0200 <pjb> rootmolloch: https://www.chess.com
2021-05-09 03:51:01 +0200 <rootmolloch> pjb: naaahhh <- because i am about to code my own ideas
2021-05-09 03:51:17 +0200 <rootmolloch> pjb: for now only stanard chess
2021-05-09 03:51:34 +0200 <rootmolloch> pjb: but later -> garden eden chess and so on
2021-05-09 03:51:43 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-09 03:53:55 +0200 <rootmolloch> pjb: and zabuer strike chess and waht so else
2021-05-09 03:54:08 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 03:55:15 +0200stree(~stree@68.36.8.116)
2021-05-09 03:55:24 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-zlcfevtikjnrahqv)
2021-05-09 03:55:41 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds)
2021-05-09 03:56:46 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-09 03:59:22 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-05-09 04:01:14 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-05-09 04:01:34 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 04:02:57 +0200CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-09 04:05:58 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds)
2021-05-09 04:06:05 +0200Matthias1(~matthias@li890-22.members.linode.com)
2021-05-09 04:07:13 +0200Matthias1(~matthias@li890-22.members.linode.com) (Read error: Connection reset by peer)
2021-05-09 04:08:07 +0200rajivr(uid269651@gateway/web/irccloud.com/x-jmpqhvzulmqpvjss)
2021-05-09 04:09:34 +0200plutoniix(~q@node-uhz.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-05-09 04:10:14 +0200rootmolloch(~zanetto@2a02:3038:406:59de:ae59:febd:838d:9aad) (Quit: Leaving)
2021-05-09 04:14:53 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 04:15:25 +0200Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2021-05-09 04:15:53 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 04:19:55 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 04:20:03 +0200chisui(588239e0@mue-88-130-57-224.dsl.tropolys.de) (Ping timeout: 240 seconds)
2021-05-09 04:20:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-09 04:20:12 +0200theDon(~td@94.134.91.193) (Ping timeout: 240 seconds)
2021-05-09 04:22:20 +0200theDon(~td@muedsl-82-207-238-217.citykom.de)
2021-05-09 04:24:52 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-09 04:25:01 +0200vict(~vict@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection)
2021-05-09 04:25:24 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-09 04:27:46 +0200bakhase(~bakhase@modemcable159.116-21-96.mc.videotron.ca)
2021-05-09 04:29:04 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-09 04:29:04 +0200finn_elijaGuest78265
2021-05-09 04:29:04 +0200FinnElijafinn_elija
2021-05-09 04:29:27 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-09 04:31:07 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-09 04:31:57 +0200Guest78265(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-09 04:33:00 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-09 04:36:51 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 04:37:42 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-05-09 04:38:30 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-05-09 04:42:01 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds)
2021-05-09 04:42:46 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-09 04:46:33 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 04:51:04 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-09 05:01:44 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-05-09 05:05:02 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-wcndohrnqmiujhrv)
2021-05-09 05:05:49 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 05:09:52 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-09 05:10:08 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2021-05-09 05:10:48 +0200alx741(~alx741@186.178.108.184) (Quit: alx741)
2021-05-09 05:11:32 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-09 05:11:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 05:22:59 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 05:26:54 +0200drbean_(~drbean@TC210-63-209-196.static.apol.com.tw)
2021-05-09 05:27:17 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-09 05:31:23 +0200yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-05-09 05:32:05 +0200yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp)
2021-05-09 05:32:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-09 05:34:01 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-05-09 05:35:24 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds)
2021-05-09 05:36:30 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-05-09 05:42:32 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-09 05:43:51 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b)
2021-05-09 05:46:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-09 05:49:03 +0200ddellaco_(~ddellacos@86.106.143.176)
2021-05-09 05:52:31 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-09 05:52:51 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-09 05:57:51 +0200Shuppiluliuma(~shuppilul@153.33.68.161) (Ping timeout: 260 seconds)
2021-05-09 05:58:50 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 06:00:18 +0200motersen(~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection)
2021-05-09 06:00:23 +0200Rudd0(~Rudd0@185.189.115.103)
2021-05-09 06:00:33 +0200motersen(~motersen@gateway/tor-sasl/motersen)
2021-05-09 06:03:07 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-09 06:04:05 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-09 06:16:01 +0200stree(~stree@68.36.8.116)
2021-05-09 06:17:32 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds)
2021-05-09 06:23:14 +0200ddellaco_(~ddellacos@86.106.143.176) (Remote host closed the connection)
2021-05-09 06:25:48 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-09 06:29:59 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
2021-05-09 06:30:55 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-09 06:39:13 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 06:43:26 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-09 06:45:28 +0200mapperr(~mapperr@vmi389916.contaboserver.net) (Ping timeout: 252 seconds)
2021-05-09 06:47:11 +0200bakhase(~bakhase@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection)
2021-05-09 06:48:39 +0200mapperr(~mapperr@vmi389916.contaboserver.net)
2021-05-09 06:51:19 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 252 seconds)
2021-05-09 06:56:26 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-05-09 07:01:58 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 07:02:47 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 07:03:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 07:06:11 +0200shiraeeshi(~shiraeesh@46.34.206.174) (Ping timeout: 240 seconds)
2021-05-09 07:08:04 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-05-09 07:08:19 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-09 07:08:51 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 07:13:40 +0200Guest18158(~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com)
2021-05-09 07:13:52 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-wcndohrnqmiujhrv) (Quit: Connection closed for inactivity)
2021-05-09 07:16:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-09 07:19:18 +0200redmp(~redmp@172.58.75.196)
2021-05-09 07:19:27 +0200 <redmp> % import Control.Concurrent.STM
2021-05-09 07:19:27 +0200 <yahb> redmp:
2021-05-09 07:19:40 +0200 <redmp> % waitAnyCancel []
2021-05-09 07:19:40 +0200 <yahb> redmp: ; <interactive>:73:1: error: Variable not in scope: waitAnyCancel :: [a0] -> t
2021-05-09 07:19:48 +0200 <redmp> % import Control.Concurrent.Async
2021-05-09 07:19:48 +0200 <yahb> redmp:
2021-05-09 07:19:49 +0200 <redmp> % waitAnyCancel []
2021-05-09 07:19:54 +0200 <yahb> redmp: [Timed out]
2021-05-09 07:20:05 +0200 <redmp> on my machine this gets: *** Exception: thread blocked indefinitely in an STM transaction
2021-05-09 07:20:38 +0200 <redmp> I haven't looked at the source yet, but it seems like for an empty list it would just not start any asyncs, nor wait on them
2021-05-09 07:21:53 +0200 <redmp> Ah, it's implemented with a fold over STM actions that has STM.retry as the first accumulator..
2021-05-09 07:22:26 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-09 07:23:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 07:24:59 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 07:28:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-05-09 07:28:40 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-09 07:29:27 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-09 07:37:52 +0200Lycurgus(~niemand@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-09 07:38:23 +0200xcmw(~textual@128-092-110-163.biz.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 07:39:18 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-wcgdsdofsuaceqeo) (Quit: Connection closed for inactivity)
2021-05-09 07:42:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 07:46:35 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-09 07:47:08 +0200guriya(a0ee4b85@unaffiliated/guriya)
2021-05-09 07:48:37 +0200 <Lycurgus> also the most natural semantics for 'waitAnyCancel' on a list is to block until there's something in the list
2021-05-09 07:53:48 +0200safe(~safe@unaffiliated/safe) (Quit: Leaving)
2021-05-09 07:55:11 +0200Lycurgus(~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-05-09 07:55:27 +0200vite(~vite@195.140.213.38) (Remote host closed the connection)
2021-05-09 07:55:45 +0200 <redmp> % :t waitAnyCancel
2021-05-09 07:55:45 +0200 <yahb> redmp: ; <interactive>:1:1: error: Variable not in scope: waitAnyCancel
2021-05-09 07:55:57 +0200 <redmp> % import Control.Concurrent.Async
2021-05-09 07:55:58 +0200 <yahb> redmp:
2021-05-09 07:55:59 +0200 <redmp> % :t waitAnyCancel
2021-05-09 07:55:59 +0200 <yahb> redmp: [Async a] -> IO (Async a, a)
2021-05-09 07:56:54 +0200 <redmp> but it's just a list.. if it's passed in empty, it's going to remain empty forever .. seems like there should be a fail-fast case that doesn't reach the foldr
2021-05-09 07:59:08 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-05-09 08:00:52 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 08:03:07 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-09 08:03:10 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 08:03:59 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-09 08:04:02 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-09 08:04:56 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-09 08:08:06 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-09 08:09:21 +0200justBull(~justache@unaffiliated/justache) (Quit: Ping timeout (120 seconds))
2021-05-09 08:09:54 +0200justBull(~justache@unaffiliated/justache)
2021-05-09 08:10:21 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Quit: birdd)
2021-05-09 08:10:44 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2021-05-09 08:11:39 +0200ericsagn1(~ericsagne@2405:6580:0:5100:1174:bcc9:701e:5393) (Ping timeout: 245 seconds)
2021-05-09 08:12:39 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 08:12:45 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 08:15:54 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-09 08:16:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-09 08:17:02 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-05-09 08:18:58 +0200sphi(a0ca25b5@160.202.37.181)
2021-05-09 08:19:14 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-09 08:20:16 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-nvxmqndcqoqioqwm) (Quit: Connection closed for inactivity)
2021-05-09 08:20:24 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-05-09 08:20:38 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 08:21:25 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de)
2021-05-09 08:23:07 +0200sphi(a0ca25b5@160.202.37.181) (Client Quit)
2021-05-09 08:23:46 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-09 08:24:15 +0200ericsagn1(~ericsagne@2405:6580:0:5100:9d04:a396:248a:e13a)
2021-05-09 08:24:48 +0200sphi(~arjun@160.202.37.181)
2021-05-09 08:26:34 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-09 08:26:50 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 246 seconds)
2021-05-09 08:27:25 +0200sphi(~arjun@160.202.37.181) (Client Quit)
2021-05-09 08:36:21 +0200tenki(~tenki@115.171.244.89)
2021-05-09 08:36:26 +0200stree(~stree@68.36.8.116)
2021-05-09 08:37:59 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-09 08:38:14 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-05-09 08:39:30 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-05-09 08:40:07 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 08:41:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 08:42:42 +0200tenki(~tenki@115.171.244.89) (Quit: leaving)
2021-05-09 08:44:13 +0200todda7(~torstein@178-147-206-209.haap.dm.cosmote.net)
2021-05-09 08:44:49 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds)
2021-05-09 08:45:25 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 08:47:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-05-09 08:47:12 +0200Surya(31cea985@49.206.169.133)
2021-05-09 08:50:09 +0200 <Athas> So... 'cabal install' always prepares an sdist and installs from that? Does that mean it will never do incremental builds?
2021-05-09 08:50:26 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-05-09 08:52:43 +0200tsaka__(~torstein@178-147-206-209.haap.dm.cosmote.net)
2021-05-09 08:53:38 +0200tsaka__(~torstein@178-147-206-209.haap.dm.cosmote.net) (Remote host closed the connection)
2021-05-09 08:56:13 +0200ADG1089(~aditya@223.226.229.98)
2021-05-09 08:56:46 +0200todda7(~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 260 seconds)
2021-05-09 08:58:59 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 09:01:18 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-09 09:03:55 +0200redmp(~redmp@172.58.75.196) (Ping timeout: 265 seconds)
2021-05-09 09:03:55 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2021-05-09 09:04:10 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-09 09:05:43 +0200redmp(~redmp@172.58.75.196)
2021-05-09 09:08:45 +0200rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-05-09 09:09:06 +0200Surya(31cea985@49.206.169.133) (Quit: Ping timeout (120 seconds))
2021-05-09 09:09:48 +0200redmp(~redmp@172.58.75.196) (Client Quit)
2021-05-09 09:09:51 +0200greymalkin(~greymalki@199.180.249.79) (Ping timeout: 246 seconds)
2021-05-09 09:10:33 +0200greymalkin(~greymalki@199.180.249.79)
2021-05-09 09:11:13 +0200malumore(~malumore@151.62.119.114)
2021-05-09 09:15:11 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds)
2021-05-09 09:19:24 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-09 09:22:08 +0200 <ADG1089> f x y = case x of Nothing -> case y of Nothing -> Nothing; Just v -> v; Just w -> w
2021-05-09 09:22:37 +0200 <ADG1089> i.e. how can i get the first Just value from two given values using monadic operators?
2021-05-09 09:24:17 +0200 <Athas> ADG1089: the Alternative instance for Maybe will do that.
2021-05-09 09:24:27 +0200 <Athas> f x y = x <|> y
2021-05-09 09:25:22 +0200 <ADG1089> Athas: thanks!
2021-05-09 09:27:06 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 09:27:25 +0200 <sclv> Athas: i expect so
2021-05-09 09:28:43 +0200Surya(31cea985@49.206.169.133)
2021-05-09 09:28:49 +0200 <Athas> sclv: so what do cabal users do instead during development?
2021-05-09 09:29:03 +0200 <sclv> just build
2021-05-09 09:29:11 +0200 <sclv> install is not for development
2021-05-09 09:30:21 +0200 <Surya> Problem while installing haskell platfom Link:https://stackoverflow.com/questions/67455260/no-space-in-device-error-while-installing-haskell-pla…   need some help
2021-05-09 09:31:01 +0200 <sclv> Surya: looks like you’re out of disk space
2021-05-09 09:31:29 +0200 <Athas> sclv: so something like 'cabal build && cp $(cabal list-bin foo) $HOME/.local/bin/'?
2021-05-09 09:31:33 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-09 09:31:36 +0200 <Athas> It seems awfully runabout.
2021-05-09 09:31:42 +0200 <Surya> Actually I have 139.2 GB free space in my disk
2021-05-09 09:31:53 +0200fendor_(~fendor@178.165.129.59.wireless.dyn.drei.com)
2021-05-09 09:32:04 +0200 <Athas> Maybe most cabal users don't write executable, but the cabal developers themselves do!
2021-05-09 09:32:13 +0200 <sclv> Athas: just build, don’t copy
2021-05-09 09:32:28 +0200sdrodge_(~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.1)
2021-05-09 09:33:11 +0200 <Athas> sclv: then how do I run the executable outside of the cabal directory?
2021-05-09 09:33:45 +0200sdrodge(~sdrodge@unaffiliated/sdrodge)
2021-05-09 09:33:55 +0200SSP(~surya@49.206.169.133)
2021-05-09 09:34:56 +0200 <sclv> Athas: you can invoke it directly or keep a symlink around I guess
2021-05-09 09:35:49 +0200 <sclv> Surya: sure you don’t have multiple disks?
2021-05-09 09:35:54 +0200 <Athas> The cabal-generated binary path is not very stable (depends on GHC and cabal-install version), so that would be annoying in the long term.
2021-05-09 09:36:11 +0200 <tomsmeding> Athas: merijn does this https://github.com/merijn/Belewitte/blob/master/cabal-run.sh
2021-05-09 09:36:13 +0200 <Athas> If I want to switch to cabal, I guess I have to keep a build invocation in my history.
2021-05-09 09:36:21 +0200rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-05-09 09:36:38 +0200 <sclv> Athas or just a bash script :-)
2021-05-09 09:37:10 +0200kuribas(~user@ptr-25vy0i7beyvs4gs9lz1.18120a2.ip6.access.telenet.be)
2021-05-09 09:38:09 +0200 <Surya> @sclv:No I have only one disk mounted,I have another partition for dual boot but thats not mounted now
2021-05-09 09:38:09 +0200 <lambdabot> Unknown command, try @list
2021-05-09 09:38:16 +0200 <Athas> The problem is that I am likely to also have a system-installed version of the program I'm hacking on available on PATH. Unless my development workflow installs the development version on the PATH, there is 100% certainty that I will eventually use the system version for some test by mistake.
2021-05-09 09:39:03 +0200 <Athas> A secondary problem is that users and developers will need to use different commands... hm. This is probably not worth the effort to me.
2021-05-09 09:39:07 +0200 <pjb> Athas: use a prefix to the name! afoo instead of foo.
2021-05-09 09:40:52 +0200 <Athas> pjb: that still requires me to manually do the right thing. I prefer to set up things to that error sources are eliminated in the first place (that's why I use Haskell!).
2021-05-09 09:43:40 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-05-09 09:53:16 +0200jacks2(~bc8134e3@217.29.117.252)
2021-05-09 09:54:01 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-09 09:54:04 +0200idhugo(~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-05-09 09:54:59 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds)
2021-05-09 09:57:44 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-05-09 09:59:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 10:00:23 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-09 10:05:34 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds)
2021-05-09 10:06:34 +0200 <tomsmeding> Surya: sclv: likely the installation process is configuring ghc in /tmp which may be a tmpfs on your system, i.e. residing in RAM
2021-05-09 10:09:57 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-09 10:10:10 +0200 <tomsmeding> Surya: You may have success exporting TMPDIR=/some/temporary/directory/on/your/disk before running the installation
2021-05-09 10:13:24 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-05-09 10:15:27 +0200alexander(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-05-09 10:15:42 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-09 10:15:57 +0200alexanderGuest96828
2021-05-09 10:18:50 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-09 10:19:15 +0200ADG1089(~aditya@223.226.229.98) (Remote host closed the connection)
2021-05-09 10:19:42 +0200jacks2(~bc8134e3@217.29.117.252) (Quit: quit)
2021-05-09 10:24:43 +0200aveltras(uid364989@gateway/web/irccloud.com/x-tgluoemwgszedtgx)
2021-05-09 10:27:40 +0200puke(~vroom@217.138.252.196) (Quit: puke)
2021-05-09 10:28:10 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 268 seconds)
2021-05-09 10:28:23 +0200xsperry(~as@unaffiliated/xsperry) ()
2021-05-09 10:29:30 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-09 10:29:48 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 10:29:55 +0200olligobber(~olligobbe@unaffiliated/olligobber)
2021-05-09 10:30:09 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-09 10:30:30 +0200surya96(31cea985@49.206.169.133)
2021-05-09 10:31:35 +0200 <surya96> tomsmeding:I am Surya,It got stucked can't even move the cursor
2021-05-09 10:31:46 +0200SSP(~surya@49.206.169.133) (Remote host closed the connection)
2021-05-09 10:32:18 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 10:32:33 +0200 <tomsmeding> surya96: indeed sounds like your ram is full and your machine is swapping :p
2021-05-09 10:33:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-09 10:34:22 +0200 <surya96> tomsmeding:I there any possible solution 🙁
2021-05-09 10:34:36 +0200Surya(31cea985@49.206.169.133) (Quit: Ping timeout (120 seconds))
2021-05-09 10:34:49 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!)
2021-05-09 10:35:37 +0200 <surya96> To install haskell platform im my system
2021-05-09 10:36:14 +0200 <tomsmeding> surya96: mkdir ~/tmpdir; export TMPDIR="$HOME/tmpdir"
2021-05-09 10:36:23 +0200 <tomsmeding> Then run the command you would normally run
2021-05-09 10:36:39 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-09 10:36:46 +0200 <tomsmeding> If my suspicion is right that should install fine
2021-05-09 10:37:06 +0200 <tomsmeding> (and then that directory can be deleted afterwards, but make sure to close this terminal too then)
2021-05-09 10:37:22 +0200bearcarl(b730f4b8@183.48.244.184)
2021-05-09 10:37:57 +0200 <surya96> tomsmeding ok I'll try now
2021-05-09 10:39:08 +0200bearcarl(b730f4b8@183.48.244.184) (Client Quit)
2021-05-09 10:39:27 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 10:39:29 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2021-05-09 10:39:47 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-05-09 10:42:23 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 10:43:09 +0200bearcarl(b730f4b8@183.48.244.184)
2021-05-09 10:44:22 +0200bearcarl(b730f4b8@183.48.244.184) (Client Quit)
2021-05-09 10:44:23 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-05-09 10:44:56 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-05-09 10:45:06 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-09 10:46:05 +0200 <surya96> Thank you tomsmeding It worked very well 😃
2021-05-09 10:46:52 +0200desophos(~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9) (Quit: Leaving)
2021-05-09 10:47:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-09 10:52:36 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 10:53:26 +0200m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-09 10:53:34 +0200 <tomsmeding> surya96: cheers!
2021-05-09 10:55:10 +0200 <tomsmeding> I wonder if ghcup should do a check if there is a reasonable amount of space free on the device containing $TMPDIR, and if not print a warning containing the above-mentioned fix (before continuing anyway)
2021-05-09 10:57:57 +0200stree(~stree@68.36.8.116)
2021-05-09 10:59:20 +0200surya96(31cea985@49.206.169.133) (Quit: Connection closed)
2021-05-09 11:00:23 +0200guriya(a0ee4b85@unaffiliated/guriya) (Ping timeout: 240 seconds)
2021-05-09 11:03:20 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Quit: Konversation terminated!)
2021-05-09 11:04:32 +0200malumore(~malumore@151.62.119.114) (Ping timeout: 240 seconds)
2021-05-09 11:04:37 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-09 11:09:15 +0200motersen_(~motersen@gateway/tor-sasl/motersen)
2021-05-09 11:10:21 +0200motersen(~motersen@gateway/tor-sasl/motersen) (Ping timeout: 240 seconds)
2021-05-09 11:11:34 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 11:11:35 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds)
2021-05-09 11:13:10 +0200drbean_(~drbean@TC210-63-209-196.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-05-09 11:20:29 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-09 11:20:33 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-05-09 11:21:00 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2021-05-09 11:22:51 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-09 11:27:21 +0200 <maerwald> tomsmeding: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/7d13836feaa8340161ed6d9bd9ee83da28b1db55#465b…
2021-05-09 11:29:04 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 11:30:32 +0200Surya(31cea985@49.206.169.133)
2021-05-09 11:30:53 +0200Surya(31cea985@49.206.169.133) (Client Quit)
2021-05-09 11:32:21 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds)
2021-05-09 11:32:33 +0200vgtw_(~vgtw@gateway/tor-sasl/vgtw)
2021-05-09 11:32:57 +0200vgtw_vgtw
2021-05-09 11:33:13 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-05-09 11:34:19 +0200jacks2(~bc8134e3@217.29.117.252)
2021-05-09 11:35:12 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-09 11:39:17 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-09 11:42:50 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-09 11:46:59 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 11:48:09 +0200acidjnk_new2(~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de)
2021-05-09 11:52:49 +0200Nahra(~user@unaffiliated/nahra)
2021-05-09 11:53:19 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-05-09 11:53:33 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-05-09 11:54:23 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-09 11:54:44 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-09 11:55:34 +0200finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-09 12:02:10 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996)
2021-05-09 12:05:11 +0200jassob(~jassob@korrob.vth.sgsnet.se) (Ping timeout: 252 seconds)
2021-05-09 12:06:11 +0200Guest18158(~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-09 12:15:04 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-05-09 12:17:11 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-05-09 12:17:28 +0200jassob(~jassob@korrob.vth.sgsnet.se)
2021-05-09 12:18:00 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-09 12:21:01 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 12:25:41 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-09 12:27:55 +0200lieven(~mal@2001:41d0:1:66c4::1) (Ping timeout: 276 seconds)
2021-05-09 12:28:06 +0200cheater2(~user@unaffiliated/cheater) (Ping timeout: 240 seconds)
2021-05-09 12:28:20 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-05-09 12:29:38 +0200 <tomsmeding> maerwald: You're prescient. Awesome!
2021-05-09 12:29:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 12:29:55 +0200__monty__(~toonn@unaffiliated/toonn)
2021-05-09 12:30:19 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-09 12:32:31 +0200 <Philonous> Should unsafeCoerce come with a runtime cost? I'm coercing some values to and alter back from Any, and this coercion seems to introduce runtime costs; I've checkd core and the only difference seems to be additional `cast`-s, is that expected to introduce costs?
2021-05-09 12:32:43 +0200 <Philonous> s/alter/later
2021-05-09 12:34:47 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-05-09 12:36:31 +0200lieven(~mal@unaffiliated/lieven)
2021-05-09 12:44:22 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-09 12:51:58 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 12:57:15 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-09 12:57:24 +0200leafgecko(~leafgecko@218.108.17.58)
2021-05-09 12:57:30 +0200leafgecko(~leafgecko@218.108.17.58) (Read error: Connection reset by peer)
2021-05-09 12:57:57 +0200grulfen(~grulfen@h-148-119.A163.priv.bahnhof.se)
2021-05-09 12:58:05 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 246 seconds)
2021-05-09 12:58:39 +0200cheater2(~user@unaffiliated/cheater)
2021-05-09 13:01:47 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 13:02:04 +0200xff0x(~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) (Ping timeout: 245 seconds)
2021-05-09 13:04:04 +0200xff0x(~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d)
2021-05-09 13:04:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-09 13:05:52 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-09 13:07:01 +0200chisui(59f77c9d@i59F77C9D.versanet.de)
2021-05-09 13:09:18 +0200ad_(~ad@185.169.233.51)
2021-05-09 13:10:02 +0200ram19890(~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-05-09 13:10:29 +0200ram19890(~ram@49.205.84.15)
2021-05-09 13:13:02 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 13:13:18 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 13:13:38 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-05-09 13:14:06 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 13:14:52 +0200ram19890(~ram@49.205.84.15) (Ping timeout: 252 seconds)
2021-05-09 13:15:21 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 13:15:56 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-09 13:19:32 +0200stree(~stree@68.36.8.116)
2021-05-09 13:19:34 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds)
2021-05-09 13:21:36 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 13:23:33 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-09 13:28:44 +0200Guest87676(~laudiacay@67.176.215.84)
2021-05-09 13:31:11 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 13:33:05 +0200Guest87676(~laudiacay@67.176.215.84) (Ping timeout: 246 seconds)
2021-05-09 13:35:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-09 13:35:53 +0200jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout))
2021-05-09 13:36:41 +0200asfswdf(~as@cpe-188-129-124-33.dynamic.amis.hr)
2021-05-09 13:36:45 +0200asfswdf(~as@cpe-188-129-124-33.dynamic.amis.hr) (Remote host closed the connection)
2021-05-09 13:37:59 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 246 seconds)
2021-05-09 13:40:57 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-09 13:44:25 +0200aveltras(uid364989@gateway/web/irccloud.com/x-tgluoemwgszedtgx) (Quit: Connection closed for inactivity)
2021-05-09 13:45:09 +0200clefru(~clefru@unaffiliated/clefru)
2021-05-09 13:45:26 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-09 13:47:26 +0200juuandyy(~juuandyy@90.106.228.121) (Ping timeout: 246 seconds)
2021-05-09 13:47:27 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 13:52:47 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Quit: Konversation terminated!)
2021-05-09 13:52:47 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-09 13:57:49 +0200Guest18158(~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com)
2021-05-09 14:00:26 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-09 14:01:16 +0200xsperry(~as@unaffiliated/xsperry)
2021-05-09 14:02:04 +0200Guest18158(~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-05-09 14:02:27 +0200olligobber(~olligobbe@unaffiliated/olligobber) (Remote host closed the connection)
2021-05-09 14:02:29 +0200boxscape(54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 246 seconds)
2021-05-09 14:03:11 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-05-09 14:03:32 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-09 14:06:19 +0200p3n(~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-09 14:08:12 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2021-05-09 14:09:23 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-09 14:10:51 +0200viluon(uid453725@gateway/web/irccloud.com/x-znzzchzkdvsvanxc)
2021-05-09 14:12:04 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-09 14:16:07 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-05-09 14:16:43 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-09 14:25:22 +0200bytheseaside(~bytheseas@modemcable159.116-21-96.mc.videotron.ca)
2021-05-09 14:32:10 +0200Guest53940(~textual@2603-7000-3040-0000-e8d4-b4be-a934-005b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 14:35:13 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-09 14:35:14 +0200drbean_(~drbean@TC210-63-209-33.static.apol.com.tw)
2021-05-09 14:36:43 +0200chisui(59f77c9d@i59F77C9D.versanet.de) (Ping timeout: 240 seconds)
2021-05-09 14:37:42 +0200fendor_fendor
2021-05-09 14:39:57 +0200snowflake(~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds)
2021-05-09 14:39:59 +0200snowflake_(~snowflake@gateway/tor-sasl/snowflake)
2021-05-09 14:40:27 +0200xff0x(~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) (Ping timeout: 250 seconds)
2021-05-09 14:41:18 +0200xff0x(~xff0x@2001:1a81:5389:3400:2b01:e41a:6d1e:863a)
2021-05-09 14:44:23 +0200Wuzzy(~Wuzzy@p5790e74f.dip0.t-ipconnect.de)
2021-05-09 14:46:44 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-05-09 14:48:00 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1)
2021-05-09 14:49:22 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-05-09 14:51:08 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 14:51:59 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-09 14:54:21 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-09 14:56:31 +0200cno(~christof@159.48.55.76)
2021-05-09 14:58:11 +0200shiraeeshi(~shiraeesh@46.34.206.28)
2021-05-09 14:58:32 +0200mrchampion(~mrchampio@38.18.109.23) (Remote host closed the connection)
2021-05-09 14:59:24 +0200Alleria(~textual@zrcout.mskcc.org)
2021-05-09 14:59:48 +0200AlleriaGuest48058
2021-05-09 15:00:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 15:01:31 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d)
2021-05-09 15:03:32 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-09 15:05:09 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-09 15:05:49 +0200urodna(~urodna@unaffiliated/urodna)
2021-05-09 15:06:16 +0200mrchampion(~mrchampio@38.18.109.23)
2021-05-09 15:11:08 +0200chimera(~chimera@168-182-134-95.pool.ukrtel.net)
2021-05-09 15:15:32 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-05-09 15:16:43 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-05-09 15:16:43 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-09 15:16:43 +0200mouseghost(~draco@wikipedia/desperek)
2021-05-09 15:19:18 +0200seven_three(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)")
2021-05-09 15:23:34 +0200 <kuribas> Is it possible to use XsdToHaskell with duplicateRecordFields?
2021-05-09 15:24:26 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-05-09 15:24:35 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-09 15:25:13 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 15:25:53 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-09 15:27:12 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-09 15:27:29 +0200 <kuribas> Why does haxml redefine primite types?
2021-05-09 15:27:42 +0200 <kuribas> http://hackage.haskell.org/package/HaXml-1.25.5/docs/Text-XML-HaXml-Schema-PrimitiveTypes.html
2021-05-09 15:31:48 +0200 <kuribas> Text.XML.HaXml.Schema.PrimitiveTypes.Int looks exactly like Int to me.
2021-05-09 15:31:57 +0200 <kuribas> I don't see why it would need to be redefined.
2021-05-09 15:33:17 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 15:34:20 +0200nullniverse(~null@unaffiliated/nullniverse)
2021-05-09 15:34:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-05-09 15:35:22 +0200neiluj(~jco@unaffiliated/neiluj) (Remote host closed the connection)
2021-05-09 15:35:46 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-09 15:38:59 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 15:39:05 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-05-09 15:40:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 15:40:43 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-09 15:41:06 +0200stree(~stree@68.36.8.116)
2021-05-09 15:41:07 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 15:42:04 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 15:42:51 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-09 15:43:26 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-09 15:45:07 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 15:45:17 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-05-09 15:45:31 +0200 <kuribas> great, XsdToHaskell doesn't even seem to work
2021-05-09 15:45:34 +0200 <kuribas> it's missing some types.
2021-05-09 15:45:54 +0200fendor_(~fendor@178.165.129.14.wireless.dyn.drei.com)
2021-05-09 15:46:45 +0200cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds)
2021-05-09 15:46:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds)
2021-05-09 15:47:03 +0200ram19890(~ram@49.205.84.15)
2021-05-09 15:48:16 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 15:48:50 +0200fendor(~fendor@178.165.129.59.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-05-09 15:50:43 +0200ad_(~ad@185.169.233.51) (Remote host closed the connection)
2021-05-09 15:52:43 +0200shiraeeshi(~shiraeesh@46.34.206.28) (Ping timeout: 252 seconds)
2021-05-09 15:55:03 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-09 15:55:21 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 15:58:31 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-09 15:59:00 +0200alx741(~alx741@186.178.108.184)
2021-05-09 15:59:49 +0200 <tomsmeding> kuribas: that Int is just a re-export
2021-05-09 16:00:51 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection)
2021-05-09 16:01:21 +0200 <kuribas> right...
2021-05-09 16:01:29 +0200 <kuribas> there is also XsdString, why not just use String?
2021-05-09 16:01:41 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-09 16:02:15 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d)
2021-05-09 16:02:43 +0200 <tomsmeding> I guess because they think a string meant for xml has different semantics than a list of characters?
2021-05-09 16:02:49 +0200 <tomsmeding> i.e. for instances
2021-05-09 16:03:21 +0200 <tomsmeding> Though they don't have [a] instances for the classes in question
2021-05-09 16:04:35 +0200nbloomf_(~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129)
2021-05-09 16:04:50 +0200 <tomsmeding> Ah right they also have instances for ID and such, which are also just newtypes over String
2021-05-09 16:05:23 +0200 <tomsmeding> kuribas: so they have different strings with different semantics -- one of which happens to be a normal string
2021-05-09 16:05:54 +0200 <kuribas> hmm, ok.
2021-05-09 16:06:08 +0200 <kuribas> I'd hoped XsdToHaskell would use standard haskell primitives.
2021-05-09 16:06:23 +0200 <kuribas> translate String to Text for example.
2021-05-09 16:06:39 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Ping timeout: 245 seconds)
2021-05-09 16:10:25 +0200drbean_(~drbean@TC210-63-209-33.static.apol.com.tw) (Ping timeout: 268 seconds)
2021-05-09 16:11:27 +0200kierra(~kierra@195.140.213.38)
2021-05-09 16:12:59 +0200nbloomf_(~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-09 16:21:14 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 16:21:20 +0200nullniv15(~null@unaffiliated/nullniverse)
2021-05-09 16:21:30 +0200nullniverse(~null@unaffiliated/nullniverse) (Read error: Connection reset by peer)
2021-05-09 16:21:30 +0200nullniv15(~null@unaffiliated/nullniverse) (Read error: Connection reset by peer)
2021-05-09 16:21:59 +0200nullniverse(~null@unaffiliated/nullniverse)
2021-05-09 16:22:00 +0200 <kuribas> how to create a "diff" from two records?
2021-05-09 16:22:49 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-09 16:22:51 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 16:23:02 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 16:23:29 +0200malumore(~malumore@151.62.119.114)
2021-05-09 16:23:29 +0200kenran(~kenran@i59F67BEC.versanet.de)
2021-05-09 16:24:01 +0200 <kuribas> ah, I could convert to JSON, then use aeson-diff
2021-05-09 16:25:39 +0200shiraeeshi(~shiraeesh@46.34.206.28)
2021-05-09 16:25:49 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-05-09 16:26:29 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-05-09 16:26:37 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-09 16:26:45 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-05-09 16:29:14 +0200cfricke(~cfricke@unaffiliated/cfricke)
2021-05-09 16:29:59 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 16:30:00 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 16:31:00 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 16:33:15 +0200Deide(~Deide@217.155.19.23)
2021-05-09 16:33:47 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 16:34:14 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-05-09 16:35:12 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-05-09 16:35:27 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds)
2021-05-09 16:38:11 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-05-09 16:43:52 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-09 16:46:07 +0200acidjnk_new2(~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-05-09 16:47:22 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 16:49:04 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2021-05-09 16:49:24 +0200marinelli(~marinelli@gateway/tor-sasl/marinelli)
2021-05-09 16:52:23 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-05-09 16:53:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 16:54:28 +0200xkapastel(uid17782@gateway/web/irccloud.com/x-fzaqsjhbxqzhfzhw)
2021-05-09 17:00:29 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 17:01:22 +0200grulfen(~grulfen@h-148-119.A163.priv.bahnhof.se) (Quit: WeeChat 2.9)
2021-05-09 17:04:12 +0200nrdmn98(~nrdmn@95.129.53.118) (Read error: Connection reset by peer)
2021-05-09 17:04:21 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection)
2021-05-09 17:04:46 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-09 17:08:02 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-05-09 17:17:01 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 17:17:48 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 17:19:37 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 17:21:59 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-09 17:22:13 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net)
2021-05-09 17:24:19 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds)
2021-05-09 17:24:31 +0200puke(~vroom@217.138.252.196)
2021-05-09 17:25:25 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 17:29:01 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-09 17:30:20 +0200Shuppiluliuma(~shuppilul@153.33.68.161)
2021-05-09 17:30:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 17:31:43 +0200proofofkeags(~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds)
2021-05-09 17:31:51 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-05-09 17:33:14 +0200sphi(~sphi@unaffiliated/sphi)
2021-05-09 17:36:27 +0200kuribas(~user@ptr-25vy0i7beyvs4gs9lz1.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-05-09 17:42:39 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-09 17:43:53 +0200knupfer(~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de)
2021-05-09 17:44:30 +0200knupfer(~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) (Client Quit)
2021-05-09 17:44:42 +0200knupfer(~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de)
2021-05-09 17:46:26 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-05-09 17:49:13 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 17:49:19 +0200stree(~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-09 17:49:33 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 17:51:26 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-09 17:52:59 +0200Nobita(ca0e785e@202.14.120.94)
2021-05-09 17:54:37 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-05-09 17:54:47 +0200pjb(~pjb@2a01cb04063ec50060d83fce37963843.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2021-05-09 17:55:00 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 17:57:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-09 18:01:01 +0200pjb(~pjb@2a01cb04063ec50010b77dfbed5a7ace.ipv6.abo.wanadoo.fr)
2021-05-09 18:01:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 18:01:53 +0200stree(~stree@68.36.8.116)
2021-05-09 18:02:51 +0200knupfer(~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) (Quit: knupfer)
2021-05-09 18:03:16 +0200Nobita(ca0e785e@202.14.120.94) (Quit: Connection closed)
2021-05-09 18:03:31 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 18:03:55 +0200nullniverse(~null@unaffiliated/nullniverse) (Read error: Connection reset by peer)
2021-05-09 18:04:22 +0200nullniverse(~null@unaffiliated/nullniverse)
2021-05-09 18:04:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-05-09 18:05:59 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-05-09 18:06:25 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-05-09 18:07:17 +0200machinedgod(~machinedg@24.105.81.50)
2021-05-09 18:07:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-09 18:08:10 +0200nullniv38(~null@unaffiliated/nullniverse)
2021-05-09 18:11:06 +0200nullniverse(~null@unaffiliated/nullniverse) (Ping timeout: 260 seconds)
2021-05-09 18:11:12 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-09 18:12:02 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 18:12:14 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 18:13:15 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-09 18:13:45 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-09 18:16:08 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-09 18:20:07 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2021-05-09 18:21:30 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 18:21:49 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 18:22:09 +0200fendor_fendor
2021-05-09 18:26:43 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-05-09 18:27:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 18:30:46 +0200jamm_(~jamm@unaffiliated/jamm)
2021-05-09 18:30:47 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-05-09 18:31:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 18:31:54 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-05-09 18:32:15 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 18:32:48 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-mkmevptkirixfume)
2021-05-09 18:34:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7)
2021-05-09 18:35:49 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds)
2021-05-09 18:36:00 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 18:36:20 +0200shiraeeshi(~shiraeesh@46.34.206.28) (Remote host closed the connection)
2021-05-09 18:37:00 +0200shiraeeshi(~shiraeesh@46.34.206.28)
2021-05-09 18:42:46 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-09 18:45:33 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 18:47:22 +0200usr25(~usr25@unaffiliated/usr25)
2021-05-09 18:48:41 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-09 18:51:06 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-05-09 18:53:16 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2021-05-09 18:54:53 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2)
2021-05-09 18:57:22 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-05-09 18:57:39 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-05-09 18:58:48 +0200kuribas(~user@ptr-25vy0i9zf0thjlfh30h.18120a2.ip6.access.telenet.be)
2021-05-09 18:59:17 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds)
2021-05-09 19:02:17 +0200shiraeeshi(~shiraeesh@46.34.206.28) (Ping timeout: 265 seconds)
2021-05-09 19:02:29 +0200electricityZZZZ(~electrici@157-131-250-97.fiber.dynamic.sonic.net)
2021-05-09 19:03:10 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-09 19:04:26 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 19:09:27 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:4d33:5c3c:fcf9:dcea) (Ping timeout: 260 seconds)
2021-05-09 19:10:26 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b)
2021-05-09 19:11:20 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-09 19:12:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-09 19:13:28 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-09 19:16:48 +0200shiraeeshi(~shiraeesh@46.34.206.28)
2021-05-09 19:17:32 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 19:17:50 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 19:19:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 19:21:26 +0200sphi(~sphi@unaffiliated/sphi) (Ping timeout: 240 seconds)
2021-05-09 19:22:46 +0200slaterr(~bc817c21@1582020-static.lxtnkya3.metronetinc.net)
2021-05-09 19:23:11 +0200Vortex12(8cb80538@140.184.5.56)
2021-05-09 19:24:05 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 19:24:09 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-09 19:24:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-09 19:24:26 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-09 19:24:49 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 19:25:06 +0200 <dmj`> kuribas: gdiff
2021-05-09 19:25:12 +0200 <dmj`> @package gdiff
2021-05-09 19:25:12 +0200 <lambdabot> https://hackage.haskell.org/package/gdiff
2021-05-09 19:25:37 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 19:25:50 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 19:26:03 +0200 <kuribas> dmj`: neat, but complicated type level stuff is not an option...
2021-05-09 19:27:01 +0200 <dmj`> kuribas: internally it might do type level stuff but I think the interface is simple iirc
2021-05-09 19:27:08 +0200guriya(a0ee4b35@unaffiliated/guriya)
2021-05-09 19:27:15 +0200Vortex12(8cb80538@140.184.5.56) (Client Quit)
2021-05-09 19:29:52 +0200Feuermagier(~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds)
2021-05-09 19:30:21 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-09 19:30:46 +0200knupfer(~Thunderbi@p200300eb4f3eab0020dc92fffef921d9.dip0.t-ipconnect.de)
2021-05-09 19:30:56 +0200heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net)
2021-05-09 19:31:37 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-05-09 19:31:53 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 260 seconds)
2021-05-09 19:36:23 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 19:36:42 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 19:37:04 +0200knupfer(~Thunderbi@p200300eb4f3eab0020dc92fffef921d9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-05-09 19:38:29 +0200knupfer(~Thunderbi@p200300eb4f3eab00b8fde2fffe7a1e5d.dip0.t-ipconnect.de)
2021-05-09 19:38:30 +0200knupfer(~Thunderbi@p200300eb4f3eab00b8fde2fffe7a1e5d.dip0.t-ipconnect.de) (Client Quit)
2021-05-09 19:41:12 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-05-09 19:42:55 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 19:43:00 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-05-09 19:43:33 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf)
2021-05-09 19:44:10 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 19:44:59 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-zlcfevtikjnrahqv) (Quit: Connection closed for inactivity)
2021-05-09 19:52:31 +0200jneira(4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Ping timeout: 252 seconds)
2021-05-09 19:54:01 +0200copypasteque(~copypaste@2001:41d0:8:b325::1) (Quit: WeeChat 2.9)
2021-05-09 19:54:09 +0200Tesseraction(~Tesseract@unaffiliated/tesseraction)
2021-05-09 19:55:31 +0200hexfive(~hexfive@50.35.83.177)
2021-05-09 19:57:45 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 19:58:46 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 19:58:55 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 20:00:00 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 20:00:59 +0200nineonine(~nineonine@S0106a0ff7073d5d5.vf.shawcable.net)
2021-05-09 20:01:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 20:04:06 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-09 20:04:22 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 20:05:44 +0200Guest48058(~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 20:05:58 +0200nineonine(~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Ping timeout: 268 seconds)
2021-05-09 20:07:19 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 20:08:11 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-09 20:08:41 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 20:08:46 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds)
2021-05-09 20:09:46 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-09 20:12:20 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 20:14:42 +0200rajivr(uid269651@gateway/web/irccloud.com/x-jmpqhvzulmqpvjss) (Quit: Connection closed for inactivity)
2021-05-09 20:15:36 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-05-09 20:16:14 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds)
2021-05-09 20:20:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 20:20:58 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 20:21:56 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 20:22:06 +0200LKoen_(~LKoen@156.168.9.109.rev.sfr.net)
2021-05-09 20:22:17 +0200stree(~stree@68.36.8.116)
2021-05-09 20:24:06 +0200LKoen(~LKoen@156.168.9.109.rev.sfr.net) (Ping timeout: 240 seconds)
2021-05-09 20:24:11 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 20:25:54 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-05-09 20:28:48 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 265 seconds)
2021-05-09 20:29:38 +0200Guest87676(~laudiacay@67.176.215.84)
2021-05-09 20:31:03 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:3f46:104f:9f93:5042)
2021-05-09 20:31:06 +0200incertia(~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 260 seconds)
2021-05-09 20:32:11 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-09 20:32:36 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-05-09 20:32:54 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-05-09 20:33:46 +0200ram19890(~ram@49.205.84.15) (Quit: Konversation terminated!)
2021-05-09 20:34:01 +0200Guest87676(~laudiacay@67.176.215.84) (Ping timeout: 260 seconds)
2021-05-09 20:35:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-05-09 20:36:34 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-05-09 20:37:39 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-09 20:39:50 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-05-09 20:41:16 +0200coot(~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-09 20:43:48 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2021-05-09 20:44:31 +0200renzhi(~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 276 seconds)
2021-05-09 20:45:28 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-05-09 20:45:50 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-09 20:46:16 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-09 20:49:46 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-09 20:51:42 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-05-09 20:52:02 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-05-09 20:54:53 +0200jgt_(~jgt@92-247-237-116.spectrumnet.bg)
2021-05-09 20:55:02 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-09 20:55:20 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 20:55:49 +0200hackage(mniip@haskell/bot/hackage) (Read error: Connection reset by peer)
2021-05-09 20:56:46 +0200Kaiepi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-05-09 20:57:14 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-05-09 20:57:22 +0200hackage(mniip@haskell/bot/hackage)
2021-05-09 20:57:55 +0200Paks(~paks@c-69-136-183-189.hsd1.il.comcast.net) (Read error: Connection reset by peer)
2021-05-09 21:00:14 +0200Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2021-05-09 21:05:10 +0200knupfer(~Thunderbi@200116b82bc00c0071d45d1406321d5a.dip.versatel-1u1.de)
2021-05-09 21:07:36 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-09 21:07:49 +0200juuandyy(~juuandyy@90.106.228.121)
2021-05-09 21:09:49 +0200pavonia(~user@unaffiliated/siracusa)
2021-05-09 21:10:32 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2021-05-09 21:11:19 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:cc13:5292:6bd3:1cef) (Ping timeout: 250 seconds)
2021-05-09 21:11:46 +0200kuribas(~user@ptr-25vy0i9zf0thjlfh30h.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-05-09 21:13:55 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-05-09 21:14:46 +0200dcoutts_(~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds)
2021-05-09 21:15:04 +0200knupfer(~Thunderbi@200116b82bc00c0071d45d1406321d5a.dip.versatel-1u1.de) (Ping timeout: 276 seconds)
2021-05-09 21:16:20 +0200miho(~miho@93-139-109-136.adsl.net.t-com.hr)
2021-05-09 21:16:33 +0200mihoGuest1972
2021-05-09 21:17:52 +0200Varis(~Tadas@unaffiliated/varis)
2021-05-09 21:17:58 +0200Guest1972(~miho@93-139-109-136.adsl.net.t-com.hr) (Client Quit)
2021-05-09 21:18:03 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:8509:1194:46cd:65cb)
2021-05-09 21:20:34 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 21:21:02 +0200bytheseaside(~bytheseas@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds)
2021-05-09 21:21:05 +0200Pickchea(~private@unaffiliated/pickchea)
2021-05-09 21:22:11 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-09 21:24:56 +0200Somf1c(~Somf1c@modemcable159.116-21-96.mc.videotron.ca)
2021-05-09 21:25:43 +0200unknown_develope(~unknown_d@93-139-109-136.adsl.net.t-com.hr)
2021-05-09 21:26:39 +0200ericsagn1(~ericsagne@2405:6580:0:5100:9d04:a396:248a:e13a) (Ping timeout: 260 seconds)
2021-05-09 21:27:27 +0200unknown_develope(~unknown_d@93-139-109-136.adsl.net.t-com.hr) (Client Quit)
2021-05-09 21:30:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-09 21:30:15 +0200lazyshrk(~lazyshrk@128.199.58.13) (Quit: ZNC 1.8.2 - https://znc.in)
2021-05-09 21:31:05 +0200lazyshrk(~lazyshrk@128.199.58.13)
2021-05-09 21:32:12 +0200 <heebo> can someone tell me what the .\/ operator does
2021-05-09 21:32:18 +0200 <heebo> is it type merge?
2021-05-09 21:34:20 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-05-09 21:35:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-05-09 21:38:07 +0200 <ski> @hoogle (.\/)
2021-05-09 21:38:08 +0200 <lambdabot> No results found
2021-05-09 21:38:24 +0200 <ski> it would probably help saying what package it's from
2021-05-09 21:38:42 +0200 <monochrom> Which package?
2021-05-09 21:39:15 +0200ericsagn1(~ericsagne@2405:6580:0:5100:44a9:4dc5:2863:2677)
2021-05-09 21:42:55 +0200ircbrowse_tom(~ircbrowse@64.225.78.177)
2021-05-09 21:42:56 +0200Server+CLnt
2021-05-09 21:44:20 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-05-09 21:50:14 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-05-09 21:50:47 +0200guriya(a0ee4b35@unaffiliated/guriya) (Quit: Connection closed)
2021-05-09 21:51:33 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de)
2021-05-09 21:52:16 +0200usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-05-09 21:54:25 +0200m_shiraeeshi(~shiraeesh@46.34.206.81)
2021-05-09 21:56:17 +0200shiraeeshi(~shiraeesh@46.34.206.28) (Ping timeout: 265 seconds)
2021-05-09 21:56:57 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-09 22:00:00 +0200Alleria(~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com)
2021-05-09 22:00:24 +0200AlleriaGuest47670
2021-05-09 22:01:35 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 22:02:56 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 22:04:12 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-09 22:04:37 +0200Guest47670(~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Ping timeout: 250 seconds)
2021-05-09 22:04:46 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-05-09 22:05:08 +0200thongpv87(~thongpv87@27.76.236.94)
2021-05-09 22:05:15 +0200notzmv(~zmv@unaffiliated/zmv)
2021-05-09 22:06:45 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-09 22:06:51 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8)
2021-05-09 22:07:14 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan)
2021-05-09 22:07:44 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 22:08:04 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 22:08:48 +0200petersen(~petersen@redhat/juhp)
2021-05-09 22:11:28 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-09 22:13:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 22:13:23 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 22:14:32 +0200cno(~christof@159.48.55.76) (Ping timeout: 240 seconds)
2021-05-09 22:14:56 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-09 22:15:07 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-09 22:18:03 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-09 22:18:39 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection)
2021-05-09 22:23:33 +0200ByronJohnson(~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds)
2021-05-09 22:23:55 +0200LKoen_(~LKoen@156.168.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-05-09 22:23:56 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed)
2021-05-09 22:24:06 +0200Tene(~tene@poipu/supporter/slacker/tene) (Ping timeout: 252 seconds)
2021-05-09 22:26:48 +0200acidjnk_new2(~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de)
2021-05-09 22:30:13 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-09 22:30:19 +0200ByronJohnson(~bairyn@unaffiliated/bob0)
2021-05-09 22:30:46 +0200heebo(~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-05-09 22:30:59 +0200Tene(~tene@mail.digitalkingdom.org)
2021-05-09 22:30:59 +0200Tene(~tene@mail.digitalkingdom.org) (Changing host)
2021-05-09 22:30:59 +0200Tene(~tene@poipu/supporter/slacker/tene)
2021-05-09 22:32:41 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-05-09 22:33:37 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection)
2021-05-09 22:33:49 +0200todda7(~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f)
2021-05-09 22:33:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-05-09 22:36:10 +0200juuandyy(~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-09 22:40:26 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-09 22:40:42 +0200Sgeo_(~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-09 22:41:09 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-09 22:41:22 +0200Sgeo(~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-05-09 22:43:54 +0200stree(~stree@68.36.8.116)
2021-05-09 22:47:37 +0200corvusdev(~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net)
2021-05-09 22:50:03 +0200ixlun(~matthew@109.249.184.235)
2021-05-09 22:50:59 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac)
2021-05-09 22:54:44 +0200kupi(uid212005@gateway/web/irccloud.com/x-lrhowubsvaodihlk)
2021-05-09 22:55:01 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-09 22:55:20 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 22:57:29 +0200nineonine(~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds)
2021-05-09 23:00:44 +0200kenran(~kenran@i59F67BEC.versanet.de) (Remote host closed the connection)
2021-05-09 23:02:51 +0200olle(~olle@i5E866616.versanet.de)
2021-05-09 23:04:49 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 23:05:27 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-09 23:06:20 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 23:07:27 +0200Guest96828(~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds)
2021-05-09 23:07:50 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 23:08:09 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 23:08:32 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 23:08:40 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-09 23:09:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-09 23:09:15 +0200Alleria(~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com)
2021-05-09 23:09:39 +0200AlleriaGuest67052
2021-05-09 23:09:50 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-09 23:10:12 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-09 23:10:21 +0200CrazyPython(~crazypyth@98.122.164.118) (Read error: Connection reset by peer)
2021-05-09 23:14:59 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-09 23:15:41 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-09 23:15:52 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds)
2021-05-09 23:15:54 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-05-09 23:17:17 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-05-09 23:18:08 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl)
2021-05-09 23:19:49 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-09 23:20:12 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-05-09 23:21:24 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996) (Quit: Leaving)
2021-05-09 23:23:02 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-09 23:23:21 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 23:25:21 +0200son0p(~ff@181.136.122.143)
2021-05-09 23:27:38 +0200corvusdev(~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-09 23:28:05 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-05-09 23:28:26 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-05-09 23:29:16 +0200corvusdev(~corvusdev@50.212.103.45)
2021-05-09 23:29:43 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-09 23:31:41 +0200nut(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-09 23:32:13 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-05-09 23:32:58 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-05-09 23:34:32 +0200cdsmith(~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net)
2021-05-09 23:36:40 +0200jump(~jump@cpe-67-247-15-155.nyc.res.rr.com)
2021-05-09 23:36:45 +0200mikoto-chan(~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-09 23:39:48 +0200mounty(~mounty@236.216.214.218.sta.wbroadband.net.au)
2021-05-09 23:42:36 +0200fendor(~fendor@178.165.129.14.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-09 23:43:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-09 23:43:28 +0200usr25(~usr25@unaffiliated/usr25)
2021-05-09 23:46:56 +0200corvusdev(~corvusdev@50.212.103.45) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-09 23:49:27 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-09 23:51:39 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-05-09 23:55:01 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-05-09 23:55:20 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr)
2021-05-09 23:55:26 +0200malumore(~malumore@151.62.119.114) (Ping timeout: 240 seconds)
2021-05-09 23:55:33 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-09 23:58:20 +0200olle(~olle@i5E866616.versanet.de) (Ping timeout: 252 seconds)