2021-06-06 00:00:13 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 00:00:39 +0200 | <_73> | Ok I got it now thanks |
2021-06-06 00:02:20 +0200 | Scotty_Trees | (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
2021-06-06 00:03:31 +0200 | ddellaco_ | (~ddellacos@89.46.62.89) (Ping timeout: 244 seconds) |
2021-06-06 00:03:51 +0200 | <monochrom> | "Here's a bonus note with Java performance tips": "perform loop invariant code motion yourself", "perform common subexpression elimination yourself", "perform induction variable optimization yourself", "while you can't perform register allocation yourself, you can nudge it by copying data to local variables yourself", "perform TC->loop optimization yourself" |
2021-06-06 00:04:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 00:07:25 +0200 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
2021-06-06 00:09:10 +0200 | <boxscape> | fun |
2021-06-06 00:09:52 +0200 | <Cajun> | and java still doesnt have TCO/TCE lol |
2021-06-06 00:10:30 +0200 | fendor | (~fendor@91.141.0.144.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
2021-06-06 00:11:29 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 252 seconds) |
2021-06-06 00:13:40 +0200 | Guest6926 | (~Guest69@p4fee78f5.dip0.t-ipconnect.de) |
2021-06-06 00:14:00 +0200 | Guest6926 | (~Guest69@p4fee78f5.dip0.t-ipconnect.de) (Client Quit) |
2021-06-06 00:14:32 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-06-06 00:14:56 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Client Quit) |
2021-06-06 00:16:45 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
2021-06-06 00:19:33 +0200 | derelict | (~winter@2603-6011-f901-9e5b-aed0-a4c6-fbb9-1828.res6.spectrum.com) (Quit: WeeChat 3.1) |
2021-06-06 00:20:50 +0200 | <unyu> | What is the current blessed way to use databases in Haskell? I mean, while avoiding the extremes of “stringly typed queries” and “need to use a lot of Template Haskell magic to generate types for every single table and view”. |
2021-06-06 00:21:44 +0200 | egoist | (~egoist@186.235.82.52) |
2021-06-06 00:23:08 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
2021-06-06 00:24:58 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8) |
2021-06-06 00:28:01 +0200 | ddellacosta | (~ddellacos@107.182.237.14) |
2021-06-06 00:28:36 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
2021-06-06 00:28:50 +0200 | <[exa]> | unyu: we used selda, it was cool |
2021-06-06 00:29:35 +0200 | <unyu> | Thanks, checking it out. |
2021-06-06 00:29:50 +0200 | <[exa]> | it works with overloaded labels and generics, pretty good imho |
2021-06-06 00:30:47 +0200 | <jiribenes> | yeah, selda is pretty cool (not too basic, not too advanced IMO) |
2021-06-06 00:30:57 +0200 | <[exa]> | honestly the labels are mildly scary for the first time |
2021-06-06 00:31:15 +0200 | <[exa]> | but you can chew through it |
2021-06-06 00:31:33 +0200 | <[exa]> | (I didn't even look up what the # really does yet, it just worked) |
2021-06-06 00:32:33 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-06-06 00:33:00 +0200 | ddellacosta | (~ddellacos@107.182.237.14) (Ping timeout: 268 seconds) |
2021-06-06 00:33:12 +0200 | <unyu> | Thanks. :-) |
2021-06-06 00:44:39 +0200 | danidiaz1 | (~ESDPC@137.101.155.105) () |
2021-06-06 00:47:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-06-06 00:49:05 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
2021-06-06 00:49:40 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 00:53:06 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:cace:1aaf:4d66:6b7f) (Ping timeout: 264 seconds) |
2021-06-06 00:53:25 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:83e3:594a:8633:1f79) |
2021-06-06 00:58:02 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 01:03:27 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
2021-06-06 01:03:44 +0200 | pritambaral | (~pritam@user/pritambaral) (Ping timeout: 252 seconds) |
2021-06-06 01:05:15 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 01:09:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 264 seconds) |
2021-06-06 01:11:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
2021-06-06 01:12:10 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-06-06 01:13:22 +0200 | wagle | (~wagle@quassel.wagle.io) (Ping timeout: 272 seconds) |
2021-06-06 01:15:21 +0200 | amahl | (~amahl@dxv5skyjrs0nnb65v1dgy-3.rev.dnainternet.fi) (Remote host closed the connection) |
2021-06-06 01:16:50 +0200 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
2021-06-06 01:17:05 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 01:17:15 +0200 | wagle | (~wagle@quassel.wagle.io) |
2021-06-06 01:18:26 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 244 seconds) |
2021-06-06 01:30:21 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 01:33:20 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 01:33:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 01:37:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 01:38:57 +0200 | Core5474 | (~Core5474@2600:1700:7720:cf80:e124:f2c6:8838:3b4c) (Ping timeout: 272 seconds) |
2021-06-06 01:38:58 +0200 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
2021-06-06 01:43:14 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 244 seconds) |
2021-06-06 01:50:42 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
2021-06-06 01:51:00 +0200 | notzmv | (~zmv@user/notzmv) |
2021-06-06 01:53:48 +0200 | Guest33 | (~Guest33@d24-141-46-200.home.cgocable.net) (Ping timeout: 250 seconds) |
2021-06-06 01:58:48 +0200 | smunix | (~username@lnsm4-montreal02-142-118-222-113.internet.virginmobile.ca) |
2021-06-06 01:59:20 +0200 | smunix | (~username@lnsm4-montreal02-142-118-222-113.internet.virginmobile.ca) (Remote host closed the connection) |
2021-06-06 02:04:02 +0200 | Toast52 | (~Toast52@151.192.167.120) |
2021-06-06 02:04:36 +0200 | pierrot | (~pi@user/pierrot) (Remote host closed the connection) |
2021-06-06 02:06:29 +0200 | xff0x | (~xff0x@2001:1a81:53bd:ad00:83e3:594a:8633:1f79) (Ping timeout: 244 seconds) |
2021-06-06 02:07:40 +0200 | xff0x | (~xff0x@2001:1a81:53f2:9700:8751:d09f:3a3:681c) |
2021-06-06 02:07:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-06-06 02:09:35 +0200 | hololeap | (hololeap@user/hololeap) (Remote host closed the connection) |
2021-06-06 02:10:38 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 02:12:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 02:17:14 +0200 | Guest33 | (~Guest33@69.158.246.217) |
2021-06-06 02:17:20 +0200 | altern | (~Sergii@altern.corbina.com.ua) (Ping timeout: 272 seconds) |
2021-06-06 02:17:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-06-06 02:23:15 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
2021-06-06 02:28:33 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: Lost terminal) |
2021-06-06 02:29:56 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Read error: Connection reset by peer) |
2021-06-06 02:30:01 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-06-06 02:30:21 +0200 | ddellacosta | (~ddellacos@89.46.62.108) |
2021-06-06 02:32:01 +0200 | jaevanko | (~jaevanko@2600:1700:1330:2bef:3811:9ded:8910:1357) |
2021-06-06 02:32:55 +0200 | jaevanko | (~jaevanko@2600:1700:1330:2bef:3811:9ded:8910:1357) (Client Quit) |
2021-06-06 02:34:54 +0200 | ddellacosta | (~ddellacos@89.46.62.108) (Ping timeout: 244 seconds) |
2021-06-06 02:35:14 +0200 | hmmmas | (~chenqisu1@183.217.201.236) |
2021-06-06 02:41:52 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
2021-06-06 02:42:17 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
2021-06-06 02:43:07 +0200 | junkicide | (~user@2a01:e0a:195:20c0:a95e:73ee:468d:e1b6) (Ping timeout: 268 seconds) |
2021-06-06 02:44:33 +0200 | cat32 | (~cat@c-71-198-154-51.hsd1.ca.comcast.net) |
2021-06-06 02:45:13 +0200 | cat32 | (~cat@c-71-198-154-51.hsd1.ca.comcast.net) (Client Quit) |
2021-06-06 02:45:25 +0200 | cat34 | (~cat@c-71-198-154-51.hsd1.ca.comcast.net) |
2021-06-06 02:46:07 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 02:46:36 +0200 | Guest33 | (~Guest33@69.158.246.217) (Quit: Client closed) |
2021-06-06 02:49:11 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
2021-06-06 02:49:45 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 02:50:42 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
2021-06-06 02:53:32 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
2021-06-06 02:57:54 +0200 | ddellacosta | (~ddellacos@86.106.121.248) |
2021-06-06 02:59:42 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-06-06 03:01:06 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-06-06 03:01:34 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Client Quit) |
2021-06-06 03:02:25 +0200 | ddellacosta | (~ddellacos@86.106.121.248) (Ping timeout: 245 seconds) |
2021-06-06 03:03:25 +0200 | pe200012 | (~pe200012@58.248.179.178) |
2021-06-06 03:04:00 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
2021-06-06 03:04:35 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 03:05:02 +0200 | bitmapper | (uid464869@id-464869.tooting.irccloud.com) |
2021-06-06 03:06:43 +0200 | ddellacosta | (~ddellacos@89.45.224.183) |
2021-06-06 03:06:55 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
2021-06-06 03:07:45 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 2.9) |
2021-06-06 03:08:12 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
2021-06-06 03:09:30 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 245 seconds) |
2021-06-06 03:11:30 +0200 | aerona | (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6) (Quit: Leaving) |
2021-06-06 03:11:44 +0200 | aerona | (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6) |
2021-06-06 03:13:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 03:15:09 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-06-06 03:15:54 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
2021-06-06 03:16:35 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
2021-06-06 03:17:05 +0200 | xff0x | (~xff0x@2001:1a81:53f2:9700:8751:d09f:3a3:681c) (Ping timeout: 265 seconds) |
2021-06-06 03:17:23 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 252 seconds) |
2021-06-06 03:17:55 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 03:18:56 +0200 | xff0x | (~xff0x@2001:1a81:53fc:900:3f16:186f:3986:9c65) |
2021-06-06 03:26:21 +0200 | ell | (~ellie@user/ellie) |
2021-06-06 03:27:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 03:29:59 +0200 | hexo | (~hexo@user/hexo) (Ping timeout: 268 seconds) |
2021-06-06 03:35:36 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 03:36:39 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
2021-06-06 03:50:42 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 264 seconds) |
2021-06-06 03:53:01 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:c4cd:bb0f:bbfb:d57f) (Read error: Connection reset by peer) |
2021-06-06 03:54:27 +0200 | stefan-_ | (~cri@42dots.de) |
2021-06-06 03:59:47 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-06-06 04:00:23 +0200 | doyougnu | (~user@c-67-168-253-231.hsd1.or.comcast.net) |
2021-06-06 04:04:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 04:07:52 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-06-06 04:07:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (tungsten.libera.chat (Nickname regained by services))) |
2021-06-06 04:07:52 +0200 | finn_elija | FinnElija |
2021-06-06 04:14:28 +0200 | Izem | (~Izem@bras-base-london1483w-grc-38-65-95-41-91.dsl.bell.ca) |
2021-06-06 04:16:03 +0200 | cat34 | (~cat@c-71-198-154-51.hsd1.ca.comcast.net) (Quit: Connection closed) |
2021-06-06 04:18:50 +0200 | kirelagin[m] | (~kirelagin@2001:470:69fc:105::f85) |
2021-06-06 04:24:29 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
2021-06-06 04:25:59 +0200 | kirelagin[m] | kirelagin |
2021-06-06 04:26:26 +0200 | kirelagin | (~kirelagin@2001:470:69fc:105::f85) (Quit: node-irc says goodbye) |
2021-06-06 04:26:45 +0200 | kirelagin | (~kirelagin@2001:470:69fc:105::f85) |
2021-06-06 04:27:12 +0200 | kirelagin | (~kirelagin@2001:470:69fc:105::f85) (Client Quit) |
2021-06-06 04:27:28 +0200 | kirelagin | (~kirelagin@2001:470:69fc:105::f85) |
2021-06-06 04:27:39 +0200 | td_ | (~td@muedsl-82-207-238-014.citykom.de) (Ping timeout: 265 seconds) |
2021-06-06 04:27:50 +0200 | pe200012 | (~pe200012@58.248.179.178) (Ping timeout: 245 seconds) |
2021-06-06 04:27:53 +0200 | pe200012_ | (~pe200012@58.248.179.178) |
2021-06-06 04:29:07 +0200 | td_ | (~td@muedsl-82-207-238-175.citykom.de) |
2021-06-06 04:29:42 +0200 | hiruji` | (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (Ping timeout: 272 seconds) |
2021-06-06 04:29:56 +0200 | kirelagin | (~kirelagin@2001:470:69fc:105::f85) () |
2021-06-06 04:30:48 +0200 | hiruji | (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) |
2021-06-06 04:33:37 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
2021-06-06 04:35:48 +0200 | Izem | (~Izem@bras-base-london1483w-grc-38-65-95-41-91.dsl.bell.ca) () |
2021-06-06 04:37:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-06-06 04:45:24 +0200 | Bartosz | (~textual@24.35.90.211) |
2021-06-06 04:45:46 +0200 | egoist | (~egoist@186.235.82.52) (Quit: WeeChat 3.1) |
2021-06-06 04:46:20 +0200 | hmmmas | (~chenqisu1@183.217.201.236) (Quit: Leaving.) |
2021-06-06 04:48:12 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-06-06 04:49:00 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
2021-06-06 04:49:12 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 04:52:33 +0200 | wei2912 | (~wei2912@112.199.250.21) |
2021-06-06 04:53:40 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
2021-06-06 04:54:25 +0200 | ddellaco_ | (~ddellacos@86.106.121.26) |
2021-06-06 04:59:08 +0200 | ddellaco_ | (~ddellacos@86.106.121.26) (Ping timeout: 252 seconds) |
2021-06-06 05:04:34 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-06-06 05:05:14 +0200 | ikex | (~ash@user/ikex) |
2021-06-06 05:07:54 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-06-06 05:11:29 +0200 | ddellacosta | (~ddellacos@89.45.224.183) (Remote host closed the connection) |
2021-06-06 05:11:40 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 05:12:36 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
2021-06-06 05:13:00 +0200 | Erutuon | (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
2021-06-06 05:13:10 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-06-06 05:16:06 +0200 | ddellacosta | (~ddellacos@86.106.121.222) |
2021-06-06 05:19:37 +0200 | jlamothe | (~jlamothe@198.251.57.81) (Remote host closed the connection) |
2021-06-06 05:23:02 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2021-06-06 05:23:31 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
2021-06-06 05:26:46 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2021-06-06 05:27:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2021-06-06 05:27:59 +0200 | Lord_of_Life_ | Lord_of_Life |
2021-06-06 05:32:03 +0200 | kadoban | (~kadoban@user/kadoban) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) (Remote host closed the connection) |
2021-06-06 05:32:04 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Remote host closed the connection) |
2021-06-06 05:32:04 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | psydroid | (~psydroidm@user/psydroid) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | siraben | (~siraben@user/siraben) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | bb010g | (~bb010gmat@2001:470:69fc:105::9a5) (Read error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) (Write error: Connection reset by peer) |
2021-06-06 05:32:04 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (Remote host closed the connection) |
2021-06-06 05:32:04 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (Read error: Connection reset by peer) |
2021-06-06 05:32:49 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2021-06-06 05:34:21 +0200 | pe200012_ | (~pe200012@58.248.179.178) (Ping timeout: 265 seconds) |
2021-06-06 05:34:23 +0200 | pe200012 | (~pe200012@119.145.72.136) |
2021-06-06 05:34:57 +0200 | siraben | (~siraben@user/siraben) |
2021-06-06 05:34:57 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2021-06-06 05:34:57 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
2021-06-06 05:34:57 +0200 | psydroid | (~psydroidm@2001:470:69fc:105::165) |
2021-06-06 05:34:57 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
2021-06-06 05:34:57 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2021-06-06 05:34:57 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2021-06-06 05:34:58 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
2021-06-06 05:34:58 +0200 | fabfianda[m] | (~fabfianda@2001:470:69fc:105::6db) |
2021-06-06 05:34:58 +0200 | Las[m] | (~lasmatrix@2001:470:69fc:105::74e) |
2021-06-06 05:34:58 +0200 | ServerStatsDisco | (~serversta@2001:470:69fc:105::1a) |
2021-06-06 05:34:59 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2021-06-06 05:34:59 +0200 | kadoban | (~kadoban@user/kadoban) |
2021-06-06 05:35:09 +0200 | hjulle[m] | (~hjullemat@2001:470:69fc:105::1dd) |
2021-06-06 05:35:09 +0200 | srid[m] | (~sridmatri@2001:470:69fc:105::1c2) |
2021-06-06 05:35:09 +0200 | Morrow[m] | (~morrowmma@2001:470:69fc:105::1d0) |
2021-06-06 05:35:10 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) |
2021-06-06 05:35:10 +0200 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) |
2021-06-06 05:35:10 +0200 | tomferon[m] | (~tomferon@2001:470:69fc:105::268) |
2021-06-06 05:35:10 +0200 | bb010g | (~bb010gmat@2001:470:69fc:105::9a5) |
2021-06-06 05:35:10 +0200 | Drezil | (~drezilkif@2001:470:69fc:105::7f8) |
2021-06-06 05:35:10 +0200 | Artem[m] | (~artemtype@2001:470:69fc:105::75b) |
2021-06-06 05:35:10 +0200 | marinelli[m] | (~marinelli@2001:470:69fc:105::2d8) |
2021-06-06 05:35:11 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2021-06-06 05:35:11 +0200 | ru0mad[m] | (~ru0madmat@2001:470:69fc:105::9b2) |
2021-06-06 05:35:11 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) |
2021-06-06 05:35:11 +0200 | adziahel[m] | (~adziahelm@2001:470:69fc:105::b4d) |
2021-06-06 05:35:11 +0200 | eddiemundo | (~eddiemund@2001:470:69fc:105::a9c) |
2021-06-06 05:35:11 +0200 | cdsmith | (~cdsmithma@2001:470:69fc:105::284) |
2021-06-06 05:35:12 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2021-06-06 05:35:12 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
2021-06-06 05:36:55 +0200 | otto_s | (~user@p4ff27879.dip0.t-ipconnect.de) |
2021-06-06 05:39:52 +0200 | otto_s_ | (~user@p5de2f70a.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
2021-06-06 05:40:38 +0200 | unyu | (~pyon@user/pyon) (Quit: WeeChat 3.1) |
2021-06-06 05:44:56 +0200 | Henson | (~kvirc@23-233-1-122.cpe.pppoe.ca) (Quit: sleep time!) |
2021-06-06 05:45:19 +0200 | hololeap | (hololeap@user/hololeap) |
2021-06-06 05:45:26 +0200 | altern | (~Sergii@altern.corbina.com.ua) |
2021-06-06 05:55:53 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
2021-06-06 06:02:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
2021-06-06 06:02:59 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer) |
2021-06-06 06:03:17 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-06-06 06:08:45 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-06-06 06:09:50 +0200 | jlamothe | (~jlamothe@198.251.57.81) |
2021-06-06 06:13:20 +0200 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
2021-06-06 06:13:24 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
2021-06-06 06:18:37 +0200 | Guest57 | (~Guest57@122.182.222.241) |
2021-06-06 06:19:27 +0200 | Guest57 | (~Guest57@122.182.222.241) (Client Quit) |
2021-06-06 06:19:48 +0200 | Guest18 | (~Guest18@122.182.222.241) |
2021-06-06 06:20:21 +0200 | Guest18 | (~Guest18@122.182.222.241) (Client Quit) |
2021-06-06 06:22:13 +0200 | larkfisherman | (~larkfishe@178.77.36.35) |
2021-06-06 06:23:47 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
2021-06-06 06:26:48 +0200 | alx741 | (~alx741@186.178.108.47) (Quit: alx741) |
2021-06-06 06:26:54 +0200 | larkfisherman | (~larkfishe@178.77.36.35) (Remote host closed the connection) |
2021-06-06 06:33:36 +0200 | Pixi_ | (~Pixi@user/pixi) |
2021-06-06 06:33:42 +0200 | larkfisherman | (~larkfishe@178.77.36.35) |
2021-06-06 06:34:19 +0200 | anonymous | (~river@tilde.team/user/river) |
2021-06-06 06:34:28 +0200 | tabemann_ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2021-06-06 06:34:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 06:34:44 +0200 | poljar | (~poljar@78-2-43-255.adsl.net.t-com.hr) |
2021-06-06 06:34:46 +0200 | abbie2 | (~abbie@user/abbie) |
2021-06-06 06:34:48 +0200 | SquidDev9 | (~SquidDev@autoclave.squiddev.cc) |
2021-06-06 06:34:53 +0200 | infinisi1 | (~infinisil@mail.infinisil.com) |
2021-06-06 06:34:58 +0200 | yaroot8 | (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
2021-06-06 06:35:04 +0200 | thelounge923 | (~thelounge@cpe-23-240-28-18.socal.res.rr.com) |
2021-06-06 06:35:06 +0200 | dsal_ | (sid13060@id-13060.tooting.irccloud.com) |
2021-06-06 06:35:20 +0200 | sclv_ | (sid39734@haskell/developer/sclv) |
2021-06-06 06:35:24 +0200 | _73` | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
2021-06-06 06:35:32 +0200 | CodeKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) |
2021-06-06 06:35:45 +0200 | grfn_ | (sid449115@id-449115.brockwell.irccloud.com) |
2021-06-06 06:35:47 +0200 | terrorjack2 | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) |
2021-06-06 06:35:52 +0200 | obviyus_ | (sid415299@user/obviyus) |
2021-06-06 06:35:52 +0200 | conjunctive_ | (sid433686@id-433686.brockwell.irccloud.com) |
2021-06-06 06:35:55 +0200 | nitrix_ | (~nitrix@ns569831.ip-51-79-81.net) |
2021-06-06 06:35:59 +0200 | FragByte_ | (~christian@user/fragbyte) |
2021-06-06 06:36:03 +0200 | rizary_andika__ | (sid220347@id-220347.tooting.irccloud.com) |
2021-06-06 06:36:03 +0200 | jrm2 | (~jrm@156.34.187.65) |
2021-06-06 06:36:06 +0200 | mrusme | (~mrus@149.28.61.155) |
2021-06-06 06:36:09 +0200 | connrs_ | (~connrs@user/connrs) |
2021-06-06 06:36:10 +0200 | Philonous_ | (~Philonous@user/philonous) |
2021-06-06 06:36:10 +0200 | anderson_ | (~ande@134.209.221.71) |
2021-06-06 06:36:17 +0200 | betelgeuse01 | (~john2gb@94-225-47-8.access.telenet.be) |
2021-06-06 06:36:46 +0200 | sm_ | (~user@plaintextaccounting/sm) |
2021-06-06 06:36:59 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
2021-06-06 06:37:10 +0200 | Rembane_ | (~Rembane@li346-36.members.linode.com) |
2021-06-06 06:37:15 +0200 | SIben_ | (~SIben@ns3106586.ip-5-135-191.eu) |
2021-06-06 06:37:32 +0200 | piele_ | (~piele@tbonesteak.creativeserver.net) |
2021-06-06 06:37:34 +0200 | wagle_ | (~wagle@quassel.wagle.io) |
2021-06-06 06:37:45 +0200 | FragByte | (~christian@user/fragbyte) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | forell | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | obviyus | (sid415299@user/obviyus) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | dsal | (sid13060@tooting.irccloud.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | eight | (~eight@user/eight) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | connrs | (~connrs@user/connrs) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | qoelet | (~kumo@139.180.144.166) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | grfn | (sid449115@brockwell.irccloud.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | meridion | (~meridion@punt.hetgrotebos.org) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | infinisil | (~infinisil@mail.infinisil.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | river | (~river@tilde.team/user/river) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | anderson | (~ande@134.209.221.71) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | thelounge92 | (~thelounge@cpe-23-240-28-18.socal.res.rr.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | amk | (~amk@176.61.106.150) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | betelgeuse0 | (~john2gb@94-225-47-8.access.telenet.be) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | jrm | (~jrm@156.34.187.65) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | hiptobecubic | (~john@c-73-55-99-95.hsd1.fl.comcast.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | bcmiller | (~bm3719@66.42.95.185) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | yahb | (xsbot@user/mniip/bot/yahb) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | aravk | (~aravk@user/aravk) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | bah | (~bah@l1.tel) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | conjunctive | (sid433686@brockwell.irccloud.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | sclv | (sid39734@haskell/developer/sclv) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | mrus | (~mrus@149.28.61.155) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | guibou | (~guibou@163.172.83.213) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | micro | (~micro@user/micro) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | SIben | (~SIben@ns3106586.ip-5-135-191.eu) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | eeva | (~Samae@marvid.fr) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | DigitalKiwi | (~kiwi@192.241.157.119) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | mmaruseacph2 | (~mihai@198.199.100.72) (Ping timeout: 264 seconds) |
2021-06-06 06:37:45 +0200 | Philonous | (~Philonous@user/philonous) (Read error: Connection reset by peer) |
2021-06-06 06:37:45 +0200 | sm | (~user@plaintextaccounting/sm) (Read error: Connection reset by peer) |
2021-06-06 06:37:46 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
2021-06-06 06:37:46 +0200 | yahb | (xsbot@178.219.36.155) |
2021-06-06 06:37:46 +0200 | wagle | (~wagle@quassel.wagle.io) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | otulp | (~otulp@ti0187q162-2423.bb.online.no) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | nitrix | (~nitrix@user/nitrix) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | poljar1 | (~poljar@78-2-43-255.adsl.net.t-com.hr) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | aji | (~alex@prickle.ajitek.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | juri_ | (~juri@178.63.35.222) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | superbil | (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | rizary_andika_ | (sid220347@tooting.irccloud.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | terrorjack | (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | abbie | (~abbie@user/abbie) (Ping timeout: 264 seconds) |
2021-06-06 06:37:46 +0200 | qoelet | (~kumo@139.180.144.166) |
2021-06-06 06:37:46 +0200 | FragByte_ | FragByte |
2021-06-06 06:37:46 +0200 | yahb | (xsbot@178.219.36.155) (Changing host) |
2021-06-06 06:37:46 +0200 | yahb | (xsbot@user/mniip/bot/yahb) |
2021-06-06 06:37:46 +0200 | dsal_ | dsal |
2021-06-06 06:37:46 +0200 | thelounge923 | thelounge92 |
2021-06-06 06:37:46 +0200 | grfn_ | grfn |
2021-06-06 06:37:46 +0200 | yaroot8 | yaroot |
2021-06-06 06:37:46 +0200 | SquidDev9 | SquidDev |
2021-06-06 06:37:46 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
2021-06-06 06:37:46 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) |
2021-06-06 06:37:47 +0200 | obviyus_ | obviyus |
2021-06-06 06:37:47 +0200 | terrorjack2 | terrorjack |
2021-06-06 06:37:47 +0200 | sclv_ | sclv |
2021-06-06 06:37:48 +0200 | rizary_andika__ | rizary_andika_ |
2021-06-06 06:37:48 +0200 | conjunctive_ | conjunctive |
2021-06-06 06:37:51 +0200 | juri__ | (~juri@178.63.35.222) |
2021-06-06 06:37:51 +0200 | otulp_ | (~otulp@ti0187q162-2423.bb.online.no) |
2021-06-06 06:37:51 +0200 | jrm2 | jrm |
2021-06-06 06:37:51 +0200 | abbie2 | abbie |
2021-06-06 06:37:51 +0200 | otulp_ | otulp |
2021-06-06 06:37:55 +0200 | bcmiller | (~bm3719@66.42.95.185) |
2021-06-06 06:37:59 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
2021-06-06 06:38:00 +0200 | Scraeling | (~Scraeling@user/scraeling) (Remote host closed the connection) |
2021-06-06 06:38:03 +0200 | eight | (~eight@user/eight) |
2021-06-06 06:38:03 +0200 | meridion | (~meridion@punt.hetgrotebos.org) |
2021-06-06 06:38:05 +0200 | aravk | (~aravk@user/aravk) |
2021-06-06 06:38:06 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
2021-06-06 06:38:16 +0200 | kmein | (~weechat@user/kmein) |
2021-06-06 06:38:19 +0200 | bah | (~bah@l1.tel) |
2021-06-06 06:38:19 +0200 | micro | (~micro@user/micro) |
2021-06-06 06:38:22 +0200 | aji | (~alex@prickle.ajitek.net) |
2021-06-06 06:38:23 +0200 | hpc | (~juzz@98.169.35.13) |
2021-06-06 06:38:28 +0200 | superbil | (~superbil@1-34-176-171.HINET-IP.hinet.net) |
2021-06-06 06:38:32 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
2021-06-06 06:38:39 +0200 | Scraeling | (~Scraeling@34.84.165.63) |
2021-06-06 06:38:48 +0200 | mmaruseacph2 | (~mihai@198.199.100.72) |
2021-06-06 06:42:46 +0200 | amk | (~amk@176.61.106.150) |
2021-06-06 06:43:41 +0200 | heartles_xyz | (~heartlles@2601:1c0:6000:43f0::b82) |
2021-06-06 06:43:47 +0200 | heartles_xyz | (~heartlles@2601:1c0:6000:43f0::b82) () |
2021-06-06 06:45:26 +0200 | guibou | (~guibou@163.172.83.213) |
2021-06-06 06:48:04 +0200 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 244 seconds) |
2021-06-06 06:51:57 +0200 | reumeth | (~reumeth@user/reumeth) |
2021-06-06 06:52:10 +0200 | Toast52 | (~Toast52@151.192.167.120) (Ping timeout: 266 seconds) |
2021-06-06 06:53:01 +0200 | hmmmas | (~chenqisu1@183.217.201.236) |
2021-06-06 06:55:55 +0200 | pe200012 | (~pe200012@119.145.72.136) (Quit: Konversation terminated!) |
2021-06-06 06:56:16 +0200 | ddellaco_ | (~ddellacos@89.46.62.117) |
2021-06-06 06:56:42 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 264 seconds) |
2021-06-06 06:58:28 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-06-06 06:58:41 +0200 | larkfisherman | (~larkfishe@178.77.36.35) (Remote host closed the connection) |
2021-06-06 06:59:34 +0200 | larkfisherman | (~larkfishe@178.77.36.35) |
2021-06-06 06:59:40 +0200 | nitrix_ | (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
2021-06-06 06:59:40 +0200 | nitrix_ | (~nitrix@user/nitrix) |
2021-06-06 06:59:47 +0200 | nitrix_ | nitrix |
2021-06-06 07:01:04 +0200 | ddellaco_ | (~ddellacos@89.46.62.117) (Ping timeout: 272 seconds) |
2021-06-06 07:02:13 +0200 | rk04 | (~rk04@user/rajk) |
2021-06-06 07:05:46 +0200 | pasko__ | (~larkfishe@178.77.35.8) |
2021-06-06 07:06:04 +0200 | pasko__ | (~larkfishe@178.77.35.8) (Remote host closed the connection) |
2021-06-06 07:06:26 +0200 | pasko__ | (~larkfishe@178.77.35.8) |
2021-06-06 07:08:05 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
2021-06-06 07:08:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-06-06 07:09:33 +0200 | larkfisherman | (~larkfishe@178.77.36.35) (Ping timeout: 272 seconds) |
2021-06-06 07:12:52 +0200 | johnw | (~johnw@2600:1700:cf00:db0:1519:fa63:98ad:1b6e) (Ping timeout: 244 seconds) |
2021-06-06 07:13:01 +0200 | pasko__ | (~larkfishe@178.77.35.8) (Quit: Leaving) |
2021-06-06 07:23:13 +0200 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
2021-06-06 07:25:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-06-06 07:31:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
2021-06-06 07:32:45 +0200 | img | (~img@2405:6580:b1c0:2500:9987:109a:ace3:e76f) (Changing host) |
2021-06-06 07:32:45 +0200 | img | (~img@user/img) |
2021-06-06 07:35:23 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
2021-06-06 07:36:12 +0200 | hmmmas | (~chenqisu1@183.217.201.236) (Quit: Leaving.) |
2021-06-06 07:37:07 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-06-06 07:47:06 +0200 | Bartosz | (~textual@24.35.90.211) |
2021-06-06 07:49:08 +0200 | Toast52 | (~Toast52@151.192.167.120) |
2021-06-06 07:52:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
2021-06-06 07:53:22 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
2021-06-06 07:55:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-06-06 07:57:29 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
2021-06-06 07:57:34 +0200 | aerona | (~aerona@2600:6c54:4600:f300:8166:afd5:9294:f1a6) (Read error: Connection reset by peer) |
2021-06-06 07:58:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-06-06 08:13:39 +0200 | malvo | (~malvo@malvo.org) (Ping timeout: 268 seconds) |
2021-06-06 08:14:39 +0200 | malvo | (~malvo@malvo.org) |
2021-06-06 08:19:18 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
2021-06-06 08:19:19 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Client Quit) |
2021-06-06 08:21:47 +0200 | notzmv | (~zmv@user/notzmv) |
2021-06-06 08:26:49 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
2021-06-06 08:28:27 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-06-06 08:35:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2021-06-06 08:36:29 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) (*.net *.split) |
2021-06-06 08:36:29 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) (*.net *.split) |
2021-06-06 08:36:29 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) (*.net *.split) |
2021-06-06 08:36:29 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) (*.net *.split) |
2021-06-06 08:36:29 +0200 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) (*.net *.split) |
2021-06-06 08:36:29 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) (*.net *.split) |
2021-06-06 08:36:29 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) (*.net *.split) |
2021-06-06 08:36:29 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
2021-06-06 08:36:29 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (*.net *.split) |
2021-06-06 08:36:29 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) (*.net *.split) |
2021-06-06 08:36:29 +0200 | sm[m] | (~sm@plaintextaccounting/sm) (*.net *.split) |
2021-06-06 08:36:29 +0200 | psydroid | (~psydroidm@2001:470:69fc:105::165) (*.net *.split) |
2021-06-06 08:36:29 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) (*.net *.split) |
2021-06-06 08:36:29 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (*.net *.split) |
2021-06-06 08:36:29 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (*.net *.split) |
2021-06-06 08:36:29 +0200 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) (*.net *.split) |
2021-06-06 08:36:29 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (*.net *.split) |
2021-06-06 08:36:29 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (*.net *.split) |
2021-06-06 08:36:29 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
2021-06-06 08:36:29 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split) |
2021-06-06 08:36:29 +0200 | Pent | (sid313808@id-313808.tooting.irccloud.com) (*.net *.split) |
2021-06-06 08:36:29 +0200 | Megant | (megant@user/megant) (*.net *.split) |
2021-06-06 08:36:29 +0200 | liskin | (~liskin@ackle.nomi.cz) (*.net *.split) |
2021-06-06 08:36:29 +0200 | pie_bnc | (~pie_bnc@user/pie/x-2818909) (*.net *.split) |
2021-06-06 08:36:29 +0200 | bsima | (~bsima@simatime.com) (*.net *.split) |
2021-06-06 08:36:29 +0200 | ham | (~ham4@user/ham) (*.net *.split) |
2021-06-06 08:36:29 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) (*.net *.split) |
2021-06-06 08:36:29 +0200 | NemesisD | (sid24071@2001:67c:2f08:4::5e07) (*.net *.split) |
2021-06-06 08:36:29 +0200 | iphy | (sid67735@2001:67c:2f08:4::1:897) (*.net *.split) |
2021-06-06 08:36:30 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
2021-06-06 08:36:30 +0200 | Aighearach | (~paris@c-71-63-160-210.hsd1.or.comcast.net) (*.net *.split) |
2021-06-06 08:36:30 +0200 | amir | (sid22336@user/amir) (*.net *.split) |
2021-06-06 08:36:30 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | bramhaag | (~bramhaag@endeavour.servers.alpaca.engineer) (*.net *.split) |
2021-06-06 08:36:30 +0200 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) (*.net *.split) |
2021-06-06 08:36:30 +0200 | mstruebing | (~maex@2001:41d0:8:93c7::1) (*.net *.split) |
2021-06-06 08:36:30 +0200 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
2021-06-06 08:36:30 +0200 | teehemkay | (sid14792@id-14792.tooting.irccloud.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) (*.net *.split) |
2021-06-06 08:36:30 +0200 | ajb | (~ajb@cupid.whatbox.ca) (*.net *.split) |
2021-06-06 08:36:30 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
2021-06-06 08:36:30 +0200 | nf | (~n@monade.li) (*.net *.split) |
2021-06-06 08:36:30 +0200 | dcoutts | (~duncan@94.186.125.91.dyn.plus.net) (*.net *.split) |
2021-06-06 08:36:30 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split) |
2021-06-06 08:36:30 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | vgtw | (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) (*.net *.split) |
2021-06-06 08:36:30 +0200 | platz | (~platz@user/platz) (*.net *.split) |
2021-06-06 08:36:30 +0200 | lisq | (~quassel@lis.moe) (*.net *.split) |
2021-06-06 08:36:30 +0200 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | esclear | (~esclear@phobos.esclear.de) (*.net *.split) |
2021-06-06 08:36:30 +0200 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
2021-06-06 08:36:30 +0200 | tomsmeding | (~tomsmedin@2a03:b0c0:0:1010::767:3001) (*.net *.split) |
2021-06-06 08:36:30 +0200 | acid | (~acid@user/acid) (*.net *.split) |
2021-06-06 08:36:30 +0200 | joeyh | (~joeyh@kitenet.net) (*.net *.split) |
2021-06-06 08:36:30 +0200 | adamse | (sid72084@user/adamse) (*.net *.split) |
2021-06-06 08:36:30 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
2021-06-06 08:36:30 +0200 | kritzefitz | (~kritzefit@picard.host.weltraumschlangen.de) (*.net *.split) |
2021-06-06 08:36:30 +0200 | remexre | (~nathan@user/remexre) (*.net *.split) |
2021-06-06 08:36:30 +0200 | ski | (~ski@ed-3358-10.studat.chalmers.se) (*.net *.split) |
2021-06-06 08:36:30 +0200 | kaychaks_ | (sid236345@id-236345.brockwell.irccloud.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | tnks | (sid412124@id-412124.brockwell.irccloud.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | Patternmaster | (~georg@li1192-118.members.linode.com) (*.net *.split) |
2021-06-06 08:36:30 +0200 | tureba | (tureba@tureba.org) (*.net *.split) |
2021-06-06 08:36:30 +0200 | koz | (~koz@121.99.240.58) (*.net *.split) |
2021-06-06 08:36:30 +0200 | Aleksejs | (~Aleksejs@haskell.lv) (*.net *.split) |
2021-06-06 08:37:09 +0200 | Soft | (~soft-matr@2001:470:69fc:105::c75) |
2021-06-06 08:37:09 +0200 | kosmikus[m] | (~andresloe@2001:470:69fc:105::95d) |
2021-06-06 08:37:09 +0200 | amesgen[m] | (~amesgenam@2001:470:69fc:105::82b) |
2021-06-06 08:37:09 +0200 | cdepillabout[m] | (~cdepillab@2001:470:69fc:105::3d3) |
2021-06-06 08:37:09 +0200 | zwro[m] | (~zwromatri@2001:470:69fc:105::1d4) |
2021-06-06 08:37:09 +0200 | the-coot[m] | (~the-cootm@2001:470:69fc:105::95f) |
2021-06-06 08:37:09 +0200 | maralorn | (~maralorn@2001:470:69fc:105::251) |
2021-06-06 08:37:09 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
2021-06-06 08:37:09 +0200 | MatrixTravelerbo | (~voyagert2@2001:470:69fc:105::22) |
2021-06-06 08:37:09 +0200 | psydroid | (~psydroidm@2001:470:69fc:105::165) |
2021-06-06 08:37:09 +0200 | sm[m] | (~sm@plaintextaccounting/sm) |
2021-06-06 08:37:09 +0200 | ac | (~aloiscoch@2001:470:69fc:105::65) |
2021-06-06 08:37:09 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
2021-06-06 08:37:09 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 08:37:09 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
2021-06-06 08:37:09 +0200 | GIANTWORLDKEEPER | (~pjetcetal@2.95.204.25) |
2021-06-06 08:37:09 +0200 | dwt_ | (~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) |
2021-06-06 08:37:09 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
2021-06-06 08:37:09 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
2021-06-06 08:37:09 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
2021-06-06 08:37:09 +0200 | bramhaag | (~bramhaag@endeavour.servers.alpaca.engineer) |
2021-06-06 08:37:09 +0200 | Pent | (sid313808@id-313808.tooting.irccloud.com) |
2021-06-06 08:37:09 +0200 | Megant | (megant@user/megant) |
2021-06-06 08:37:09 +0200 | liskin | (~liskin@ackle.nomi.cz) |
2021-06-06 08:37:09 +0200 | ham | (~ham4@user/ham) |
2021-06-06 08:37:09 +0200 | bsima | (~bsima@simatime.com) |
2021-06-06 08:37:09 +0200 | pie_bnc | (~pie_bnc@user/pie/x-2818909) |
2021-06-06 08:37:09 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
2021-06-06 08:37:09 +0200 | NemesisD | (sid24071@2001:67c:2f08:4::5e07) |
2021-06-06 08:37:09 +0200 | iphy | (sid67735@2001:67c:2f08:4::1:897) |
2021-06-06 08:37:09 +0200 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
2021-06-06 08:37:09 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
2021-06-06 08:37:09 +0200 | amir | (sid22336@user/amir) |
2021-06-06 08:37:09 +0200 | Aighearach | (~paris@c-71-63-160-210.hsd1.or.comcast.net) |
2021-06-06 08:37:09 +0200 | mstruebing | (~maex@2001:41d0:8:93c7::1) |
2021-06-06 08:37:09 +0200 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) |
2021-06-06 08:37:09 +0200 | teehemkay | (sid14792@id-14792.tooting.irccloud.com) |
2021-06-06 08:37:09 +0200 | ajb | (~ajb@cupid.whatbox.ca) |
2021-06-06 08:37:09 +0200 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
2021-06-06 08:37:09 +0200 | bcoppens | (~bartcopp@vpn2.bartcoppens.be) |
2021-06-06 08:37:09 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
2021-06-06 08:37:09 +0200 | nf | (~n@monade.li) |
2021-06-06 08:37:09 +0200 | esclear | (~esclear@phobos.esclear.de) |
2021-06-06 08:37:09 +0200 | dcoutts | (~duncan@94.186.125.91.dyn.plus.net) |
2021-06-06 08:37:09 +0200 | vgtw | (~vgtw@c-9164205c.07-348-756d651.bbcust.telenor.se) |
2021-06-06 08:37:09 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
2021-06-06 08:37:09 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
2021-06-06 08:37:09 +0200 | platz | (~platz@user/platz) |
2021-06-06 08:37:09 +0200 | lisq | (~quassel@lis.moe) |
2021-06-06 08:37:09 +0200 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) |
2021-06-06 08:37:09 +0200 | Reyu[M] | (~reyureyuz@matrix.reyuzenfold.com) |
2021-06-06 08:37:09 +0200 | bbhoss | (sid18216@id-18216.tinside.irccloud.com) |
2021-06-06 08:37:09 +0200 | acid | (~acid@user/acid) |
2021-06-06 08:37:09 +0200 | statusfailed | (~statusfai@statusfailed.com) |
2021-06-06 08:37:09 +0200 | integral | (sid296274@user/integral) |
2021-06-06 08:37:09 +0200 | tomsmeding | (~tomsmedin@2a03:b0c0:0:1010::767:3001) |
2021-06-06 08:37:09 +0200 | joeyh | (~joeyh@kitenet.net) |
2021-06-06 08:37:09 +0200 | adamse | (sid72084@user/adamse) |
2021-06-06 08:37:09 +0200 | absence | (torgeihe@hildring.pvv.ntnu.no) |
2021-06-06 08:37:09 +0200 | kritzefitz | (~kritzefit@picard.host.weltraumschlangen.de) |
2021-06-06 08:37:09 +0200 | remexre | (~nathan@user/remexre) |
2021-06-06 08:37:09 +0200 | ski | (~ski@ed-3358-10.studat.chalmers.se) |
2021-06-06 08:37:09 +0200 | kaychaks_ | (sid236345@id-236345.brockwell.irccloud.com) |
2021-06-06 08:37:09 +0200 | tnks | (sid412124@id-412124.brockwell.irccloud.com) |
2021-06-06 08:37:09 +0200 | Patternmaster | (~georg@li1192-118.members.linode.com) |
2021-06-06 08:37:09 +0200 | tureba | (tureba@tureba.org) |
2021-06-06 08:37:09 +0200 | koz | (~koz@121.99.240.58) |
2021-06-06 08:37:09 +0200 | Aleksejs | (~Aleksejs@haskell.lv) |
2021-06-06 08:37:10 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Remote host closed the connection) |
2021-06-06 08:37:22 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 08:42:01 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
2021-06-06 08:43:32 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds) |
2021-06-06 08:46:16 +0200 | notzmv | (~zmv@user/notzmv) |
2021-06-06 08:50:56 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 08:52:59 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-06-06 08:55:35 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
2021-06-06 08:56:58 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 272 seconds) |
2021-06-06 08:57:05 +0200 | Pixi_ | Pixi |
2021-06-06 08:57:25 +0200 | ddellaco_ | (~ddellacos@86.106.121.45) |
2021-06-06 08:58:19 +0200 | rk04 | (~rk04@user/rajk) |
2021-06-06 08:59:03 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
2021-06-06 08:59:31 +0200 | Toast52_ | (~Toast52@151.192.167.120) |
2021-06-06 09:00:12 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 09:00:43 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-06-06 09:00:59 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 09:01:05 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-06-06 09:01:14 +0200 | wonko | (~wjc@62.115.229.50) |
2021-06-06 09:01:49 +0200 | tose | (~tose@ip-85-160-1-51.eurotel.cz) |
2021-06-06 09:02:17 +0200 | ddellaco_ | (~ddellacos@86.106.121.45) (Ping timeout: 272 seconds) |
2021-06-06 09:02:22 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
2021-06-06 09:02:24 +0200 | bfrk | (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de) |
2021-06-06 09:02:47 +0200 | juri__ | juri_ |
2021-06-06 09:03:33 +0200 | Toast52 | (~Toast52@151.192.167.120) (Ping timeout: 272 seconds) |
2021-06-06 09:05:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 09:07:00 +0200 | Pixi | (~Pixi@user/pixi) |
2021-06-06 09:11:10 +0200 | Morrow | (~Morrow@147.161.12.45) |
2021-06-06 09:20:18 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in) |
2021-06-06 09:21:57 +0200 | img | (~img@user/img) |
2021-06-06 09:24:32 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 09:28:21 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in) |
2021-06-06 09:29:59 +0200 | img | (~img@user/img) |
2021-06-06 09:38:42 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2021-06-06 09:39:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-06-06 09:40:45 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
2021-06-06 09:43:15 +0200 | doyougnu | (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 245 seconds) |
2021-06-06 09:46:36 +0200 | fendor | (~fendor@77.119.131.188.wireless.dyn.drei.com) |
2021-06-06 09:47:49 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in) |
2021-06-06 09:48:52 +0200 | img | (~img@user/img) |
2021-06-06 09:59:00 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
2021-06-06 09:59:08 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
2021-06-06 10:00:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 10:00:15 +0200 | zeenk | (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) |
2021-06-06 10:00:54 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
2021-06-06 10:01:44 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 10:02:05 +0200 | bfrk | (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de) () |
2021-06-06 10:02:47 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Quit: leaving) |
2021-06-06 10:02:47 +0200 | pe200012 | (~pe200012@119.145.72.136) |
2021-06-06 10:04:24 +0200 | a6a45081-2b83 | (~aditya@223.235.239.159) |
2021-06-06 10:06:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
2021-06-06 10:07:25 +0200 | hendursa1 | (~weechat@user/hendursaga) |
2021-06-06 10:10:10 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
2021-06-06 10:11:43 +0200 | tose | (~tose@ip-85-160-1-51.eurotel.cz) (Ping timeout: 264 seconds) |
2021-06-06 10:13:26 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 10:15:03 +0200 | img | (~img@user/img) |
2021-06-06 10:18:01 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-06-06 10:26:09 +0200 | connrs_ | connrs |
2021-06-06 10:26:35 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 10:26:54 +0200 | connrs | (~connrs@user/connrs) |
2021-06-06 10:28:39 +0200 | connrs | (~connrs@user/connrs) (Client Quit) |
2021-06-06 10:29:00 +0200 | connrs | (~connrs@user/connrs) |
2021-06-06 10:29:59 +0200 | mc47 | (~yecinem@89.246.239.190) |
2021-06-06 10:30:19 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 272 seconds) |
2021-06-06 10:35:06 +0200 | unyu | (~pyon@user/pyon) |
2021-06-06 10:35:11 +0200 | anonymous | river |
2021-06-06 10:39:19 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:190a:219e:41c6:abab) |
2021-06-06 10:43:20 +0200 | rk04 | (~rk04@user/rajk) |
2021-06-06 10:50:15 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 10:50:40 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
2021-06-06 10:52:11 +0200 | arjun | (~user@user/arjun) |
2021-06-06 10:52:29 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 10:53:07 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 264 seconds) |
2021-06-06 10:53:22 +0200 | zmt01 | (~zmt00@user/zmt00) |
2021-06-06 10:53:52 +0200 | spatchkaa_ | (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) |
2021-06-06 10:53:53 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
2021-06-06 10:54:37 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 10:54:56 +0200 | mpt | (~tom@2a02:908:1862:49e0::5) |
2021-06-06 10:56:10 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
2021-06-06 10:56:16 +0200 | img | (~img@user/img) |
2021-06-06 10:56:38 +0200 | spatchkaa | (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Ping timeout: 252 seconds) |
2021-06-06 10:56:38 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
2021-06-06 10:58:15 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
2021-06-06 10:58:32 +0200 | ddellaco_ | (~ddellacos@86.106.121.64) |
2021-06-06 10:59:58 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) |
2021-06-06 11:00:46 +0200 | <safinaskar> | it is possible to have multiple type contructors with same name? say, "data X = A | B; data Y = A | C". i want to refer to such constructors similary to this: X.A, Y.A |
2021-06-06 11:01:28 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 11:01:35 +0200 | <Hecate> | I think so |
2021-06-06 11:01:48 +0200 | <safinaskar> | i meant data constructors, of course |
2021-06-06 11:02:04 +0200 | <tomsmeding> | safinaskar: I believe only if you put them in different modules and import those modules qualified |
2021-06-06 11:02:10 +0200 | <Hecate> | yep ^ |
2021-06-06 11:03:03 +0200 | img | (~img@user/img) |
2021-06-06 11:03:07 +0200 | <safinaskar> | tomsmeding: and what if they are defined in same module? |
2021-06-06 11:03:22 +0200 | <safinaskar> | i want something similar to "enum class" in modern c++ |
2021-06-06 11:03:32 +0200 | <tomsmeding> | not sure if haskell has that |
2021-06-06 11:03:38 +0200 | ddellaco_ | (~ddellacos@86.106.121.64) (Ping timeout: 272 seconds) |
2021-06-06 11:04:27 +0200 | <arjun> | Hi Hecate |
2021-06-06 11:04:55 +0200 | <Hecate> | hey arjun, what's up? |
2021-06-06 11:05:17 +0200 | <arjun> | nm, how ya doin |
2021-06-06 11:05:26 +0200 | <Hecate> | fairly good, thank you |
2021-06-06 11:05:29 +0200 | <Hecate> | it's sunny out here |
2021-06-06 11:06:49 +0200 | <arjun> | lazy sunday afternoons are the Best |
2021-06-06 11:07:26 +0200 | mpt | (~tom@2a02:908:1862:49e0::5) (Ping timeout: 272 seconds) |
2021-06-06 11:15:59 +0200 | ddellaco_ | (~ddellacos@89.46.62.87) |
2021-06-06 11:16:07 +0200 | amahl | (~amahl@dxv5skyynkqvp8m1tfzny-3.rev.dnainternet.fi) |
2021-06-06 11:17:47 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:c15d:5a01:4be7:b626) |
2021-06-06 11:20:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-06-06 11:20:59 +0200 | ddellaco_ | (~ddellacos@89.46.62.87) (Ping timeout: 272 seconds) |
2021-06-06 11:24:52 +0200 | ikex | (~ash@user/ikex) (Quit: WeeChat 3.2-dev) |
2021-06-06 11:25:59 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-06-06 11:26:19 +0200 | amk | (~amk@176.61.106.150) (Read error: Connection reset by peer) |
2021-06-06 11:27:32 +0200 | <juri_> | wheee... |
2021-06-06 11:28:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 11:28:33 +0200 | <juri_> | actually made an Org for haskell-based manufacturing tools on github. https://github.com/Haskell-Things . almost looks professional. :) |
2021-06-06 11:29:00 +0200 | <Hecate> | juri_: woop woop |
2021-06-06 11:29:25 +0200 | <Rembane_> | juri_: 100% pro! |
2021-06-06 11:30:28 +0200 | <juri_> | One of these days, i'll get the slicer working correctly. this is the year, i feel it. :P |
2021-06-06 11:31:46 +0200 | <Rembane_> | The year of slicer on the desktop? :) |
2021-06-06 11:31:50 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-06-06 11:32:11 +0200 | <juri_> | oh god no. no-one has desktop CPUs that are reasonable for slicing. :P |
2021-06-06 11:33:18 +0200 | <Rembane_> | :D |
2021-06-06 11:33:47 +0200 | ddellaco_ | (~ddellacos@89.46.62.82) |
2021-06-06 11:34:02 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 11:35:32 +0200 | <arjun> | juri_: no one has desktop CPU's. period. T_T |
2021-06-06 11:36:00 +0200 | amk | (~amk@176.61.106.150) |
2021-06-06 11:36:23 +0200 | <arjun> | i've been looking into getting pc parts. and between the lockdowns, pandemic, scalping and supply shortage |
2021-06-06 11:36:42 +0200 | <arjun> | its just bad rn : / |
2021-06-06 11:36:58 +0200 | <Rembane_> | Oh yes. |
2021-06-06 11:38:15 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
2021-06-06 11:38:43 +0200 | ddellaco_ | (~ddellacos@89.46.62.82) (Ping timeout: 264 seconds) |
2021-06-06 11:46:48 +0200 | pe200012 | (~pe200012@119.145.72.136) (Remote host closed the connection) |
2021-06-06 11:47:19 +0200 | pe200012 | (~pe200012@58.248.179.178) |
2021-06-06 11:49:03 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
2021-06-06 11:50:42 +0200 | ddellaco_ | (~ddellacos@89.46.62.17) |
2021-06-06 11:51:06 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
2021-06-06 11:53:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-06-06 11:55:39 +0200 | ddellaco_ | (~ddellacos@89.46.62.17) (Ping timeout: 268 seconds) |
2021-06-06 11:57:30 +0200 | wonko | (~wjc@62.115.229.50) (Ping timeout: 268 seconds) |
2021-06-06 12:00:01 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
2021-06-06 12:02:48 +0200 | Torro | (Torro@gateway/vpn/protonvpn/torro) |
2021-06-06 12:04:06 +0200 | a6a45081-2b83 | (~aditya@223.235.239.159) (Quit: Konversation terminated!) |
2021-06-06 12:06:55 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 264 seconds) |
2021-06-06 12:07:26 +0200 | azeem | (~azeem@176.201.18.235) |
2021-06-06 12:08:32 +0200 | Torro | (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
2021-06-06 12:09:41 +0200 | ddellaco_ | (~ddellacos@89.46.62.117) |
2021-06-06 12:14:42 +0200 | ddellaco_ | (~ddellacos@89.46.62.117) (Ping timeout: 264 seconds) |
2021-06-06 12:16:03 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
2021-06-06 12:24:19 +0200 | azeem | (~azeem@176.201.18.235) (Ping timeout: 264 seconds) |
2021-06-06 12:24:33 +0200 | azeem | (~azeem@176.201.18.235) |
2021-06-06 12:24:55 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 245 seconds) |
2021-06-06 12:25:21 +0200 | azeem | (~azeem@176.201.18.235) (Read error: Connection reset by peer) |
2021-06-06 12:25:54 +0200 | ddellaco_ | (~ddellacos@89.46.62.92) |
2021-06-06 12:26:54 +0200 | oxide | (~lambda@user/oxide) |
2021-06-06 12:27:14 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 12:28:21 +0200 | pe200012 | (~pe200012@58.248.179.178) (Remote host closed the connection) |
2021-06-06 12:28:29 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 12:28:48 +0200 | pe200012 | (~pe200012@119.145.72.136) |
2021-06-06 12:30:48 +0200 | ddellaco_ | (~ddellacos@89.46.62.92) (Ping timeout: 268 seconds) |
2021-06-06 12:32:39 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:c15d:5a01:4be7:b626) (Ping timeout: 268 seconds) |
2021-06-06 12:32:41 +0200 | <maerwald> | arjun: I needed a very specific crimp tool for my keyboard project... and due to all the mess, the price went up to 1600$ for that tool |
2021-06-06 12:32:51 +0200 | <maerwald> | it's maybe worth 20 bucks |
2021-06-06 12:33:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 268 seconds) |
2021-06-06 12:34:07 +0200 | <maerwald> | put your electronics projects on hold for a while |
2021-06-06 12:34:11 +0200 | <arjun> | maerwald: you could get probably 5 high-end keyboards for that lol? |
2021-06-06 12:34:29 +0200 | <maerwald> | yeah... or just us fkn pliers for crimping lol |
2021-06-06 12:34:40 +0200 | <arjun> | HANDS |
2021-06-06 12:34:43 +0200 | <arjun> | TEETH |
2021-06-06 12:34:49 +0200 | <arjun> | YEAEAAAARH+GGGHH |
2021-06-06 12:35:54 +0200 | <maerwald> | it also helped me discover that precicion tweezers can indeed pierce through your finger nails |
2021-06-06 12:36:10 +0200 | <maerwald> | wouldn't have found out otherwise |
2021-06-06 12:37:48 +0200 | V | (~v@anomalous.eu) (Remote host closed the connection) |
2021-06-06 12:39:54 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
2021-06-06 12:43:24 +0200 | ddellaco_ | (~ddellacos@89.46.62.131) |
2021-06-06 12:43:45 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) () |
2021-06-06 12:44:56 +0200 | Topsi | (~Tobias@dyndsl-095-033-023-170.ewe-ip-backbone.de) |
2021-06-06 12:45:59 +0200 | pritambaral | (~pritam@user/pritambaral) |
2021-06-06 12:48:23 +0200 | ddellaco_ | (~ddellacos@89.46.62.131) (Ping timeout: 272 seconds) |
2021-06-06 12:50:23 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
2021-06-06 12:53:52 +0200 | tose | (~tose@ip-37-188-247-48.eurotel.cz) |
2021-06-06 12:55:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 12:55:32 +0200 | huria4 | (~huria4@c-24-30-27-91.hsd1.ga.comcast.net) |
2021-06-06 13:00:25 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
2021-06-06 13:00:43 +0200 | ddellaco_ | (~ddellacos@86.106.121.39) |
2021-06-06 13:03:49 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 13:05:20 +0200 | ddellaco_ | (~ddellacos@86.106.121.39) (Ping timeout: 268 seconds) |
2021-06-06 13:09:39 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
2021-06-06 13:10:00 +0200 | xaio | (~xaio@93.123.22.142) |
2021-06-06 13:10:30 +0200 | tose | (~tose@ip-37-188-247-48.eurotel.cz) (Ping timeout: 264 seconds) |
2021-06-06 13:10:56 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
2021-06-06 13:13:14 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
2021-06-06 13:14:30 +0200 | arjun | (~user@user/arjun) (Ping timeout: 245 seconds) |
2021-06-06 13:14:59 +0200 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
2021-06-06 13:16:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 13:20:33 +0200 | tose | (~tose@ip-37-188-247-48.eurotel.cz) |
2021-06-06 13:20:36 +0200 | huria4 | (~huria4@c-24-30-27-91.hsd1.ga.comcast.net) (Quit: Leaving) |
2021-06-06 13:24:37 +0200 | kuttler | (~kuttler@105.163.2.237) |
2021-06-06 13:31:31 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
2021-06-06 13:35:13 +0200 | ddellaco_ | (~ddellacos@86.106.121.100) |
2021-06-06 13:38:28 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
2021-06-06 13:39:30 +0200 | ddellaco_ | (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds) |
2021-06-06 13:40:06 +0200 | arjun | (~user@user/arjun) |
2021-06-06 13:43:41 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) |
2021-06-06 13:46:23 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 13:46:34 +0200 | sailboat | (uid503239@id-503239.tinside.irccloud.com) |
2021-06-06 13:47:25 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 245 seconds) |
2021-06-06 13:49:23 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
2021-06-06 13:50:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-06-06 13:54:19 +0200 | ddellaco_ | (~ddellacos@86.106.121.100) |
2021-06-06 13:59:00 +0200 | rk04 | (~rk04@user/rajk) |
2021-06-06 13:59:06 +0200 | ddellaco_ | (~ddellacos@86.106.121.100) (Ping timeout: 264 seconds) |
2021-06-06 14:02:06 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
2021-06-06 14:04:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
2021-06-06 14:07:36 +0200 | xaio | (~xaio@93.123.22.142) (Quit: Client closed) |
2021-06-06 14:07:53 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-06-06 14:11:11 +0200 | ddellaco_ | (~ddellacos@89.46.62.60) |
2021-06-06 14:12:22 +0200 | amahl | (~amahl@dxv5skyynkqvp8m1tfzny-3.rev.dnainternet.fi) (Remote host closed the connection) |
2021-06-06 14:12:53 +0200 | <arjun> | writeFile "path/lol.txt" "hi lol" |
2021-06-06 14:13:12 +0200 | <arjun> | file doesn't exist. how do i tell it to make the file and write if it doesn't exist |
2021-06-06 14:13:28 +0200 | <arjun> | is there a mode setting or a seprate function for this ? |
2021-06-06 14:13:28 +0200 | <maerwald> | arjun: you mean `path` doesn't exist? |
2021-06-06 14:13:55 +0200 | <maerwald> | writeFile already creates the file if non-existent |
2021-06-06 14:14:01 +0200 | <maerwald> | this is likely an issue with directory |
2021-06-06 14:14:19 +0200 | <arjun> | Exception: /home/arjun/Documents/projects/AssGen/output/lol.html: openFile: does not exist (No such file or directory) |
2021-06-06 14:14:37 +0200 | <arjun> | right. i haven't made the `output` dir |
2021-06-06 14:14:52 +0200 | <maerwald> | @hoogle createDirectoryIfMissing |
2021-06-06 14:14:52 +0200 | <lambdabot> | System.Directory createDirectoryIfMissing :: Bool -> FilePath -> IO () |
2021-06-06 14:14:52 +0200 | <lambdabot> | UnliftIO.Directory createDirectoryIfMissing :: MonadIO m => Bool -> FilePath -> m () |
2021-06-06 14:14:52 +0200 | <lambdabot> | System.Path.Directory createDirectoryIfMissing :: AbsRel ar => Bool -> DirPath ar -> IO () |
2021-06-06 14:15:07 +0200 | kuttler | (~kuttler@105.163.2.237) (WeeChat 2.8) |
2021-06-06 14:15:32 +0200 | <arjun> | gotcha' thanks maerwald: |
2021-06-06 14:16:15 +0200 | ddellaco_ | (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds) |
2021-06-06 14:18:40 +0200 | tose | (~tose@ip-37-188-247-48.eurotel.cz) (Ping timeout: 245 seconds) |
2021-06-06 14:21:05 +0200 | UpstreamSalmon | (uid12077@id-12077.stonehaven.irccloud.com) |
2021-06-06 14:21:13 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 14:22:42 +0200 | drdo | (~drdo@overlord0.drdo.eu) |
2021-06-06 14:25:09 +0200 | ixlun | (~matthew@109.249.184.235) |
2021-06-06 14:26:55 +0200 | pja | pats hoogle |
2021-06-06 14:28:16 +0200 | <ixlun> | Hi all. I've got a quick question. Suppose I have [IO Int]. I can use `sequence` to run all those actions and get a nice result. However, if I want to `intersperse (threadDelay n)`, I can't since `()` won't match `Int`. Is there a way around this? |
2021-06-06 14:28:48 +0200 | ddellaco_ | (~ddellacos@89.46.62.60) |
2021-06-06 14:28:52 +0200 | pierrot | (~pi@user/pierrot) (Remote host closed the connection) |
2021-06-06 14:30:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 14:30:37 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 14:30:59 +0200 | <tomsmeding> | @botsnack |
2021-06-06 14:30:59 +0200 | <lambdabot> | :) |
2021-06-06 14:31:00 +0200 | <maerwald> | `intersperse (threadDelay n >> pure 0)` |
2021-06-06 14:31:52 +0200 | <ixlun> | maerwald: Ah, sneaky! |
2021-06-06 14:32:04 +0200 | <maerwald> | or turn it into Maybe/Nothing |
2021-06-06 14:32:08 +0200 | <tomsmeding> | \l -> case l of [] -> [] ; x:xs -> x : map (threadDelay n >>) xs |
2021-06-06 14:33:31 +0200 | ddellaco_ | (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds) |
2021-06-06 14:34:58 +0200 | <ixlun> | got it. Thanks for the info maerwald and tomsmeding ! |
2021-06-06 14:35:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds) |
2021-06-06 14:39:13 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
2021-06-06 14:42:09 +0200 | jakzale | (uid499518@id-499518.charlton.irccloud.com) |
2021-06-06 14:45:18 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-06-06 14:47:12 +0200 | Deide | (~Deide@wire.desu.ga) |
2021-06-06 14:47:12 +0200 | Deide | (~Deide@wire.desu.ga) (Changing host) |
2021-06-06 14:47:12 +0200 | Deide | (~Deide@user/deide) |
2021-06-06 14:48:55 +0200 | arjun | (~user@user/arjun) (Ping timeout: 264 seconds) |
2021-06-06 14:49:07 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 14:49:57 +0200 | berberman | (~berberman@user/berberman) |
2021-06-06 14:51:30 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 14:53:24 +0200 | psydroid | (~psydroidm@2001:470:69fc:105::165) (Changing host) |
2021-06-06 14:53:24 +0200 | psydroid | (~psydroidm@user/psydroid) |
2021-06-06 14:55:00 +0200 | CodeKiwi | DigitalKiwi |
2021-06-06 14:58:51 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
2021-06-06 15:01:01 +0200 | alx741 | (~alx741@186.178.108.47) |
2021-06-06 15:02:24 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
2021-06-06 15:05:46 +0200 | Guest22 | (~Guest22@host-92-19-48-226.as13285.net) |
2021-06-06 15:05:49 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-06-06 15:06:39 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 15:07:41 +0200 | <Guest22> | hi guys, i'm new to functional programming. i have a question about it not specific to Haskell (I'm using JavaScript), is that ok? |
2021-06-06 15:11:26 +0200 | <pja> | Hi level questions might get an answer, for anything specific to JS you’re probably better off asking in a JS specific channel. |
2021-06-06 15:12:17 +0200 | <Guest22> | thanks, that's what i'm going for basically so i know which terms to google |
2021-06-06 15:12:27 +0200 | <Guest22> | and work out how they apply to JS |
2021-06-06 15:13:31 +0200 | ixlun | (~matthew@109.249.184.235) (Ping timeout: 264 seconds) |
2021-06-06 15:14:13 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2021-06-06 15:14:50 +0200 | gentauro | (~gentauro@user/gentauro) |
2021-06-06 15:15:03 +0200 | <Guest22> | sorry i'm giving myself a headache trying to express a pretty simple problem by thinking about it functionally |
2021-06-06 15:15:17 +0200 | <Guest22> | i have a grid which is an array of arrays |
2021-06-06 15:15:30 +0200 | <Guest22> | i want to remove the top element of the column and add one at the bottom |
2021-06-06 15:17:25 +0200 | <Guest22> | so like one way would be grid.map(column.drop(1)).map(column.add(thing)) |
2021-06-06 15:17:47 +0200 | <Guest22> | but instead of calling map repeatedly, is there a way through like partial application or something to call it once? |
2021-06-06 15:19:28 +0200 | ddellaco_ | (~ddellacos@86.106.121.100) |
2021-06-06 15:21:10 +0200 | <Guest22> | my other idea was to make a function that does both operations and pass that into map (think that's called function composition) |
2021-06-06 15:22:27 +0200 | ddellacosta | (~ddellacos@86.106.121.222) (Remote host closed the connection) |
2021-06-06 15:22:36 +0200 | ddellacosta | (~ddellacos@86.106.121.222) |
2021-06-06 15:23:09 +0200 | cfricke | (~cfricke@user/cfricke) |
2021-06-06 15:23:34 +0200 | AgentM | (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
2021-06-06 15:24:05 +0200 | ddellaco_ | (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds) |
2021-06-06 15:25:20 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
2021-06-06 15:26:28 +0200 | yd502 | (~yd502@240e:46c:3280:7ae6:b451:ac25:8be1:56d2) |
2021-06-06 15:28:24 +0200 | <lyxia> | ^ This is the way. |
2021-06-06 15:28:40 +0200 | <lyxia> | map f . map g = map (f . g) |
2021-06-06 15:29:43 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
2021-06-06 15:30:23 +0200 | <Guest22> | ok i think i get you |
2021-06-06 15:30:26 +0200 | <Guest22> | thanks very much |
2021-06-06 15:30:36 +0200 | yaroot | (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
2021-06-06 15:30:52 +0200 | _73` | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
2021-06-06 15:30:53 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-06-06 15:30:54 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 264 seconds) |
2021-06-06 15:30:59 +0200 | <Guest22> | that makes it easier if i don't have to look up how currying works or anything! |
2021-06-06 15:33:00 +0200 | ddellacosta | (~ddellacos@86.106.121.222) (Remote host closed the connection) |
2021-06-06 15:33:28 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
2021-06-06 15:35:19 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
2021-06-06 15:37:05 +0200 | ddellacosta | (~ddellacos@86.106.121.43) |
2021-06-06 15:38:11 +0200 | Guest22 | (~Guest22@host-92-19-48-226.as13285.net) (Quit: Client closed) |
2021-06-06 15:39:52 +0200 | ddellaco_ | (~ddellacos@89.46.62.196) |
2021-06-06 15:39:52 +0200 | <pja> | Javascript functional libraries usually do function composition of this form with a function called pipe() if my quick googling is to be believed. |
2021-06-06 15:41:27 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 15:41:58 +0200 | ddellacosta | (~ddellacos@86.106.121.43) (Ping timeout: 268 seconds) |
2021-06-06 15:42:13 +0200 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
2021-06-06 15:42:49 +0200 | hendursaga | (~weechat@user/hendursaga) |
2021-06-06 15:43:41 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
2021-06-06 15:43:49 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
2021-06-06 15:47:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 15:50:32 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
2021-06-06 15:53:42 +0200 | notzmv | (~zmv@user/notzmv) |
2021-06-06 15:55:28 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-06-06 15:58:46 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 15:59:01 +0200 | Morrow | (~Morrow@147.161.12.45) (Ping timeout: 272 seconds) |
2021-06-06 16:00:23 +0200 | ddellaco_ | (~ddellacos@89.46.62.196) (Remote host closed the connection) |
2021-06-06 16:00:46 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
2021-06-06 16:01:22 +0200 | featurebug | (~gaura@49.205.122.48) |
2021-06-06 16:04:44 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-06-06 16:05:35 +0200 | berberman | (~berberman@user/berberman) |
2021-06-06 16:06:18 +0200 | <maerwald> | > let pipe = foldr (.) id in pipe [reverse, reverse] $ "yes" |
2021-06-06 16:06:19 +0200 | <lambdabot> | "yes" |
2021-06-06 16:06:36 +0200 | <maerwald> | > let pipe = foldr (.) id in pipe [reverse, reverse, reverse] $ "yes" |
2021-06-06 16:06:37 +0200 | <lambdabot> | "sey" |
2021-06-06 16:06:58 +0200 | <maerwald> | we have it too, lol |
2021-06-06 16:08:22 +0200 | <boxscape> | % ala Endo foldMap [reverse, reverse, reverse] "foo" |
2021-06-06 16:08:22 +0200 | <yahb> | boxscape: "oof" |
2021-06-06 16:08:36 +0200 | Toast52__ | (~Toast52@151.192.167.120) |
2021-06-06 16:10:19 +0200 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
2021-06-06 16:11:46 +0200 | ddellacosta | (~ddellacos@89.46.62.21) |
2021-06-06 16:12:19 +0200 | Toast52_ | (~Toast52@151.192.167.120) (Ping timeout: 272 seconds) |
2021-06-06 16:13:29 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
2021-06-06 16:14:02 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 268 seconds) |
2021-06-06 16:14:55 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
2021-06-06 16:16:30 +0200 | ddellacosta | (~ddellacos@89.46.62.21) (Ping timeout: 272 seconds) |
2021-06-06 16:16:31 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
2021-06-06 16:18:41 +0200 | featurebug | (~gaura@49.205.122.48) (Remote host closed the connection) |
2021-06-06 16:21:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-06-06 16:22:48 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-06-06 16:23:04 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) |
2021-06-06 16:25:42 +0200 | yd502 | (~yd502@240e:46c:3280:7ae6:b451:ac25:8be1:56d2) (Ping timeout: 244 seconds) |
2021-06-06 16:26:20 +0200 | jespada | (~jespada@90.254.242.55) |
2021-06-06 16:26:22 +0200 | gbear | (~user@88.160.31.174) |
2021-06-06 16:26:46 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) (Client Quit) |
2021-06-06 16:27:07 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) |
2021-06-06 16:28:53 +0200 | ddellacosta | (~ddellacos@89.46.62.21) |
2021-06-06 16:30:19 +0200 | boxscape | (~boxscape@user/boxscape) (Ping timeout: 264 seconds) |
2021-06-06 16:31:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 16:33:14 +0200 | ddellacosta | (~ddellacos@89.46.62.21) (Ping timeout: 252 seconds) |
2021-06-06 16:35:39 +0200 | ddellacosta | (~ddellacos@89.45.224.53) |
2021-06-06 16:35:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 252 seconds) |
2021-06-06 16:37:05 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds) |
2021-06-06 16:39:00 +0200 | ikex | (~ash@user/ikex) |
2021-06-06 16:39:16 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2021-06-06 16:46:15 +0200 | ddellaco_ | (~ddellacos@86.106.121.40) |
2021-06-06 16:50:06 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 16:50:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
2021-06-06 16:50:57 +0200 | ddellaco_ | (~ddellacos@86.106.121.40) (Ping timeout: 272 seconds) |
2021-06-06 16:51:06 +0200 | boxscape | (~boxscape@user/boxscape) |
2021-06-06 16:51:35 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
2021-06-06 16:51:55 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
2021-06-06 16:56:00 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) |
2021-06-06 16:56:35 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds) |
2021-06-06 16:56:43 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
2021-06-06 16:56:58 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
2021-06-06 17:03:04 +0200 | shailangsa | (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) (Remote host closed the connection) |
2021-06-06 17:03:12 +0200 | ddellaco_ | (~ddellacos@89.46.62.50) |
2021-06-06 17:05:43 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) (Ping timeout: 264 seconds) |
2021-06-06 17:06:06 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 17:06:43 +0200 | aerona | (~aerona@2600:6c54:4600:f300:1c:eb15:276e:4179) |
2021-06-06 17:08:07 +0200 | ddellaco_ | (~ddellacos@89.46.62.50) (Ping timeout: 264 seconds) |
2021-06-06 17:10:09 +0200 | renzhi | (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 268 seconds) |
2021-06-06 17:10:47 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
2021-06-06 17:11:07 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
2021-06-06 17:12:00 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
2021-06-06 17:13:17 +0200 | vicentius | (~vicentius@user/vicentius) |
2021-06-06 17:17:22 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 244 seconds) |
2021-06-06 17:17:48 +0200 | <boxscape> | hm I just realized I've never seen ala used with anything other than foldMap |
2021-06-06 17:17:53 +0200 | <boxscape> | all the examples in haddock also use foldMap |
2021-06-06 17:19:22 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 17:19:48 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
2021-06-06 17:22:15 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
2021-06-06 17:22:37 +0200 | ddellacosta | (~ddellacos@89.45.224.53) (Ping timeout: 272 seconds) |
2021-06-06 17:24:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 17:25:24 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 17:26:48 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
2021-06-06 17:30:45 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 17:36:16 +0200 | pe200012 | (~pe200012@119.145.72.136) (Quit: Konversation terminated!) |
2021-06-06 17:36:29 +0200 | gbear | (~user@88.160.31.174) (Ping timeout: 252 seconds) |
2021-06-06 17:38:46 +0200 | gbear | (~user@88.160.31.174) |
2021-06-06 17:39:07 +0200 | ddellacosta | (~ddellacos@86.106.121.27) |
2021-06-06 17:41:10 +0200 | blizzard | (~winter@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
2021-06-06 17:42:27 +0200 | gbear | (~user@88.160.31.174) () |
2021-06-06 17:44:04 +0200 | ddellacosta | (~ddellacos@86.106.121.27) (Ping timeout: 268 seconds) |
2021-06-06 17:44:43 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
2021-06-06 17:46:10 +0200 | Toast52__ | (~Toast52@151.192.167.120) (Ping timeout: 245 seconds) |
2021-06-06 17:49:04 +0200 | <boxscape> | the libraries implementing it all say it's form Conor McBride's work on Epigram, but without an actual reference where I could read about this particular aspect |
2021-06-06 17:49:12 +0200 | shailangsa | (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) |
2021-06-06 17:49:18 +0200 | mc47 | (~yecinem@89.246.239.190) |
2021-06-06 17:54:36 +0200 | Toast52 | (~Toast52@151.192.167.120) |
2021-06-06 17:57:29 +0200 | <boxscape> | % ala Product traverse [1..5] |
2021-06-06 17:57:29 +0200 | <yahb> | boxscape: [1,2,3,4,5] |
2021-06-06 17:57:30 +0200 | <boxscape> | amazing |
2021-06-06 17:59:43 +0200 | ddellacosta | (~ddellacos@86.106.143.248) |
2021-06-06 18:01:20 +0200 | gldisater | (~iefer@2804:14d:3280:59a8:b5b9:ddc7:aec2:cc72) |
2021-06-06 18:01:20 +0200 | <boxscape> | new id function for obfuscation? |
2021-06-06 18:01:37 +0200 | gldisater | (~iefer@2804:14d:3280:59a8:b5b9:ddc7:aec2:cc72) (Remote host closed the connection) |
2021-06-06 18:03:32 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-06-06 18:04:18 +0200 | ddellaco_ | (~ddellacos@86.106.143.196) |
2021-06-06 18:05:07 +0200 | ddellacosta | (~ddellacos@86.106.143.248) (Ping timeout: 264 seconds) |
2021-06-06 18:06:18 +0200 | <boxscape> | % let id' :: a -> a; id' = fromMaybe (fix . const $ fix id) . listToMaybe . ala Product traverse . pure |
2021-06-06 18:06:18 +0200 | <yahb> | boxscape: |
2021-06-06 18:07:12 +0200 | <tomsmeding> | % id' 42 |
2021-06-06 18:07:12 +0200 | <yahb> | tomsmeding: 42 |
2021-06-06 18:08:02 +0200 | zyklotomic | (~ethan@23.228.121.194) |
2021-06-06 18:09:19 +0200 | ddellaco_ | (~ddellacos@86.106.143.196) (Ping timeout: 264 seconds) |
2021-06-06 18:11:42 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
2021-06-06 18:12:43 +0200 | notzmv | (~zmv@user/notzmv) |
2021-06-06 18:13:53 +0200 | Toast52 | (~Toast52@151.192.167.120) (Ping timeout: 252 seconds) |
2021-06-06 18:16:43 +0200 | <boxscape> | okay, I have found Conor using it for something that's not foldMap: `ala Cont traverse` https://www.mail-archive.com/haskell-cafe@haskell.org/msg37213.html |
2021-06-06 18:17:17 +0200 | <tomsmeding> | why does hlint suggest turning sortBy into sortOn when the two have very different performance semantics |
2021-06-06 18:17:30 +0200 | <tomsmeding> | s/semantics/characteristics/ |
2021-06-06 18:17:31 +0200 | Bartosz | (~textual@24.35.90.211) |
2021-06-06 18:17:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 18:17:43 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
2021-06-06 18:18:25 +0200 | <boxscape> | isn't sortOn faster? Doesn't hlint suggest faster variants in a few places? |
2021-06-06 18:18:43 +0200 | <boxscape> | (like turning concat . map f into concatMap f) |
2021-06-06 18:19:35 +0200 | <tomsmeding> | sortOn first computes and caches a list containing (map f l), then sorts by looking up the keys in that cached list |
2021-06-06 18:19:52 +0200 | <tomsmeding> | so it calls f only O(n) times, whereas sortBy calls it O(n log n) times |
2021-06-06 18:19:59 +0200 | Bartosz | (~textual@24.35.90.211) (Client Quit) |
2021-06-06 18:20:02 +0200 | <tomsmeding> | sortBy is faster if f is cheap, like a simple projection |
2021-06-06 18:20:11 +0200 | <boxscape> | ah |
2021-06-06 18:20:27 +0200 | <tomsmeding> | which is nigh always the case for me :p |
2021-06-06 18:20:31 +0200 | Bartosz | (~textual@24.35.90.211) |
2021-06-06 18:20:33 +0200 | <boxscape> | right, makes sense |
2021-06-06 18:24:55 +0200 | python476 | (~user@88.160.31.174) |
2021-06-06 18:25:08 +0200 | __monty__ | (~toonn@user/toonn) |
2021-06-06 18:25:31 +0200 | vicentius | (~vicentius@user/vicentius) (Ping timeout: 264 seconds) |
2021-06-06 18:28:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 18:29:17 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
2021-06-06 18:29:47 +0200 | <albet70> | how to make a very simple language and use parsec to parse it? |
2021-06-06 18:30:08 +0200 | <Hanicef> | albet70: well, do you have a design for a simple language? |
2021-06-06 18:30:31 +0200 | <albet70> | scheme? |
2021-06-06 18:30:43 +0200 | <Hanicef> | i dont think you need parsec for that :) |
2021-06-06 18:30:44 +0200 | ddellacosta | (~ddellacos@86.106.121.50) |
2021-06-06 18:31:13 +0200 | <Hanicef> | afaik parsec is for more complex parsing, but im no expert |
2021-06-06 18:31:28 +0200 | <albet70> | is there an article to design a simple language? |
2021-06-06 18:31:29 +0200 | <boxscape> | albet70 there's a free book about using Haskell to write a Scheme interpreter, which does happen to use Parsec https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours |
2021-06-06 18:31:56 +0200 | <boxscape> | ...I guess you could also call it a series of blog posts |
2021-06-06 18:32:33 +0200 | anderson_ | anderson |
2021-06-06 18:32:38 +0200 | <Hanicef> | boxscape: +1, didnt know that existed |
2021-06-06 18:32:41 +0200 | <albet70> | boxscape, any others like this? |
2021-06-06 18:32:55 +0200 | <boxscape> | quite possibly, but nothing that I'm aware of |
2021-06-06 18:33:04 +0200 | <albet70> | I saw a few chapters of it |
2021-06-06 18:33:16 +0200 | <albet70> | until that environment |
2021-06-06 18:33:25 +0200 | <albet70> | evaluation |
2021-06-06 18:33:54 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
2021-06-06 18:34:52 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
2021-06-06 18:36:43 +0200 | ikex | (~ash@user/ikex) (Ping timeout: 272 seconds) |
2021-06-06 18:36:49 +0200 | V | (~v@anomalous.eu) |
2021-06-06 18:37:07 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 18:38:27 +0200 | reumeth2 | (~reumeth@user/reumeth) |
2021-06-06 18:38:37 +0200 | econo | (uid147250@user/econo) |
2021-06-06 18:38:41 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
2021-06-06 18:40:25 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
2021-06-06 18:41:01 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 18:41:32 +0200 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
2021-06-06 18:41:43 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
2021-06-06 18:41:58 +0200 | python476 | (~user@88.160.31.174) (Read error: Connection reset by peer) |
2021-06-06 18:42:20 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
2021-06-06 18:46:15 +0200 | python476 | (~user@88.160.31.174) |
2021-06-06 18:49:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 18:51:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-06-06 18:52:53 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
2021-06-06 18:54:00 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 18:54:12 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds) |
2021-06-06 18:58:36 +0200 | ddellacosta | (~ddellacos@86.106.121.50) (Read error: Connection reset by peer) |
2021-06-06 18:58:53 +0200 | ddellacosta | (~ddellacos@86.106.121.50) |
2021-06-06 18:58:59 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
2021-06-06 18:59:29 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 19:00:16 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
2021-06-06 19:00:57 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
2021-06-06 19:02:19 +0200 | ddellaco_ | (~ddellacos@89.46.62.25) |
2021-06-06 19:05:36 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 19:06:20 +0200 | ikex | (~ash@user/ikex) |
2021-06-06 19:07:19 +0200 | alx741 | (~alx741@186.178.108.47) (Ping timeout: 268 seconds) |
2021-06-06 19:07:25 +0200 | python476 | (~user@88.160.31.174) (Ping timeout: 245 seconds) |
2021-06-06 19:08:23 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 19:08:55 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
2021-06-06 19:10:26 +0200 | chkno_ | (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
2021-06-06 19:11:04 +0200 | chkno | (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
2021-06-06 19:18:06 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 19:20:07 +0200 | alx741 | (~alx741@181.196.69.96) |
2021-06-06 19:21:54 +0200 | favonia | (~favonia@user/favonia) (Ping timeout: 264 seconds) |
2021-06-06 19:22:20 +0200 | favonia | (~favonia@user/favonia) |
2021-06-06 19:22:45 +0200 | zyklotomic | (~ethan@23.228.121.194) (Quit: WeeChat 3.1) |
2021-06-06 19:24:52 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 19:27:01 +0200 | yorick | (~yorick@user/yorick) (Quit: reboot) |
2021-06-06 19:27:38 +0200 | ddellac__ | (~ddellacos@86.106.143.222) |
2021-06-06 19:28:05 +0200 | ddellaco_ | (~ddellacos@89.46.62.25) (Ping timeout: 244 seconds) |
2021-06-06 19:28:05 +0200 | ddellacosta | (~ddellacos@86.106.121.50) (Ping timeout: 244 seconds) |
2021-06-06 19:28:12 +0200 | Bartosz | (~textual@24.35.90.211) |
2021-06-06 19:28:35 +0200 | ddella___ | (~ddellacos@89.46.62.60) |
2021-06-06 19:28:59 +0200 | Guest913 | (~Guest9@103.250.139.185) |
2021-06-06 19:30:46 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 19:31:59 +0200 | ddella___ | (~ddellacos@89.46.62.60) (Read error: Connection reset by peer) |
2021-06-06 19:32:38 +0200 | ddellacosta | (~ddellacos@89.46.62.60) |
2021-06-06 19:33:01 +0200 | yorick | (~yorick@user/yorick) |
2021-06-06 19:34:33 +0200 | zebrag | (~chris@user/zebrag) |
2021-06-06 19:35:31 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
2021-06-06 19:36:52 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 19:37:21 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
2021-06-06 19:41:43 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 264 seconds) |
2021-06-06 19:45:03 +0200 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
2021-06-06 19:46:30 +0200 | <sclv> | i recommend parsec for even simple parsers -- anything more complicated than can be done with just a few string functions at least |
2021-06-06 19:47:34 +0200 | <glguy> | I'd recommend parsec mostly for the simple parsers |
2021-06-06 19:47:43 +0200 | ddellac__ | (~ddellacos@86.106.143.222) (Ping timeout: 264 seconds) |
2021-06-06 19:47:45 +0200 | dunkeln | (~dunkeln@94.129.65.28) |
2021-06-06 19:47:55 +0200 | wonko | (~wjc@62.115.229.50) |
2021-06-06 19:47:57 +0200 | <glguy> | If you're doing something big it's better to make a real lexer/parser with something like alex/happy |
2021-06-06 19:49:14 +0200 | Pixi_ | (~Pixi@user/pixi) |
2021-06-06 19:49:47 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
2021-06-06 19:52:05 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
2021-06-06 19:52:35 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
2021-06-06 19:53:00 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
2021-06-06 19:53:07 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
2021-06-06 19:53:29 +0200 | ddellaco_ | (~ddellacos@89.46.62.60) |
2021-06-06 19:54:17 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-06-06 19:55:25 +0200 | ddellacosta | (~ddellacos@89.46.62.60) (Ping timeout: 268 seconds) |
2021-06-06 19:57:43 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-06-06 19:58:03 +0200 | zebrag | (~chris@user/zebrag) |
2021-06-06 20:00:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 20:03:15 +0200 | alx741 | (~alx741@181.196.69.96) (Ping timeout: 245 seconds) |
2021-06-06 20:03:40 +0200 | ddellaco_ | (~ddellacos@89.46.62.60) (Ping timeout: 245 seconds) |
2021-06-06 20:04:45 +0200 | vicentius | (~vicentius@user/vicentius) |
2021-06-06 20:05:20 +0200 | ikex | (~ash@user/ikex) (Ping timeout: 245 seconds) |
2021-06-06 20:05:23 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds) |
2021-06-06 20:09:30 +0200 | awth13 | (~user@193.27.14.133) (Remote host closed the connection) |
2021-06-06 20:10:26 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-06-06 20:11:30 +0200 | dhil | (~dhil@195.213.192.47) |
2021-06-06 20:18:59 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 20:19:01 +0200 | realtime | (~realtime@177.18.185.16) (Read error: Connection reset by peer) |
2021-06-06 20:23:06 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
2021-06-06 20:30:23 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) |
2021-06-06 20:32:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 20:32:25 +0200 | ddellacosta | (~ddellacos@86.106.121.100) |
2021-06-06 20:34:24 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
2021-06-06 20:34:42 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-06-06 20:36:27 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 20:36:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
2021-06-06 20:36:54 +0200 | haltux | (~haltux@a89-154-181-47.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
2021-06-06 20:37:14 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) |
2021-06-06 20:37:50 +0200 | ddellacosta | (~ddellacos@86.106.121.100) (Ping timeout: 245 seconds) |
2021-06-06 20:40:01 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 20:41:38 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) (Client Quit) |
2021-06-06 20:41:55 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) |
2021-06-06 20:43:19 +0200 | azeem | (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
2021-06-06 20:43:31 +0200 | dunkeln | (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
2021-06-06 20:46:35 +0200 | alx741 | (~alx741@181.196.69.96) |
2021-06-06 20:48:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 20:48:39 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) (Quit: WeeChat 3.1) |
2021-06-06 20:49:15 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 20:51:50 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) |
2021-06-06 20:52:37 +0200 | Erutuon | (~Erutuon@user/erutuon) |
2021-06-06 20:53:43 +0200 | dcompoze | (~dcompoze@5E98D6D9.static.tld.pl) |
2021-06-06 20:54:28 +0200 | ddellacosta | (~ddellacos@89.46.62.71) |
2021-06-06 20:56:43 +0200 | v01d4lph4 | (~v01d4lph4@user/v01d4lph4) (Ping timeout: 264 seconds) |
2021-06-06 20:57:28 +0200 | Bartosz | (~textual@24.35.90.211) |
2021-06-06 21:03:44 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
2021-06-06 21:05:30 +0200 | <_73> | Why when I do both the `k` and `v` need to have Ord instances when using Data.Set.insert to insert into a `Set (k,v)`? I would have thought only the `k` needed an Ord instance. http://dpaste.com/B7HU5B4VP |
2021-06-06 21:06:03 +0200 | <geekosaur> | you're confusing Set with Map, it sounds like |
2021-06-06 21:06:11 +0200 | <geekosaur> | you have a single key which is a pair |
2021-06-06 21:07:31 +0200 | <_73> | so the problem is that I need an Ord instance for the entire `(k,v)`? |
2021-06-06 21:07:47 +0200 | <_73> | Still then I would think that only requires on Ord instance for the k |
2021-06-06 21:07:50 +0200 | <geekosaur> | your "v" is not a v. (k,v) is the entire key |
2021-06-06 21:07:55 +0200 | lavaman | (~lavaman@98.38.249.169) |
2021-06-06 21:08:00 +0200 | <geekosaur> | you want a Data.Map |
2021-06-06 21:08:43 +0200 | <_73> | I do want a Set. |
2021-06-06 21:08:54 +0200 | <boxscape> | _73 with Set (k, v), how would it handle two elements (0, 1) and (0, 2) if it doesn't have a way to compare 1 and 2? |
2021-06-06 21:11:18 +0200 | <_73> | So this is specific to Sets? |
2021-06-06 21:12:15 +0200 | <geekosaur> | ? a Set is a collection of unique keys. a Map is a mapping from unique keys to values. it sounds like you want the latter |
2021-06-06 21:12:17 +0200 | <boxscape> | well, kind of depends on what you mean by "this". Sets require that the type of their elements have an Ord instance. For a pair (k, v) to have an Ord instance (the type of the elements of your Set), both k and v must have an Ord instance |
2021-06-06 21:12:27 +0200 | <boxscape> | % data A = A |
2021-06-06 21:12:27 +0200 | <yahb> | boxscape: |
2021-06-06 21:12:31 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
2021-06-06 21:12:33 +0200 | <boxscape> | % (0, A) < (5, A) |
2021-06-06 21:12:33 +0200 | <yahb> | boxscape: ; <interactive>:72:8: error:; * No instance for (Ord A) arising from a use of `<'; * In the expression: (0, A) < (5, A); In an equation for `it': it = (0, A) < (5, A) |
2021-06-06 21:12:43 +0200 | <boxscape> | you can't compare these because there's no Ord instance for A |
2021-06-06 21:13:31 +0200 | <shachaf> | What makes you say you want a Set? |
2021-06-06 21:14:04 +0200 | <_73> | ohh now I see what is going on. My GHCi example only worked because Int has an Ord instance |
2021-06-06 21:14:11 +0200 | <boxscape> | right :) |
2021-06-06 21:14:25 +0200 | ddellacosta | (~ddellacos@89.46.62.71) (Ping timeout: 272 seconds) |
2021-06-06 21:14:25 +0200 | <_73> | ok now I understand thanks |
2021-06-06 21:18:04 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
2021-06-06 21:18:39 +0200 | pierrot | (~pi@user/pierrot) |
2021-06-06 21:19:23 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
2021-06-06 21:21:14 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
2021-06-06 21:22:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-06-06 21:23:06 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-06-06 21:25:41 +0200 | <Hecate> | dcoutts: heya, would you happen to have a link to your 2014 paper "Binary serialisation: better, stronger, faster"? |
2021-06-06 21:26:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (WeeChat 3.0.1) |
2021-06-06 21:28:40 +0200 | bfrk | (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de) |
2021-06-06 21:30:27 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) (Quit: WeeChat 3.0) |
2021-06-06 21:30:41 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) |
2021-06-06 21:32:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
2021-06-06 21:36:33 +0200 | machinedgod | (~machinedg@24.105.81.50) |
2021-06-06 21:37:55 +0200 | vicfred | (~vicfred@user/vicfred) |
2021-06-06 21:40:27 +0200 | Topsi | (~Tobias@dyndsl-095-033-023-170.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
2021-06-06 21:42:55 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
2021-06-06 21:43:13 +0200 | kybr | (~kybr@ip184-189-221-182.sb.sd.cox.net) (Quit: WeeChat 3.1) |
2021-06-06 21:46:52 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) |
2021-06-06 21:51:44 +0200 | reumeth2 | (~reumeth@user/reumeth) (Quit: reumeth2) |
2021-06-06 21:51:47 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Ping timeout: 272 seconds) |
2021-06-06 21:52:41 +0200 | Guest913 | (~Guest9@103.250.139.185) (Quit: Connection closed) |
2021-06-06 21:52:45 +0200 | vicentius | (~vicentius@user/vicentius) (Quit: Leaving) |
2021-06-06 21:54:04 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 272 seconds) |
2021-06-06 21:55:18 +0200 | a6a45081-2b83 | (~aditya@223.235.239.159) |
2021-06-06 22:00:35 +0200 | ddellacosta | (~ddellacos@86.106.121.17) |
2021-06-06 22:00:41 +0200 | Techcable | (~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in) |
2021-06-06 22:02:03 +0200 | Techcable | (~Techcable@168.235.93.147) |
2021-06-06 22:05:07 +0200 | ddellacosta | (~ddellacos@86.106.121.17) (Ping timeout: 264 seconds) |
2021-06-06 22:05:09 +0200 | juhp | (~juhp@128.106.188.199) (Ping timeout: 244 seconds) |
2021-06-06 22:05:09 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 22:05:59 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-06-06 22:06:06 +0200 | <tomsmeding> | Is it true that you cannot emulate the full power of GADTs using pattern synonyms, in particular existentials? |
2021-06-06 22:06:15 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-06-06 22:06:40 +0200 | <tomsmeding> | I'm trying to convert a GADT to a more efficient representation, providing pattern synonyms to keep existing code working: https://paste.tomsmeding.com/AnurdoDe |
2021-06-06 22:06:49 +0200 | tabemann_ | tabemann |
2021-06-06 22:07:27 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) |
2021-06-06 22:07:33 +0200 | <safinaskar> | look at this very interesting piece of code: https://github.com/mpickering/ghc-proposals/blob/splice-imports/proposals/0000-splice-imports.rst#… |
2021-06-06 22:07:49 +0200 | <safinaskar> | please, point to some article explaining how such code works |
2021-06-06 22:07:59 +0200 | <safinaskar> | i. e. when we see so nested template haskell |
2021-06-06 22:08:03 +0200 | juhp | (~juhp@128.106.188.199) |
2021-06-06 22:08:46 +0200 | softwarm | (~softwarm@2600:8801:db01:8f0:60c3:f8d4:403b:5c34) |
2021-06-06 22:09:14 +0200 | tose | (~tose@ip-85-160-1-174.eurotel.cz) (Ping timeout: 268 seconds) |
2021-06-06 22:10:00 +0200 | emliunix | (~emliunix@103.138.74.59) (Remote host closed the connection) |
2021-06-06 22:10:16 +0200 | ddellacosta | (~ddellacos@89.46.62.196) |
2021-06-06 22:10:19 +0200 | emliunix | (~emliunix@103.138.74.59) |
2021-06-06 22:11:14 +0200 | Bartosz | (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 22:13:10 +0200 | ddellaco_ | (~ddellacos@89.46.62.92) |
2021-06-06 22:14:30 +0200 | ddellacosta | (~ddellacos@89.46.62.196) (Ping timeout: 245 seconds) |
2021-06-06 22:16:01 +0200 | <c_wraith> | safinaskar: you don't often see such a thing, but it's just evaluated recursively. Need to do a TH splice when running TH code? Just recursively enter the splicing code |
2021-06-06 22:16:54 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) |
2021-06-06 22:24:26 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 22:25:22 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
2021-06-06 22:25:41 +0200 | _73 | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
2021-06-06 22:26:51 +0200 | <safinaskar> | c_wraith: thanks |
2021-06-06 22:27:12 +0200 | madjesti1 | (~madjestic@88-159-247-120.fixed.kpn.net) |
2021-06-06 22:27:40 +0200 | pritambaral | prite |
2021-06-06 22:28:37 +0200 | <tomsmeding> | by the way regarding my question above, I'd be perfectly fine with some unsafeCoerce to achieve this, but I'm afraid it's not possible at all |
2021-06-06 22:30:28 +0200 | xff0x | (~xff0x@2001:1a81:53fc:900:3f16:186f:3986:9c65) (Ping timeout: 244 seconds) |
2021-06-06 22:30:45 +0200 | xff0x | (~xff0x@185.65.135.235) |
2021-06-06 22:31:44 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 22:32:18 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
2021-06-06 22:32:47 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Quit: Lost terminal) |
2021-06-06 22:33:14 +0200 | madjesti1 | (~madjestic@88-159-247-120.fixed.kpn.net) (Quit: leaving) |
2021-06-06 22:33:44 +0200 | <shachaf> | tomsmeding: Pattern synonyms are a bit after my time, so I'm probably missing something, but what's the double => in those pattern synonyms for? |
2021-06-06 22:34:02 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
2021-06-06 22:34:55 +0200 | xff0x | (~xff0x@185.65.135.235) (Ping timeout: 245 seconds) |
2021-06-06 22:35:02 +0200 | ixlun | (~matthew@109.249.184.235) |
2021-06-06 22:35:14 +0200 | <shachaf> | It seems to compile and behave similarly to the GADT without the () =>. |
2021-06-06 22:36:58 +0200 | xff0x | (~xff0x@2001:1a81:53fc:900:3f16:186f:3986:9c65) |
2021-06-06 22:37:36 +0200 | ddellaco_ | (~ddellacos@89.46.62.92) (Remote host closed the connection) |
2021-06-06 22:41:18 +0200 | <geekosaur> | pattern synonyms can both require and provide contexts, hence the double => |
2021-06-06 22:42:32 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 22:44:31 +0200 | <shachaf> | Aha. OK. |
2021-06-06 22:45:46 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
2021-06-06 22:46:20 +0200 | piele_ | piele |
2021-06-06 22:46:56 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-06-06 22:47:28 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
2021-06-06 22:49:27 +0200 | <tomsmeding> | shachaf: indeed, the point was that the pattern synonym requires no constraints but provides the equality constraint upon a successful match |
2021-06-06 22:50:26 +0200 | <boxscape> | hm that seems like terribly confusing syntax |
2021-06-06 22:50:27 +0200 | <tomsmeding> | if I remove the `() =>` and hence make the equality constraint a required constraint, I can't write 'isZero :: Idx env t -> Bool ; isZero ZeroIdx = True' because the match on ZeroIdx then requires that the 'env' type parameter of isZero equates to a pair, which it doesn't |
2021-06-06 22:50:31 +0200 | <boxscape> | though I don't have a better suggestion |
2021-06-06 22:50:36 +0200 | <tomsmeding> | boxscape: don't get me started on that :p |
2021-06-06 22:50:41 +0200 | <boxscape> | okay :D |
2021-06-06 22:51:20 +0200 | <tomsmeding> | but I agree |
2021-06-06 22:52:11 +0200 | nattiestnate | (~nate@180.242.128.159) |
2021-06-06 22:53:33 +0200 | nattiestnate | (~nate@180.242.128.159) (Client Quit) |
2021-06-06 22:53:56 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) () |
2021-06-06 22:54:18 +0200 | nattiestnate | (~nate@180.242.128.159) |
2021-06-06 22:58:30 +0200 | <shachaf> | tomsmeding: Right, makes sense. |
2021-06-06 23:01:00 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 23:01:21 +0200 | allbery_b | (~geekosaur@069-135-003-034.biz.spectrum.com) |
2021-06-06 23:02:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-06-06 23:04:04 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 23:04:07 +0200 | geekosaur | (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds) |
2021-06-06 23:04:15 +0200 | allbery_b | geekosaur |
2021-06-06 23:05:07 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-06-06 23:08:01 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Excess Flood) |
2021-06-06 23:08:40 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 23:09:36 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 23:10:10 +0200 | ddellacosta | (~ddellacos@83.143.246.110) |
2021-06-06 23:10:29 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-06-06 23:14:43 +0200 | ddellacosta | (~ddellacos@83.143.246.110) (Ping timeout: 264 seconds) |
2021-06-06 23:14:43 +0200 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
2021-06-06 23:15:41 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 23:17:00 +0200 | imdoor | (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
2021-06-06 23:18:02 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
2021-06-06 23:18:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-06-06 23:19:19 +0200 | ddellacosta | (~ddellacos@89.45.224.209) |
2021-06-06 23:19:49 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
2021-06-06 23:20:46 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
2021-06-06 23:21:11 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
2021-06-06 23:22:01 +0200 | <boxscape> | tomsmeding I imagine this probably wouldn't work for some reason? https://paste.tomsmeding.com/k4XVU1SF |
2021-06-06 23:23:02 +0200 | <tomsmeding> | boxscape: same thing where that isZero formulation I wrote a few messages back doesn't typecheck |
2021-06-06 23:23:23 +0200 | <boxscape> | ah, I see |
2021-06-06 23:24:53 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds) |
2021-06-06 23:24:59 +0200 | MQ-17J | (~MQ-17J@8.21.10.116) |
2021-06-06 23:25:48 +0200 | tomsmeding | is off to bed, I'll check the logs tomorrow :) |
2021-06-06 23:25:55 +0200 | <boxscape> | good night |
2021-06-06 23:26:05 +0200 | <tomsmeding> | thanks! |
2021-06-06 23:28:49 +0200 | ddellacosta | (~ddellacos@89.45.224.209) (Remote host closed the connection) |
2021-06-06 23:29:00 +0200 | ddellacosta | (~ddellacos@89.45.224.209) |
2021-06-06 23:31:35 +0200 | ixlun | (~matthew@109.249.184.235) (Ping timeout: 245 seconds) |
2021-06-06 23:32:26 +0200 | w1gz | (~do@159.89.11.133) |
2021-06-06 23:36:10 +0200 | dhil | (~dhil@195.213.192.47) (Ping timeout: 245 seconds) |
2021-06-06 23:38:49 +0200 | shanemikel | (~shanemike@desk.roadwar.net) |
2021-06-06 23:38:52 +0200 | shanemikel | (~shanemike@desk.roadwar.net) (Client Quit) |
2021-06-06 23:39:35 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-06-06 23:39:51 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
2021-06-06 23:39:51 +0200 | ddellacosta | (~ddellacos@89.45.224.209) (Remote host closed the connection) |
2021-06-06 23:40:23 +0200 | shanemikel | (~shanemike@desk.roadwar.net) |
2021-06-06 23:40:37 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:d950:8679:5786:8899) (Remote host closed the connection) |
2021-06-06 23:41:24 +0200 | a6a45081-2b83 | (~aditya@223.235.239.159) (Remote host closed the connection) |
2021-06-06 23:43:31 +0200 | superbil | (~superbil@1-34-176-171.HINET-IP.hinet.net) (Ping timeout: 264 seconds) |
2021-06-06 23:48:24 +0200 | mc47 | (~yecinem@89.246.239.190) (Remote host closed the connection) |
2021-06-06 23:49:12 +0200 | ddellacosta | (~ddellacos@89.45.224.254) |
2021-06-06 23:49:23 +0200 | dhil | (~dhil@80.208.56.181) |
2021-06-06 23:52:45 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
2021-06-06 23:53:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2021-06-06 23:57:19 +0200 | fizbin | (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |