2021/04/17

2021-04-17 00:00:33 +0200Rudd0(~Rudd0@185.189.115.103)
2021-04-17 00:00:33 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 00:06:12 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-17 00:06:46 +0200 <xerox_> gloss is pretty decent too
2021-04-17 00:07:20 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer)
2021-04-17 00:07:36 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-17 00:09:06 +0200 <zzz> i am looking at both. thanks
2021-04-17 00:14:29 +0200edge563(~edge563@gateway/tor-sasl/edge563) (Quit: edge563)
2021-04-17 00:17:13 +0200nvmd(~nvmd@177.30.111.232) (Quit: Later nerds.)
2021-04-17 00:17:34 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-17 00:18:02 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-04-17 00:18:52 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-17 00:20:18 +0200conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-17 00:25:21 +0200knupfer(~Thunderbi@200116b82be894008dbdccb75603bf46.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
2021-04-17 00:26:52 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-17 00:27:34 +0200 <infinisil> zzz: I've done this previously with gloss too, worked pretty well
2021-04-17 00:27:50 +0200 <infinisil> Though it is rather on the basic side, I don't think I've seen an option for antialiasing, and font rendering is super primitive
2021-04-17 00:27:51 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-17 00:29:35 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-17 00:30:56 +0200malumore(~malumore@151.62.123.125) (Ping timeout: 260 seconds)
2021-04-17 00:32:09 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-17 00:32:50 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-04-17 00:32:56 +0200carlomagno1(~cararell@148.87.23.8) (Quit: Leaving.)
2021-04-17 00:34:53 +0200michalz(~user@185.246.204.56) ("Changed major mode")
2021-04-17 00:35:15 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection)
2021-04-17 00:35:25 +0200conal(~conal@64.71.133.70)
2021-04-17 00:36:29 +0200 <zzz> cabal is giving me a fdLock error and I found this; https://github.com/haskell/cabal/issues/7313 but I have no idea what I'm supposed to do.
2021-04-17 00:38:02 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-04-17 00:38:08 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-04-17 00:38:31 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-04-17 00:39:36 +0200 <monochrom> If you don't mind using cabal-install 3.2.0.0 for the moment, perhaps it doesn't have this issue.
2021-04-17 00:40:44 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 246 seconds)
2021-04-17 00:42:18 +0200 <zzz> seems to be working, thanks
2021-04-17 00:42:37 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-17 00:42:40 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2021-04-17 00:42:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 00:43:06 +0200jlode21(54d781ab@84.215.129.171) (Quit: jlode21)
2021-04-17 00:44:03 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:7969:a01b:88d1:8650) (Quit: Leaving)
2021-04-17 00:47:06 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection)
2021-04-17 00:47:30 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net)
2021-04-17 00:48:29 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-17 00:48:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 00:50:31 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-17 00:52:40 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-04-17 00:54:08 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 00:55:40 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds)
2021-04-17 00:57:31 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-04-17 00:58:27 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-17 01:00:13 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-qepxyqcskivgrzsl) (Quit: Connection closed for inactivity)
2021-04-17 01:02:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-17 01:02:38 +0200hiredman(~hiredman@volyova.ec2.thelastcitadel.com) (Quit: leaving)
2021-04-17 01:02:47 +0200Sornaensis(~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 246 seconds)
2021-04-17 01:02:52 +0200hiredman(~hiredman@138.68.1.198)
2021-04-17 01:04:28 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-17 01:04:32 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2021-04-17 01:04:43 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:65a5:9c8e:1bdd:dea9)
2021-04-17 01:05:41 +0200usr25(~usr25@unaffiliated/usr25) ("Leaving")
2021-04-17 01:07:28 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-17 01:10:12 +0200jao-(~jao@pdpc/supporter/professional/jao)
2021-04-17 01:10:51 +0200flow(~none@salem.informatik.uni-erlangen.de) (Ping timeout: 260 seconds)
2021-04-17 01:11:26 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-17 01:12:11 +0200flow(~none@salem.informatik.uni-erlangen.de)
2021-04-17 01:12:59 +0200cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) ()
2021-04-17 01:13:15 +0200cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de)
2021-04-17 01:14:26 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-17 01:16:39 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-17 01:17:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-17 01:17:52 +0200vicfred_(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-17 01:22:52 +0200kristijonas_(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-17 01:24:24 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-17 01:25:57 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 01:31:19 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2021-04-17 01:31:29 +0200son0p(~ff@181.136.122.143) (Quit: Using Circe, the loveliest of all IRC clients)
2021-04-17 01:32:03 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer)
2021-04-17 01:32:52 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-17 01:35:11 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2021-04-17 01:37:11 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 268 seconds)
2021-04-17 01:38:38 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2021-04-17 01:40:02 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2021-04-17 01:40:52 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 01:40:57 +0200kiweun(~kiweun@2607:fea8:2a62:9600:cd10:8f6:88a1:a322) (Remote host closed the connection)
2021-04-17 01:43:09 +0200cyphase(~cyphase@unaffiliated/cyphase)
2021-04-17 01:47:13 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-17 01:47:19 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-17 01:47:55 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-17 01:47:59 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-17 01:48:09 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 01:48:39 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-04-17 01:48:58 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-17 01:53:25 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-17 01:54:13 +0200dpl_(~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
2021-04-17 01:56:19 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-17 01:56:44 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 02:05:39 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-17 02:06:13 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 02:10:12 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-04-17 02:10:13 +0200pavonia(~user@unaffiliated/siracusa) (Read error: Connection reset by peer)
2021-04-17 02:10:30 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection)
2021-04-17 02:12:03 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-04-17 02:12:59 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-04-17 02:14:11 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds)
2021-04-17 02:15:39 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-17 02:17:01 +0200jao-(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-04-17 02:17:10 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection)
2021-04-17 02:18:49 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-17 02:19:06 +0200vnz(~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in)
2021-04-17 02:19:48 +0200nineonin_(~nineonine@50.216.62.2) (Remote host closed the connection)
2021-04-17 02:20:14 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-17 02:20:26 +0200nineonine(~nineonine@50.216.62.2)
2021-04-17 02:20:29 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds)
2021-04-17 02:20:39 +0200conal(~conal@64.71.133.70)
2021-04-17 02:21:00 +0200conal(~conal@64.71.133.70) (Client Quit)
2021-04-17 02:21:04 +0200vnz(~vnz@2001:bc8:604:94f::1)
2021-04-17 02:21:05 +0200vnz(~vnz@2001:bc8:604:94f::1) (Changing host)
2021-04-17 02:21:05 +0200vnz(~vnz@unaffiliated/vnz)
2021-04-17 02:23:26 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
2021-04-17 02:24:49 +0200conal(~conal@64.71.133.70)
2021-04-17 02:27:08 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-04-17 02:27:41 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-17 02:31:35 +0200aVikingTrex(~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds)
2021-04-17 02:33:31 +0200aVikingTrex(~aVikingTr@120.154.33.56)
2021-04-17 02:34:50 +0200Sgeo_(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-17 02:35:12 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-17 02:36:29 +0200aVikingTrex(~aVikingTr@120.154.33.56) (Client Quit)
2021-04-17 02:38:20 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 02:41:41 +0200eacameron(uid256985@gateway/web/irccloud.com/x-mgmmticzouvypcht) (Quit: Connection closed for inactivity)
2021-04-17 02:43:32 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds)
2021-04-17 02:45:54 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 02:47:45 +0200alx741(~alx741@181.196.68.193) (Quit: alx741)
2021-04-17 02:50:14 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-17 02:53:58 +0200sayola(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-04-17 02:54:00 +0200alx741(~alx741@181.196.68.193)
2021-04-17 02:54:26 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-04-17 02:54:37 +0200jijimofo(~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving)
2021-04-17 02:55:38 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-17 03:02:47 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-04-17 03:03:05 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-17 03:03:52 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-04-17 03:04:09 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-17 03:06:39 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-17 03:06:54 +0200CrazyPython(~crazypyth@98.122.164.118) ()
2021-04-17 03:07:16 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-04-17 03:07:49 +0200conal(~conal@64.71.133.70)
2021-04-17 03:10:53 +0200coeus(~coeus@p200300d027204600c2a89676bae3842b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-04-17 03:12:15 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 03:12:44 +0200conal(~conal@64.71.133.70) (Quit: Textual IRC Client: www.textualapp.com)
2021-04-17 03:13:23 +0200pavonia(~user@unaffiliated/siracusa) (Ping timeout: 268 seconds)
2021-04-17 03:13:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 03:14:26 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 03:15:02 +0200_xor(~xor@74.215.46.133)
2021-04-17 03:15:22 +0200conal(~conal@64.71.133.70)
2021-04-17 03:15:59 +0200_xor(~xor@74.215.46.133) (Remote host closed the connection)
2021-04-17 03:16:37 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:65a5:9c8e:1bdd:dea9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 03:16:53 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 03:18:43 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 260 seconds)
2021-04-17 03:20:01 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-17 03:20:47 +0200_xor(~xor@74.215.46.133)
2021-04-17 03:21:24 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-04-17 03:23:38 +0200coeus(~coeus@p200300d0274dc6000de71f4ee41c5fb3.dip0.t-ipconnect.de)
2021-04-17 03:23:38 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net)
2021-04-17 03:25:50 +0200xff0x(~xff0x@2001:1a81:526f:3a00:9b6e:f4dc:2aa2:1178) (Ping timeout: 258 seconds)
2021-04-17 03:26:12 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:f987:3b5e:dc3c:8ca5)
2021-04-17 03:27:20 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-17 03:27:46 +0200xff0x(~xff0x@2001:1a81:5285:4800:b119:894a:c62a:5c3d)
2021-04-17 03:33:52 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-04-17 03:38:05 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-04-17 03:38:25 +0200sayola(~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-04-17 03:39:30 +0200conal(~conal@64.71.133.70)
2021-04-17 03:41:53 +0200rajivr(uid269651@gateway/web/irccloud.com/x-mungwgamlhtkwcqm)
2021-04-17 03:42:39 +0200kiweun(~kiweun@2607:fea8:2a62:9600:1104:d7fd:4f6b:6ef0)
2021-04-17 03:43:11 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-17 03:44:11 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2021-04-17 03:46:55 +0200kiweun(~kiweun@2607:fea8:2a62:9600:1104:d7fd:4f6b:6ef0) (Ping timeout: 258 seconds)
2021-04-17 03:47:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-17 03:49:32 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-04-17 03:50:58 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-17 03:51:12 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 03:51:18 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection)
2021-04-17 03:51:25 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-17 03:51:29 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 03:51:56 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 03:56:06 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-17 03:56:27 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 03:57:38 +0200zq(~zq@xorshift.org)
2021-04-17 03:57:42 +0200kiweun(~kiweun@2607:fea8:2a62:9600:5118:3d31:e060:1aa9)
2021-04-17 03:57:54 +0200 <zq> where is `instance Ord String` defined?
2021-04-17 03:58:31 +0200 <zq> and in general, how to locate instance definition for some type?
2021-04-17 03:58:52 +0200 <glguy> It's not, but there's an instance for [a]
2021-04-17 03:59:07 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-17 03:59:18 +0200 <glguy> Ghci's :info command helps
2021-04-17 03:59:27 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 03:59:43 +0200 <zq> actually, disregard
2021-04-17 03:59:47 +0200 <zq> glguy: right, thanks
2021-04-17 03:59:54 +0200 <zq> unfortunately https://hackage.haskell.org/package/base-4.15.0.0/ghc-prim-0.7.0/src/GHC-Classes.html#compare 404s
2021-04-17 04:00:06 +0200gzj(~gzj@unaffiliated/gzj) (Read error: Connection reset by peer)
2021-04-17 04:00:26 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 04:00:38 +0200 <zq> disregard, found it
2021-04-17 04:00:39 +0200 <glguy> Why are you looking at that one?
2021-04-17 04:00:53 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2021-04-17 04:01:51 +0200 <zq> glguy: looking at that hackage link or Ord [Char] in general?
2021-04-17 04:02:00 +0200 <glguy> That link
2021-04-17 04:02:23 +0200 <zq> i figured the hackage page for Ord might have some clues
2021-04-17 04:02:27 +0200 <c_wraith> I mean, I'm pretty curious why you're looking at Ord [a] in general, too
2021-04-17 04:03:23 +0200 <zq> c_wraith: because i wanted to know if `compare [] (_:_) == LT` in general, ie could there be an Ord a for which GT makes more sense instead
2021-04-17 04:03:44 +0200 <c_wraith> Doesn't the instance head tell you that?
2021-04-17 04:04:20 +0200 <zq> i mean i got my answer from the instance definition
2021-04-17 04:04:28 +0200 <zq> https://github.com/ghc/ghc/blob/master/libraries/ghc-prim/GHC/Classes.hs#L393
2021-04-17 04:04:31 +0200 <c_wraith> But you didn't even need to. the docs tell you explicitly
2021-04-17 04:04:32 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-jlksuktjqlwcmaao)
2021-04-17 04:04:52 +0200 <c_wraith> "instance Ord a => Ord [a]" is enough to tell you that
2021-04-17 04:05:21 +0200 <zq> ...i am slow and still don't follow
2021-04-17 04:06:07 +0200 <zq> i'm not seeing what within the hackage docs for Ord would indicate this
2021-04-17 04:06:25 +0200 <c_wraith> The instance head is sufficient.
2021-04-17 04:06:45 +0200 <c_wraith> You know that the only way the element type can be used is via the Ord instance.
2021-04-17 04:06:59 +0200 <c_wraith> Which is far from enough to distinguish types that it's comparing
2021-04-17 04:07:20 +0200 <c_wraith> So the equality algorithm must not use that information
2021-04-17 04:08:44 +0200 <zq> what's to stop someone from defining `instance Ord a => Ord (Evil [a]) where { compare (Evil []) (Evil (_:_)) = GT; ... }` just for fun?
2021-04-17 04:09:02 +0200 <c_wraith> Nothing, but that's not an instance defined for []
2021-04-17 04:09:06 +0200 <zq> that deoesn't really violate the Ord laws
2021-04-17 04:09:18 +0200cyphase(~cyphase@unaffiliated/cyphase)
2021-04-17 04:10:04 +0200 <c_wraith> in Haskell, types are *incredibly* powerful documentation. type variables in particular, tell you a lot about what implementation can't be doing.
2021-04-17 04:10:12 +0200 <zq> i was using Evil as a newtype to illustrate that the actual definition for compare :: Ord a => [a] -> [a] -> Ordering could have just as well be defined differently
2021-04-17 04:10:33 +0200 <c_wraith> It could be defined differently than it is *for all element types*
2021-04-17 04:10:44 +0200 <c_wraith> It can't be defined differently than it is for *some element type*
2021-04-17 04:10:44 +0200 <zq> what's your point?
2021-04-17 04:11:16 +0200 <c_wraith> My point is that the type already told you that checking at any one type told you its behavior for all types
2021-04-17 04:11:26 +0200 <zq> > compare "a" "abcd" -- do you mean to say that this result alone is enough to know the definition of Ord [a]?
2021-04-17 04:11:28 +0200 <lambdabot> LT
2021-04-17 04:11:51 +0200 <c_wraith> No, I also need to see instance Ord a => Ord [a]
2021-04-17 04:12:00 +0200 <c_wraith> those two pieces of information are sufficient
2021-04-17 04:12:15 +0200 <zq> sure, but that misses the point of my original question
2021-04-17 04:12:27 +0200 <zq> "ie could there be an Ord a for which GT makes more sense instead"
2021-04-17 04:12:49 +0200 <zq> what if i didn't want a lexicographic sort
2021-04-17 04:12:57 +0200 <c_wraith> then you need to use a different type
2021-04-17 04:13:16 +0200 <c_wraith> a different type can do different things
2021-04-17 04:13:43 +0200 <zq> actually, the saner thing to do would be to not even use `compare` for that
2021-04-17 04:15:53 +0200 <zq> in any case, the definition for Ord [a] seems arbitrary
2021-04-17 04:18:43 +0200 <c_wraith> in some sense, yes. in another sense, it's the only definition that gives strings the expected ordering. Of course, that's just more evidence type String = [Char] is bad
2021-04-17 04:19:10 +0200 <wz1000> Has anyone noticed that System.IO.MMap.mmapFileByteStringLazy is horribly broken?
2021-04-17 04:19:32 +0200 <wz1000> try reading a file greater than 500k and printing it out
2021-04-17 04:19:36 +0200 <c_wraith> I don't think anything with that name can be not broken
2021-04-17 04:19:51 +0200 <c_wraith> memory-mapped IO is a bad fit for immutability
2021-04-17 04:20:35 +0200 <wz1000> ByteStrings are just mutable buffers we pretend are immutable
2021-04-17 04:20:53 +0200 <c_wraith> No, we don't just pretend. we tell GHC
2021-04-17 04:21:09 +0200 <c_wraith> and when you lie to GHC, it's your fault when things break
2021-04-17 04:21:20 +0200 <wz1000> anyway, can someone test this out on their machine?
2021-04-17 04:22:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-17 04:22:25 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 04:22:34 +0200 <wz1000> I'm pretty sure the problem is not in the bytestring interface
2021-04-17 04:23:01 +0200 <wz1000> its that the pointers returned by mmapFileForeignPtrLazyChunk are bogus
2021-04-17 04:24:21 +0200 <wz1000> the first chunk seems to be fine, the rest are random pointers into memory
2021-04-17 04:28:19 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-17 04:30:33 +0200 <c_wraith> that use of castIntToPtr looks like undefined behavior
2021-04-17 04:32:23 +0200 <c_wraith> yeah, it's passing it to C code. Casting back the other direction in the C code is definitely UB
2021-04-17 04:32:38 +0200Tario(~Tario@201.192.165.173)
2021-04-17 04:37:00 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-17 04:43:55 +0200theDon(~td@94.134.91.133) (Ping timeout: 252 seconds)
2021-04-17 04:45:29 +0200theDon(~td@muedsl-82-207-238-217.citykom.de)
2021-04-17 04:48:18 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-17 04:48:18 +0200finn_elijaGuest98695
2021-04-17 04:48:18 +0200FinnElijafinn_elija
2021-04-17 04:50:56 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-hrpqjuatvrzojcmn) ()
2021-04-17 04:51:33 +0200Guest98695(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-17 04:52:27 +0200drbean_(~drbean@TC210-63-209-50.static.apol.com.tw)
2021-04-17 04:54:31 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 268 seconds)
2021-04-17 04:57:14 +0200cyphase(~cyphase@unaffiliated/cyphase)
2021-04-17 05:00:02 +0200haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-04-17 05:01:20 +0200haasn(~nand@mpv/developer/haasn)
2021-04-17 05:02:53 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds)
2021-04-17 05:04:20 +0200wickedjargon(~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1)
2021-04-17 05:06:28 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-17 05:11:23 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-17 05:16:11 +0200 <jaykru> does anybody here have experience with crazy linker errors on arch linux? i've already enabled dynamic linking in my cabal config as suggested by the arch wiki. here's the full error i'm getting when building my project: https://commie.club/m/anNH
2021-04-17 05:16:45 +0200 <jaykru> i have sdl2 and sdl2_gfx installed
2021-04-17 05:20:02 +0200 <sclv> my recommendation is always not to use arch’s ghc and cabal and just install a clean normal toolchain with ghcup
2021-04-17 05:20:04 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-17 05:20:48 +0200 <monochrom> jaykru: https://wiki.archlinux.org/index.php/Haskell#Problems_with_linking
2021-04-17 05:20:59 +0200 <monochrom> Oh nevermind, you already know.
2021-04-17 05:21:18 +0200 <monochrom> Yeah please use ghcup and discard archlinux's packages.
2021-04-17 05:24:28 +0200dyeplexer(~lol@unaffiliated/terpin)
2021-04-17 05:25:42 +0200AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:2d2a:c15d:f996:c56f) (Quit: WeeChat 2.9)
2021-04-17 05:31:32 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-17 05:31:46 +0200horatiohb(~horatiohb@104.236.205.187) (Ping timeout: 252 seconds)
2021-04-17 05:33:22 +0200_xor(~xor@74.215.46.133) (Ping timeout: 268 seconds)
2021-04-17 05:33:52 +0200alx741(~alx741@181.196.68.193) (Quit: alx741)
2021-04-17 05:37:44 +0200mathepauker(~mathepauk@195.140.213.38)
2021-04-17 05:41:01 +0200_xor(~xor@74.215.46.133)
2021-04-17 05:42:03 +0200fiedlr(~fiedlr@83.148.33.254) (Read error: Connection reset by peer)
2021-04-17 05:44:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 05:48:10 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:f987:3b5e:dc3c:8ca5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 05:49:00 +0200nineonin_(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 05:53:06 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 268 seconds)
2021-04-17 05:56:32 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:65d3:1eef:3f2b:a3fb)
2021-04-17 06:03:30 +0200kiweun(~kiweun@2607:fea8:2a62:9600:5118:3d31:e060:1aa9) (Remote host closed the connection)
2021-04-17 06:04:12 +0200Rudd0(~Rudd0@185.189.115.103)
2021-04-17 06:09:38 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-04-17 06:13:48 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-jlksuktjqlwcmaao) (Quit: Connection closed for inactivity)
2021-04-17 06:13:54 +0200zaquest(~notzaques@5.128.210.178)
2021-04-17 06:14:02 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-17 06:16:18 +0200ep1ctetus(~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-17 06:16:53 +0200cercerilla(~user@024-178-254-009.res.spectrum.com)
2021-04-17 06:18:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-17 06:18:08 +0200rprije(~rprije@59-102-63-15.tpgi.com.au)
2021-04-17 06:18:52 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds)
2021-04-17 06:23:28 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds)
2021-04-17 06:32:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-17 06:33:25 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-04-17 06:36:37 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-kijutxhapbomxwul) (Quit: Connection closed for inactivity)
2021-04-17 06:37:40 +0200hiredman(~hiredman@138.68.1.198) (Remote host closed the connection)
2021-04-17 06:37:42 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 06:37:44 +0200gzj(~gzj@unaffiliated/gzj) (Ping timeout: 252 seconds)
2021-04-17 06:38:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 06:40:33 +0200kiweun(~kiweun@2607:fea8:2a62:9600:a892:50b3:cf86:a8f6)
2021-04-17 06:42:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-04-17 06:43:36 +0200kiweun(~kiweun@2607:fea8:2a62:9600:a892:50b3:cf86:a8f6) (Remote host closed the connection)
2021-04-17 06:44:49 +0200kiweun(~kiweun@2607:fea8:2a62:9600:2da7:716d:8019:f160)
2021-04-17 06:48:28 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-17 06:50:21 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-04-17 06:51:50 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-17 06:52:10 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-17 06:54:05 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-04-17 06:56:18 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-04-17 06:56:24 +0200cercerilla(~user@024-178-254-009.res.spectrum.com) ("ERC (IRC client for Emacs 26.3)")
2021-04-17 06:57:02 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 06:57:54 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-dxinchaxzoacmjim)
2021-04-17 06:59:11 +0200 <koz_> I would third that suggestion.
2021-04-17 06:59:15 +0200 <koz_> Just use ghcup.
2021-04-17 07:00:07 +0200v01d4lph4(~v01d4lph4@122.160.65.250)
2021-04-17 07:01:25 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-04-17 07:02:02 +0200darkon(~darkon@90.212.77.86) (Ping timeout: 265 seconds)
2021-04-17 07:04:26 +0200v01d4lph4(~v01d4lph4@122.160.65.250) (Ping timeout: 240 seconds)
2021-04-17 07:09:23 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com)
2021-04-17 07:10:15 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 07:10:17 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 246 seconds)
2021-04-17 07:11:54 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:65d3:1eef:3f2b:a3fb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 07:13:56 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr)
2021-04-17 07:14:10 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-17 07:15:37 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-17 07:20:10 +0200barzo(~sosal@188.119.23.191)
2021-04-17 07:22:45 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar)
2021-04-17 07:23:19 +0200gaff(~user@49.207.224.38)
2021-04-17 07:23:45 +0200 <gaff> is cabal integration with hpc broken in version 3.4?
2021-04-17 07:24:03 +0200nilof(~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer)
2021-04-17 07:24:31 +0200stefan-_(~cri@42dots.de) (Ping timeout: 245 seconds)
2021-04-17 07:28:37 +0200stefan-_(~cri@42dots.de)
2021-04-17 07:28:48 +0200geiger(~geiger@90.212.77.86)
2021-04-17 07:30:40 +0200gaff(~user@49.207.224.38) (Quit: ERC (IRC client for Emacs 27.1))
2021-04-17 07:33:43 +0200 <jaykru> thanks for the suggestions folks!
2021-04-17 07:34:14 +0200freeman42x1(~40726@188.25.151.79)
2021-04-17 07:34:15 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-17 07:34:20 +0200 <jaykru> i'll give ghcup a try
2021-04-17 07:34:27 +0200freeman42x(~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) (Ping timeout: 260 seconds)
2021-04-17 07:36:41 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-04-17 07:37:31 +0200landonf(landonf@mac68k.info)
2021-04-17 07:38:32 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-04-17 07:40:44 +0200conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-04-17 07:44:54 +0200conal(~conal@64.71.133.70)
2021-04-17 07:51:14 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2021-04-17 07:53:26 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-04-17 07:53:37 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 07:53:44 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-04-17 07:53:55 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 07:54:32 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-04-17 07:54:37 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-04-17 07:55:26 +0200mathepauker(~mathepauk@195.140.213.38) (Remote host closed the connection)
2021-04-17 07:58:01 +0200 <jaykru> turns out my problem wasn't necessarily arch's fault, I think the packaged version of sdl_gfx is just too new for the haskell bindings
2021-04-17 07:59:57 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-17 08:00:06 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net)
2021-04-17 08:03:44 +0200wickedjargon(~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1) (Remote host closed the connection)
2021-04-17 08:04:10 +0200wickedjargon(~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1)
2021-04-17 08:09:02 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-17 08:13:45 +0200barzo(~sosal@188.119.23.191) (Quit: Leaving)
2021-04-17 08:13:57 +0200jaykru(~user@unaffiliated/jaykru) (Remote host closed the connection)
2021-04-17 08:14:04 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 08:14:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 08:15:40 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-17 08:16:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 08:17:07 +0200wonko7(~wonko7@62.115.229.50)
2021-04-17 08:21:28 +0200wjp(~wjp@217.146.82.202)
2021-04-17 08:21:43 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-17 08:23:22 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-17 08:24:00 +0200lemmih_(~lemmih@2406:3003:2072:44:2735:f443:3ea4:35ea) (Quit: Leaving)
2021-04-17 08:26:34 +0200hiredman(~hiredman@138.68.1.198)
2021-04-17 08:26:56 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 260 seconds)
2021-04-17 08:29:28 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-17 08:30:40 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 08:34:20 +0200roconnor(~roconnor@host-45-58-193-19.dyn.295.ca) (Ping timeout: 252 seconds)
2021-04-17 08:34:23 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-17 08:34:43 +0200syntactic_sugar(~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar)
2021-04-17 08:34:52 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 08:40:35 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-04-17 08:43:07 +0200nineonin_(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection)
2021-04-17 08:44:04 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 08:44:26 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds)
2021-04-17 08:48:27 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 250 seconds)
2021-04-17 08:49:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-17 08:52:03 +0200dave_uy5(~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2021-04-17 08:55:08 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-17 08:55:09 +0200dave_uy5(~david@108.61.193.26)
2021-04-17 08:55:28 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 08:57:37 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-04-17 08:58:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 09:00:32 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 246 seconds)
2021-04-17 09:03:22 +0200wonko7(~wonko7@62.115.229.50)
2021-04-17 09:03:27 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 09:03:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-17 09:07:04 +0200raichoo(~raichoo@dslb-178-009-066-078.178.009.pools.vodafone-ip.de)
2021-04-17 09:08:03 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-17 09:09:37 +0200marble_visions(~user@68.183.79.8) (Quit: bye)
2021-04-17 09:10:19 +0200ddellacosta(~ddellacos@86.106.143.10)
2021-04-17 09:10:44 +0200marble_visions(~user@68.183.79.8)
2021-04-17 09:13:18 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-17 09:14:41 +0200ddellacosta(~ddellacos@86.106.143.10) (Ping timeout: 240 seconds)
2021-04-17 09:14:50 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131)
2021-04-17 09:14:56 +0200Sgeo_(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-17 09:17:43 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-17 09:19:15 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 09:20:02 +0200joncol(~jco@c83-248-173-38.bredband.comhem.se)
2021-04-17 09:20:53 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection)
2021-04-17 09:20:53 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-17 09:21:29 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-17 09:23:10 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2021-04-17 09:23:39 +0200joncol(~jco@c83-248-173-38.bredband.comhem.se) (Client Quit)
2021-04-17 09:23:39 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131) (Ping timeout: 265 seconds)
2021-04-17 09:23:48 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-dxinchaxzoacmjim) (Quit: Connection closed for inactivity)
2021-04-17 09:25:43 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 250 seconds)
2021-04-17 09:29:35 +0200__monty__(~toonn@unaffiliated/toonn)
2021-04-17 09:33:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-04-17 09:33:10 +0200rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2021-04-17 09:33:19 +0200supercoven(~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi)
2021-04-17 09:33:20 +0200supercoven(~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-17 09:33:33 +0200supercoven(~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi)
2021-04-17 09:34:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-17 09:34:33 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-04-17 09:35:03 +0200Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-17 09:35:24 +0200Kaeipi(~Kaiepi@47.54.252.148)
2021-04-17 09:37:24 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-04-17 09:37:54 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-04-17 09:39:53 +0200nyd(~nyd@unaffiliated/elysian) (Read error: Connection reset by peer)
2021-04-17 09:40:46 +0200knupfer(~Thunderbi@200116b82b837300388947fffebc31b8.dip.versatel-1u1.de)
2021-04-17 09:42:03 +0200knupfer(~Thunderbi@200116b82b837300388947fffebc31b8.dip.versatel-1u1.de) (Remote host closed the connection)
2021-04-17 09:42:16 +0200ddellacosta(~ddellacos@86.106.143.131)
2021-04-17 09:42:31 +0200jcarpenter2(~rofl@96.78.87.197)
2021-04-17 09:45:13 +0200myShoggoth(~myShoggot@75.164.11.109) (Ping timeout: 240 seconds)
2021-04-17 09:45:13 +0200jrqc(~rofl@96.78.87.197) (Ping timeout: 240 seconds)
2021-04-17 09:45:40 +0200myShoggoth(~myShoggot@75.164.11.109)
2021-04-17 09:46:32 +0200ddellacosta(~ddellacos@86.106.143.131) (Ping timeout: 240 seconds)
2021-04-17 09:46:33 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood)
2021-04-17 09:46:57 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-17 09:47:57 +0200fiedlr(~fiedlr@195.91.16.37)
2021-04-17 09:52:21 +0200hiroaki_(~hiroaki@2a02:908:4b18:8c40:38ad:46e5:7ba6:a020)
2021-04-17 09:52:28 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-17 09:52:33 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds)
2021-04-17 09:53:02 +0200cub3s_(bifunc2@gateway/vpn/protonvpn/bifunc2)
2021-04-17 09:54:16 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-17 09:55:05 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-17 09:55:15 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 09:55:25 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 09:57:16 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection)
2021-04-17 09:57:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 09:58:06 +0200zmagii(~zmagii@unaffiliated/zmagii) (Remote host closed the connection)
2021-04-17 09:58:13 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net)
2021-04-17 09:59:33 +0200zmagii(~zmagii@unaffiliated/zmagii)
2021-04-17 10:01:16 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 252 seconds)
2021-04-17 10:01:45 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131)
2021-04-17 10:02:55 +0200nicholasbulka(~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2021-04-17 10:03:50 +0200gitgood(~gitgood@80-44-9-246.dynamic.dsl.as9105.com)
2021-04-17 10:05:25 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-04-17 10:06:26 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-17 10:07:19 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-17 10:09:57 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-17 10:12:33 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 10:21:04 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-17 10:22:25 +0200ddellacosta(~ddellacos@86.106.143.66)
2021-04-17 10:24:11 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-04-17 10:25:49 +0200DTZUZU_(~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-04-17 10:27:06 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-17 10:27:09 +0200ddellacosta(~ddellacos@86.106.143.66) (Ping timeout: 260 seconds)
2021-04-17 10:27:34 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-17 10:29:06 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-17 10:29:45 +0200fendor(~fendor@77.119.129.72.wireless.dyn.drei.com)
2021-04-17 10:30:21 +0200datajerk(~datajerk@sense.net) (Ping timeout: 265 seconds)
2021-04-17 10:30:35 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-17 10:32:32 +0200datajerk(~datajerk@sense.net)
2021-04-17 10:32:50 +0200jhuizy(~jhuizy@static.241.188.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds))
2021-04-17 10:33:09 +0200jhuizy(~jhuizy@static.241.188.216.95.clients.your-server.de)
2021-04-17 10:33:12 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds)
2021-04-17 10:33:48 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de)
2021-04-17 10:37:32 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-04-17 10:37:39 +0200SquidDev5(~SquidDev@autoclave.squiddev.cc)
2021-04-17 10:37:48 +0200HannaM(~quassel@p54849510.dip0.t-ipconnect.de)
2021-04-17 10:38:27 +0200SquidDev(~SquidDev@autoclave.squiddev.cc) (Read error: Connection reset by peer)
2021-04-17 10:38:28 +0200SquidDev5SquidDev
2021-04-17 10:39:46 +0200rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2021-04-17 10:40:06 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 252 seconds)
2021-04-17 10:40:12 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-17 10:40:44 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-04-17 10:43:23 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-17 10:48:01 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 10:53:23 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-17 10:54:23 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-17 10:55:36 +0200gentauro(~gentauro@unaffiliated/gentauro)
2021-04-17 10:58:00 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 10:58:54 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-17 10:59:33 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 11:02:12 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 11:02:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-17 11:02:52 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-17 11:04:00 +0200myShoggoth(~myShoggot@75.164.11.109) (Read error: Connection reset by peer)
2021-04-17 11:06:36 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 11:09:06 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-17 11:14:42 +0200drbean_(~drbean@TC210-63-209-50.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-17 11:18:16 +0200cafce25(~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Quit: leaving)
2021-04-17 11:19:01 +0200malumore(~malumore@151.62.116.94)
2021-04-17 11:23:27 +0200hidedagger(~nate@unaffiliated/hidedagger)
2021-04-17 11:25:24 +0200hidedagger(~nate@unaffiliated/hidedagger) (Client Quit)
2021-04-17 11:29:54 +0200Sornaensis(~Sornaensi@077213199124.dynamic.telenor.dk)
2021-04-17 11:30:33 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 11:31:18 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-17 11:31:21 +0200raichoo(~raichoo@dslb-178-009-066-078.178.009.pools.vodafone-ip.de) (Quit: Lost terminal)
2021-04-17 11:32:17 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 11:32:26 +0200gzj(~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds)
2021-04-17 11:32:34 +0200srk(~sorki@dynamic-194-228-20-189.ipv4.broadband.iol.cz)
2021-04-17 11:34:22 +0200srk(~sorki@dynamic-194-228-20-189.ipv4.broadband.iol.cz) (Remote host closed the connection)
2021-04-17 11:34:49 +0200srk(~sorki@unaffiliated/srk)
2021-04-17 11:34:52 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 11:35:40 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 11:43:16 +0200tms_(thomaav@cassarossa.samfundet.no)
2021-04-17 11:43:42 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 11:48:55 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-17 11:49:09 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 11:57:59 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 246 seconds)
2021-04-17 12:02:50 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 12:03:21 +0200malumore(~malumore@151.62.116.94) (Ping timeout: 260 seconds)
2021-04-17 12:03:41 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258)
2021-04-17 12:07:11 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 12:09:52 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 12:11:30 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 12:12:12 +0200p_____(~lol@unaffiliated/terpin)
2021-04-17 12:12:58 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 268 seconds)
2021-04-17 12:13:34 +0200p_____dyeplexer
2021-04-17 12:14:33 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-17 12:17:22 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-17 12:18:15 +0200fiedlr(~fiedlr@195.91.16.37) (Read error: Connection reset by peer)
2021-04-17 12:21:15 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 12:21:57 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-04-17 12:25:20 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-17 12:26:21 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 12:28:50 +0200malumore(~malumore@151.62.116.94)
2021-04-17 12:29:12 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-17 12:33:21 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131)
2021-04-17 12:35:29 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 12:38:44 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 12:39:04 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 12:42:52 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 12:43:31 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-17 12:47:41 +0200malumore(~malumore@151.62.116.94) (Ping timeout: 260 seconds)
2021-04-17 12:54:53 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-17 12:55:42 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-04-17 12:57:00 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-17 12:59:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 13:00:21 +0200kritzefitz(~kritzefit@p5de1049b.dip0.t-ipconnect.de)
2021-04-17 13:00:46 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-17 13:01:13 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-17 13:03:24 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-17 13:09:02 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-17 13:11:45 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77)
2021-04-17 13:14:05 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 13:16:10 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds)
2021-04-17 13:18:57 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 13:20:00 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-04-17 13:20:13 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-04-17 13:23:04 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds)
2021-04-17 13:23:23 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds)
2021-04-17 13:26:58 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-17 13:29:58 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-04-17 13:32:31 +0200yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat)
2021-04-17 13:33:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-17 13:33:13 +0200yaroot(~yaroot@138.102.13.160.dy.iij4u.or.jp)
2021-04-17 13:39:21 +0200mauro^(mauro@ip98-184-89-2.mc.at.cox.net)
2021-04-17 13:44:50 +0200malumore(~malumore@151.62.116.94)
2021-04-17 13:46:18 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 13:48:08 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-04-17 13:48:09 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-17 13:49:41 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-17 13:50:48 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-17 13:51:27 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 13:54:08 +0200fiedlr(~fiedlr@83.148.33.254) (Read error: Connection reset by peer)
2021-04-17 13:54:21 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-17 13:54:44 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 13:56:18 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 13:57:34 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-17 13:58:34 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 14:00:02 +0200liyang(~liyang@90.255.129.199)
2021-04-17 14:00:40 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-17 14:00:47 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-17 14:01:24 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 14:02:56 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-04-17 14:05:10 +0200ADG1089(~aditya@223.226.228.157)
2021-04-17 14:05:33 +0200ADG1089(~aditya@223.226.228.157) (Client Quit)
2021-04-17 14:05:55 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 265 seconds)
2021-04-17 14:08:45 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 14:10:36 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 14:13:10 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-04-17 14:13:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-17 14:18:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2021-04-17 14:19:09 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-17 14:19:57 +0200ADG1089(~aditya@223.226.228.157)
2021-04-17 14:21:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-17 14:22:32 +0200freegraph(~freegraph@103.58.155.187)
2021-04-17 14:23:56 +0200 <freegraph> Just started learning haskell from learn you a haskell. It mentions that appending a list to list is slow, but why is that a case? Can't haskell simply store the pointer to the end of list, and use that to append another list?
2021-04-17 14:27:09 +0200 <exarkun> freegraph: How is a Haskell list represented?
2021-04-17 14:27:33 +0200 <freegraph> Per my understanding, it must be a linked list
2021-04-17 14:27:48 +0200 <freegraph> https://www.haskelltutorials.com/guides/haskell-lists-ultimate-guide.html also says so
2021-04-17 14:28:16 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 14:28:20 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 14:28:33 +0200 <exarkun> freegraph: Notably, a forward singly-linked list
2021-04-17 14:28:50 +0200 <exarkun> freegraph: How do you know when you're at the end?
2021-04-17 14:29:46 +0200 <freegraph> Can't it maintain a tail pointer? Everytime a new node is added, make next of tail to the new one, and then update tail to the new one
2021-04-17 14:30:10 +0200 <exarkun> freegraph: What would that "update" look like?
2021-04-17 14:30:39 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 14:30:50 +0200 <exarkun> freegraph: Would it be an in-place modification to an existing value?
2021-04-17 14:30:56 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2)
2021-04-17 14:31:10 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-04-17 14:31:37 +0200 <freegraph> A psuedocode would be like this. tail.next = newnode. tail = newnode
2021-04-17 14:31:46 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 14:31:59 +0200 <exarkun> freegraph: How do you change a value in-place in Haskell?
2021-04-17 14:32:05 +0200 <freegraph> Got it! Thanks!
2021-04-17 14:32:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-17 14:32:39 +0200 <freegraph> It will take time to get used to this!
2021-04-17 14:32:58 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 14:33:58 +0200 <exarkun> :)
2021-04-17 14:34:25 +0200berberman_(~berberman@unaffiliated/berberman)
2021-04-17 14:34:26 +0200 <gehmehgeh> exarkun: To be fair, there are things like Data.IORef ;)
2021-04-17 14:34:59 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 248 seconds)
2021-04-17 14:35:10 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-17 14:35:24 +0200 <exarkun> gehmehgeh: To be sure
2021-04-17 14:36:14 +0200 <gehmehgeh> One can -- with a bit of handwaving -- basically change values "in-place" (for example, how else do you get user input etc). But that's not how things like the list type work
2021-04-17 14:36:14 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds)
2021-04-17 14:37:02 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-17 14:37:17 +0200rprije(~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 260 seconds)
2021-04-17 14:37:44 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-04-17 14:37:55 +0200ClaudiusMaximus(~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-04-17 14:37:55 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2021-04-17 14:38:45 +0200ericsagnes(~ericsagne@2405:6580:0:5100:4ca8:cdd0:c987:a338)
2021-04-17 14:39:53 +0200ericsagn1(~ericsagne@2405:6580:0:5100:f42f:2cd9:4893:4d87) (Ping timeout: 250 seconds)
2021-04-17 14:41:28 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 14:45:46 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-17 14:45:54 +0200 <ski> appending to list is not slow, in the sense that it just takes the expected amount of time, for a single-linked list. there's no way around chasing that chain of tails (except by switching to a different data structure). however, *repeatedly* appending to a list can be argued to be slower than one would initially expect, in the sense that if each append is done individually, you'll repeatedly be traversing
2021-04-17 14:46:00 +0200 <ski> that list spine to the end, as opposed to batching it, only traversing once, adding all the stuff to the end in one go
2021-04-17 14:47:52 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds)
2021-04-17 14:48:23 +0200ski. o O ( "Schlemiel the painter's algorithm" -- "Back to Basics" by Joel Spolsky in 2001-12-11 at <https://www.joelonsoftware.com/2001/12/11/back-to-basics/> )
2021-04-17 14:49:24 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131)
2021-04-17 14:49:47 +0200 <liyang> freegraph: fast appends is not what the singly-forward linked-list type is suited for. If that's an issue you'd really want a different data structure. Just try to understand how they work from a pedagogical point-of-view for now.
2021-04-17 14:50:20 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 14:52:34 +0200 <ski> (to avoid this problem of repeatedly adding to the end getting you quadratic instead of the expected linear complexity, one can workaround this by instead adding to the front (prepending), and then, at the end of a processing, do a final reverse (in case the order is important). or, one can sometimes rephrase the processing to naturally add (shorter pieces) to the front instead. sometimes it may be nicer
2021-04-17 14:52:40 +0200 <ski> with an accumulator. sometimes it's instead nicer writing it in direct style. one can also consider switching to "different lists", or to another data structure (like `Seq'))
2021-04-17 14:53:20 +0200ADG1089(~aditya@223.226.228.157) (Quit: Konversation terminated!)
2021-04-17 14:53:28 +0200 <ski> (er, "difference lists", rather)
2021-04-17 14:54:02 +0200 <gehmehgeh> often called "dlists"
2021-04-17 14:54:16 +0200 <gehmehgeh> There's also a ready-made DList type, if I remember correctly
2021-04-17 14:54:38 +0200 <gehmehgeh> exarkun: but that's for later, really.
2021-04-17 14:55:24 +0200 <freegraph> ski, So appending two lists in quadratic? I thought it just appends the head of second list to tail of previous one.
2021-04-17 14:55:29 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2) (Ping timeout: 250 seconds)
2021-04-17 14:56:07 +0200 <ski> first you should understand the difference in association of list append, and how that causes a difference in complexity. and how that's related to accumulator vs. direct style
2021-04-17 14:56:15 +0200 <ski> freegraph : no, that's not what i said
2021-04-17 14:56:27 +0200 <exarkun> gehmehgeh: I didn't bring it up :)
2021-04-17 14:56:35 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-17 14:56:48 +0200 <gehmehgeh> exarkun: sorry, I meant freegraph
2021-04-17 14:56:58 +0200 <ski> freegraph : `as ++ bs' is linear in the length of `as' (the length of `bs' doesn't matter)
2021-04-17 14:57:54 +0200 <freegraph> ski, ok. Got it. So if we take all values of bs separately, then it would be quadratic in length of bs.
2021-04-17 14:58:14 +0200 <ski> freegraph : however, consider `as ++ (bs ++ (cs ++ ds))'. this will traverse `as', and traverse `bs', and `cs', in order to perform the three appending operations. so if the lengths of `as',`bs',`cs',`ds' are `k',`l',`m',`n', then the expected time for this is `k + l + m'
2021-04-17 14:58:28 +0200 <freegraph> Yes
2021-04-17 14:59:33 +0200 <ski> freegraph : however, compare this with `((as ++ bs) ++ cs) ++ ds'. this will first traverse `as'. next it'll traverse (the copy of) `as', in addition to also traversing `bs'. next it'll again traverse (copies of) `as',`bs', and also `cs'. so the steps here are `k + (k + l) + (k + l + m)'
2021-04-17 14:59:42 +0200urodna(~urodna@unaffiliated/urodna)
2021-04-17 14:59:46 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds)
2021-04-17 15:00:31 +0200 <ski> so, the right-associated nesting of `++' wins over the left-associated nesting (which is unexpectedly quadratic, in the number of lists)
2021-04-17 15:01:03 +0200 <freegraph> Makes sense now, thanks!
2021-04-17 15:02:03 +0200ridcully_(~ridcully@pd951f269.dip0.t-ipconnect.de) (Quit: server update)
2021-04-17 15:02:03 +0200 <ski> freegraph : now, if you have a function `foo', whose recursive case looks something like `foo (...) = foo (...) ++ stuff', then this will actually cause `(((...) ++ stuff2) ++ stuff1) ++ stuff0', left-associated, which is bad. similarly, if you have an accumulator, like 'foo (...) acc = foo (...) (acc ++ stuff)', this will cause a similar problem
2021-04-17 15:02:47 +0200 <ski> while `foo (...) = stuff ++ foo (...)' or `foo (...) acc = foo (...) (stuff ++ acc)' won't have this left-associatedness problem
2021-04-17 15:03:12 +0200 <ski> (and `foo (...) = foo (...) ++ foo (...)' will have this problem, for the right recursive call, but not for the left one)
2021-04-17 15:03:53 +0200 <ski> you should be on the lookout for such potential sources of unreasonably inefficient list generations
2021-04-17 15:05:29 +0200 <ski> "So if we take all values of bs separately, then it would be quadratic in length of bs." -- yes, if we actually were to take each `b' from `bs' at a time, and append ("snoc") it at the end. now, this is'nt what `as ++ bs' does (it "batches" all these individual appends together). however, the same problem can reoccur on a larger scale, as i outlined above
2021-04-17 15:07:15 +0200 <freegraph> In case of foo () = foo () ++ foo (), I guess the compiler will be smart enough to do the right thing?
2021-04-17 15:07:21 +0200 <ski> no
2021-04-17 15:08:36 +0200 <ski> you probably should switch to d-lists or accumulator there, essentially doing `foo x = fooAppend x [] where ...; fooAppend (...) = fooAppend (...) . fooAppend (...)'
2021-04-17 15:09:51 +0200 <ski> so `++' on `[a]'s is replaced by `.' on `[a] -> [a]'s. if the base case was `foo (...) = [x,y,z]', then the new base case will be `foo (...) = ([x,y,z] ++)', aka `foo (...) = (x:) . (y:) . (z:)'
2021-04-17 15:10:17 +0200drbean_(~drbean@TC210-63-209-26.static.apol.com.tw)
2021-04-17 15:10:37 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 15:10:43 +0200 <ski> or, we can express the same `fooAppend' explicitly (with an accumulator) as `fooAppend (...) acc = [x,y,z] ++ acc' for the base case, and `fooAppend (...) acc = fooAppend (...) (fooAppend (...) acc)' for the recursive case
2021-04-17 15:12:28 +0200 <ski> exercise (in case you've seen custom data types yet ..), take `data Tree a = Leaf a | Branch (Tree a) (Tree a) deriving Show', and define `flatten :: Tree a -> [a]' to give the list of all the elements of the tree. both give a naïve definition (having the above efficiency problem), then give at least two versions that don't (along the two variants of `fooAppend' above)
2021-04-17 15:12:51 +0200 <ski> then, do the same again, but for `data Tree a = Tip | Node (Tree a) a (Tree a) deriving Show' instead
2021-04-17 15:12:58 +0200 <liyang> In situations where you know the length of the list will be limited (to say ~10 elements), it'll still probably be faster than something more sophisticated. For anything much longer, you need think about how you're producing and/or consuming the list.
2021-04-17 15:13:07 +0200 <ski> freegraph : in case you want some more practice ^
2021-04-17 15:13:44 +0200 <freegraph> Not yet there. But I'll try this later
2021-04-17 15:13:49 +0200 <ski> yes. often the right solution is to rethink, and possibly change data structure
2021-04-17 15:14:14 +0200son0p(~ff@181.136.122.143)
2021-04-17 15:14:56 +0200alex_sta(5f9d2408@95.157.36.8)
2021-04-17 15:14:58 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 15:16:35 +0200alex_sta(5f9d2408@95.157.36.8) ()
2021-04-17 15:16:35 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:2548:b37b:2393:464b)
2021-04-17 15:17:26 +0200 <liyang> Rethink and _benchmark_. Trust but _verify_. &c. &c.
2021-04-17 15:17:38 +0200machinedgod(~machinedg@24.105.81.50) (Quit: Lost terminal)
2021-04-17 15:18:45 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:2548:b37b:2393:464b) (Client Quit)
2021-04-17 15:18:51 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-17 15:21:11 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-17 15:23:39 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-04-17 15:27:00 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131)
2021-04-17 15:30:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 15:30:27 +0200wjp(~wjp@217.146.82.202) (Remote host closed the connection)
2021-04-17 15:33:14 +0200hc(~hc@fsfe/hc) (Remote host closed the connection)
2021-04-17 15:33:34 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-17 15:36:43 +0200cheater(~user@unaffiliated/cheater) (Remote host closed the connection)
2021-04-17 15:37:11 +0200roconnor(~roconnor@host-45-58-216-246.dyn.295.ca)
2021-04-17 15:39:36 +0200cheater(~user@unaffiliated/cheater)
2021-04-17 15:43:33 +0200hc(~hc@fsfe/hc)
2021-04-17 15:44:09 +0200mauro^(mauro@ip98-184-89-2.mc.at.cox.net) ()
2021-04-17 15:46:12 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-04-17 15:48:11 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds)
2021-04-17 15:49:23 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 15:49:46 +0200lawid(~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8)
2021-04-17 15:49:58 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 15:51:11 +0200drbean_(~drbean@TC210-63-209-26.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-04-17 15:51:30 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 15:52:13 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 15:53:27 +0200dmytrish_(~mitra@37.228.247.154)
2021-04-17 15:53:55 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 248 seconds)
2021-04-17 15:54:26 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 15:54:55 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-04-17 15:56:14 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2)
2021-04-17 15:57:53 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1)
2021-04-17 16:00:39 +0200Tario(~Tario@201.192.165.173)
2021-04-17 16:03:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-17 16:04:32 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-04-17 16:05:20 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-17 16:07:39 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-04-17 16:08:20 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 16:10:45 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2) (Remote host closed the connection)
2021-04-17 16:12:47 +0200dmytrish_(~mitra@37.228.247.154) (Read error: Connection reset by peer)
2021-04-17 16:13:04 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 16:14:02 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 16:17:04 +0200son0p(~ff@181.136.122.143)
2021-04-17 16:19:00 +0200 <ij> can I link to a section in haddock?
2021-04-17 16:21:05 +0200 <ij> point to a section from the module exports marked by (-- * section header) from a definition
2021-04-17 16:23:47 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 16:23:58 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 16:25:10 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 16:27:23 +0200xff0x(~xff0x@2001:1a81:5285:4800:b119:894a:c62a:5c3d) (Ping timeout: 260 seconds)
2021-04-17 16:28:03 +0200xff0x(~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d)
2021-04-17 16:29:32 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 16:29:45 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-04-17 16:31:12 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-17 16:34:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-17 16:37:36 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:2548:b37b:2393:464b)
2021-04-17 16:38:11 +0200 <connrs> /set irc.look.buffer_switch_autojoin off
2021-04-17 16:39:05 +0200usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-04-17 16:39:50 +0200 <liyang> ij: yes http://hackage.haskell.org/package/base-4.15.0.0/docs/Data-List.html#g:2
2021-04-17 16:40:01 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 16:40:07 +0200 <liyang> connrs: maybe you meant /DISCO ?
2021-04-17 16:40:12 +0200 <ij> liyang, from the docs themselves, that is
2021-04-17 16:40:16 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 16:41:17 +0200connrsslowly closes down all IRC accounts in shame and goes to live in the woods making pottery and weaving wicker baskets for the rest of time
2021-04-17 16:42:04 +0200 <liyang> Oh hum, probably not reliably—you could try to guess what Haddock will number your section perhaps. Although with the recent (last few years) Markdown extensions may give you some other options, I don't know.
2021-04-17 16:43:03 +0200 <juri_> connrs: you can attone. you just need to write a haskell library that gets over a thousand stars on github.
2021-04-17 16:43:25 +0200hc(~hc@fsfe/hc) (Remote host closed the connection)
2021-04-17 16:44:18 +0200GothAlice1(~GothAlice@217.146.82.202)
2021-04-17 16:46:38 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net)
2021-04-17 16:49:59 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2021-04-17 16:51:26 +0200lambdaman(~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds)
2021-04-17 16:52:21 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-17 16:52:28 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-17 16:54:28 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-04-17 17:00:32 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 17:00:36 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-17 17:01:04 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 17:01:18 +0200dmytrish_(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069)
2021-04-17 17:04:49 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-17 17:05:19 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-17 17:05:43 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 17:07:06 +0200dmytrish_(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Quit: Konversation terminated!)
2021-04-17 17:07:24 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 17:08:49 +0200rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-04-17 17:09:24 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-17 17:09:39 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 17:10:23 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-04-17 17:12:28 +0200vv8(~egp_@2.95.117.163)
2021-04-17 17:12:52 +0200ridcully(~ridcully@pd951f269.dip0.t-ipconnect.de)
2021-04-17 17:17:52 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-17 17:19:13 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 17:20:47 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 17:20:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 17:22:20 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
2021-04-17 17:23:47 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-04-17 17:23:47 +0200vv8(~egp_@2.95.117.163) (Quit: EXIT)
2021-04-17 17:24:24 +0200freeman42x1(~40726@188.25.151.79) (Quit: Leaving.)
2021-04-17 17:24:24 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit)
2021-04-17 17:24:41 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 17:26:17 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-04-17 17:27:19 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-17 17:28:42 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il)
2021-04-17 17:31:51 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 17:32:23 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-17 17:33:50 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-17 17:35:11 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-17 17:35:31 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-04-17 17:36:54 +0200e(e@freenode/staff/spy.edk)
2021-04-17 17:38:23 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 17:39:12 +0200rond_(5940206b@89-64-32-107.dynamic.chello.pl)
2021-04-17 17:40:20 +0200wickedjargon(~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1) (Quit: Leaving)
2021-04-17 17:42:27 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 17:42:41 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 17:42:43 +0200dmytrish_(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069)
2021-04-17 17:43:12 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-bznsgfmyisybhnen)
2021-04-17 17:43:16 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 252 seconds)
2021-04-17 17:45:33 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-04-17 17:45:52 +0200ddellacosta(~ddellacos@86.106.143.92)
2021-04-17 17:46:12 +0200ukari(~ukari@unaffiliated/ukari)
2021-04-17 17:46:22 +0200vv8(~egp_@2.95.117.163)
2021-04-17 17:48:43 +0200geiger_(~geiger@90.212.77.86)
2021-04-17 17:50:58 +0200hc(~hc@fsfe/hc)
2021-04-17 17:51:08 +0200geiger(~geiger@90.212.77.86) (Ping timeout: 246 seconds)
2021-04-17 17:55:12 +0200mat[m]1(matmatrixo@gateway/shell/matrix.org/x-uwjgvmzxszuovuwu)
2021-04-17 17:57:14 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-17 17:57:34 +0200dpl(~dpl@77-121-78-163.chn.volia.net) (Read error: Connection reset by peer)
2021-04-17 17:58:24 +0200hypercube(hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-17 17:58:26 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-17 17:59:00 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 17:59:46 +0200Nahra(~user@unaffiliated/nahra) (Ping timeout: 252 seconds)
2021-04-17 18:00:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 18:01:22 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 258 seconds)
2021-04-17 18:09:13 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-17 18:09:26 +0200hc(~hc@fsfe/hc) (Remote host closed the connection)
2021-04-17 18:09:39 +0200sepples_(~sepples@sepples.xyz)
2021-04-17 18:10:38 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-04-17 18:12:37 +0200Jd007(~Jd007@162.156.11.151)
2021-04-17 18:13:44 +0200nicholasbulka(~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2)
2021-04-17 18:17:14 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-17 18:17:49 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-04-17 18:19:18 +0200jao(~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds)
2021-04-17 18:22:15 +0200haiming(~textual@113.81.227.157)
2021-04-17 18:22:40 +0200haiming(~textual@113.81.227.157) (Client Quit)
2021-04-17 18:23:26 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-17 18:24:58 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-17 18:28:20 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 18:34:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-17 18:38:03 +0200hc(~hc@fsfe/hc)
2021-04-17 18:38:23 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-mkcsziznqohoylbr)
2021-04-17 18:39:06 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds)
2021-04-17 18:45:03 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-17 18:47:12 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-04-17 18:47:18 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 18:49:38 +0200ddellacosta(~ddellacos@86.106.143.92) (Ping timeout: 265 seconds)
2021-04-17 18:49:41 +0200dmytrish_(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Read error: Connection reset by peer)
2021-04-17 18:49:54 +0200dmytrish_(~mitra@37.228.247.154)
2021-04-17 18:50:49 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 18:51:24 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt)
2021-04-17 18:56:11 +0200dmytrish_(~mitra@37.228.247.154) (Read error: Connection reset by peer)
2021-04-17 18:56:16 +0200malumore_(~malumore@151.62.116.94)
2021-04-17 18:56:22 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 18:56:30 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-17 18:57:38 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-04-17 18:58:03 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-17 18:59:08 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-17 18:59:16 +0200malumore(~malumore@151.62.116.94) (Ping timeout: 260 seconds)
2021-04-17 19:05:50 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-17 19:06:59 +0200wonko7(~wonko7@62.115.229.50)
2021-04-17 19:07:32 +0200fosterite(~fosterite@2600:6c46:7800:fecf:dc5d:6d28:7af5:855)
2021-04-17 19:11:39 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 19:11:51 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 19:12:33 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-17 19:17:52 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 19:17:53 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 19:18:15 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 19:19:36 +0200kristijonas(~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 265 seconds)
2021-04-17 19:22:08 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit)
2021-04-17 19:22:36 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-04-17 19:22:38 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 19:22:58 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-17 19:23:59 +0200jamm_(~jamm@unaffiliated/jamm) (Read error: Connection reset by peer)
2021-04-17 19:29:23 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 260 seconds)
2021-04-17 19:29:50 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 19:29:56 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-04-17 19:30:21 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-17 19:30:43 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
2021-04-17 19:30:44 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-17 19:31:13 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-17 19:31:32 +0200mach1speed(~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
2021-04-17 19:33:35 +0200ph88(~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
2021-04-17 19:35:44 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-04-17 19:36:09 +0200Forkk(forkk@2600:3c00::f03c:91ff:fe84:de4d) ("http://quassel-irc.org - Chat comfortably. Anywhere.")
2021-04-17 19:37:58 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-04-17 19:43:03 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-04-17 19:45:10 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:35d5:f540:5742:5bbb)
2021-04-17 19:58:02 +0200rajivr(uid269651@gateway/web/irccloud.com/x-mungwgamlhtkwcqm) (Quit: Connection closed for inactivity)
2021-04-17 19:58:47 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 20:02:22 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 20:03:05 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-17 20:06:10 +0200electricityZZZZ(~electrici@135-180-3-82.static.sonic.net)
2021-04-17 20:07:18 +0200jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-17 20:07:38 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net)
2021-04-17 20:10:00 +0200Jd007(~Jd007@162.156.11.151)
2021-04-17 20:10:21 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-bznsgfmyisybhnen) (Quit: Connection closed for inactivity)
2021-04-17 20:10:26 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-04-17 20:11:42 +0200jacks2(~bc8134e3@217.29.117.252)
2021-04-17 20:12:40 +0200electricityZZZZ(~electrici@135-180-3-82.static.sonic.net) (Quit: Leaving)
2021-04-17 20:13:12 +0200hidedagger(~nate@unaffiliated/hidedagger)
2021-04-17 20:13:13 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 20:13:28 +0200dmytrish(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069)
2021-04-17 20:15:57 +0200dmytrish(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Read error: Connection reset by peer)
2021-04-17 20:16:09 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 20:18:28 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-17 20:20:06 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit)
2021-04-17 20:21:01 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 20:21:55 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
2021-04-17 20:24:41 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-17 20:31:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 20:31:57 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 20:32:08 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 20:33:33 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-04-17 20:33:52 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 20:34:31 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 20:34:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-17 20:36:50 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 20:36:56 +0200dmytrish_(~mitra@37.228.247.154)
2021-04-17 20:37:12 +0200jao(~jao@pdpc/supporter/professional/jao)
2021-04-17 20:37:33 +0200kiweun(~kiweun@2607:fea8:2a62:9600:2da7:716d:8019:f160) (Remote host closed the connection)
2021-04-17 20:37:33 +0200freegraph(~freegraph@103.58.155.187) (Ping timeout: 240 seconds)
2021-04-17 20:38:12 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-17 20:38:58 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 20:39:13 +0200dmytrish(~mitra@37.228.247.154)
2021-04-17 20:39:14 +0200kiweun(~kiweun@2607:fea8:2a62:9600:9509:5fe0:4a17:10b5)
2021-04-17 20:39:45 +0200dmytrish(~mitra@37.228.247.154) (Read error: Connection reset by peer)
2021-04-17 20:40:11 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 20:40:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 20:42:33 +0200dmytrish_(~mitra@37.228.247.154) (Ping timeout: 240 seconds)
2021-04-17 20:43:09 +0200cub3s_(bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving)
2021-04-17 20:43:31 +0200kiweun(~kiweun@2607:fea8:2a62:9600:9509:5fe0:4a17:10b5) (Ping timeout: 258 seconds)
2021-04-17 20:44:52 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-17 20:45:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-17 20:47:45 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 20:48:18 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-17 20:50:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2021-04-17 20:50:46 +0200Guest78317(~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
2021-04-17 20:51:55 +0200fiedlr(~fiedlr@83.148.33.254) (Remote host closed the connection)
2021-04-17 20:52:34 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 20:52:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-17 20:52:37 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-17 20:53:04 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-04-17 20:54:21 +0200dmytrish_(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069)
2021-04-17 20:54:23 +0200dmytrish(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 20:54:58 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:2548:b37b:2393:464b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 20:56:46 +0200fiedlr(~fiedlr@83.148.33.254) (Ping timeout: 240 seconds)
2021-04-17 20:58:14 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection)
2021-04-17 20:58:27 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-17 20:59:19 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Remote host closed the connection)
2021-04-17 21:01:04 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-17 21:01:15 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2)
2021-04-17 21:01:45 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 21:02:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-04-17 21:02:23 +0200dmytrish_(~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Read error: Connection reset by peer)
2021-04-17 21:02:39 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 21:02:50 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-17 21:03:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-17 21:04:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-17 21:06:08 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 21:09:09 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 21:10:11 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2021-04-17 21:11:16 +0200hexfive(~hexfive@50.35.83.177)
2021-04-17 21:11:37 +0200hexfive(~hexfive@50.35.83.177) (Client Quit)
2021-04-17 21:11:43 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 21:11:52 +0200dmytrish_(~mitra@37.228.247.154)
2021-04-17 21:13:11 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 21:13:52 +0200dmytrish_(~mitra@37.228.247.154) (Client Quit)
2021-04-17 21:14:13 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 21:15:02 +0200Tario(~Tario@201.192.165.173)
2021-04-17 21:16:55 +0200Varis(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-04-17 21:17:15 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-17 21:17:55 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-ffewfqkvmgmtpxhy) (Quit: Connection closed for inactivity)
2021-04-17 21:18:01 +0200ericsagnes(~ericsagne@2405:6580:0:5100:4ca8:cdd0:c987:a338) (Ping timeout: 258 seconds)
2021-04-17 21:18:06 +0200__minoru__shirae(~shiraeesh@109.166.59.72)
2021-04-17 21:18:48 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 21:18:52 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit)
2021-04-17 21:18:52 +0200minoru_shiraeesh(~shiraeesh@5.101.59.131) (Ping timeout: 252 seconds)
2021-04-17 21:19:14 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 21:22:10 +0200qwerty2o(~qwerty2o@93-172-139-92.bb.netvision.net.il)
2021-04-17 21:22:41 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4)
2021-04-17 21:24:00 +0200Jd007(~Jd007@162.156.11.151)
2021-04-17 21:24:46 +0200 <infinity0> does anyone know of any experimental work to make it possible to (e.g.) define unlifted functors, of kind (TYPE rep -> TYPE rep -> Constraint) ?
2021-04-17 21:24:58 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-17 21:25:15 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 21:25:28 +0200dmytrish_(~mitra@37.228.247.154)
2021-04-17 21:26:48 +0200dmytrish_(~mitra@37.228.247.154) (Read error: Connection reset by peer)
2021-04-17 21:27:02 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 21:27:13 +0200nineonine(~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds)
2021-04-17 21:29:54 +0200ericsagnes(~ericsagne@2405:6580:0:5100:cd2f:135d:b869:baa3)
2021-04-17 21:30:16 +0200fiedlr(~fiedlr@83.148.33.254)
2021-04-17 21:32:05 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!)
2021-04-17 21:32:09 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 21:32:39 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c)
2021-04-17 21:36:11 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 240 seconds)
2021-04-17 21:36:25 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-04-17 21:36:50 +0200AlleriaGuest62988
2021-04-17 21:36:50 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2)
2021-04-17 21:37:12 +0200dmytrish(~mitra@37.228.247.154)
2021-04-17 21:37:12 +0200dmytrish_(~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer)
2021-04-17 21:42:33 +0200xff0x(~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d) (Ping timeout: 258 seconds)
2021-04-17 21:44:26 +0200xff0x(xff0x@gateway/vpn/mullvad/xff0x)
2021-04-17 21:44:50 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-04-17 21:45:02 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-17 21:47:11 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru) (Client Quit)
2021-04-17 21:47:50 +0200MidAutumnHotaru(~MidAutumn@unaffiliated/midautumnhotaru)
2021-04-17 21:55:31 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-17 21:56:06 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-17 21:56:58 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds)
2021-04-17 21:56:59 +0200Lord_of_Life_Lord_of_Life
2021-04-17 21:59:09 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-04-17 22:00:40 +0200Deide(~Deide@217.155.19.23)
2021-04-17 22:00:46 +0200xff0x(xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds)
2021-04-17 22:02:06 +0200nineonine(~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849)
2021-04-17 22:02:51 +0200xff0x(~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d)
2021-04-17 22:04:58 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-04-17 22:06:58 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-17 22:07:15 +0200petersen(~petersen@redhat/juhp)
2021-04-17 22:07:50 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-17 22:07:59 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-04-17 22:10:34 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 252 seconds)
2021-04-17 22:12:27 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-04-17 22:13:07 +0200sz0(uid110435@gateway/web/irccloud.com/x-nyvqwpzmynjyzzuv)
2021-04-17 22:13:42 +0200Guest62988(~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 22:27:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-17 22:27:22 +0200geekosaur(930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds)
2021-04-17 22:28:45 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-17 22:29:26 +0200hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1)
2021-04-17 22:33:43 +0200landonf(landonf@mac68k.info) (Excess Flood)
2021-04-17 22:34:06 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
2021-04-17 22:35:20 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 22:35:34 +0200landonf(landonf@mac68k.info)
2021-04-17 22:35:49 +0200fosterite(~fosterite@2600:6c46:7800:fecf:dc5d:6d28:7af5:855) ()
2021-04-17 22:36:52 +0200hidedagger(~nate@unaffiliated/hidedagger)
2021-04-17 22:39:57 +0200kiweun(~kiweun@2607:fea8:2a62:9600:a892:6894:980d:95d)
2021-04-17 22:40:49 +0200hidedagger(~nate@unaffiliated/hidedagger) (Client Quit)
2021-04-17 22:41:22 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 22:41:45 +0200alx741(~alx741@186.178.109.113)
2021-04-17 22:43:35 +0200coot(~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-17 22:44:39 +0200kiweun(~kiweun@2607:fea8:2a62:9600:a892:6894:980d:95d) (Ping timeout: 258 seconds)
2021-04-17 22:45:50 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-17 22:48:22 +0200jao(~jao@pdpc/supporter/professional/jao) (Remote host closed the connection)
2021-04-17 22:49:35 +0200jaykru(~user@unaffiliated/jaykru)
2021-04-17 22:51:09 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-04-17 22:51:58 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-04-17 22:53:54 +0200kritzefitz(~kritzefit@p5de1049b.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-04-17 22:55:14 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 22:57:00 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2)
2021-04-17 22:59:47 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-17 23:00:04 +0200Alleria(~textual@2603-7000-3040-0000-884c-c769-78b1-090c.res6.spectrum.com)
2021-04-17 23:00:22 +0200jaykru(~user@unaffiliated/jaykru) (Ping timeout: 258 seconds)
2021-04-17 23:00:29 +0200AlleriaGuest31915
2021-04-17 23:00:36 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-17 23:01:41 +0200Lycurgus(~niemand@98.4.118.65)
2021-04-17 23:01:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-17 23:03:40 +0200dpl(~dpl@77-121-78-163.chn.volia.net)
2021-04-17 23:04:35 +0200Guest31915(~textual@2603-7000-3040-0000-884c-c769-78b1-090c.res6.spectrum.com) (Ping timeout: 258 seconds)
2021-04-17 23:08:21 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-17 23:10:38 +0200LKoen(~LKoen@65.250.88.92.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-04-17 23:11:57 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-17 23:12:57 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-04-17 23:16:08 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 23:16:34 +0200Sornaensis(~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 252 seconds)
2021-04-17 23:18:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 23:18:57 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-17 23:20:29 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-04-17 23:22:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-17 23:30:44 +0200Kaeipi(~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-17 23:31:03 +0200Kaeipi(~Kaiepi@47.54.252.148)
2021-04-17 23:34:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-17 23:35:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-17 23:40:56 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
2021-04-17 23:41:16 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-17 23:41:19 +0200todda7(~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds)
2021-04-17 23:42:13 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Client Quit)
2021-04-17 23:43:24 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-17 23:43:25 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-17 23:43:40 +0200Tario(~Tario@201.192.165.173)
2021-04-17 23:44:30 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:59bd:b3a:d071:42eb)
2021-04-17 23:45:02 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:59bd:b3a:d071:42eb) (Client Quit)
2021-04-17 23:47:20 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
2021-04-17 23:48:47 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-17 23:50:25 +0200elliott_(~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-04-17 23:50:32 +0200Lycurgus(~niemand@98.4.118.65) (Quit: Exeunt)
2021-04-17 23:50:45 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-17 23:54:53 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-17 23:59:12 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-17 23:59:36 +0200Tario(~Tario@201.192.165.173)