2021-04-17 00:00:33 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
2021-04-17 00:00:33 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
2021-04-17 00:06:12 +0200 | nut | (~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 +0200 | star_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 +0200 | star_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 +0200 | edge563 | (~edge563@gateway/tor-sasl/edge563) (Quit: edge563) |
2021-04-17 00:17:13 +0200 | nvmd | (~nvmd@177.30.111.232) (Quit: Later nerds.) |
2021-04-17 00:17:34 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
2021-04-17 00:18:02 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
2021-04-17 00:18:52 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-04-17 00:20:18 +0200 | conal_ | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2021-04-17 00:25:21 +0200 | knupfer | (~Thunderbi@200116b82be894008dbdccb75603bf46.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
2021-04-17 00:26:52 +0200 | ddellaco_ | (~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 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-17 00:29:35 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-04-17 00:30:56 +0200 | malumore | (~malumore@151.62.123.125) (Ping timeout: 260 seconds) |
2021-04-17 00:32:09 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
2021-04-17 00:32:50 +0200 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
2021-04-17 00:32:56 +0200 | carlomagno1 | (~cararell@148.87.23.8) (Quit: Leaving.) |
2021-04-17 00:34:53 +0200 | michalz | (~user@185.246.204.56) ("Changed major mode") |
2021-04-17 00:35:15 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
2021-04-17 00:35:25 +0200 | conal | (~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 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
2021-04-17 00:38:08 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-04-17 00:38:31 +0200 | Jesin | (~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 +0200 | wonko7 | (~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 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
2021-04-17 00:42:40 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
2021-04-17 00:42:52 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 00:43:06 +0200 | jlode21 | (54d781ab@84.215.129.171) (Quit: jlode21) |
2021-04-17 00:44:03 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:7969:a01b:88d1:8650) (Quit: Leaving) |
2021-04-17 00:47:06 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
2021-04-17 00:47:30 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
2021-04-17 00:48:29 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
2021-04-17 00:48:40 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 00:50:31 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
2021-04-17 00:52:40 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
2021-04-17 00:54:08 +0200 | gzj | (~gzj@unaffiliated/gzj) |
2021-04-17 00:55:40 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
2021-04-17 00:57:31 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-04-17 00:58:27 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-17 01:00:13 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-qepxyqcskivgrzsl) (Quit: Connection closed for inactivity) |
2021-04-17 01:02:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-17 01:02:38 +0200 | hiredman | (~hiredman@volyova.ec2.thelastcitadel.com) (Quit: leaving) |
2021-04-17 01:02:47 +0200 | Sornaensis | (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
2021-04-17 01:02:52 +0200 | hiredman | (~hiredman@138.68.1.198) |
2021-04-17 01:04:28 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-04-17 01:04:32 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
2021-04-17 01:04:43 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:65a5:9c8e:1bdd:dea9) |
2021-04-17 01:05:41 +0200 | usr25 | (~usr25@unaffiliated/usr25) ("Leaving") |
2021-04-17 01:07:28 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2021-04-17 01:10:12 +0200 | jao- | (~jao@pdpc/supporter/professional/jao) |
2021-04-17 01:10:51 +0200 | flow | (~none@salem.informatik.uni-erlangen.de) (Ping timeout: 260 seconds) |
2021-04-17 01:11:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-17 01:12:11 +0200 | flow | (~none@salem.informatik.uni-erlangen.de) |
2021-04-17 01:12:59 +0200 | cafce25 | (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) () |
2021-04-17 01:13:15 +0200 | cafce25 | (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
2021-04-17 01:14:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-04-17 01:16:39 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-17 01:17:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-04-17 01:17:52 +0200 | vicfred_ | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-04-17 01:22:52 +0200 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
2021-04-17 01:24:24 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) |
2021-04-17 01:25:57 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 01:31:19 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
2021-04-17 01:31:29 +0200 | son0p | (~ff@181.136.122.143) (Quit: Using Circe, the loveliest of all IRC clients) |
2021-04-17 01:32:03 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
2021-04-17 01:32:52 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
2021-04-17 01:35:11 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
2021-04-17 01:37:11 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 268 seconds) |
2021-04-17 01:38:38 +0200 | tmciver | (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
2021-04-17 01:40:02 +0200 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
2021-04-17 01:40:52 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 01:40:57 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:cd10:8f6:88a1:a322) (Remote host closed the connection) |
2021-04-17 01:43:09 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) |
2021-04-17 01:47:13 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-17 01:47:19 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-04-17 01:47:55 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-17 01:47:59 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
2021-04-17 01:48:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 01:48:39 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
2021-04-17 01:48:58 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-17 01:53:25 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-04-17 01:54:13 +0200 | dpl_ | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
2021-04-17 01:56:19 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
2021-04-17 01:56:44 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 02:05:39 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
2021-04-17 02:06:13 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
2021-04-17 02:10:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-04-17 02:10:13 +0200 | pavonia | (~user@unaffiliated/siracusa) (Read error: Connection reset by peer) |
2021-04-17 02:10:30 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection) |
2021-04-17 02:12:03 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
2021-04-17 02:12:59 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
2021-04-17 02:14:11 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
2021-04-17 02:15:39 +0200 | pavonia | (~user@unaffiliated/siracusa) |
2021-04-17 02:17:01 +0200 | jao- | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-04-17 02:17:10 +0200 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
2021-04-17 02:18:49 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-17 02:19:06 +0200 | vnz | (~vnz@unaffiliated/vnz) (Quit: ZNC - http://znc.in) |
2021-04-17 02:19:48 +0200 | nineonin_ | (~nineonine@50.216.62.2) (Remote host closed the connection) |
2021-04-17 02:20:14 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2021-04-17 02:20:26 +0200 | nineonine | (~nineonine@50.216.62.2) |
2021-04-17 02:20:29 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
2021-04-17 02:20:39 +0200 | conal | (~conal@64.71.133.70) |
2021-04-17 02:21:00 +0200 | conal | (~conal@64.71.133.70) (Client Quit) |
2021-04-17 02:21:04 +0200 | vnz | (~vnz@2001:bc8:604:94f::1) |
2021-04-17 02:21:05 +0200 | vnz | (~vnz@2001:bc8:604:94f::1) (Changing host) |
2021-04-17 02:21:05 +0200 | vnz | (~vnz@unaffiliated/vnz) |
2021-04-17 02:23:26 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
2021-04-17 02:24:49 +0200 | conal | (~conal@64.71.133.70) |
2021-04-17 02:27:08 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
2021-04-17 02:27:41 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-04-17 02:31:35 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
2021-04-17 02:33:31 +0200 | aVikingTrex | (~aVikingTr@120.154.33.56) |
2021-04-17 02:34:50 +0200 | Sgeo_ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
2021-04-17 02:35:12 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 240 seconds) |
2021-04-17 02:36:29 +0200 | aVikingTrex | (~aVikingTr@120.154.33.56) (Client Quit) |
2021-04-17 02:38:20 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
2021-04-17 02:41:41 +0200 | eacameron | (uid256985@gateway/web/irccloud.com/x-mgmmticzouvypcht) (Quit: Connection closed for inactivity) |
2021-04-17 02:43:32 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds) |
2021-04-17 02:45:54 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 02:47:45 +0200 | alx741 | (~alx741@181.196.68.193) (Quit: alx741) |
2021-04-17 02:50:14 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2021-04-17 02:53:58 +0200 | sayola | (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
2021-04-17 02:54:00 +0200 | alx741 | (~alx741@181.196.68.193) |
2021-04-17 02:54:26 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-04-17 02:54:37 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
2021-04-17 02:55:38 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-04-17 03:02:47 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2021-04-17 03:03:05 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-04-17 03:03:52 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
2021-04-17 03:04:09 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2021-04-17 03:06:39 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
2021-04-17 03:06:54 +0200 | CrazyPython | (~crazypyth@98.122.164.118) () |
2021-04-17 03:07:16 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
2021-04-17 03:07:49 +0200 | conal | (~conal@64.71.133.70) |
2021-04-17 03:10:53 +0200 | coeus | (~coeus@p200300d027204600c2a89676bae3842b.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2021-04-17 03:12:15 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 03:12:44 +0200 | conal | (~conal@64.71.133.70) (Quit: Textual IRC Client: www.textualapp.com) |
2021-04-17 03:13:23 +0200 | pavonia | (~user@unaffiliated/siracusa) (Ping timeout: 268 seconds) |
2021-04-17 03:13:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 03:14:26 +0200 | lambdaman | (~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 +0200 | conal | (~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 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:65a5:9c8e:1bdd:dea9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 03:16:53 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 03:18:43 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 260 seconds) |
2021-04-17 03:20:01 +0200 | ep1ctetus | (~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 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
2021-04-17 03:23:38 +0200 | coeus | (~coeus@p200300d0274dc6000de71f4ee41c5fb3.dip0.t-ipconnect.de) |
2021-04-17 03:23:38 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
2021-04-17 03:25:50 +0200 | xff0x | (~xff0x@2001:1a81:526f:3a00:9b6e:f4dc:2aa2:1178) (Ping timeout: 258 seconds) |
2021-04-17 03:26:12 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f987:3b5e:dc3c:8ca5) |
2021-04-17 03:27:20 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-04-17 03:27:46 +0200 | xff0x | (~xff0x@2001:1a81:5285:4800:b119:894a:c62a:5c3d) |
2021-04-17 03:33:52 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-04-17 03:38:05 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
2021-04-17 03:38:25 +0200 | sayola | (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) |
2021-04-17 03:39:30 +0200 | conal | (~conal@64.71.133.70) |
2021-04-17 03:41:53 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-mungwgamlhtkwcqm) |
2021-04-17 03:42:39 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:1104:d7fd:4f6b:6ef0) |
2021-04-17 03:43:11 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-04-17 03:44:11 +0200 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
2021-04-17 03:46:55 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:1104:d7fd:4f6b:6ef0) (Ping timeout: 258 seconds) |
2021-04-17 03:47:33 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-17 03:49:32 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-04-17 03:50:58 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
2021-04-17 03:51:12 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
2021-04-17 03:51:18 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
2021-04-17 03:51:25 +0200 | pavonia | (~user@unaffiliated/siracusa) |
2021-04-17 03:51:29 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 03:51:56 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
2021-04-17 03:56:06 +0200 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-04-17 03:56:27 +0200 | gzj | (~gzj@unaffiliated/gzj) |
2021-04-17 03:57:38 +0200 | zq | (~zq@xorshift.org) |
2021-04-17 03:57:42 +0200 | kiweun | (~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 +0200 | gzj | (~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 +0200 | gzj | (~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 +0200 | gzj | (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
2021-04-17 04:00:26 +0200 | gzj | (~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 +0200 | cyphase | (~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 +0200 | rdivyanshu | (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 +0200 | cyphase | (~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 +0200 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-04-17 04:22:25 +0200 | gzj | (~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 +0200 | Tario | (~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 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-17 04:37:00 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2021-04-17 04:43:55 +0200 | theDon | (~td@94.134.91.133) (Ping timeout: 252 seconds) |
2021-04-17 04:45:29 +0200 | theDon | (~td@muedsl-82-207-238-217.citykom.de) |
2021-04-17 04:48:18 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
2021-04-17 04:48:18 +0200 | finn_elija | Guest98695 |
2021-04-17 04:48:18 +0200 | FinnElija | finn_elija |
2021-04-17 04:50:56 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-hrpqjuatvrzojcmn) () |
2021-04-17 04:51:33 +0200 | Guest98695 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
2021-04-17 04:52:27 +0200 | drbean_ | (~drbean@TC210-63-209-50.static.apol.com.tw) |
2021-04-17 04:54:31 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 268 seconds) |
2021-04-17 04:57:14 +0200 | cyphase | (~cyphase@unaffiliated/cyphase) |
2021-04-17 05:00:02 +0200 | haasn | (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
2021-04-17 05:01:20 +0200 | haasn | (~nand@mpv/developer/haasn) |
2021-04-17 05:02:53 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds) |
2021-04-17 05:04:20 +0200 | wickedjargon | (~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1) |
2021-04-17 05:06:28 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
2021-04-17 05:11:23 +0200 | elliott_ | (~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 +0200 | gnumonic | (~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 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
2021-04-17 05:25:42 +0200 | AkechiShiro | (~AkechiShi@2a01:e0a:5f9:9681:2d2a:c15d:f996:c56f) (Quit: WeeChat 2.9) |
2021-04-17 05:31:32 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
2021-04-17 05:31:46 +0200 | horatiohb | (~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 +0200 | alx741 | (~alx741@181.196.68.193) (Quit: alx741) |
2021-04-17 05:37:44 +0200 | mathepauker | (~mathepauk@195.140.213.38) |
2021-04-17 05:41:01 +0200 | _xor | (~xor@74.215.46.133) |
2021-04-17 05:42:03 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Read error: Connection reset by peer) |
2021-04-17 05:44:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 05:48:10 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:f987:3b5e:dc3c:8ca5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 05:49:00 +0200 | nineonin_ | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 05:53:06 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 268 seconds) |
2021-04-17 05:56:32 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:65d3:1eef:3f2b:a3fb) |
2021-04-17 06:03:30 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:5118:3d31:e060:1aa9) (Remote host closed the connection) |
2021-04-17 06:04:12 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
2021-04-17 06:09:38 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
2021-04-17 06:13:48 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-jlksuktjqlwcmaao) (Quit: Connection closed for inactivity) |
2021-04-17 06:13:54 +0200 | zaquest | (~notzaques@5.128.210.178) |
2021-04-17 06:14:02 +0200 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
2021-04-17 06:16:18 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
2021-04-17 06:16:53 +0200 | cercerilla | (~user@024-178-254-009.res.spectrum.com) |
2021-04-17 06:18:08 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-04-17 06:18:08 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) |
2021-04-17 06:18:52 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
2021-04-17 06:23:28 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
2021-04-17 06:32:14 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-04-17 06:33:25 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2021-04-17 06:36:37 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-kijutxhapbomxwul) (Quit: Connection closed for inactivity) |
2021-04-17 06:37:40 +0200 | hiredman | (~hiredman@138.68.1.198) (Remote host closed the connection) |
2021-04-17 06:37:42 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 06:37:44 +0200 | gzj | (~gzj@unaffiliated/gzj) (Ping timeout: 252 seconds) |
2021-04-17 06:38:10 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 06:40:33 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:a892:50b3:cf86:a8f6) |
2021-04-17 06:42:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
2021-04-17 06:43:36 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:a892:50b3:cf86:a8f6) (Remote host closed the connection) |
2021-04-17 06:44:49 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2da7:716d:8019:f160) |
2021-04-17 06:48:28 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-04-17 06:50:21 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
2021-04-17 06:51:50 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-04-17 06:52:10 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-17 06:54:05 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
2021-04-17 06:56:18 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-04-17 06:56:24 +0200 | cercerilla | (~user@024-178-254-009.res.spectrum.com) ("ERC (IRC client for Emacs 26.3)") |
2021-04-17 06:57:02 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 06:57:54 +0200 | rdivyanshu | (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 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
2021-04-17 07:01:25 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
2021-04-17 07:02:02 +0200 | darkon | (~darkon@90.212.77.86) (Ping timeout: 265 seconds) |
2021-04-17 07:04:26 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Ping timeout: 240 seconds) |
2021-04-17 07:09:23 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) |
2021-04-17 07:10:15 +0200 | gzj | (~gzj@unaffiliated/gzj) |
2021-04-17 07:10:17 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 246 seconds) |
2021-04-17 07:11:54 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:65d3:1eef:3f2b:a3fb) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 07:13:56 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) |
2021-04-17 07:14:10 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2021-04-17 07:15:37 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
2021-04-17 07:20:10 +0200 | barzo | (~sosal@188.119.23.191) |
2021-04-17 07:22:45 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
2021-04-17 07:23:19 +0200 | gaff | (~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 +0200 | nilof | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Read error: Connection reset by peer) |
2021-04-17 07:24:31 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 245 seconds) |
2021-04-17 07:28:37 +0200 | stefan-_ | (~cri@42dots.de) |
2021-04-17 07:28:48 +0200 | geiger | (~geiger@90.212.77.86) |
2021-04-17 07:30:40 +0200 | gaff | (~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 +0200 | freeman42x1 | (~40726@188.25.151.79) |
2021-04-17 07:34:15 +0200 | syntactic_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 +0200 | freeman42x | (~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) (Ping timeout: 260 seconds) |
2021-04-17 07:36:41 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
2021-04-17 07:37:31 +0200 | landonf | (landonf@mac68k.info) |
2021-04-17 07:38:32 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
2021-04-17 07:40:44 +0200 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
2021-04-17 07:44:54 +0200 | conal | (~conal@64.71.133.70) |
2021-04-17 07:51:14 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
2021-04-17 07:53:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-04-17 07:53:37 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 07:53:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-04-17 07:53:55 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 07:54:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-04-17 07:54:37 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
2021-04-17 07:55:26 +0200 | mathepauker | (~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 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-04-17 08:00:06 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
2021-04-17 08:03:44 +0200 | wickedjargon | (~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1) (Remote host closed the connection) |
2021-04-17 08:04:10 +0200 | wickedjargon | (~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1) |
2021-04-17 08:09:02 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-04-17 08:13:45 +0200 | barzo | (~sosal@188.119.23.191) (Quit: Leaving) |
2021-04-17 08:13:57 +0200 | jaykru | (~user@unaffiliated/jaykru) (Remote host closed the connection) |
2021-04-17 08:14:04 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 08:14:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 08:15:40 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
2021-04-17 08:16:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 08:17:07 +0200 | wonko7 | (~wonko7@62.115.229.50) |
2021-04-17 08:21:28 +0200 | wjp | (~wjp@217.146.82.202) |
2021-04-17 08:21:43 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-04-17 08:23:22 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
2021-04-17 08:24:00 +0200 | lemmih_ | (~lemmih@2406:3003:2072:44:2735:f443:3ea4:35ea) (Quit: Leaving) |
2021-04-17 08:26:34 +0200 | hiredman | (~hiredman@138.68.1.198) |
2021-04-17 08:26:56 +0200 | qwerty2o | (~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 260 seconds) |
2021-04-17 08:29:28 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-04-17 08:30:40 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 08:34:20 +0200 | roconnor | (~roconnor@host-45-58-193-19.dyn.295.ca) (Ping timeout: 252 seconds) |
2021-04-17 08:34:23 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
2021-04-17 08:34:43 +0200 | syntactic_sugar | (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
2021-04-17 08:34:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 08:40:35 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
2021-04-17 08:43:07 +0200 | nineonin_ | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection) |
2021-04-17 08:44:04 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 08:44:26 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds) |
2021-04-17 08:48:27 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 250 seconds) |
2021-04-17 08:49:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
2021-04-17 08:52:03 +0200 | dave_uy5 | (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
2021-04-17 08:55:08 +0200 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-04-17 08:55:09 +0200 | dave_uy5 | (~david@108.61.193.26) |
2021-04-17 08:55:28 +0200 | gzj | (~gzj@unaffiliated/gzj) |
2021-04-17 08:57:37 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-04-17 08:58:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 09:00:32 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
2021-04-17 09:03:22 +0200 | wonko7 | (~wonko7@62.115.229.50) |
2021-04-17 09:03:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 09:03:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-04-17 09:07:04 +0200 | raichoo | (~raichoo@dslb-178-009-066-078.178.009.pools.vodafone-ip.de) |
2021-04-17 09:08:03 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-04-17 09:09:37 +0200 | marble_visions | (~user@68.183.79.8) (Quit: bye) |
2021-04-17 09:10:19 +0200 | ddellacosta | (~ddellacos@86.106.143.10) |
2021-04-17 09:10:44 +0200 | marble_visions | (~user@68.183.79.8) |
2021-04-17 09:13:18 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
2021-04-17 09:14:41 +0200 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 240 seconds) |
2021-04-17 09:14:50 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) |
2021-04-17 09:14:56 +0200 | Sgeo_ | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-17 09:17:43 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
2021-04-17 09:19:15 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 09:20:02 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) |
2021-04-17 09:20:53 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection) |
2021-04-17 09:20:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-04-17 09:21:29 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
2021-04-17 09:23:10 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
2021-04-17 09:23:39 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) (Client Quit) |
2021-04-17 09:23:39 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) (Ping timeout: 265 seconds) |
2021-04-17 09:23:48 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-dxinchaxzoacmjim) (Quit: Connection closed for inactivity) |
2021-04-17 09:25:43 +0200 | nineonine | (~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 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2021-04-17 09:33:10 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2021-04-17 09:33:19 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
2021-04-17 09:33:20 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded) |
2021-04-17 09:33:33 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
2021-04-17 09:34:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-17 09:34:33 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
2021-04-17 09:35:03 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-04-17 09:35:24 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) |
2021-04-17 09:37:24 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-04-17 09:37:54 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
2021-04-17 09:39:53 +0200 | nyd | (~nyd@unaffiliated/elysian) (Read error: Connection reset by peer) |
2021-04-17 09:40:46 +0200 | knupfer | (~Thunderbi@200116b82b837300388947fffebc31b8.dip.versatel-1u1.de) |
2021-04-17 09:42:03 +0200 | knupfer | (~Thunderbi@200116b82b837300388947fffebc31b8.dip.versatel-1u1.de) (Remote host closed the connection) |
2021-04-17 09:42:16 +0200 | ddellacosta | (~ddellacos@86.106.143.131) |
2021-04-17 09:42:31 +0200 | jcarpenter2 | (~rofl@96.78.87.197) |
2021-04-17 09:45:13 +0200 | myShoggoth | (~myShoggot@75.164.11.109) (Ping timeout: 240 seconds) |
2021-04-17 09:45:13 +0200 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 240 seconds) |
2021-04-17 09:45:40 +0200 | myShoggoth | (~myShoggot@75.164.11.109) |
2021-04-17 09:46:32 +0200 | ddellacosta | (~ddellacos@86.106.143.131) (Ping timeout: 240 seconds) |
2021-04-17 09:46:33 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Excess Flood) |
2021-04-17 09:46:57 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-04-17 09:47:57 +0200 | fiedlr | (~fiedlr@195.91.16.37) |
2021-04-17 09:52:21 +0200 | hiroaki_ | (~hiroaki@2a02:908:4b18:8c40:38ad:46e5:7ba6:a020) |
2021-04-17 09:52:28 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
2021-04-17 09:52:33 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds) |
2021-04-17 09:53:02 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
2021-04-17 09:54:16 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
2021-04-17 09:55:05 +0200 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-04-17 09:55:15 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 09:55:25 +0200 | gzj | (~gzj@unaffiliated/gzj) |
2021-04-17 09:57:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
2021-04-17 09:57:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 09:58:06 +0200 | zmagii | (~zmagii@unaffiliated/zmagii) (Remote host closed the connection) |
2021-04-17 09:58:13 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
2021-04-17 09:59:33 +0200 | zmagii | (~zmagii@unaffiliated/zmagii) |
2021-04-17 10:01:16 +0200 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
2021-04-17 10:01:45 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) |
2021-04-17 10:02:55 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
2021-04-17 10:03:50 +0200 | gitgood | (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
2021-04-17 10:05:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2021-04-17 10:06:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-17 10:07:19 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
2021-04-17 10:09:57 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
2021-04-17 10:12:33 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 10:21:04 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-04-17 10:22:25 +0200 | ddellacosta | (~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 +0200 | DTZUZU_ | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
2021-04-17 10:27:06 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
2021-04-17 10:27:09 +0200 | ddellacosta | (~ddellacos@86.106.143.66) (Ping timeout: 260 seconds) |
2021-04-17 10:27:34 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
2021-04-17 10:29:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
2021-04-17 10:29:45 +0200 | fendor | (~fendor@77.119.129.72.wireless.dyn.drei.com) |
2021-04-17 10:30:21 +0200 | datajerk | (~datajerk@sense.net) (Ping timeout: 265 seconds) |
2021-04-17 10:30:35 +0200 | Varis | (~Tadas@unaffiliated/varis) |
2021-04-17 10:32:32 +0200 | datajerk | (~datajerk@sense.net) |
2021-04-17 10:32:50 +0200 | jhuizy | (~jhuizy@static.241.188.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
2021-04-17 10:33:09 +0200 | jhuizy | (~jhuizy@static.241.188.216.95.clients.your-server.de) |
2021-04-17 10:33:12 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds) |
2021-04-17 10:33:48 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
2021-04-17 10:37:32 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2021-04-17 10:37:39 +0200 | SquidDev5 | (~SquidDev@autoclave.squiddev.cc) |
2021-04-17 10:37:48 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
2021-04-17 10:38:27 +0200 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (Read error: Connection reset by peer) |
2021-04-17 10:38:28 +0200 | SquidDev5 | SquidDev |
2021-04-17 10:39:46 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
2021-04-17 10:40:06 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 252 seconds) |
2021-04-17 10:40:12 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-17 10:40:44 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
2021-04-17 10:43:23 +0200 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
2021-04-17 10:48:01 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 10:53:23 +0200 | gzj | (~gzj@unaffiliated/gzj) |
2021-04-17 10:54:23 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
2021-04-17 10:55:36 +0200 | gentauro | (~gentauro@unaffiliated/gentauro) |
2021-04-17 10:58:00 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 10:58:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
2021-04-17 10:59:33 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 11:02:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 11:02:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-04-17 11:02:52 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-17 11:04:00 +0200 | myShoggoth | (~myShoggot@75.164.11.109) (Read error: Connection reset by peer) |
2021-04-17 11:06:36 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 11:09:06 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-04-17 11:14:42 +0200 | drbean_ | (~drbean@TC210-63-209-50.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-04-17 11:18:16 +0200 | cafce25 | (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) (Quit: leaving) |
2021-04-17 11:19:01 +0200 | malumore | (~malumore@151.62.116.94) |
2021-04-17 11:23:27 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) |
2021-04-17 11:25:24 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) (Client Quit) |
2021-04-17 11:29:54 +0200 | Sornaensis | (~Sornaensi@077213199124.dynamic.telenor.dk) |
2021-04-17 11:30:33 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 11:31:18 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-04-17 11:31:21 +0200 | raichoo | (~raichoo@dslb-178-009-066-078.178.009.pools.vodafone-ip.de) (Quit: Lost terminal) |
2021-04-17 11:32:17 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 11:32:26 +0200 | gzj | (~gzj@unaffiliated/gzj) (Ping timeout: 240 seconds) |
2021-04-17 11:32:34 +0200 | srk | (~sorki@dynamic-194-228-20-189.ipv4.broadband.iol.cz) |
2021-04-17 11:34:22 +0200 | srk | (~sorki@dynamic-194-228-20-189.ipv4.broadband.iol.cz) (Remote host closed the connection) |
2021-04-17 11:34:49 +0200 | srk | (~sorki@unaffiliated/srk) |
2021-04-17 11:34:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 11:35:40 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 11:43:16 +0200 | tms_ | (thomaav@cassarossa.samfundet.no) |
2021-04-17 11:43:42 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 11:48:55 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
2021-04-17 11:49:09 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 11:57:59 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 246 seconds) |
2021-04-17 12:02:50 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 12:03:21 +0200 | malumore | (~malumore@151.62.116.94) (Ping timeout: 260 seconds) |
2021-04-17 12:03:41 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
2021-04-17 12:07:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 12:09:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 12:11:30 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 12:12:12 +0200 | p_____ | (~lol@unaffiliated/terpin) |
2021-04-17 12:12:58 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Ping timeout: 268 seconds) |
2021-04-17 12:13:34 +0200 | p_____ | dyeplexer |
2021-04-17 12:14:33 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-04-17 12:17:22 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-17 12:18:15 +0200 | fiedlr | (~fiedlr@195.91.16.37) (Read error: Connection reset by peer) |
2021-04-17 12:21:15 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 12:21:57 +0200 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
2021-04-17 12:25:20 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
2021-04-17 12:26:21 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 12:28:50 +0200 | malumore | (~malumore@151.62.116.94) |
2021-04-17 12:29:12 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-04-17 12:33:21 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) |
2021-04-17 12:35:29 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 12:38:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 12:39:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 12:42:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 12:43:31 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
2021-04-17 12:47:41 +0200 | malumore | (~malumore@151.62.116.94) (Ping timeout: 260 seconds) |
2021-04-17 12:54:53 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-17 12:55:42 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
2021-04-17 12:57:00 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-04-17 12:59:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 13:00:21 +0200 | kritzefitz | (~kritzefit@p5de1049b.dip0.t-ipconnect.de) |
2021-04-17 13:00:46 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-17 13:01:13 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
2021-04-17 13:03:24 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
2021-04-17 13:09:02 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-04-17 13:11:45 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
2021-04-17 13:14:05 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 13:16:10 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
2021-04-17 13:18:57 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 13:20:00 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
2021-04-17 13:20:13 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
2021-04-17 13:23:04 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds) |
2021-04-17 13:23:23 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
2021-04-17 13:26:58 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
2021-04-17 13:29:58 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) () |
2021-04-17 13:32:31 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
2021-04-17 13:33:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-17 13:33:13 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
2021-04-17 13:39:21 +0200 | mauro^ | (mauro@ip98-184-89-2.mc.at.cox.net) |
2021-04-17 13:44:50 +0200 | malumore | (~malumore@151.62.116.94) |
2021-04-17 13:46:18 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 13:48:08 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2021-04-17 13:48:09 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
2021-04-17 13:49:41 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
2021-04-17 13:50:48 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-17 13:51:27 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 13:54:08 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Read error: Connection reset by peer) |
2021-04-17 13:54:21 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
2021-04-17 13:54:44 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 13:56:18 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 13:57:34 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-17 13:58:34 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 14:00:02 +0200 | liyang | (~liyang@90.255.129.199) |
2021-04-17 14:00:40 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-17 14:00:47 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-17 14:01:24 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 14:02:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
2021-04-17 14:05:10 +0200 | ADG1089 | (~aditya@223.226.228.157) |
2021-04-17 14:05:33 +0200 | ADG1089 | (~aditya@223.226.228.157) (Client Quit) |
2021-04-17 14:05:55 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 265 seconds) |
2021-04-17 14:08:45 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 14:10:36 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 14:13:10 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
2021-04-17 14:13:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-04-17 14:18:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2021-04-17 14:19:09 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-04-17 14:19:57 +0200 | ADG1089 | (~aditya@223.226.228.157) |
2021-04-17 14:21:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-17 14:22:32 +0200 | freegraph | (~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 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 14:28:20 +0200 | wroathe | (~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 +0200 | ddellacosta | (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 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2) |
2021-04-17 14:31:10 +0200 | geekosaur | (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 +0200 | lambdaman | (~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 +0200 | wroathe | (~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 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 14:33:58 +0200 | <exarkun> | :) |
2021-04-17 14:34:25 +0200 | berberman_ | (~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 +0200 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 248 seconds) |
2021-04-17 14:35:10 +0200 | ddellacosta | (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 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 252 seconds) |
2021-04-17 14:37:02 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-04-17 14:37:17 +0200 | rprije | (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 260 seconds) |
2021-04-17 14:37:44 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
2021-04-17 14:37:55 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
2021-04-17 14:37:55 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
2021-04-17 14:38:45 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:4ca8:cdd0:c987:a338) |
2021-04-17 14:39:53 +0200 | ericsagn1 | (~ericsagne@2405:6580:0:5100:f42f:2cd9:4893:4d87) (Ping timeout: 250 seconds) |
2021-04-17 14:41:28 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 14:45:46 +0200 | heatsink | (~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 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) (Ping timeout: 240 seconds) |
2021-04-17 14:48:23 +0200 | ski | . 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 +0200 | minoru_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 +0200 | jamm_ | (~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 +0200 | ADG1089 | (~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 +0200 | nicholasbulka | (~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 +0200 | LKoen | (~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 +0200 | urodna | (~urodna@unaffiliated/urodna) |
2021-04-17 14:59:46 +0200 | minoru_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 +0200 | ridcully_ | (~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 +0200 | drbean_ | (~drbean@TC210-63-209-26.static.apol.com.tw) |
2021-04-17 15:10:37 +0200 | ddellacosta | (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 +0200 | son0p | (~ff@181.136.122.143) |
2021-04-17 15:14:56 +0200 | alex_sta | (5f9d2408@95.157.36.8) |
2021-04-17 15:14:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 15:16:35 +0200 | alex_sta | (5f9d2408@95.157.36.8) () |
2021-04-17 15:16:35 +0200 | nbloomf | (~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 +0200 | machinedgod | (~machinedg@24.105.81.50) (Quit: Lost terminal) |
2021-04-17 15:18:45 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2548:b37b:2393:464b) (Client Quit) |
2021-04-17 15:18:51 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
2021-04-17 15:21:11 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-04-17 15:23:39 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
2021-04-17 15:27:00 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) |
2021-04-17 15:30:18 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 15:30:27 +0200 | wjp | (~wjp@217.146.82.202) (Remote host closed the connection) |
2021-04-17 15:33:14 +0200 | hc | (~hc@fsfe/hc) (Remote host closed the connection) |
2021-04-17 15:33:34 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
2021-04-17 15:36:43 +0200 | cheater | (~user@unaffiliated/cheater) (Remote host closed the connection) |
2021-04-17 15:37:11 +0200 | roconnor | (~roconnor@host-45-58-216-246.dyn.295.ca) |
2021-04-17 15:39:36 +0200 | cheater | (~user@unaffiliated/cheater) |
2021-04-17 15:43:33 +0200 | hc | (~hc@fsfe/hc) |
2021-04-17 15:44:09 +0200 | mauro^ | (mauro@ip98-184-89-2.mc.at.cox.net) () |
2021-04-17 15:46:12 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-04-17 15:48:11 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Ping timeout: 260 seconds) |
2021-04-17 15:49:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 15:49:46 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
2021-04-17 15:49:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 15:51:11 +0200 | drbean_ | (~drbean@TC210-63-209-26.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
2021-04-17 15:51:30 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 15:52:13 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 15:53:27 +0200 | dmytrish_ | (~mitra@37.228.247.154) |
2021-04-17 15:53:55 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 248 seconds) |
2021-04-17 15:54:26 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 15:54:55 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2021-04-17 15:56:14 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2) |
2021-04-17 15:57:53 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
2021-04-17 16:00:39 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-17 16:03:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-17 16:04:32 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
2021-04-17 16:05:20 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
2021-04-17 16:07:39 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) |
2021-04-17 16:08:20 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 16:10:45 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2) (Remote host closed the connection) |
2021-04-17 16:12:47 +0200 | dmytrish_ | (~mitra@37.228.247.154) (Read error: Connection reset by peer) |
2021-04-17 16:13:04 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 16:14:02 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 16:17:04 +0200 | son0p | (~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 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 16:23:58 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 16:25:10 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 16:27:23 +0200 | xff0x | (~xff0x@2001:1a81:5285:4800:b119:894a:c62a:5c3d) (Ping timeout: 260 seconds) |
2021-04-17 16:28:03 +0200 | xff0x | (~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d) |
2021-04-17 16:29:32 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 16:29:45 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
2021-04-17 16:31:12 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-04-17 16:34:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-04-17 16:37:36 +0200 | nbloomf | (~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 +0200 | usr25 | (~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 +0200 | dmytrish_ | (~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 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 16:41:17 +0200 | connrs | slowly 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 +0200 | hc | (~hc@fsfe/hc) (Remote host closed the connection) |
2021-04-17 16:44:18 +0200 | GothAlice1 | (~GothAlice@217.146.82.202) |
2021-04-17 16:46:38 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
2021-04-17 16:49:59 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2021-04-17 16:51:26 +0200 | lambdaman | (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds) |
2021-04-17 16:52:21 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-04-17 16:52:28 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) |
2021-04-17 16:54:28 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2021-04-17 17:00:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 17:00:36 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2021-04-17 17:01:04 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 17:01:18 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) |
2021-04-17 17:04:49 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-04-17 17:05:19 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-17 17:05:43 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 17:07:06 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Quit: Konversation terminated!) |
2021-04-17 17:07:24 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 17:08:49 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2021-04-17 17:09:24 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-17 17:09:39 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 17:10:23 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
2021-04-17 17:12:28 +0200 | vv8 | (~egp_@2.95.117.163) |
2021-04-17 17:12:52 +0200 | ridcully | (~ridcully@pd951f269.dip0.t-ipconnect.de) |
2021-04-17 17:17:52 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-04-17 17:19:13 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 17:20:47 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 17:20:58 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 17:22:20 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
2021-04-17 17:23:47 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-04-17 17:23:47 +0200 | vv8 | (~egp_@2.95.117.163) (Quit: EXIT) |
2021-04-17 17:24:24 +0200 | freeman42x1 | (~40726@188.25.151.79) (Quit: Leaving.) |
2021-04-17 17:24:24 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit) |
2021-04-17 17:24:41 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 17:26:17 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
2021-04-17 17:27:19 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-04-17 17:28:42 +0200 | qwerty2o | (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
2021-04-17 17:31:51 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 17:32:23 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2021-04-17 17:33:50 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
2021-04-17 17:35:11 +0200 | LKoen | (~LKoen@65.250.88.92.rev.sfr.net) |
2021-04-17 17:35:31 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2021-04-17 17:36:54 +0200 | e | (e@freenode/staff/spy.edk) |
2021-04-17 17:38:23 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 17:39:12 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
2021-04-17 17:40:20 +0200 | wickedjargon | (~ff@2607:9880:2198:4e:aad4:1e17:671e:79b1) (Quit: Leaving) |
2021-04-17 17:42:27 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 17:42:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 17:42:43 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) |
2021-04-17 17:43:12 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-bznsgfmyisybhnen) |
2021-04-17 17:43:16 +0200 | qwerty2o | (~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 252 seconds) |
2021-04-17 17:45:33 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
2021-04-17 17:45:52 +0200 | ddellacosta | (~ddellacos@86.106.143.92) |
2021-04-17 17:46:12 +0200 | ukari | (~ukari@unaffiliated/ukari) |
2021-04-17 17:46:22 +0200 | vv8 | (~egp_@2.95.117.163) |
2021-04-17 17:48:43 +0200 | geiger_ | (~geiger@90.212.77.86) |
2021-04-17 17:50:58 +0200 | hc | (~hc@fsfe/hc) |
2021-04-17 17:51:08 +0200 | geiger | (~geiger@90.212.77.86) (Ping timeout: 246 seconds) |
2021-04-17 17:55:12 +0200 | mat[m]1 | (matmatrixo@gateway/shell/matrix.org/x-uwjgvmzxszuovuwu) |
2021-04-17 17:57:14 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
2021-04-17 17:57:34 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Read error: Connection reset by peer) |
2021-04-17 17:58:24 +0200 | hypercube | (hypercube@gateway/vpn/protonvpn/hypercube) |
2021-04-17 17:58:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-17 17:59:00 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 17:59:46 +0200 | Nahra | (~user@unaffiliated/nahra) (Ping timeout: 252 seconds) |
2021-04-17 18:00:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 18:01:22 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 258 seconds) |
2021-04-17 18:09:13 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-04-17 18:09:26 +0200 | hc | (~hc@fsfe/hc) (Remote host closed the connection) |
2021-04-17 18:09:39 +0200 | sepples_ | (~sepples@sepples.xyz) |
2021-04-17 18:10:38 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-04-17 18:12:37 +0200 | Jd007 | (~Jd007@162.156.11.151) |
2021-04-17 18:13:44 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c8b6:8ee4:f90a:54d2) |
2021-04-17 18:17:14 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
2021-04-17 18:17:49 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-04-17 18:19:18 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
2021-04-17 18:22:15 +0200 | haiming | (~textual@113.81.227.157) |
2021-04-17 18:22:40 +0200 | haiming | (~textual@113.81.227.157) (Client Quit) |
2021-04-17 18:23:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
2021-04-17 18:24:58 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
2021-04-17 18:28:20 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 18:34:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-04-17 18:38:03 +0200 | hc | (~hc@fsfe/hc) |
2021-04-17 18:38:23 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-mkcsziznqohoylbr) |
2021-04-17 18:39:06 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds) |
2021-04-17 18:45:03 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
2021-04-17 18:47:12 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-04-17 18:47:18 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 18:49:38 +0200 | ddellacosta | (~ddellacos@86.106.143.92) (Ping timeout: 265 seconds) |
2021-04-17 18:49:41 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Read error: Connection reset by peer) |
2021-04-17 18:49:54 +0200 | dmytrish_ | (~mitra@37.228.247.154) |
2021-04-17 18:50:49 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 18:51:24 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
2021-04-17 18:56:11 +0200 | dmytrish_ | (~mitra@37.228.247.154) (Read error: Connection reset by peer) |
2021-04-17 18:56:16 +0200 | malumore_ | (~malumore@151.62.116.94) |
2021-04-17 18:56:22 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 18:56:30 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-04-17 18:57:38 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
2021-04-17 18:58:03 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
2021-04-17 18:59:08 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
2021-04-17 18:59:16 +0200 | malumore | (~malumore@151.62.116.94) (Ping timeout: 260 seconds) |
2021-04-17 19:05:50 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-04-17 19:06:59 +0200 | wonko7 | (~wonko7@62.115.229.50) |
2021-04-17 19:07:32 +0200 | fosterite | (~fosterite@2600:6c46:7800:fecf:dc5d:6d28:7af5:855) |
2021-04-17 19:11:39 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 19:11:51 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 19:12:33 +0200 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
2021-04-17 19:17:52 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 19:17:53 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 19:18:15 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 19:19:36 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 265 seconds) |
2021-04-17 19:22:08 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit) |
2021-04-17 19:22:36 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
2021-04-17 19:22:38 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 19:22:58 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-04-17 19:23:59 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Read error: Connection reset by peer) |
2021-04-17 19:29:23 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Ping timeout: 260 seconds) |
2021-04-17 19:29:50 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 19:29:56 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-04-17 19:30:21 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
2021-04-17 19:30:43 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
2021-04-17 19:30:44 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-04-17 19:31:13 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
2021-04-17 19:31:32 +0200 | mach1speed | (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
2021-04-17 19:33:35 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
2021-04-17 19:35:44 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
2021-04-17 19:36:09 +0200 | Forkk | (forkk@2600:3c00::f03c:91ff:fe84:de4d) ("http://quassel-irc.org - Chat comfortably. Anywhere.") |
2021-04-17 19:37:58 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
2021-04-17 19:43:03 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
2021-04-17 19:45:10 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:35d5:f540:5742:5bbb) |
2021-04-17 19:58:02 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-mungwgamlhtkwcqm) (Quit: Connection closed for inactivity) |
2021-04-17 19:58:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 20:02:22 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 20:03:05 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2021-04-17 20:06:10 +0200 | electricityZZZZ | (~electrici@135-180-3-82.static.sonic.net) |
2021-04-17 20:07:18 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2021-04-17 20:07:38 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-04-17 20:10:00 +0200 | Jd007 | (~Jd007@162.156.11.151) |
2021-04-17 20:10:21 +0200 | Aquazi | (uid312403@gateway/web/irccloud.com/x-bznsgfmyisybhnen) (Quit: Connection closed for inactivity) |
2021-04-17 20:10:26 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
2021-04-17 20:11:42 +0200 | jacks2 | (~bc8134e3@217.29.117.252) |
2021-04-17 20:12:40 +0200 | electricityZZZZ | (~electrici@135-180-3-82.static.sonic.net) (Quit: Leaving) |
2021-04-17 20:13:12 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) |
2021-04-17 20:13:13 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 20:13:28 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) |
2021-04-17 20:15:57 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Read error: Connection reset by peer) |
2021-04-17 20:16:09 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 20:18:28 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
2021-04-17 20:20:06 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit) |
2021-04-17 20:21:01 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 20:21:55 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
2021-04-17 20:24:41 +0200 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
2021-04-17 20:31:05 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 20:31:57 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 20:32:08 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 20:33:33 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
2021-04-17 20:33:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 20:34:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 20:34:46 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-04-17 20:36:50 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 20:36:56 +0200 | dmytrish_ | (~mitra@37.228.247.154) |
2021-04-17 20:37:12 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
2021-04-17 20:37:33 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:2da7:716d:8019:f160) (Remote host closed the connection) |
2021-04-17 20:37:33 +0200 | freegraph | (~freegraph@103.58.155.187) (Ping timeout: 240 seconds) |
2021-04-17 20:38:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2021-04-17 20:38:58 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 20:39:13 +0200 | dmytrish | (~mitra@37.228.247.154) |
2021-04-17 20:39:14 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:9509:5fe0:4a17:10b5) |
2021-04-17 20:39:45 +0200 | dmytrish | (~mitra@37.228.247.154) (Read error: Connection reset by peer) |
2021-04-17 20:40:11 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 20:40:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 20:42:33 +0200 | dmytrish_ | (~mitra@37.228.247.154) (Ping timeout: 240 seconds) |
2021-04-17 20:43:09 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
2021-04-17 20:43:31 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:9509:5fe0:4a17:10b5) (Ping timeout: 258 seconds) |
2021-04-17 20:44:52 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
2021-04-17 20:45:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
2021-04-17 20:47:45 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 20:48:18 +0200 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
2021-04-17 20:50:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
2021-04-17 20:50:46 +0200 | Guest78317 | (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
2021-04-17 20:51:55 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Remote host closed the connection) |
2021-04-17 20:52:34 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 20:52:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-17 20:52:37 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-04-17 20:53:04 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
2021-04-17 20:54:21 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) |
2021-04-17 20:54:23 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 20:54:58 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2548:b37b:2393:464b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 20:56:46 +0200 | fiedlr | (~fiedlr@83.148.33.254) (Ping timeout: 240 seconds) |
2021-04-17 20:58:14 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Remote host closed the connection) |
2021-04-17 20:58:27 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
2021-04-17 20:59:19 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Remote host closed the connection) |
2021-04-17 21:01:04 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
2021-04-17 21:01:15 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) |
2021-04-17 21:01:45 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 21:02:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2021-04-17 21:02:23 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:936:d944:8db0:5069) (Read error: Connection reset by peer) |
2021-04-17 21:02:39 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 21:02:50 +0200 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
2021-04-17 21:03:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-04-17 21:04:41 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2021-04-17 21:06:08 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 21:09:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 21:10:11 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
2021-04-17 21:11:16 +0200 | hexfive | (~hexfive@50.35.83.177) |
2021-04-17 21:11:37 +0200 | hexfive | (~hexfive@50.35.83.177) (Client Quit) |
2021-04-17 21:11:43 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 21:11:52 +0200 | dmytrish_ | (~mitra@37.228.247.154) |
2021-04-17 21:13:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 21:13:52 +0200 | dmytrish_ | (~mitra@37.228.247.154) (Client Quit) |
2021-04-17 21:14:13 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 21:15:02 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-17 21:16:55 +0200 | Varis | (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
2021-04-17 21:17:15 +0200 | Varis | (~Tadas@unaffiliated/varis) |
2021-04-17 21:17:55 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-ffewfqkvmgmtpxhy) (Quit: Connection closed for inactivity) |
2021-04-17 21:18:01 +0200 | ericsagnes | (~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 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 21:18:52 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit) |
2021-04-17 21:18:52 +0200 | minoru_shiraeesh | (~shiraeesh@5.101.59.131) (Ping timeout: 252 seconds) |
2021-04-17 21:19:14 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 21:22:10 +0200 | qwerty2o | (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
2021-04-17 21:22:41 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
2021-04-17 21:24:00 +0200 | Jd007 | (~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 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2021-04-17 21:25:15 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 21:25:28 +0200 | dmytrish_ | (~mitra@37.228.247.154) |
2021-04-17 21:26:48 +0200 | dmytrish_ | (~mitra@37.228.247.154) (Read error: Connection reset by peer) |
2021-04-17 21:27:02 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 21:27:13 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
2021-04-17 21:29:54 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:cd2f:135d:b869:baa3) |
2021-04-17 21:30:16 +0200 | fiedlr | (~fiedlr@83.148.33.254) |
2021-04-17 21:32:05 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
2021-04-17 21:32:09 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 21:32:39 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
2021-04-17 21:36:11 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 240 seconds) |
2021-04-17 21:36:25 +0200 | Alleria | (~textual@mskresolve-a.mskcc.org) |
2021-04-17 21:36:50 +0200 | Alleria | Guest62988 |
2021-04-17 21:36:50 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) |
2021-04-17 21:37:12 +0200 | dmytrish | (~mitra@37.228.247.154) |
2021-04-17 21:37:12 +0200 | dmytrish_ | (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
2021-04-17 21:42:33 +0200 | xff0x | (~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d) (Ping timeout: 258 seconds) |
2021-04-17 21:44:26 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
2021-04-17 21:44:50 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
2021-04-17 21:45:02 +0200 | pavonia | (~user@unaffiliated/siracusa) |
2021-04-17 21:47:11 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Client Quit) |
2021-04-17 21:47:50 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
2021-04-17 21:55:31 +0200 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2021-04-17 21:56:06 +0200 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
2021-04-17 21:56:58 +0200 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
2021-04-17 21:56:59 +0200 | Lord_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 +0200 | Deide | (~Deide@217.155.19.23) |
2021-04-17 22:00:46 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds) |
2021-04-17 22:02:06 +0200 | nineonine | (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
2021-04-17 22:02:51 +0200 | xff0x | (~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d) |
2021-04-17 22:04:58 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
2021-04-17 22:06:58 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
2021-04-17 22:07:15 +0200 | petersen | (~petersen@redhat/juhp) |
2021-04-17 22:07:50 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
2021-04-17 22:07:59 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
2021-04-17 22:10:34 +0200 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 252 seconds) |
2021-04-17 22:12:27 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
2021-04-17 22:13:07 +0200 | sz0 | (uid110435@gateway/web/irccloud.com/x-nyvqwpzmynjyzzuv) |
2021-04-17 22:13:42 +0200 | Guest62988 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 22:27:06 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2021-04-17 22:27:22 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
2021-04-17 22:28:45 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2021-04-17 22:29:26 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1) |
2021-04-17 22:33:43 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
2021-04-17 22:34:06 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
2021-04-17 22:35:20 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 22:35:34 +0200 | landonf | (landonf@mac68k.info) |
2021-04-17 22:35:49 +0200 | fosterite | (~fosterite@2600:6c46:7800:fecf:dc5d:6d28:7af5:855) () |
2021-04-17 22:36:52 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) |
2021-04-17 22:39:57 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:a892:6894:980d:95d) |
2021-04-17 22:40:49 +0200 | hidedagger | (~nate@unaffiliated/hidedagger) (Client Quit) |
2021-04-17 22:41:22 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 22:41:45 +0200 | alx741 | (~alx741@186.178.109.113) |
2021-04-17 22:43:35 +0200 | coot | (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2021-04-17 22:44:39 +0200 | kiweun | (~kiweun@2607:fea8:2a62:9600:a892:6894:980d:95d) (Ping timeout: 258 seconds) |
2021-04-17 22:45:50 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2021-04-17 22:48:22 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
2021-04-17 22:49:35 +0200 | jaykru | (~user@unaffiliated/jaykru) |
2021-04-17 22:51:09 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
2021-04-17 22:51:58 +0200 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
2021-04-17 22:53:54 +0200 | kritzefitz | (~kritzefit@p5de1049b.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-04-17 22:55:14 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 22:57:00 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) |
2021-04-17 22:59:47 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
2021-04-17 23:00:04 +0200 | Alleria | (~textual@2603-7000-3040-0000-884c-c769-78b1-090c.res6.spectrum.com) |
2021-04-17 23:00:22 +0200 | jaykru | (~user@unaffiliated/jaykru) (Ping timeout: 258 seconds) |
2021-04-17 23:00:29 +0200 | Alleria | Guest31915 |
2021-04-17 23:00:36 +0200 | nut | (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
2021-04-17 23:01:41 +0200 | Lycurgus | (~niemand@98.4.118.65) |
2021-04-17 23:01:42 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-04-17 23:03:40 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
2021-04-17 23:04:35 +0200 | Guest31915 | (~textual@2603-7000-3040-0000-884c-c769-78b1-090c.res6.spectrum.com) (Ping timeout: 258 seconds) |
2021-04-17 23:08:21 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2021-04-17 23:10:38 +0200 | LKoen | (~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 +0200 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
2021-04-17 23:12:57 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2021-04-17 23:16:08 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 23:16:34 +0200 | Sornaensis | (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 252 seconds) |
2021-04-17 23:18:15 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 23:18:57 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2021-04-17 23:20:29 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2021-04-17 23:22:53 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
2021-04-17 23:30:44 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
2021-04-17 23:31:03 +0200 | Kaeipi | (~Kaiepi@47.54.252.148) |
2021-04-17 23:34:13 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-04-17 23:35:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-04-17 23:40:56 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-04-17 23:41:16 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-04-17 23:41:19 +0200 | todda7 | (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds) |
2021-04-17 23:42:13 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Client Quit) |
2021-04-17 23:43:24 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
2021-04-17 23:43:25 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-04-17 23:43:40 +0200 | Tario | (~Tario@201.192.165.173) |
2021-04-17 23:44:30 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:59bd:b3a:d071:42eb) |
2021-04-17 23:45:02 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:59bd:b3a:d071:42eb) (Client Quit) |
2021-04-17 23:47:20 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
2021-04-17 23:48:47 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-04-17 23:50:25 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
2021-04-17 23:50:32 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
2021-04-17 23:50:45 +0200 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2021-04-17 23:54:53 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
2021-04-17 23:59:12 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2021-04-17 23:59:36 +0200 | Tario | (~Tario@201.192.165.173) |