IRCBrowse

2021/08/16

2021-08-16 00:00:41 +0200fendor(~fendor@178.115.35.166.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-08-16 00:01:52 +0200ubert(~Thunderbi@178.115.55.14.wireless.dyn.drei.com)
2021-08-16 00:03:14 +0200mousey(~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds)
2021-08-16 00:03:25 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-08-16 00:05:44 +0200 <dsal> You can get location-independent work which is kind of the way to go. That's what I'm doing.
2021-08-16 00:05:50 +0200nsilv-phone(~nsilv-pho@host-79-17-175-58.retail.telecomitalia.it)
2021-08-16 00:06:15 +0200mousey(~skymouse@gateway/tor-sasl/mousey)
2021-08-16 00:07:46 +0200hexfive(~eric@50.35.83.177)
2021-08-16 00:07:47 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-08-16 00:07:49 +0200hexfive(~eric@50.35.83.177) (Client Quit)
2021-08-16 00:08:39 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it) (Ping timeout: 268 seconds)
2021-08-16 00:15:41 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-16 00:16:03 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-08-16 00:17:42 +0200mousey(~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds)
2021-08-16 00:19:44 +0200ubert(~Thunderbi@178.115.55.14.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-08-16 00:19:53 +0200 <sclv> location independent doesn't help with a work visa!
2021-08-16 00:20:08 +0200 <sclv> but as far as ive seen the job sitch there is pretty ok if you start putting out feelers now
2021-08-16 00:20:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-08-16 00:25:09 +0200mousey(~skymouse@gateway/tor-sasl/mousey)
2021-08-16 00:25:18 +0200jneira(~jneira@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 268 seconds)
2021-08-16 00:26:14 +0200tripoli(~tripoli@69.233.98.238) (Quit: nyaa~)
2021-08-16 00:26:15 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-08-16 00:27:46 +0200o1lo01ol1o(~o1lo01ol1@31.22.129.100) (Remote host closed the connection)
2021-08-16 00:29:27 +0200o1lo01ol1o(~o1lo01ol1@31.22.129.100)
2021-08-16 00:33:05 +0200oxide(~lambda@user/oxide)
2021-08-16 00:33:37 +0200o1lo01ol1o(~o1lo01ol1@31.22.129.100) (Ping timeout: 248 seconds)
2021-08-16 00:35:29 +0200lavaman(~lavaman@98.38.249.169)
2021-08-16 00:36:18 +0200 <arahael> tomsmeding: Updated ghc, though only to 8.10.4 - now it's rebuilding the world again! :D
2021-08-16 00:39:58 +0200acidjnk_new(~acidjnk@p200300d0c72b9503f052fac21b551e32.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-08-16 00:40:01 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-16 00:42:09 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 248 seconds)
2021-08-16 00:42:38 +0200dudek(~dudek@185.150.236.112) (Quit: Leaving)
2021-08-16 00:43:36 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-16 00:47:29 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-16 00:47:52 +0200cjb(~cjb@user/cjb)
2021-08-16 00:53:08 +0200Guest1842(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-16 00:53:39 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-08-16 01:00:26 +0200fvr(uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-16 01:10:45 +0200 <arahael> tomsmeding: Ok, tar-bytestring compiles and works, but it still truncates file names for some reason, I might have to switch to libarchive before it will work.
2021-08-16 01:12:28 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 01:16:04 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-16 01:18:29 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-08-16 01:18:44 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Client Quit)
2021-08-16 01:19:03 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-08-16 01:20:05 +0200 <arahael> Aha, ok, did more digging. The truncated names always follow an entry called "././@PaxHeader". I guess I could potentially look into getting that, and parsing it myself, but nah, why bother: I'll just switch to libarchive.
2021-08-16 01:22:19 +0200 <arahael> Coincidentally, the file names are truncated to 100 bytes! Now it makes sense.
2021-08-16 01:22:40 +0200machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2021-08-16 01:23:31 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-16 01:25:18 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 01:25:33 +0200machinedgod(~machinedg@24.105.81.50) (Remote host closed the connection)
2021-08-16 01:26:22 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-16 01:27:20 +0200 <geekosaur> that sounds like old tar format
2021-08-16 01:27:34 +0200 <geekosaur> which had a 100-byte limit on filenames
2021-08-16 01:28:12 +0200 <arahael> geekosaur: Modern, actually, from the looks of things, except the Tar package in haskell does not support PaxHeaders.
2021-08-16 01:28:24 +0200 <geekosaur> but that PaxHeader entry sounds like written by the pax program
2021-08-16 01:28:48 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-08-16 01:29:00 +0200 <arahael> I think it's posix, just not gnu.
2021-08-16 01:29:06 +0200 <geekosaur> https://en.wikipedia.org/wiki/Pax_(command)#:~:text=IEEE%2C%20in%202001%2C%20defined%20a,of%20both%20tar%20and%20cpio%20.
2021-08-16 01:31:05 +0200oxide(~lambda@user/oxide) (Ping timeout: 258 seconds)
2021-08-16 01:31:35 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds)
2021-08-16 01:31:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-08-16 01:33:40 +0200 <arahael> geekosaur: Sure, but tar arhives themselves use pax headers, as it turns out.
2021-08-16 01:33:58 +0200 <arahael> OOoh, that's what the IEEE defined in 2001 on that page.
2021-08-16 01:37:10 +0200 <arahael> Ah! Found it. The tar file is indeed in the older pax format:
2021-08-16 01:37:51 +0200 <arahael> https://docs.python.org/3/library/tarfile.html -> Says that the default format is pax until until python 3.8, when it started being in gnu format.
2021-08-16 01:38:03 +0200jeslie0(~user@108.162.150.9) (Ping timeout: 268 seconds)
2021-08-16 01:39:24 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-16 01:39:55 +0200wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 268 seconds)
2021-08-16 01:40:55 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-08-16 01:41:02 +0200jeslie0(~user@108.162.150.9)
2021-08-16 01:48:53 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:789f:7a:b395:5977)
2021-08-16 01:50:57 +0200 <arahael> geekosaur: Anyway, thanks for the quite direct pointer. :)
2021-08-16 01:51:05 +0200 <arahael> Quite *correct* pointer.
2021-08-16 01:53:01 +0200vysn(~vysn@user/vysn) (Remote host closed the connection)
2021-08-16 01:53:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-16 01:53:56 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-16 01:54:06 +0200keutoi(~keutoi@157.47.84.95)
2021-08-16 01:54:39 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 01:54:42 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 245 seconds)
2021-08-16 01:56:32 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-08-16 01:56:53 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds)
2021-08-16 01:57:27 +0200 <justsomeguy> An indirection that pointed directly to the correct point?
2021-08-16 01:58:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-16 01:59:01 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-16 02:07:29 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 248 seconds)
2021-08-16 02:09:22 +0200cheater(~Username@user/cheater) (Remote host closed the connection)
2021-08-16 02:09:37 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-16 02:11:51 +0200 <arahael> Heh. Yes, that metaphor holds. :D
2021-08-16 02:17:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 02:18:56 +0200jeslie0(~user@108.162.150.9) (Remote host closed the connection)
2021-08-16 02:20:17 +0200adam1(~adam@2001-b011-4007-2102-c141-6d4e-8529-c8c5.dynamic-ip6.hinet.net)
2021-08-16 02:22:40 +0200pavonia(~user@user/siracusa)
2021-08-16 02:31:05 +0200arthur_melo_(IRC@gateway/vpn/airvpn/arthurmelo/x-07739757) (Quit: arthur_melo_)
2021-08-16 02:31:41 +0200Atum_(IRC@user/atum/x-2392232)
2021-08-16 02:33:46 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:789f:7a:b395:5977) (Remote host closed the connection)
2021-08-16 02:34:20 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:789f:7a:b395:5977)
2021-08-16 02:38:33 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:789f:7a:b395:5977) (Ping timeout: 258 seconds)
2021-08-16 02:39:41 +0200notzmv(~zmv@user/notzmv)
2021-08-16 02:39:49 +0200lavaman(~lavaman@98.38.249.169)
2021-08-16 02:39:49 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-16 02:40:02 +0200lavaman(~lavaman@98.38.249.169)
2021-08-16 02:43:15 +0200qrpnxz(abc4f95c31@user/qrpnxz) (Quit: Gateway shutdown)
2021-08-16 02:43:31 +0200qrpnxz(~qrpnxz@user/qrpnxz)
2021-08-16 02:46:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2021-08-16 02:46:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 02:49:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-08-16 02:51:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-08-16 02:58:32 +0200Guest84(~Guest84@2406:3003:2006:447e:155:147:a4dc:1e)
2021-08-16 03:07:04 +0200theproffesor(~theproffe@user/theproffesor) (Ping timeout: 256 seconds)
2021-08-16 03:09:21 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:789f:7a:b395:5977)
2021-08-16 03:11:43 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection)
2021-08-16 03:12:09 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-16 03:13:15 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-16 03:13:49 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:789f:7a:b395:5977) (Ping timeout: 258 seconds)
2021-08-16 03:14:43 +0200Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-08-16 03:15:00 +0200Xnuk(~xnuk@vultr.xnu.kr)
2021-08-16 03:16:38 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-16 03:18:32 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-08-16 03:18:50 +0200MQ-17J(~MQ-17J@8.6.144.209)
2021-08-16 03:24:08 +0200CannabisIndica(~herb@user/mesaboogie) (Ping timeout: 268 seconds)
2021-08-16 03:25:04 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 03:29:04 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-08-16 03:29:38 +0200slack1256(~slack1256@181.203.78.111)
2021-08-16 03:31:19 +0200CnnibisIndica(~herb@user/mesaboogie)
2021-08-16 03:33:11 +0200Guest84(~Guest84@2406:3003:2006:447e:155:147:a4dc:1e) (Quit: Client closed)
2021-08-16 03:39:08 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2021-08-16 03:40:07 +0200CnnibisIndicaCannabisIndica
2021-08-16 03:40:48 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-16 03:41:35 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-16 03:42:17 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-08-16 03:43:06 +0200lep(~lep@94.31.86.183) (Read error: Connection reset by peer)
2021-08-16 03:43:58 +0200lep(~lep@94.31.86.183)
2021-08-16 03:45:42 +0200leplep-
2021-08-16 03:49:32 +0200Atum_(IRC@user/atum/x-2392232) (Quit: Atum_)
2021-08-16 03:49:42 +0200xff0x(~xff0x@2001:1a81:52ed:2b00:dae0:b3ed:9593:292a) (Ping timeout: 245 seconds)
2021-08-16 03:50:40 +0200jao(jao@gateway/vpn/protonvpn/jao) (Remote host closed the connection)
2021-08-16 03:51:51 +0200xff0x(~xff0x@2001:1a81:5326:b600:845d:acc9:3c7f:1b89)
2021-08-16 03:51:55 +0200NieDzejkob(~quassel@195.149.98.3) (Quit: No Ping reply in 180 seconds.)
2021-08-16 03:53:15 +0200NieDzejkob(~quassel@195.149.98.3)
2021-08-16 03:57:20 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-08-16 04:04:28 +0200peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-08-16 04:13:53 +0200td_(~td@94.134.91.196) (Ping timeout: 248 seconds)
2021-08-16 04:15:46 +0200td_(~td@muedsl-82-207-238-122.citykom.de)
2021-08-16 04:18:43 +0200winny(~winny@user/winny) (Quit: irc break see you l8r contact irc@winny.tech)
2021-08-16 04:20:49 +0200MQ-17J(~MQ-17J@8.6.144.209) (Ping timeout: 248 seconds)
2021-08-16 04:21:26 +0200roboguy_(~roboguy_@136.37.123.186)
2021-08-16 04:22:06 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2)
2021-08-16 04:23:49 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-08-16 04:23:49 +0200FinnElijaGuest1510
2021-08-16 04:23:49 +0200finn_elijaFinnElija
2021-08-16 04:24:01 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-16 04:25:37 +0200roboguy_(~roboguy_@136.37.123.186) (Ping timeout: 248 seconds)
2021-08-16 04:26:58 +0200Guest1510(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 256 seconds)
2021-08-16 04:36:50 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) (Ping timeout: 272 seconds)
2021-08-16 04:38:10 +0200 <aegon> huh... i'm trying to use rec to post and get back a jsonResponse but i cant find out how to actually get a type out of the JSON reponse
2021-08-16 04:38:13 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-16 04:40:42 +0200 <aegon> mayb espec to the rescue
2021-08-16 04:44:40 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2021-08-16 04:44:54 +0200 <aegon> spec for rec saved me
2021-08-16 04:46:32 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 04:47:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 04:47:55 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
2021-08-16 04:49:35 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a)
2021-08-16 05:00:16 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:44a2:1ae4:c5d5:7cfc)
2021-08-16 05:02:01 +0200alx741(~alx741@186.178.108.32) (Quit: alx741)
2021-08-16 05:03:06 +0200haowenl1(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 05:04:59 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:44a2:1ae4:c5d5:7cfc) (Ping timeout: 252 seconds)
2021-08-16 05:07:07 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) (Ping timeout: 268 seconds)
2021-08-16 05:07:07 +0200haowenl1haowenl
2021-08-16 05:10:17 +0200fvr(uid503686@id-503686.highgate.irccloud.com)
2021-08-16 05:10:32 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-08-16 05:14:16 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2021-08-16 05:17:36 +0200ham(~ham4@user/ham) (Ping timeout: 268 seconds)
2021-08-16 05:22:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-08-16 05:24:21 +0200 <aegon> is there a trick to auto deriving ToJSON from fields that also use TH to make lens accessors or is the go-to manual instancing
2021-08-16 05:25:10 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 05:28:44 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 256 seconds)
2021-08-16 05:29:12 +0200oldsk00l(~znc@ec2-3-64-54-200.eu-central-1.compute.amazonaws.com)
2021-08-16 05:43:30 +0200benin036932(~benin@183.82.205.178) (Ping timeout: 268 seconds)
2021-08-16 05:47:37 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer)
2021-08-16 05:47:40 +0200Jameson(~Jameson@41.210.143.200)
2021-08-16 05:49:50 +0200 <aegon> nifty
2021-08-16 05:50:04 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-08-16 05:52:54 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 258 seconds)
2021-08-16 05:54:16 +0200Jameson(~Jameson@41.210.143.200) (Quit: Client closed)
2021-08-16 05:57:27 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-16 06:00:59 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a)
2021-08-16 06:01:49 +0200 <dsal> aegon: There's generic ToJSON.
2021-08-16 06:03:25 +0200 <aegon> dsal: sorry i didn't follow up here, I found a options dict for that as well as a template haskell method that takes the same options, i've been doing extra work for no reason :!
2021-08-16 06:03:44 +0200_bin(~bin@user/bin/x-1583188) (Quit: ZNC - https://znc.in)
2021-08-16 06:03:56 +0200_bin(~bin@user/bin/x-1583188)
2021-08-16 06:05:09 +0200 <aegon> passing in drop 1 to fieldLabelModifier does the trick, I'm digging to see if there are options to makeLenses though, seems strange to try to work everything around lenses required _
2021-08-16 06:07:16 +0200 <aegon> yeah makeLensesFor, feel like i should use that instaed, good to know there are a bunch of options
2021-08-16 06:07:23 +0200 <dsal> You'd need a list of all the lenses.
2021-08-16 06:08:55 +0200 <dsal> And that'd only work for very simple types. I'm not sure they do similar enough things.
2021-08-16 06:14:17 +0200adam1(~adam@2001-b011-4007-2102-c141-6d4e-8529-c8c5.dynamic-ip6.hinet.net) (Ping timeout: 252 seconds)
2021-08-16 06:15:54 +0200urdh(~urdh@user/urdh) (Ping timeout: 258 seconds)
2021-08-16 06:16:16 +0200benin036932(~benin@183.82.25.247)
2021-08-16 06:18:09 +0200urdh(~urdh@user/urdh)
2021-08-16 06:26:14 +0200mei(~mei@user/mei)
2021-08-16 06:32:02 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) (Ping timeout: 272 seconds)
2021-08-16 06:34:55 +0200aegon(~mike@174.127.249.180) (Remote host closed the connection)
2021-08-16 06:42:37 +0200fvr(uid503686@id-503686.highgate.irccloud.com) (*.net *.split)
2021-08-16 06:42:38 +0200xff0x(~xff0x@2001:1a81:5326:b600:845d:acc9:3c7f:1b89) (*.net *.split)
2021-08-16 06:42:38 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2021-08-16 06:42:38 +0200pavonia(~user@user/siracusa) (*.net *.split)
2021-08-16 06:42:38 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split)
2021-08-16 06:42:38 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:5f5:523b:3c0:9fe) (*.net *.split)
2021-08-16 06:42:38 +0200fabfianda(~fabfianda@37.183.255.57) (*.net *.split)
2021-08-16 06:42:38 +0200_\_(~o@user/ding) (*.net *.split)
2021-08-16 06:42:38 +0200jakalx(~jakalx@base.jakalx.net) (*.net *.split)
2021-08-16 06:42:38 +0200Arsen(~arsen@managarm/dev/Arsen) (*.net *.split)
2021-08-16 06:42:38 +0200derelict(~derelict@user/derelict) (*.net *.split)
2021-08-16 06:42:38 +0200thaumavorio(~thaumavor@thaumavor.io) (*.net *.split)
2021-08-16 06:42:38 +0200idf(~idf@198.23.223.146) (*.net *.split)
2021-08-16 06:42:38 +0200yushyin(PW3hWJBC9s@karif.server-speed.net) (*.net *.split)
2021-08-16 06:42:38 +0200ell(~ellie@user/ellie) (*.net *.split)
2021-08-16 06:42:38 +0200Unode(~Unode@194.94.44.220) (*.net *.split)
2021-08-16 06:42:38 +0200dmwit(~dmwit@pool-108-28-26-143.washdc.fios.verizon.net) (*.net *.split)
2021-08-16 06:42:38 +0200zyklotomic(~ethan@2604:a880:800:10::79f:8001) (*.net *.split)
2021-08-16 06:42:38 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (*.net *.split)
2021-08-16 06:42:38 +0200peddie(~peddie@2001:470:69fc:105::25d) (*.net *.split)
2021-08-16 06:42:38 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (*.net *.split)
2021-08-16 06:42:38 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (*.net *.split)
2021-08-16 06:42:38 +0200hyiltiz(~quassel@31.220.5.250) (*.net *.split)
2021-08-16 06:42:38 +0200soft(~soft-matr@2001:470:69fc:105::c75) (*.net *.split)
2021-08-16 06:42:38 +0200landonf(landonf@mac68k.info) (*.net *.split)
2021-08-16 06:42:38 +0200joeyh(joeyh@kitenet.net) (*.net *.split)
2021-08-16 06:42:38 +0200zmt00(~zmt00@user/zmt00) (*.net *.split)
2021-08-16 06:42:38 +0200jess(~jess@libera/staff/jess) (*.net *.split)
2021-08-16 06:42:38 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split)
2021-08-16 06:42:38 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2021-08-16 06:42:38 +0200cfebs(~cfebs@user/cfebs) (*.net *.split)
2021-08-16 06:42:38 +0200anderson(~ande@134.209.221.71) (*.net *.split)
2021-08-16 06:42:38 +0200ft(~ft@shell.chaostreff-dortmund.de) (*.net *.split)
2021-08-16 06:42:38 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (*.net *.split)
2021-08-16 06:42:38 +0200pierrot(~pi@user/pierrot) (*.net *.split)
2021-08-16 06:42:38 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
2021-08-16 06:42:38 +0200amirouche(~amirouche@user/amirouche) (*.net *.split)
2021-08-16 06:42:38 +0200oxytocat(~alloca@user/suppi) (*.net *.split)
2021-08-16 06:42:38 +0200tristanC(~tristanC@user/tristanc) (*.net *.split)
2021-08-16 06:42:38 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
2021-08-16 06:42:38 +0200Ferdirand(~somebody@2001:4c78:2012:5000::2) (*.net *.split)
2021-08-16 06:42:38 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (*.net *.split)
2021-08-16 06:42:38 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
2021-08-16 06:42:38 +0200feetwind(~mike@user/feetwind) (*.net *.split)
2021-08-16 06:42:38 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split)
2021-08-16 06:42:38 +0200AWizzArd(~code@user/awizzard) (*.net *.split)
2021-08-16 06:42:38 +0200drakonis(drakonis@user/drakonis) (*.net *.split)
2021-08-16 06:42:38 +0200mikolaj_(~mikolaj@purple.well-typed.com) (*.net *.split)
2021-08-16 06:42:38 +0200relrod(~relrod@redhat/ansible.staff.relrod) (*.net *.split)
2021-08-16 06:42:38 +0200toms(~foobar@pogostick.net) (*.net *.split)
2021-08-16 06:42:38 +0200ggvgc(~ggVGc@a.lowtech.earth) (*.net *.split)
2021-08-16 06:43:12 +0200fvr(uid503686@id-503686.highgate.irccloud.com)
2021-08-16 06:43:12 +0200xff0x(~xff0x@2001:1a81:5326:b600:845d:acc9:3c7f:1b89)
2021-08-16 06:43:12 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-16 06:43:12 +0200pavonia(~user@user/siracusa)
2021-08-16 06:43:12 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-08-16 06:43:12 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:5f5:523b:3c0:9fe)
2021-08-16 06:43:12 +0200fabfianda(~fabfianda@37.183.255.57)
2021-08-16 06:43:12 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-16 06:43:12 +0200_\_(~o@user/ding)
2021-08-16 06:43:12 +0200Arsen(~arsen@managarm/dev/Arsen)
2021-08-16 06:43:12 +0200derelict(~derelict@user/derelict)
2021-08-16 06:43:12 +0200thaumavorio(~thaumavor@thaumavor.io)
2021-08-16 06:43:12 +0200idf(~idf@198.23.223.146)
2021-08-16 06:43:12 +0200yushyin(PW3hWJBC9s@karif.server-speed.net)
2021-08-16 06:43:12 +0200ell(~ellie@user/ellie)
2021-08-16 06:43:12 +0200Unode(~Unode@194.94.44.220)
2021-08-16 06:43:12 +0200dmwit(~dmwit@pool-108-28-26-143.washdc.fios.verizon.net)
2021-08-16 06:43:12 +0200zyklotomic(~ethan@2604:a880:800:10::79f:8001)
2021-08-16 06:43:12 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-08-16 06:43:12 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-08-16 06:43:12 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-08-16 06:43:12 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-08-16 06:43:12 +0200hyiltiz(~quassel@31.220.5.250)
2021-08-16 06:43:12 +0200soft(~soft-matr@2001:470:69fc:105::c75)
2021-08-16 06:43:12 +0200landonf(landonf@mac68k.info)
2021-08-16 06:43:12 +0200joeyh(joeyh@kitenet.net)
2021-08-16 06:43:12 +0200zmt00(~zmt00@user/zmt00)
2021-08-16 06:43:12 +0200jess(~jess@libera/staff/jess)
2021-08-16 06:43:12 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-08-16 06:43:12 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-08-16 06:43:12 +0200cfebs(~cfebs@user/cfebs)
2021-08-16 06:43:12 +0200anderson(~ande@134.209.221.71)
2021-08-16 06:43:12 +0200ft(~ft@shell.chaostreff-dortmund.de)
2021-08-16 06:43:12 +0200lambdabot(~lambdabot@haskell/bot/lambdabot)
2021-08-16 06:43:12 +0200pierrot(~pi@user/pierrot)
2021-08-16 06:43:12 +0200catern(~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407)
2021-08-16 06:43:12 +0200amirouche(~amirouche@user/amirouche)
2021-08-16 06:43:12 +0200oxytocat(~alloca@user/suppi)
2021-08-16 06:43:12 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2021-08-16 06:43:12 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2021-08-16 06:43:12 +0200tristanC(~tristanC@user/tristanc)
2021-08-16 06:43:12 +0200Ferdirand(~somebody@2001:4c78:2012:5000::2)
2021-08-16 06:43:12 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2)
2021-08-16 06:43:12 +0200feetwind(~mike@user/feetwind)
2021-08-16 06:43:12 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net)
2021-08-16 06:43:12 +0200drakonis(drakonis@user/drakonis)
2021-08-16 06:43:12 +0200AWizzArd(~code@user/awizzard)
2021-08-16 06:43:12 +0200relrod(~relrod@redhat/ansible.staff.relrod)
2021-08-16 06:43:12 +0200mikolaj_(~mikolaj@purple.well-typed.com)
2021-08-16 06:43:12 +0200toms(~foobar@pogostick.net)
2021-08-16 06:43:12 +0200ggvgc(~ggVGc@a.lowtech.earth)
2021-08-16 06:44:54 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (*.net *.split)
2021-08-16 06:44:54 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (*.net *.split)
2021-08-16 06:44:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (*.net *.split)
2021-08-16 06:44:54 +0200sander(~sander@user/sander) (*.net *.split)
2021-08-16 06:44:54 +0200juhp(~juhp@128.106.188.220) (*.net *.split)
2021-08-16 06:44:54 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (*.net *.split)
2021-08-16 06:44:54 +0200robertm(robertm@rojoma.com) (*.net *.split)
2021-08-16 06:44:54 +0200kritzefitz(~kritzefit@picard.host.weltraumschlangen.de) (*.net *.split)
2021-08-16 06:44:54 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (*.net *.split)
2021-08-16 06:44:54 +0200zaquest(~notzaques@5.128.210.178) (*.net *.split)
2021-08-16 06:44:54 +0200V(~v@anomalous.eu) (*.net *.split)
2021-08-16 06:44:54 +0200Adeon(sid418992@id-418992.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200Pent(sid313808@id-313808.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200gregberns__(sid315709@id-315709.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200bjs(sid190364@user/bjs) (*.net *.split)
2021-08-16 06:44:54 +0200integral(sid296274@user/integral) (*.net *.split)
2021-08-16 06:44:54 +0200b20n(sid115913@id-115913.highgate.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200dpratt_(sid193493@id-193493.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200scav(sid309693@id-309693.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200nrr(sid20938@id-20938.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200hendi(sid489601@id-489601.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200alanz(sid110616@id-110616.highgate.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200aria(sid380617@id-380617.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200bradparker(sid262931@id-262931.highgate.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200feepo(sid28508@id-28508.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200artem(uid512590@id-512590.highgate.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200christiaanb(sid84827@id-84827.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200hongminhee(sid295@id-295.tinside.irccloud.com) (*.net *.split)
2021-08-16 06:44:54 +0200nf(~n@monade.li) (*.net *.split)
2021-08-16 06:44:54 +0200jfrent(~josiah@user/jfrent) (*.net *.split)
2021-08-16 06:44:54 +0200DigitalKiwi(~kiwi@2604:a880:400:d0::12fc:5001) (*.net *.split)
2021-08-16 06:44:54 +0200krjst(~krjst@2604:a880:800:c1::16b:8001) (*.net *.split)
2021-08-16 06:44:54 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split)
2021-08-16 06:44:54 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4) (*.net *.split)
2021-08-16 06:44:54 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (*.net *.split)
2021-08-16 06:44:54 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (*.net *.split)
2021-08-16 06:44:54 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277) (*.net *.split)
2021-08-16 06:44:54 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda) (*.net *.split)
2021-08-16 06:44:55 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae) (*.net *.split)
2021-08-16 06:44:55 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (*.net *.split)
2021-08-16 06:44:55 +0200srk(~sorki@user/srk) (*.net *.split)
2021-08-16 06:44:55 +0200xsperry(~as@user/xsperry) (*.net *.split)
2021-08-16 06:44:55 +0200mcglk(~mcglk@131.191.49.120) (*.net *.split)
2021-08-16 06:44:55 +0200mrckndt(~mrckndt@user/mrckndt) (*.net *.split)
2021-08-16 06:44:55 +0200Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (*.net *.split)
2021-08-16 06:44:55 +0200leah2(~leah@vuxu.org) (*.net *.split)
2021-08-16 06:44:55 +0200ringo_(~ringo@157.230.117.128) (*.net *.split)
2021-08-16 06:44:55 +0200Igfoo(~ian@matrix.chaos.earth.li) (*.net *.split)
2021-08-16 06:44:55 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2021-08-16 06:44:55 +0200emergence(~emergence@vm0.max-p.me) (*.net *.split)
2021-08-16 06:44:55 +0200tnks(sid412124@id-412124.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:44:55 +0200obviyus(sid415299@user/obviyus) (*.net *.split)
2021-08-16 06:44:55 +0200m1dnight(~christoph@188.ip-51-91-158.eu) (*.net *.split)
2021-08-16 06:44:55 +0200lightandlight(sid135476@id-135476.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:44:55 +0200dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (*.net *.split)
2021-08-16 06:44:55 +0200dyniec(~dyniec@mail.dybiec.info) (*.net *.split)
2021-08-16 06:44:55 +0200dispater(~dispater@user/brprice) (*.net *.split)
2021-08-16 06:44:55 +0200vemek(~vemek@2a03:b0c0:2:d0::d98:1) (*.net *.split)
2021-08-16 06:44:55 +0200cocreature(~moritz@2a03:b0c0:3:d0::c8:f001) (*.net *.split)
2021-08-16 06:44:55 +0200thonkpod(~thonkpod@user/thonkpod) (*.net *.split)
2021-08-16 06:44:55 +0200martin02(silas@hund.fs.lmu.de) (*.net *.split)
2021-08-16 06:44:55 +0200bsima(~bsima@simatime.com) (*.net *.split)
2021-08-16 06:44:55 +0200loonycyborg(~loonycybo@wesnoth/developer/loonycyborg) (*.net *.split)
2021-08-16 06:45:14 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a)
2021-08-16 06:45:14 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-08-16 06:45:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-16 06:45:14 +0200sander(~sander@user/sander)
2021-08-16 06:45:14 +0200juhp(~juhp@128.106.188.220)
2021-08-16 06:45:14 +0200mrckndt(~mrckndt@user/mrckndt)
2021-08-16 06:45:14 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-16 06:45:14 +0200robertm(robertm@rojoma.com)
2021-08-16 06:45:14 +0200kritzefitz(~kritzefit@picard.host.weltraumschlangen.de)
2021-08-16 06:45:14 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-16 06:45:14 +0200zaquest(~notzaques@5.128.210.178)
2021-08-16 06:45:14 +0200V(~v@anomalous.eu)
2021-08-16 06:45:14 +0200Adeon(sid418992@id-418992.tooting.irccloud.com)
2021-08-16 06:45:14 +0200Pent(sid313808@id-313808.tooting.irccloud.com)
2021-08-16 06:45:14 +0200gregberns__(sid315709@id-315709.brockwell.irccloud.com)
2021-08-16 06:45:14 +0200bjs(sid190364@user/bjs)
2021-08-16 06:45:14 +0200integral(sid296274@user/integral)
2021-08-16 06:45:14 +0200b20n(sid115913@id-115913.highgate.irccloud.com)
2021-08-16 06:45:14 +0200dpratt_(sid193493@id-193493.brockwell.irccloud.com)
2021-08-16 06:45:14 +0200scav(sid309693@id-309693.brockwell.irccloud.com)
2021-08-16 06:45:14 +0200nrr(sid20938@id-20938.tooting.irccloud.com)
2021-08-16 06:45:14 +0200hendi(sid489601@id-489601.tooting.irccloud.com)
2021-08-16 06:45:14 +0200alanz(sid110616@id-110616.highgate.irccloud.com)
2021-08-16 06:45:14 +0200aria(sid380617@id-380617.tooting.irccloud.com)
2021-08-16 06:45:14 +0200bradparker(sid262931@id-262931.highgate.irccloud.com)
2021-08-16 06:45:14 +0200feepo(sid28508@id-28508.brockwell.irccloud.com)
2021-08-16 06:45:14 +0200artem(uid512590@id-512590.highgate.irccloud.com)
2021-08-16 06:45:14 +0200christiaanb(sid84827@id-84827.tooting.irccloud.com)
2021-08-16 06:45:14 +0200hongminhee(sid295@id-295.tinside.irccloud.com)
2021-08-16 06:45:14 +0200nf(~n@monade.li)
2021-08-16 06:45:14 +0200jfrent(~josiah@user/jfrent)
2021-08-16 06:45:14 +0200DigitalKiwi(~kiwi@2604:a880:400:d0::12fc:5001)
2021-08-16 06:45:14 +0200krjst(~krjst@2604:a880:800:c1::16b:8001)
2021-08-16 06:45:14 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-08-16 06:45:14 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4)
2021-08-16 06:45:14 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-08-16 06:45:14 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-08-16 06:45:14 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-08-16 06:45:14 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-08-16 06:45:14 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-08-16 06:45:14 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-08-16 06:45:14 +0200srk(~sorki@user/srk)
2021-08-16 06:45:14 +0200xsperry(~as@user/xsperry)
2021-08-16 06:45:14 +0200mcglk(~mcglk@131.191.49.120)
2021-08-16 06:45:14 +0200Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2021-08-16 06:45:14 +0200leah2(~leah@vuxu.org)
2021-08-16 06:45:14 +0200ringo_(~ringo@157.230.117.128)
2021-08-16 06:45:14 +0200Igfoo(~ian@matrix.chaos.earth.li)
2021-08-16 06:45:14 +0200emergence(~emergence@vm0.max-p.me)
2021-08-16 06:45:14 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2021-08-16 06:45:14 +0200tnks(sid412124@id-412124.brockwell.irccloud.com)
2021-08-16 06:45:14 +0200obviyus(sid415299@user/obviyus)
2021-08-16 06:45:14 +0200m1dnight(~christoph@188.ip-51-91-158.eu)
2021-08-16 06:45:14 +0200lightandlight(sid135476@id-135476.brockwell.irccloud.com)
2021-08-16 06:45:14 +0200dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2021-08-16 06:45:14 +0200dyniec(~dyniec@mail.dybiec.info)
2021-08-16 06:45:14 +0200dispater(~dispater@user/brprice)
2021-08-16 06:45:14 +0200vemek(~vemek@2a03:b0c0:2:d0::d98:1)
2021-08-16 06:45:14 +0200cocreature(~moritz@2a03:b0c0:3:d0::c8:f001)
2021-08-16 06:45:14 +0200loonycyborg(~loonycybo@wesnoth/developer/loonycyborg)
2021-08-16 06:45:14 +0200thonkpod(~thonkpod@user/thonkpod)
2021-08-16 06:45:14 +0200martin02(silas@hund.fs.lmu.de)
2021-08-16 06:45:14 +0200bsima(~bsima@simatime.com)
2021-08-16 06:45:24 +0200Pent(sid313808@id-313808.tooting.irccloud.com) (Max SendQ exceeded)
2021-08-16 06:45:46 +0200carmysilna(~brightly-@2001:470:69fc:105::2190) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200JavierNeira[m](~jneiramat@2001:470:69fc:105::d729) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 240 seconds)
2021-08-16 06:46:10 +0200kadoban(~kadoban@user/kadoban) (Ping timeout: 240 seconds)
2021-08-16 06:46:11 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 252 seconds)
2021-08-16 06:46:21 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Ping timeout: 276 seconds)
2021-08-16 06:46:22 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Ping timeout: 245 seconds)
2021-08-16 06:46:34 +0200Tisoxin(~ikosit@user/ikosit) (Ping timeout: 240 seconds)
2021-08-16 06:46:36 +0200peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 272 seconds)
2021-08-16 06:46:37 +0200unrooted(~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 268 seconds)
2021-08-16 06:46:37 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 268 seconds)
2021-08-16 06:46:37 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Max SendQ exceeded)
2021-08-16 06:46:40 +0200siraben(~siraben@user/siraben) (Ping timeout: 272 seconds)
2021-08-16 06:46:44 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f) (Ping timeout: 252 seconds)
2021-08-16 06:46:44 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Ping timeout: 252 seconds)
2021-08-16 06:46:44 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 252 seconds)
2021-08-16 06:46:44 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Ping timeout: 252 seconds)
2021-08-16 06:46:47 +0200jophish(~jophish@2001:470:69fc:105::670) (Ping timeout: 245 seconds)
2021-08-16 06:46:47 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Max SendQ exceeded)
2021-08-16 06:46:51 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 252 seconds)
2021-08-16 06:46:51 +0200psydroid(~psydroid@user/psydroid) (Ping timeout: 252 seconds)
2021-08-16 06:46:51 +0200schuelermine[m](~schuelerm@user/schuelermine) (Ping timeout: 252 seconds)
2021-08-16 06:46:51 +0200bb010g(~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 252 seconds)
2021-08-16 06:46:51 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Ping timeout: 252 seconds)
2021-08-16 06:46:51 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb) (Ping timeout: 252 seconds)
2021-08-16 06:46:56 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 256 seconds)
2021-08-16 06:46:56 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (Ping timeout: 256 seconds)
2021-08-16 06:46:56 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 256 seconds)
2021-08-16 06:46:56 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277) (Ping timeout: 256 seconds)
2021-08-16 06:46:56 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae) (Ping timeout: 256 seconds)
2021-08-16 06:47:01 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300) (Ping timeout: 276 seconds)
2021-08-16 06:47:01 +0200kevin[m]123(~pnotequal@2001:470:69fc:105::a54) (Ping timeout: 276 seconds)
2021-08-16 06:47:01 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Ping timeout: 276 seconds)
2021-08-16 06:47:01 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Ping timeout: 276 seconds)
2021-08-16 06:47:01 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Ping timeout: 276 seconds)
2021-08-16 06:47:14 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 272 seconds)
2021-08-16 06:47:14 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Ping timeout: 268 seconds)
2021-08-16 06:47:14 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 268 seconds)
2021-08-16 06:47:14 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Ping timeout: 272 seconds)
2021-08-16 06:47:14 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 272 seconds)
2021-08-16 06:47:14 +0200soft(~soft-matr@2001:470:69fc:105::c75) (Ping timeout: 272 seconds)
2021-08-16 06:47:14 +0200CyrusT[m](~cyrustcru@2001:470:69fc:105::306e) (Ping timeout: 268 seconds)
2021-08-16 06:47:14 +0200ormaaj(~ormaaj@user/ormaaj) (Ping timeout: 268 seconds)
2021-08-16 06:47:14 +0200octeep[m](~octeepmoc@2001:470:69fc:105::695e) (Ping timeout: 268 seconds)
2021-08-16 06:47:14 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 268 seconds)
2021-08-16 06:47:39 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 276 seconds)
2021-08-16 06:47:39 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 276 seconds)
2021-08-16 06:47:50 +0200Pent(sid313808@id-313808.tooting.irccloud.com)
2021-08-16 06:48:03 +0200lep-(~lep@94.31.86.183) (*.net *.split)
2021-08-16 06:48:03 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2021-08-16 06:48:03 +0200img(~img@user/img) (*.net *.split)
2021-08-16 06:48:03 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon) (*.net *.split)
2021-08-16 06:48:03 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (*.net *.split)
2021-08-16 06:48:03 +0200gentauro(~gentauro@user/gentauro) (*.net *.split)
2021-08-16 06:48:03 +0200berberman(~berberman@user/berberman) (*.net *.split)
2021-08-16 06:48:03 +0200heath(~heath@user/heath) (*.net *.split)
2021-08-16 06:48:03 +0200oats(~thomas@user/oats) (*.net *.split)
2021-08-16 06:48:03 +0200nonzen(~nonzen@user/nonzen) (*.net *.split)
2021-08-16 06:48:03 +0200sajith_(~sajith@user/sajith) (*.net *.split)
2021-08-16 06:48:03 +0200FragByte(~christian@user/fragbyte) (*.net *.split)
2021-08-16 06:48:03 +0200thonoht[m](~thonohtma@2001:470:69fc:105::d7be) (*.net *.split)
2021-08-16 06:48:03 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (*.net *.split)
2021-08-16 06:48:03 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (*.net *.split)
2021-08-16 06:48:03 +0200OscarH(~OscarH@97e48a81.skybroadband.com) (*.net *.split)
2021-08-16 06:48:03 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2021-08-16 06:48:03 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2021-08-16 06:48:03 +0200rookie101(~rookie@207.154.204.166) (*.net *.split)
2021-08-16 06:48:03 +0200jassob1(~jassob@korrob.vth.sgsnet.se) (*.net *.split)
2021-08-16 06:48:03 +0200Guest6153(~deni@mail.denibertovic.com) (*.net *.split)
2021-08-16 06:48:03 +0200liskin(~liskin@xmonad/liskin) (*.net *.split)
2021-08-16 06:48:03 +0200anoe(~anoe@delanoe.org) (*.net *.split)
2021-08-16 06:48:03 +0200sshine_(~simon@hubris.eta.solutions) (*.net *.split)
2021-08-16 06:48:03 +0200kaol(~kaol@178.62.241.234) (*.net *.split)
2021-08-16 06:48:03 +0200andreas3-(andreas303@ip227.orange.bnc4free.com) (*.net *.split)
2021-08-16 06:48:03 +0200ProofTechnique(sid79547@id-79547.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:48:03 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2021-08-16 06:48:03 +0200teddyc(theodorc@cassarossa.samfundet.no) (*.net *.split)
2021-08-16 06:48:03 +0200elcaro(~anonymous@45.32.191.75) (*.net *.split)
2021-08-16 06:48:03 +0200ziman(~ziman@user/ziman) (*.net *.split)
2021-08-16 06:48:03 +0200ski(~ski@remote12.chalmers.se) (*.net *.split)
2021-08-16 06:48:03 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split)
2021-08-16 06:48:03 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2021-08-16 06:48:03 +0200yorick(~yorick@user/yorick) (*.net *.split)
2021-08-16 06:48:04 +0200Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2021-08-16 06:48:04 +0200kosmikus(~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2021-08-16 06:48:04 +0200Jon(jon@dow.land) (*.net *.split)
2021-08-16 06:48:04 +0200lieven(~mal@ns2.wyrd.be) (*.net *.split)
2021-08-16 06:48:04 +0200NinjaTrappeur(~ninja@user/ninjatrappeur) (*.net *.split)
2021-08-16 06:48:04 +0200rawles(~o@user/rawles) (*.net *.split)
2021-08-16 06:48:04 +0200eldritch_(~eldritch@134.209.221.71) (*.net *.split)
2021-08-16 06:48:29 +0200lep-(~lep@94.31.86.183)
2021-08-16 06:48:29 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-08-16 06:48:29 +0200img(~img@user/img)
2021-08-16 06:48:29 +0200MidAutumnMoon(~MidAutumn@user/midautumnmoon)
2021-08-16 06:48:29 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-08-16 06:48:29 +0200gentauro(~gentauro@user/gentauro)
2021-08-16 06:48:29 +0200berberman(~berberman@user/berberman)
2021-08-16 06:48:29 +0200heath(~heath@user/heath)
2021-08-16 06:48:29 +0200oats(~thomas@user/oats)
2021-08-16 06:48:29 +0200nonzen(~nonzen@user/nonzen)
2021-08-16 06:48:29 +0200sajith_(~sajith@user/sajith)
2021-08-16 06:48:29 +0200FragByte(~christian@user/fragbyte)
2021-08-16 06:48:29 +0200thonoht[m](~thonohtma@2001:470:69fc:105::d7be)
2021-08-16 06:48:29 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-08-16 06:48:29 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-08-16 06:48:29 +0200OscarH(~OscarH@97e48a81.skybroadband.com)
2021-08-16 06:48:29 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2021-08-16 06:48:29 +0200Ekho(~Ekho@user/ekho)
2021-08-16 06:48:29 +0200rookie101(~rookie@207.154.204.166)
2021-08-16 06:48:29 +0200liskin(~liskin@xmonad/liskin)
2021-08-16 06:48:29 +0200andreas3-(andreas303@ip227.orange.bnc4free.com)
2021-08-16 06:48:29 +0200jassob1(~jassob@korrob.vth.sgsnet.se)
2021-08-16 06:48:29 +0200Guest6153(~deni@mail.denibertovic.com)
2021-08-16 06:48:29 +0200kaol(~kaol@178.62.241.234)
2021-08-16 06:48:29 +0200sshine_(~simon@hubris.eta.solutions)
2021-08-16 06:48:29 +0200anoe(~anoe@delanoe.org)
2021-08-16 06:48:29 +0200ProofTechnique(sid79547@id-79547.charlton.irccloud.com)
2021-08-16 06:48:29 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-08-16 06:48:29 +0200teddyc(theodorc@cassarossa.samfundet.no)
2021-08-16 06:48:29 +0200elcaro(~anonymous@45.32.191.75)
2021-08-16 06:48:29 +0200ziman(~ziman@user/ziman)
2021-08-16 06:48:29 +0200ski(~ski@remote12.chalmers.se)
2021-08-16 06:48:29 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001)
2021-08-16 06:48:29 +0200Philonous(~Philonous@user/philonous)
2021-08-16 06:48:29 +0200yorick(~yorick@user/yorick)
2021-08-16 06:48:29 +0200Jon(jon@dow.land)
2021-08-16 06:48:29 +0200Unhammer(~Unhammer@user/unhammer)
2021-08-16 06:48:29 +0200kosmikus(~kosmikus@nullzig.kosmikus.org)
2021-08-16 06:48:29 +0200lieven(~mal@ns2.wyrd.be)
2021-08-16 06:48:29 +0200NinjaTrappeur(~ninja@user/ninjatrappeur)
2021-08-16 06:48:29 +0200rawles(~o@user/rawles)
2021-08-16 06:48:29 +0200eldritch_(~eldritch@134.209.221.71)
2021-08-16 06:48:29 +0200denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Ping timeout: 252 seconds)
2021-08-16 06:48:29 +0200jkachmar(~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 252 seconds)
2021-08-16 06:48:34 +0200Deide(~deide@user/deide) (Ping timeout: 240 seconds)
2021-08-16 06:48:52 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Ping timeout: 245 seconds)
2021-08-16 06:48:52 +0200kar1(~kar1@2001:470:69fc:105::c308) (Ping timeout: 245 seconds)
2021-08-16 06:48:52 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Ping timeout: 245 seconds)
2021-08-16 06:48:52 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 245 seconds)
2021-08-16 06:48:56 +0200thonoht[m](~thonohtma@2001:470:69fc:105::d7be) (Ping timeout: 252 seconds)
2021-08-16 06:48:56 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Ping timeout: 252 seconds)
2021-08-16 06:48:56 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 252 seconds)
2021-08-16 06:49:02 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 252 seconds)
2021-08-16 06:49:12 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 256 seconds)
2021-08-16 06:49:12 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Ping timeout: 256 seconds)
2021-08-16 06:50:20 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-08-16 06:50:20 +0200kuribas(~user@ptr-25vy0iaezbxroyr1ffb.18120a2.ip6.access.telenet.be) (*.net *.split)
2021-08-16 06:50:20 +0200gaze___(sid387101@id-387101.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200ephemient(uid407513@id-407513.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200mrianbloom(sid350277@id-350277.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200truckasaurus(sid457088@id-457088.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200angerman(sid209936@charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200dsal(sid13060@id-13060.tooting.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200cln(sid336875@id-336875.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200gmc(sid58314@id-58314.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200NiKaN(sid385034@id-385034.brockwell.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200tapas(sid467876@id-467876.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200totbwf__(sid402332@id-402332.highgate.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200vito(sid1962@user/vito) (*.net *.split)
2021-08-16 06:50:20 +0200S11001001(sid42510@id-42510.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200stevenxl(uid133530@highgate.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200iphy(sid67735@tooting.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200supersven(uid501114@charlton.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200enemeth79(sid309041@tooting.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200polyphem(~polyphem@2a02:810d:640:776c:c8d6:203f:c7c7:b242) (*.net *.split)
2021-08-16 06:50:20 +0200smitop(~smitop@user/smitop) (*.net *.split)
2021-08-16 06:50:20 +0200aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split)
2021-08-16 06:50:20 +0200hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) (*.net *.split)
2021-08-16 06:50:20 +0200infinity0(~infinity0@occupy.ecodis.net) (*.net *.split)
2021-08-16 06:50:20 +0200flukiluke(~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2021-08-16 06:50:20 +0200sa(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2021-08-16 06:50:20 +0200blades(~blades@204.48.29.163) (*.net *.split)
2021-08-16 06:50:20 +0200fr33domlover(~fr33domlo@angeley.es) (*.net *.split)
2021-08-16 06:50:20 +0200noctux(~noctux@user/noctux) (*.net *.split)
2021-08-16 06:50:20 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-08-16 06:50:20 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2021-08-16 06:50:20 +0200asm(~alexander@user/asm) (*.net *.split)
2021-08-16 06:50:20 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split)
2021-08-16 06:50:20 +0200int-e(~noone@int-e.eu) (*.net *.split)
2021-08-16 06:50:20 +0200mht(~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split)
2021-08-16 06:50:20 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de) (*.net *.split)
2021-08-16 06:50:20 +0200Franciman(~francesco@openglass.it) (*.net *.split)
2021-08-16 06:50:20 +0200hugo(znc@verdigris.lysator.liu.se) (*.net *.split)
2021-08-16 06:50:20 +0200hrnz(~ulli@irc.plumbing) (*.net *.split)
2021-08-16 06:50:20 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2021-08-16 06:50:20 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2021-08-16 06:50:20 +0200Adran(adran@botters/adran) (*.net *.split)
2021-08-16 06:50:20 +0200xacktm(xacktm@user/xacktm) (*.net *.split)
2021-08-16 06:50:20 +0200even4void(even4void@came.here.for-some.fun) (*.net *.split)
2021-08-16 06:50:34 +0200oak-(~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 240 seconds)
2021-08-16 06:50:34 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
2021-08-16 06:50:34 +0200andreabedini[m](~andreabed@2001:470:69fc:105::c821) (Ping timeout: 240 seconds)
2021-08-16 06:50:34 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 240 seconds)
2021-08-16 06:50:34 +0200deuslambda[m](~deuslambd@2001:470:69fc:105::c749) (Ping timeout: 240 seconds)
2021-08-16 06:50:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 06:50:38 +0200kuribas(~user@ptr-25vy0iaezbxroyr1ffb.18120a2.ip6.access.telenet.be)
2021-08-16 06:50:38 +0200gaze___(sid387101@id-387101.brockwell.irccloud.com)
2021-08-16 06:50:38 +0200ephemient(uid407513@id-407513.tooting.irccloud.com)
2021-08-16 06:50:38 +0200NiKaN(sid385034@id-385034.brockwell.irccloud.com)
2021-08-16 06:50:38 +0200mrianbloom(sid350277@id-350277.charlton.irccloud.com)
2021-08-16 06:50:38 +0200truckasaurus(sid457088@id-457088.brockwell.irccloud.com)
2021-08-16 06:50:38 +0200angerman(sid209936@charlton.irccloud.com)
2021-08-16 06:50:38 +0200cln(sid336875@id-336875.charlton.irccloud.com)
2021-08-16 06:50:38 +0200dsal(sid13060@id-13060.tooting.irccloud.com)
2021-08-16 06:50:38 +0200gmc(sid58314@id-58314.charlton.irccloud.com)
2021-08-16 06:50:38 +0200tapas(sid467876@id-467876.charlton.irccloud.com)
2021-08-16 06:50:38 +0200vito(sid1962@user/vito)
2021-08-16 06:50:38 +0200totbwf__(sid402332@id-402332.highgate.irccloud.com)
2021-08-16 06:50:38 +0200S11001001(sid42510@id-42510.charlton.irccloud.com)
2021-08-16 06:50:38 +0200stevenxl(uid133530@highgate.irccloud.com)
2021-08-16 06:50:38 +0200iphy(sid67735@tooting.irccloud.com)
2021-08-16 06:50:38 +0200supersven(uid501114@charlton.irccloud.com)
2021-08-16 06:50:38 +0200enemeth79(sid309041@tooting.irccloud.com)
2021-08-16 06:50:38 +0200polyphem(~polyphem@2a02:810d:640:776c:c8d6:203f:c7c7:b242)
2021-08-16 06:50:38 +0200smitop(~smitop@user/smitop)
2021-08-16 06:50:38 +0200aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2021-08-16 06:50:38 +0200Franciman(~francesco@openglass.it)
2021-08-16 06:50:38 +0200hiruji`(~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6)
2021-08-16 06:50:38 +0200infinity0(~infinity0@occupy.ecodis.net)
2021-08-16 06:50:38 +0200flukiluke(~flukiluke@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2021-08-16 06:50:38 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2021-08-16 06:50:38 +0200blades(~blades@204.48.29.163)
2021-08-16 06:50:38 +0200fr33domlover(~fr33domlo@angeley.es)
2021-08-16 06:50:38 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2021-08-16 06:50:38 +0200noctux(~noctux@user/noctux)
2021-08-16 06:50:38 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2021-08-16 06:50:38 +0200asm(~alexander@user/asm)
2021-08-16 06:50:38 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-08-16 06:50:38 +0200mht(~mht@2a03:b0c0:3:e0::1e2:c001)
2021-08-16 06:50:38 +0200int-e(~noone@int-e.eu)
2021-08-16 06:50:38 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de)
2021-08-16 06:50:38 +0200hugo(znc@verdigris.lysator.liu.se)
2021-08-16 06:50:38 +0200hrnz(~ulli@irc.plumbing)
2021-08-16 06:50:38 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2021-08-16 06:50:38 +0200nurupo(~nurupo.ga@user/nurupo)
2021-08-16 06:50:38 +0200Adran(adran@botters/adran)
2021-08-16 06:50:38 +0200xacktm(xacktm@user/xacktm)
2021-08-16 06:50:38 +0200even4void(even4void@came.here.for-some.fun)
2021-08-16 06:51:06 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200infinisil(~infinisil@2001:470:69fc:105::ff8) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200ixlun(~ixlun@2001:470:69fc:105::41b3) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200polykernel(~polykerne@user/polykernel) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) (Ping timeout: 272 seconds)
2021-08-16 06:51:06 +0200jaror[m](~jaror@2001:470:69fc:105::265) (Ping timeout: 272 seconds)
2021-08-16 06:52:42 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (*.net *.split)
2021-08-16 06:52:42 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split)
2021-08-16 06:52:42 +0200L29Ah(~L29Ah@user/l29ah) (*.net *.split)
2021-08-16 06:52:42 +0200ptrcmd(~ptrcmd@user/ptrcmd) (*.net *.split)
2021-08-16 06:52:42 +0200bens(~bens@www.typius.com) (*.net *.split)
2021-08-16 06:52:42 +0200sa1(sid7690@id-7690.charlton.irccloud.com) (*.net *.split)
2021-08-16 06:52:42 +0200ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split)
2021-08-16 06:52:42 +0200caubert(~caubert@136.244.111.235) (*.net *.split)
2021-08-16 06:52:42 +0200tomku(~tomku@user/tomku) (*.net *.split)
2021-08-16 06:52:42 +0200connrs(~connrs@user/connrs) (*.net *.split)
2021-08-16 06:52:42 +0200tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2021-08-16 06:52:42 +0200cjay(cjay@nerdbox.nerd2nerd.org) (*.net *.split)
2021-08-16 06:52:42 +0200bollu(~bollu@139.59.46.74) (*.net *.split)
2021-08-16 06:52:42 +0200alp(~alp@user/alp) (*.net *.split)
2021-08-16 06:52:49 +0200ptrcmd(~ptrcmd@user/ptrcmd)
2021-08-16 06:52:49 +0200cjay-(cjay@nerdbox.nerd2nerd.org)
2021-08-16 06:52:49 +0200tomku|two(~tomku@user/tomku)
2021-08-16 06:52:52 +0200bens(~bens@www.typius.com)
2021-08-16 06:52:52 +0200sa1(sid7690@id-7690.charlton.irccloud.com)
2021-08-16 06:52:53 +0200bollu(~bollu@139.59.46.74)
2021-08-16 06:52:55 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-08-16 06:52:55 +0200ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com)
2021-08-16 06:53:01 +0200caubert(~caubert@136.244.111.235)
2021-08-16 06:53:02 +0200sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-08-16 06:53:03 +0200troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2021-08-16 06:53:08 +0200connrs(~connrs@user/connrs)
2021-08-16 06:53:09 +0200tomboy64(~tomboy64@user/tomboy64)
2021-08-16 06:53:27 +0200NiKaN(sid385034@id-385034.brockwell.irccloud.com) (Ping timeout: 245 seconds)
2021-08-16 06:54:10 +0200haritz(~hrtz@user/haritz) (*.net *.split)
2021-08-16 06:54:10 +0200Taneb(~Taneb@runciman.hacksoc.org) (*.net *.split)
2021-08-16 06:54:10 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split)
2021-08-16 06:54:10 +0200cpape`(~user@2a01:4f9:c010:632d::1) (*.net *.split)
2021-08-16 06:54:10 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (*.net *.split)
2021-08-16 06:54:10 +0200MasseR(~MasseR@51.15.143.128) (*.net *.split)
2021-08-16 06:54:10 +0200jjhoo(~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (*.net *.split)
2021-08-16 06:54:11 +0200ddb(~ddb@2607:5300:61:c67::196) (*.net *.split)
2021-08-16 06:54:11 +0200nisstyre(~wes@user/nisstyre) (*.net *.split)
2021-08-16 06:54:11 +0200mrkajetanp(~mrkajetan@88.98.245.28) (*.net *.split)
2021-08-16 06:54:11 +0200averell(~averell@user/averell) (*.net *.split)
2021-08-16 06:54:11 +0200zgrep(~zgrep@user/zgrep) (*.net *.split)
2021-08-16 06:54:11 +0200shane(~shane@ana.rch.ist) (*.net *.split)
2021-08-16 06:54:11 +0200platz(~platz@user/platz) (*.net *.split)
2021-08-16 06:54:11 +0200Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (*.net *.split)
2021-08-16 06:54:11 +0200shanemikel(~shanemike@desk.roadwar.net) (*.net *.split)
2021-08-16 06:54:11 +0200Logio(em@kapsi.fi) (*.net *.split)
2021-08-16 06:54:11 +0200immae(~immae@2a01:4f8:141:53e7::) (*.net *.split)
2021-08-16 06:54:11 +0200feliix42_(~felix@gibbs.uberspace.de) (*.net *.split)
2021-08-16 06:54:11 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2021-08-16 06:54:11 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk) (*.net *.split)
2021-08-16 06:54:11 +0200mikko(~mikko@2a02:7b40:d418:6a61::1) (*.net *.split)
2021-08-16 06:54:11 +0200adamse(sid72084@user/adamse) (*.net *.split)
2021-08-16 06:54:11 +0200jehugawa(~jehugawa@2a01:4f9:c010:4649::1) (*.net *.split)
2021-08-16 06:54:11 +0200TimWolla(~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
2021-08-16 06:54:11 +0200farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2021-08-16 06:54:11 +0200rbocquet(~weechat@2001:bc8:47a8:44e::1) (*.net *.split)
2021-08-16 06:54:11 +0200riatre(~quassel@2001:310:6000:f::5198:1) (*.net *.split)
2021-08-16 06:54:11 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2021-08-16 06:54:11 +0200taeaad(~taeaad@user/taeaad) (*.net *.split)
2021-08-16 06:54:11 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (*.net *.split)
2021-08-16 06:54:15 +0200shane_(~shane@ana.rch.ist)
2021-08-16 06:54:16 +0200Logio_(em@kapsi.fi)
2021-08-16 06:54:17 +0200riatre_(~quassel@2001:310:6000:f::5198:1)
2021-08-16 06:54:19 +0200TimWolla_(~timwolla@2a01:4f8:150:6153:beef::6667)
2021-08-16 06:54:19 +0200haritzondo(~hrtz@62.3.70.206)
2021-08-16 06:54:21 +0200jjhoo_(jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi)
2021-08-16 06:54:22 +0200platz(~platz@40.122.118.113)
2021-08-16 06:54:23 +0200cpape``(~user@2a01:4f9:c010:632d::1)
2021-08-16 06:54:24 +0200rbocquet(~weechat@2001:bc8:47a8:44e::1)
2021-08-16 06:54:25 +0200feliix42(~felix@gibbs.uberspace.de)
2021-08-16 06:54:26 +0200averell(~averell@irc.nf3.eu)
2021-08-16 06:54:30 +0200jehugawa(~jehugawa@2a01:4f9:c010:4649::1)
2021-08-16 06:54:33 +0200mikko(~mikko@2a02:7b40:d418:6a61::1)
2021-08-16 06:54:39 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2021-08-16 06:54:40 +0200averell(~averell@irc.nf3.eu) (Changing host)
2021-08-16 06:54:40 +0200averell(~averell@user/averell)
2021-08-16 06:54:41 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-08-16 06:54:42 +0200nisstyre(~wes@li798-187.members.linode.com)
2021-08-16 06:54:43 +0200farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2021-08-16 06:54:44 +0200platz(~platz@40.122.118.113) (Changing host)
2021-08-16 06:54:44 +0200platz(~platz@user/platz)
2021-08-16 06:54:45 +0200ddb(~ddb@2607:5300:61:c67::196)
2021-08-16 06:54:46 +0200zgrep(~zgrep@user/zgrep)
2021-08-16 06:54:58 +0200immae(~immae@2a01:4f8:141:53e7::)
2021-08-16 06:55:07 +0200Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-08-16 06:55:11 +0200adamse(sid72084@id-72084.tooting.irccloud.com)
2021-08-16 06:55:18 +0200adamse(sid72084@id-72084.tooting.irccloud.com) (Changing host)
2021-08-16 06:55:18 +0200adamse(sid72084@user/adamse)
2021-08-16 06:55:28 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2021-08-16 06:55:32 +0200shanemikel(~shanemike@desk.roadwar.net)
2021-08-16 06:55:36 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk)
2021-08-16 06:55:41 +0200mrkajetanp(~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88)
2021-08-16 06:55:51 +0200TimWolla_TimWolla
2021-08-16 06:55:55 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0)
2021-08-16 06:55:59 +0200davean(~davean@davean.sciesnet.net)
2021-08-16 06:56:03 +0200taeaad(~taeaad@user/taeaad)
2021-08-16 06:56:24 +0200oldsk00l(~znc@ec2-3-64-54-200.eu-central-1.compute.amazonaws.com) (Remote host closed the connection)
2021-08-16 06:56:50 +0200NiKaN(sid385034@id-385034.brockwell.irccloud.com)
2021-08-16 06:56:57 +0200alp(~alp@163.172.83.213)
2021-08-16 06:57:03 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2021-08-16 07:02:08 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-08-16 07:02:19 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2021-08-16 07:04:27 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-16 07:09:45 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds)
2021-08-16 07:10:52 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-16 07:11:40 +0200slack1256(~slack1256@181.203.78.111) (Ping timeout: 268 seconds)
2021-08-16 07:12:10 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi)
2021-08-16 07:12:57 +0200fef(~thedawn@user/thedawn)
2021-08-16 07:15:42 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-08-16 07:17:39 +0200ham(~ham4@user/ham)
2021-08-16 07:18:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 07:23:46 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 256 seconds)
2021-08-16 07:24:16 +0200adam1(~adam@118-168-206-11.dynamic-ip.hinet.net)
2021-08-16 07:24:24 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-08-16 07:24:46 +0200jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2021-08-16 07:24:46 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2)
2021-08-16 07:24:47 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-08-16 07:24:47 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-08-16 07:24:48 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd)
2021-08-16 07:24:48 +0200polykernel(~polykerne@user/polykernel)
2021-08-16 07:24:49 +0200jaror[m](~jaror@2001:470:69fc:105::265)
2021-08-16 07:25:09 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2021-08-16 07:25:09 +0200JavierNeira[m](~jneiramat@2001:470:69fc:105::d729)
2021-08-16 07:25:15 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 07:25:18 +0200boxscape(~boxscape@user/boxscape)
2021-08-16 07:28:33 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 248 seconds)
2021-08-16 07:29:17 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2021-08-16 07:29:39 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-16 07:33:53 +0200jespada(~jespada@90.254.247.46) (Ping timeout: 248 seconds)
2021-08-16 07:34:09 +0200slycelote(~slycelote@user/slycelote) (Quit: Leaving)
2021-08-16 07:34:22 +0200Vajb(~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-16 07:35:24 +0200Vajb(~Vajb@2001:999:252:4e3c:27f9:d93:655e:583)
2021-08-16 07:40:12 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-08-16 07:40:22 +0200jespada(~jespada@90.254.247.46)
2021-08-16 07:40:25 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-08-16 07:40:52 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-08-16 07:42:05 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-08-16 07:42:12 +0200Obo(~roberto@78.77.166.185)
2021-08-16 07:42:32 +0200NiKaN(sid385034@id-385034.brockwell.irccloud.com) ()
2021-08-16 07:43:03 +0200NiKaN(sid385034@id-385034.brockwell.irccloud.com)
2021-08-16 07:47:06 +0200michalz(~michalz@185.246.204.62)
2021-08-16 07:52:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-16 07:54:51 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 268 seconds)
2021-08-16 07:59:24 +0200roboguy_(~roboguy_@136.37.123.186)
2021-08-16 08:01:22 +0200adam1(~adam@118-168-206-11.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-08-16 08:02:45 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-08-16 08:02:52 +0200zaquest(~notzaques@5.128.210.178) (Ping timeout: 256 seconds)
2021-08-16 08:03:23 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-08-16 08:03:24 +0200octeep[m](~octeepmoc@2001:470:69fc:105::695e)
2021-08-16 08:03:25 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-08-16 08:03:33 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-08-16 08:03:37 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-08-16 08:03:40 +0200roboguy_(~roboguy_@136.37.123.186) (Ping timeout: 240 seconds)
2021-08-16 08:03:45 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-08-16 08:03:46 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2021-08-16 08:03:49 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2021-08-16 08:03:50 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300)
2021-08-16 08:03:50 +0200Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-08-16 08:04:02 +0200psydroid(~psydroid@user/psydroid)
2021-08-16 08:04:10 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-08-16 08:04:10 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-08-16 08:04:18 +0200wonko(~wjc@62.115.229.50)
2021-08-16 08:04:56 +0200o1lo01ol1o(~o1lo01ol1@89.214.72.109)
2021-08-16 08:07:31 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-08-16 08:07:31 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-08-16 08:08:32 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb)
2021-08-16 08:09:12 +0200o1lo01ol1o(~o1lo01ol1@89.214.72.109) (Ping timeout: 245 seconds)
2021-08-16 08:09:13 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:957d:a9fa:6997:1503)
2021-08-16 08:09:20 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-08-16 08:09:54 +0200roboguy__(~roboguy_@2605:a601:afe7:9f00:dd4a:6dc9:1985:3940)
2021-08-16 08:13:22 +0200roboguy_(~roboguy_@2605:a601:afe7:9f00:957d:a9fa:6997:1503) (Ping timeout: 245 seconds)
2021-08-16 08:20:52 +0200vysn(~vysn@user/vysn)
2021-08-16 08:25:18 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-08-16 08:25:36 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-08-16 08:25:59 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-08-16 08:26:15 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f)
2021-08-16 08:26:17 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-08-16 08:27:51 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-16 08:28:22 +0200soft(~soft-matr@2001:470:69fc:105::c75)
2021-08-16 08:28:58 +0200aman(~aman@user/aman)
2021-08-16 08:29:06 +0200nsilv-phone-1(~nsilv-pho@37.162.146.151)
2021-08-16 08:29:16 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-08-16 08:31:14 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-08-16 08:33:05 +0200nsilv-phone(~nsilv-pho@host-79-17-175-58.retail.telecomitalia.it) (Ping timeout: 268 seconds)
2021-08-16 08:36:20 +0200CyrusT[m](~cyrustcru@2001:470:69fc:105::306e)
2021-08-16 08:36:21 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-08-16 08:36:24 +0200schuelermine[m](~schuelerm@user/schuelermine)
2021-08-16 08:36:27 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-08-16 08:38:54 +0200jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2021-08-16 08:40:06 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:fd17:74a9:421f:56d4)
2021-08-16 08:40:37 +0200denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2021-08-16 08:41:53 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2021-08-16 08:43:50 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at) (Read error: Connection reset by peer)
2021-08-16 08:45:52 +0200nsilv-phone-1(~nsilv-pho@37.162.146.151) (Ping timeout: 245 seconds)
2021-08-16 08:46:06 +0200kevin[m]123(~pnotequal@2001:470:69fc:105::a54)
2021-08-16 08:46:13 +0200cheater(~Username@user/cheater)
2021-08-16 08:46:24 +0200sqrt2(~ben@80-108-18-7.cable.dynamic.surfer.at)
2021-08-16 08:50:15 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-08-16 08:50:55 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-16 08:51:09 +0200roboguy__(~roboguy_@2605:a601:afe7:9f00:dd4a:6dc9:1985:3940) ()
2021-08-16 08:52:57 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-08-16 08:52:57 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327)
2021-08-16 08:52:58 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-08-16 08:53:00 +0200kar1(~kar1@2001:470:69fc:105::c308)
2021-08-16 08:53:10 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-08-16 08:53:10 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4)
2021-08-16 08:53:12 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-08-16 08:53:17 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-08-16 08:53:27 +0200fendor(~fendor@77.119.204.109.wireless.dyn.drei.com)
2021-08-16 08:57:09 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-08-16 08:57:16 +0200infinisil(~infinisil@2001:470:69fc:105::ff8)
2021-08-16 08:57:24 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-08-16 08:57:25 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-08-16 08:57:25 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-08-16 08:57:26 +0200ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-08-16 08:57:27 +0200deuslambda[m](~deuslambd@2001:470:69fc:105::c749)
2021-08-16 08:57:28 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-08-16 08:57:28 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2021-08-16 08:57:29 +0200andreabedini[m](~andreabed@2001:470:69fc:105::c821)
2021-08-16 08:57:32 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-08-16 08:58:20 +0200nsilv-phone(~nsilv-pho@host-79-17-175-58.retail.telecomitalia.it)
2021-08-16 08:58:56 +0200cfricke(~cfricke@user/cfricke)
2021-08-16 08:59:37 +0200adam1(~adam@2001-b011-4007-2996-b067-af20-17c7-8c20.dynamic-ip6.hinet.net)
2021-08-16 09:00:30 +0200archpc(~archpc@user/archpc)
2021-08-16 09:02:34 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-08-16 09:03:18 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2021-08-16 09:03:48 +0200Lord_of_Life_Lord_of_Life
2021-08-16 09:05:09 +0200nsilv-phone(~nsilv-pho@host-79-17-175-58.retail.telecomitalia.it) (Quit: Quit)
2021-08-16 09:05:17 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-08-16 09:05:51 +0200nsilv-phone(~nsilv-pho@host-79-17-175-58.retail.telecomitalia.it)
2021-08-16 09:05:57 +0200Tisoxin(~ikosit@user/ikosit)
2021-08-16 09:06:40 +0200wonko(~wjc@62.115.229.50) (Ping timeout: 240 seconds)
2021-08-16 09:06:41 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:5f5:523b:3c0:9fe) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-16 09:06:52 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-08-16 09:07:42 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-08-16 09:08:49 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 248 seconds)
2021-08-16 09:10:04 +0200azeem(~azeem@176.200.254.238)
2021-08-16 09:12:03 +0200azeem(~azeem@176.200.254.238) (Read error: Connection reset by peer)
2021-08-16 09:13:06 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-16 09:13:11 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-08-16 09:14:07 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-16 09:14:55 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-08-16 09:15:02 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-16 09:15:38 +0200kadoban(~kadoban@user/kadoban)
2021-08-16 09:15:54 +0200ormaaj(~ormaaj@user/ormaaj)
2021-08-16 09:16:10 +0200Deide(~deide@user/deide)
2021-08-16 09:17:18 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-08-16 09:17:20 +0200sm(~sm@plaintextaccounting/sm)
2021-08-16 09:19:16 +0200slavaqq(~slavaqq@sdmail.sdserver.cz)
2021-08-16 09:20:04 +0200thonoht[m](~thonohtma@2001:470:69fc:105::d7be)
2021-08-16 09:20:05 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-08-16 09:20:27 +0200siraben(~siraben@user/siraben)
2021-08-16 09:20:38 +0200jonatan(~nate@h77-53-70-163.cust.a3fiber.se) (Remote host closed the connection)
2021-08-16 09:22:41 +0200alp(~alp@163.172.83.213) (Changing host)
2021-08-16 09:22:41 +0200alp(~alp@user/alp)
2021-08-16 09:23:00 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-08-16 09:23:12 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-08-16 09:25:18 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 09:26:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 09:28:27 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-08-16 09:39:27 +0200acidjnk_new(~acidjnk@p200300d0c72b9503f052fac21b551e32.dip0.t-ipconnect.de)
2021-08-16 09:42:44 +0200dsrt^(~cuolin@12.202.131.133)
2021-08-16 09:45:13 +0200mc47(~mc47@xmonad/TheMC47)
2021-08-16 09:45:32 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-08-16 09:46:20 +0200 <superstar64> If haskell becomes dependently typed, what happens to the kind of `(->)`? does it stay as `Type -> Type -> Type`?
2021-08-16 09:46:20 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-08-16 09:46:20 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-08-16 09:46:22 +0200cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-08-16 09:49:10 +0200 <joel135> Not an expert but I'd guess yes
2021-08-16 09:49:18 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-16 09:49:37 +0200jjhoo_jjhoo
2021-08-16 09:50:02 +0200 <keutoi> depends on the hierarchy of universes
2021-08-16 09:50:58 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-08-16 09:51:21 +0200 <keutoi> idris or agda models
2021-08-16 09:51:53 +0200 <joel135> The possible objections are 1) need to distinguish universe levels Type n but seems unnecessary if the language is not supposed to be terminating/consistent, 2) A -> B might be replaced by (x : A) -> B
2021-08-16 09:53:24 +0200 <Axman6> curious what the kind of (->) in replicate :: (n :: Int) -> a -> Vec n a would have now
2021-08-16 09:53:29 +0200 <joel135> or (_ : A) -> B, but in the end this may then still be written just A -> B, in particular Type -> Type
2021-08-16 09:53:34 +0200 <Axman6> Not evenm sure how to write those types
2021-08-16 09:55:30 +0200 <superstar64> If dependent (->) is a pair of a type and a type bound by a type, wouldn't it be something like `Type -> (Type -> Type) -> Type`
2021-08-16 09:56:36 +0200 <superstar64> or am i confusing things?
2021-08-16 09:56:51 +0200 <joel135> 3) The dependent version of _->_ is not really a type constructor, but modulo binding issues it can be approximated like you just wrote superstar64
2021-08-16 09:57:58 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 09:58:52 +0200 <joel135> (If by 'type constructor' one insists that it should work like any type constructor of two arguments, not meddling with binding)
2021-08-16 10:00:00 +0200 <superstar64> can you abstract `(x : A) -> B` into `(->) A (\x -> B)?
2021-08-16 10:00:18 +0200 <joel135> Actually you may be confusing things just a little. It would be `(A : Type) -> (A -> Type) -> Type`
2021-08-16 10:00:54 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-08-16 10:01:09 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-16 10:02:21 +0200 <joel135> You can, if the latter (->) has a slightly different definition than the former -> . It needs to 'internalize' the binding of x : A somehow.
2021-08-16 10:04:16 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-08-16 10:04:22 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-16 10:04:40 +0200 <joel135> (\x -> B) does have type (x : A) -> B a.k.a. (\x -> B), so all is good there
2021-08-16 10:05:37 +0200 <joel135> err scratch the last message
2021-08-16 10:05:51 +0200hendursa1(~weechat@user/hendursaga)
2021-08-16 10:06:25 +0200lep-lep
2021-08-16 10:07:26 +0200 <joel135> I meant your type `\x -> B` does have my type (or kind) `A -> Type`, which is good
2021-08-16 10:07:53 +0200 <superstar64> I really need to stop winging it with language design and actually read some type theory book
2021-08-16 10:08:42 +0200 <joel135> Have you tried some agda? It is pretty easy compared to dependent types in haskell
2021-08-16 10:08:46 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-08-16 10:08:57 +0200 <superstar64> Is "Type Theory & Functional programming" a good book on this stuff?
2021-08-16 10:09:16 +0200 <joel135> I don't know
2021-08-16 10:09:24 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-08-16 10:10:08 +0200 <superstar64> I guess I could read "Programming Language Foundations in Agda" too
2021-08-16 10:10:43 +0200 <joel135> I recall there is some book by Pierce, and one by Harper, and then I recognize the title you just wrote too
2021-08-16 10:11:28 +0200 <joel135> Or maybe you don't need a book, just some tutorial pdf for agda
2021-08-16 10:12:18 +0200 <superstar64> you mean "Types and Programming Languages" and "Practical Foundations for Programming Languages"
2021-08-16 10:12:41 +0200 <superstar64> I really just need to stop being lazy and read of these eventually
2021-08-16 10:13:18 +0200 <joel135> I think that's them yes
2021-08-16 10:13:25 +0200 <merijn> TaPL is *the* goto book, yes
2021-08-16 10:14:23 +0200 <superstar64> I'm not sure if it's that useful to me. At this point I understand systme-fω and hindley milner really well.
2021-08-16 10:15:02 +0200 <superstar64> (though I'm worried I might have knowledge gaps, I learned everything by throwing my self at papers)
2021-08-16 10:17:37 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-16 10:17:37 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-16 10:17:40 +0200allbery_bgeekosaur
2021-08-16 10:23:43 +0200 <gehmehgeh> hmm, is there something like a (for lack of better terms) dynamically growing list comprehension? For example: [(x,y,z, other_variables_here) | x<-xlist, y<-ylist,z<-zlist, ... ... and so on]
2021-08-16 10:24:39 +0200 <gehmehgeh> (Is my question understandable?)
2021-08-16 10:25:41 +0200 <lortabac> gehmehgeh: not for me :)
2021-08-16 10:25:46 +0200 <Boomerang> The tuple size is static right? If so you could use the Applicative instance of lists
2021-08-16 10:26:03 +0200 <Boomerang> (,,,,) <$> xs <*> ys <*> zs <*> ...
2021-08-16 10:26:40 +0200 <gehmehgeh> No, the tuple size is "dynamic"(tm)
2021-08-16 10:27:01 +0200 <Boomerang> How do you control the size?
2021-08-16 10:27:33 +0200 <gehmehgeh> well, the tuple size is finite
2021-08-16 10:27:35 +0200 <int-e> > sequence [[0,1],[2,3],[4,5]]
2021-08-16 10:27:36 +0200 <lambdabot> [[0,2,4],[0,2,5],[0,3,4],[0,3,5],[1,2,4],[1,2,5],[1,3,4],[1,3,5]]
2021-08-16 10:27:46 +0200 <gehmehgeh> I don't control it, tha's why I'm asking :)
2021-08-16 10:27:54 +0200 <int-e> the list monad is a typical answer to this
2021-08-16 10:27:57 +0200 <gehmehgeh> int-e: wow, that looks like it
2021-08-16 10:28:00 +0200 <gehmehgeh> !
2021-08-16 10:28:12 +0200 <gehmehgeh> int-e: where can I learn more about this?
2021-08-16 10:28:14 +0200 <superstar64> gehmehgeh, that's for lists though, not tuples
2021-08-16 10:28:26 +0200 <gehmehgeh> superstar64: that's ok, too
2021-08-16 10:28:41 +0200 <superstar64> every element in a list must have the same type, it's not quite the same
2021-08-16 10:28:50 +0200 <int-e> superstar64: you can use lists as homogeneous (hope that's fine) variable size tuples
2021-08-16 10:28:50 +0200 <gehmehgeh> Indeed.
2021-08-16 10:29:47 +0200 <gehmehgeh> int-e: Question, so this only works because List (as in "[]") is a Monad?
2021-08-16 10:30:00 +0200 <gehmehgeh> Or would it also work if it were an Applicative?
2021-08-16 10:30:05 +0200 <gehmehgeh> (*only Applicative)
2021-08-16 10:30:13 +0200 <gehmehgeh> I mean, there's sequenceA
2021-08-16 10:30:32 +0200 <gehmehgeh> yep
2021-08-16 10:30:36 +0200 <gehmehgeh> sequenceA also works
2021-08-16 10:30:42 +0200 <int-e> gehmehgeh: https://wiki.haskell.org/Blow_your_mind has a bunch of this stuff, but is very disorganized
2021-08-16 10:30:48 +0200fabfianda(~fabfianda@37.183.255.57) (Ping timeout: 272 seconds)
2021-08-16 10:31:02 +0200 <gehmehgeh> int-e: I needed exactly the expression you posted in a bit of code to finish something
2021-08-16 10:31:07 +0200 <gehmehgeh> int-e: So thanks a lot.
2021-08-16 10:31:20 +0200fabfianda(~fabfianda@mob-5-91-112-128.net.vodafone.it)
2021-08-16 10:37:03 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-16 10:38:08 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-16 10:38:12 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it)
2021-08-16 10:39:45 +0200 <kuribas> Shame contramap isn't in base...
2021-08-16 10:39:54 +0200 <kuribas> :t contramap
2021-08-16 10:39:55 +0200 <lambdabot> Contravariant f => (a -> b) -> f b -> f a
2021-08-16 10:40:41 +0200 <kuribas> oh, it is apparently!
2021-08-16 10:41:16 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-16 10:46:49 +0200 <int-e> Hmm, GHC.TypeNats is so barebones... withNatVal :: KnownNat n => (Natural -> f n) -> f n would be convenient when only the result type of a function has the type evidence
2021-08-16 10:47:40 +0200 <int-e> It's not difficult to write, of course: withNatVal x = let r = x (natVal r) in r
2021-08-16 10:48:33 +0200 <int-e> (and then there's various variants involving (scoped) type variables)
2021-08-16 10:54:13 +0200lavaman(~lavaman@98.38.249.169)
2021-08-16 10:55:00 +0200 <kuribas> I hope there will be production ready dependently typed language one day (not haskell).
2021-08-16 10:56:10 +0200 <tomsmeding> I expect that will need to come with some significant advances in theory, in the direction of usability and expressiveness
2021-08-16 10:56:58 +0200 <kuribas> I think it will be *more* usable and expressive then the complicated type hackery we do in haskell now.
2021-08-16 10:57:35 +0200 <tomsmeding> what about, say, Idris is not yet "production ready" according to you?
2021-08-16 10:57:39 +0200 <kuribas> The problem with a language like idris is that is unpolished, lacking in libraries for about anything, still many compiler bugs.
2021-08-16 10:57:44 +0200 <tomsmeding> ah
2021-08-16 10:57:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-16 10:58:03 +0200 <tomsmeding> it should have targeted the jvm /s
2021-08-16 10:59:44 +0200Obo(~roberto@78.77.166.185) (Quit: WeeChat 2.8)
2021-08-16 11:00:11 +0200 <tomsmeding> kuribas: if idris would get more libraries somehow, and compiler bugs get fixed, would that be a good enough language for you? I feel like dependently-typed languages are cool but actually proving anything non-trivial about realistic programs with them is still nigh impossible
2021-08-16 11:00:42 +0200 <tomsmeding> not due to anything technical but just because we somehow don't know how to do that on a theory level, apparently
2021-08-16 11:01:15 +0200 <tomsmeding> integrating SMT solvers is one good step in the right direction; I'm not sure how far that gets you nowadays in theorem proving
2021-08-16 11:01:31 +0200 <kuribas> tomsmeding: yeah, I tried some proving in idris, and I found it not very practical.
2021-08-16 11:01:43 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-16 11:01:57 +0200 <kuribas> I'd use idris more for the type system programming, like type safe printf, servant like specifications, etc...
2021-08-16 11:02:17 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 11:02:41 +0200 <tomsmeding> so, slightly stronger type-correctness-like properties
2021-08-16 11:03:03 +0200 <tomsmeding> that's indeed probably what one can realistically expect of such languages today
2021-08-16 11:03:48 +0200tomsmedingneeds to experiment with such things in idris or agda one day
2021-08-16 11:04:11 +0200 <kuribas> tomsmeding: not just type correctness, type expressivity.
2021-08-16 11:04:30 +0200 <kuribas> I just find that type level programming like in servant feels very ad-hoc in haskell.
2021-08-16 11:04:39 +0200 <kuribas> Like coding in lisp :-)
2021-08-16 11:04:44 +0200 <tomsmeding> right, but I was talking about the kind of properties that you want verified
2021-08-16 11:05:10 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it) (Ping timeout: 240 seconds)
2021-08-16 11:05:15 +0200 <tomsmeding> "servant like specifications" still sounds like a type-correctness-like property to me, as distinct from a correctness property about program _behaviour_
2021-08-16 11:05:16 +0200 <kuribas> right
2021-08-16 11:05:42 +0200 <kuribas> yeah, the idea is to prove that your implementation follows the spec, expressed as a type.
2021-08-16 11:05:48 +0200 <tomsmeding> like, I wouldn't be able to give a rigorous definition of what is and isn't a property like that, but that's my feeling :p
2021-08-16 11:06:20 +0200 <tomsmeding> session types fall into this category too, maybe? Though those move towards behaviour already
2021-08-16 11:06:38 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-16 11:06:45 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 11:06:58 +0200 <tomsmeding> (I agree about Haskell being quite ad-hoc for this)
2021-08-16 11:08:32 +0200 <tomsmeding> perhaps some well-designed dep.typed language can use Csaba Hruska's work to use the GHC RTS by compiling to STG :p
2021-08-16 11:09:56 +0200 <kuribas> idris has a GRIN backend...
2021-08-16 11:10:11 +0200 <tomsmeding> ;p
2021-08-16 11:10:21 +0200 <tomsmeding> I never have original ideas
2021-08-16 11:11:33 +0200 <lortabac> another idea might be to invent a "pragmatic" standard library for Agda, less suited for proving and more for common engineering tasks
2021-08-16 11:11:56 +0200 <lortabac> Agda is already mature and generates Haskell code
2021-08-16 11:12:19 +0200 <lortabac> and it has a Haskell FFI
2021-08-16 11:12:22 +0200 <tomsmeding> with sub-par performance because of the amount of unsafeCoerce generated, I hear
2021-08-16 11:12:31 +0200 <tomsmeding> but true
2021-08-16 11:14:10 +0200 <lortabac> tomsmeding: why is unsafeCoerce slow?
2021-08-16 11:19:37 +0200peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-08-16 11:19:55 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-16 11:20:56 +0200timCF(~timCF@200-149-20-81.sta.estpak.ee)
2021-08-16 11:23:49 +0200ubert(~Thunderbi@77.119.161.84.wireless.dyn.drei.com)
2021-08-16 11:25:03 +0200 <tomsmeding> lortabac: I have that second-hand only: https://www.reddit.com/r/haskell/comments/ku1zsm/nextgen_haskell_compilation_techniques/gir7tzo/?c… (second paragraph)
2021-08-16 11:25:15 +0200adam1(~adam@2001-b011-4007-2996-b067-af20-17c7-8c20.dynamic-ip6.hinet.net) (Quit: WeeChat 3.2)
2021-08-16 11:25:16 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 11:28:10 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-08-16 11:29:05 +0200dschrempf(~dominik@92-249-159-252.pool.digikabel.hu)
2021-08-16 11:34:52 +0200 <lortabac> tomsmeding: thanks
2021-08-16 11:37:40 +0200 <lortabac> tomsmeding: anyway, it still takes less work to make Agda faster than to invent a whole new language
2021-08-16 11:37:54 +0200 <tomsmeding> probably!
2021-08-16 11:38:44 +0200 <tomsmeding> but I think kuribas wasn't necessarily aiming for a whole new language, just a language that satisfies certain properties -- be that a new one or an evolution of an existing one
2021-08-16 11:39:01 +0200 <kuribas> indeed :)
2021-08-16 11:42:38 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host)
2021-08-16 11:42:38 +0200zfnmxt(~zfnmxtzfn@user/zfnmxt)
2021-08-16 11:43:10 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Ping timeout: 240 seconds)
2021-08-16 11:46:09 +0200__monty__(~toonn@user/toonn)
2021-08-16 11:46:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2)
2021-08-16 11:49:17 +0200 <kuribas> Or just fleshing out one language, cleaning up the modules, adding common packages (csv, database, etc...).
2021-08-16 11:50:14 +0200timCF(~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving)
2021-08-16 11:50:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-16 11:52:11 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it)
2021-08-16 11:52:18 +0200 <kuribas> lortabac: is proving in agda more ergonomic that in idris?
2021-08-16 11:52:23 +0200zfnmxt(~zfnmxtzfn@user/zfnmxt) (Quit: Reconnecting)
2021-08-16 11:52:30 +0200 <tomsmeding> "cleaning up the modules" -- if you manage in the chorus of "don't break my 10-year old code"
2021-08-16 11:52:37 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-08-16 11:52:49 +0200 <kuribas> like, does it have an IDE which helps visualising proofs, can it automate some proofs?
2021-08-16 11:53:09 +0200 <lortabac> kuribas: I am not a mathematician, but as far as I know Agda is mostly for proving
2021-08-16 11:53:14 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-08-16 11:53:23 +0200 <lortabac> but you are more or less forced to use emacs
2021-08-16 11:53:32 +0200Guest64(~Guest64@185.133.181.17)
2021-08-16 11:53:34 +0200 <kuribas> emacs is fine for me :)
2021-08-16 11:53:45 +0200 <lortabac> from what I hear, Agda without emacs is almost unusable
2021-08-16 11:54:09 +0200 <tomsmeding> vim works somewhat, for a _very_ lenient interpretation of somewhat
2021-08-16 11:54:58 +0200 <lortabac> tomsmeding: I've never managed to make the vim plugin work
2021-08-16 11:55:17 +0200 <lortabac> but my experience with Agda is just a couple of weekends
2021-08-16 11:55:20 +0200 <tomsmeding> it's been a while, but it worked for me a few years ago
2021-08-16 11:55:31 +0200 <tomsmeding> my experience is a uni course :D
2021-08-16 11:58:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 11:58:51 +0200 <lortabac> coming back to my idea of making a "pragmatic Agda"... if someone manages to integrate Agda with GHC (similarly to what has been done for liquid-haskell) there is hope to reuse cabal/hackage infrastructure
2021-08-16 12:00:29 +0200 <lortabac> but I'm just brainstorming, I don't know if this makes sense
2021-08-16 12:02:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-08-16 12:03:57 +0200jehugawaJeHugawa
2021-08-16 12:04:10 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it) (Ping timeout: 240 seconds)
2021-08-16 12:07:25 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 258 seconds)
2021-08-16 12:08:04 +0200Guest64(~Guest64@185.133.181.17) (Ping timeout: 246 seconds)
2021-08-16 12:12:46 +0200acidjnk_new3(~acidjnk@p200300d0c72b9586fc3405b671925cb2.dip0.t-ipconnect.de)
2021-08-16 12:14:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-16 12:15:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 12:15:52 +0200acidjnk_new(~acidjnk@p200300d0c72b9503f052fac21b551e32.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-16 12:16:23 +0200 <tomsmeding> I doubt Agda can be integrated in GHC like liquid haskell is, it being quite a larger departure from Haskell than a, well, addon to Haskell :p
2021-08-16 12:17:08 +0200 <tomsmeding> but maybe on a lower level, where agda compiles to STG and cabal gets support for calling agda or something
2021-08-16 12:17:10 +0200slavaqq(~slavaqq@sdmail.sdserver.cz) (Ping timeout: 246 seconds)
2021-08-16 12:17:21 +0200 <__monty__> I don't see why it needs to be integrated in GHC at all to make use of hackage.
2021-08-16 12:20:28 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-08-16 12:20:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-16 12:21:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 12:23:17 +0200oxide(~lambda@user/oxide)
2021-08-16 12:24:49 +0200thyriaen(~thyriaen@dynamic-078-054-183-239.78.54.pool.telefonica.de)
2021-08-16 12:26:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-16 12:26:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 12:34:11 +0200dextaa(~DV@user/dextaa) (Ping timeout: 268 seconds)
2021-08-16 12:35:53 +0200wonko(~wjc@62.115.229.50)
2021-08-16 12:37:01 +0200haritzondoharitz
2021-08-16 12:37:01 +0200haritz(~hrtz@62.3.70.206) (Changing host)
2021-08-16 12:37:01 +0200haritz(~hrtz@user/haritz)
2021-08-16 12:37:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-16 12:38:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 12:41:55 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 258 seconds)
2021-08-16 12:46:17 +0200vysn(~vysn@user/vysn) (Ping timeout: 245 seconds)
2021-08-16 12:46:42 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds)
2021-08-16 12:47:36 +0200dextaa(~DV@user/dextaa)
2021-08-16 12:53:30 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it)
2021-08-16 12:56:46 +0200Obo(~roberto@78.77.166.185)
2021-08-16 12:56:52 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 258 seconds)
2021-08-16 12:57:46 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-16 12:58:32 +0200 <maerwald> language interop should get much more focus instead of polluting our type system more
2021-08-16 13:00:26 +0200 <merijn> maerwald: Well, find me a source who will fund work on "the next Haskell" to focus more on runtime guarantees for exceptions, concurrency support, and better foreign integration, and I'll get right on that ;)
2021-08-16 13:00:51 +0200 <maerwald> doesn't sound flashy enough, give me dependent types instead
2021-08-16 13:01:04 +0200alx741(~alx741@186.178.108.32)
2021-08-16 13:01:46 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 13:01:50 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-16 13:02:22 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 13:02:29 +0200 <gehmehgeh> hmm, I'm looking for a "filter"-function that throws away the input list (or other structure) while it is filtering. I've been applying "filter" on a very large list (that I don't need, I only need the filter result)
2021-08-16 13:02:39 +0200 <gehmehgeh> said large list is growing and growing
2021-08-16 13:02:45 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-16 13:02:58 +0200 <tomsmeding> filter does exactly that
2021-08-16 13:03:05 +0200 <tomsmeding> are you observing different behaviour?
2021-08-16 13:03:15 +0200 <gehmehgeh> hmm, interesting. Maybe I'm misunderstanding my own code. Let me see
2021-08-16 13:03:27 +0200 <tomsmeding> happens because of laziness :p
2021-08-16 13:03:34 +0200 <tomsmeding> how are you generating that large list
2021-08-16 13:03:44 +0200 <tomsmeding> monadically, perhaps?
2021-08-16 13:06:40 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-16 13:06:41 +0200nsilv(~nsilv@host-79-17-175-58.retail.telecomitalia.it) (Ping timeout: 248 seconds)
2021-08-16 13:07:39 +0200 <arahael> tomsmeding: Tonight I migrated to libarchive. :) Was very easy, though I couldn't find the docs, so I just read the github repo for the libarchive haskell binding instead. :)
2021-08-16 13:08:06 +0200 <tomsmeding> arahael: the penultimate version on hackage does have docs generated :p
2021-08-16 13:08:07 +0200 <tomsmeding> but yay!
2021-08-16 13:08:25 +0200 <arahael> tomsmeding: Ah, but I couldn't see links on https://hackage.haskell.org/package/libarchive
2021-08-16 13:08:37 +0200 <tomsmeding> arahael: https://hackage.haskell.org/package/libarchive-3.0.2.1
2021-08-16 13:08:39 +0200 <arahael> I see the penultimate version does indeed have them - didn't think to check.
2021-08-16 13:09:03 +0200 <tomsmeding> yeah I happen to know that that sometimes happens (don't know how)
2021-08-16 13:09:23 +0200 <arahael> Interesting - well, now I know too! :)
2021-08-16 13:10:01 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net)
2021-08-16 13:11:03 +0200 <tomsmeding> something went wrong in that latest patch release anyway, seeing as the changelog file on hackage is still the old one too
2021-08-16 13:13:34 +0200derelict(~derelict@user/derelict) (Ping timeout: 272 seconds)
2021-08-16 13:15:49 +0200 <gehmehgeh> tomsmeding: what do you mean by "monadically" in that context?
2021-08-16 13:15:57 +0200 <gehmehgeh> tomsmeding: Could you give an example?
2021-08-16 13:15:59 +0200 <gehmehgeh> :)
2021-08-16 13:16:13 +0200 <arahael> tomsmeding: Interesting, well, I'm very pleased at how easy it was to rip out the Tar and replace it with libArchive. :)
2021-08-16 13:16:46 +0200 <tomsmeding> arahael: no more filename truncation I hope?
2021-08-16 13:16:46 +0200 <Drew[m]1> gehmehgeh: Even if you force the input list beforehand so that the whole thing is sitting in memory, The garbage collector should be able to figure out that the big list isn't used any more if it *can't* be used any more, and should GC it as appropriate.
2021-08-16 13:16:49 +0200 <Drew[m]1> Maybe you need to finagle your code so that the garbage collector is suitably convinced that the big list could not be used after filtering:
2021-08-16 13:16:49 +0200 <Drew[m]1> such as defining it in the local scope of a function that returns the filtered list, so once the function returns the filtered list, the
2021-08-16 13:16:49 +0200 <Drew[m]1> big list goes out of scope.
2021-08-16 13:17:15 +0200 <arahael> tomsmeding: None!
2021-08-16 13:17:32 +0200 <arahael> tomsmeding: Curiously, when I unpacked and re-tarred using gnu tar, I was still getting filename truncation!
2021-08-16 13:17:41 +0200 <arahael> tomsmeding: But libarchive is perfect. And faster, to boot.
2021-08-16 13:17:57 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds)
2021-08-16 13:18:36 +0200 <gehmehgeh> Drew[m]1: hm, thanks
2021-08-16 13:18:45 +0200 <arahael> Ooh, fascinating, I didn't check the memory usage before, but I'm now using a *TB* of memory! :D
2021-08-16 13:18:55 +0200 <arahael> Only 2.2g RES, though.
2021-08-16 13:19:06 +0200 <merijn> RES is all tha matters, anyway
2021-08-16 13:19:18 +0200 <arahael> But yes, a full 1024 GB of virtual memory. Which is fascinating.
2021-08-16 13:19:28 +0200 <tomsmeding> % let build1 n = n : build1 (n + 1)
2021-08-16 13:19:28 +0200 <yahb> tomsmeding:
2021-08-16 13:19:32 +0200 <tomsmeding> % let build2 n = (:) <$> pure n <*> build2 (n + 1)
2021-08-16 13:19:32 +0200 <yahb> tomsmeding:
2021-08-16 13:19:37 +0200 <arahael> merijn: Indeed. I believe virtual memory includes mmap'ped pages and all that, too.
2021-08-16 13:19:37 +0200 <tomsmeding> % take 10 (build1 1)
2021-08-16 13:19:37 +0200 <yahb> tomsmeding: [1,2,3,4,5,6,7,8,9,10]
2021-08-16 13:19:44 +0200 <merijn> arahael: Eh
2021-08-16 13:19:50 +0200 <tomsmeding> % fmap (take 10) (build2 1 :: Maybe [Int])
2021-08-16 13:19:55 +0200 <yahb> tomsmeding: [Timed out]
2021-08-16 13:19:59 +0200 <merijn> arahael: GHC compiled programs as of 8.0ish *always* use 1 TB virtual memory, because top is dumb
2021-08-16 13:20:00 +0200 <tomsmeding> gehmehgeh: ^
2021-08-16 13:20:09 +0200 <arahael> merijn: Oh? Curious!
2021-08-16 13:20:27 +0200 <merijn> arahael: Top reports *reserved* (but unused) address space as part of VIRT usage
2021-08-16 13:20:28 +0200 <tomsmeding> merijn: is that because top is dumb or because ghc really does that
2021-08-16 13:20:35 +0200 <tomsmeding> ah
2021-08-16 13:20:44 +0200 <merijn> tomsmeding: GHC uses the OS as intended
2021-08-16 13:20:47 +0200 <arahael> merijn: Eh? That's dumb, indeed.
2021-08-16 13:20:56 +0200 <tomsmeding> merijn: nobody was claiming GHC didn't do that
2021-08-16 13:21:05 +0200 <merijn> Basically, if C allocations and GHC get interleaved in memory is a hassle
2021-08-16 13:21:11 +0200 <merijn> It messes with the "copy & compact"
2021-08-16 13:21:27 +0200 <merijn> So, it's preferable that all Haskell allocations are in adjacent addresses
2021-08-16 13:21:57 +0200 <merijn> To stop the OS/C from littering allocations in the middle, the runtime preemptively reserves 1 TB of virtual memory and dynamically grows that *actual* allocation within that
2021-08-16 13:21:58 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-08-16 13:22:12 +0200 <gehmehgeh> tomsmeding: Thanks for the example, I'm not sure I understand it why this gresults in memory problems
2021-08-16 13:22:14 +0200 <merijn> Which means that any Haskell program with less than 1TB RES will have its Haskell data adjacent
2021-08-16 13:22:22 +0200 <merijn> Without worrying about C, etc.
2021-08-16 13:22:25 +0200 <tomsmeding> which is kind of the whole idea of linux' virtual memory overallocation scheme, that you can do this
2021-08-16 13:22:41 +0200 <merijn> But since top doesn't treat virtual reservations separately from virtual *mappings* it always reports 1TB
2021-08-16 13:22:42 +0200 <arahael> Interesting. I'm actually really surprised I'm only using 2.2g because I'm doing stupid things like "uncompress an entire 3.3g file into a bytestring, then use libarchive to load THAT as a .tar file, and then put ALL the files in that as a HashMap".
2021-08-16 13:22:51 +0200 <tomsmeding> gehmehgeh: not sure if this is the problem that you have, but I just wanted to highlight this in case it is
2021-08-16 13:23:18 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 13:23:29 +0200 <arahael> Eh, only 1.3 G, that explains it slightly, but still, 1.3g .tar.gz -> 2.2g actual memory isn't so bad.
2021-08-16 13:24:06 +0200 <merijn> I mean, GHC's GC design is *really* elegant if you only care about efficiency/throughput :)
2021-08-16 13:24:34 +0200 <merijn> It's only when you care about latency that things can become iffy
2021-08-16 13:24:39 +0200 <tomsmeding> (my illustration was: if you're building a list in a strict monad (~all of them), the full tail will have to be evaluated at runtime before anything can be returned. Indeed, what if at some point, build2 would return Nothing? Then there's no list to be returned!)
2021-08-16 13:25:05 +0200 <tomsmeding> (and the same holds if you replace Maybe with IO, which is more likely to be the case)
2021-08-16 13:25:20 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 13:25:47 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Remote host closed the connection)
2021-08-16 13:27:02 +0200 <arahael> merijn: I'm hoping that the latency generally doesn't get /that/ bad.
2021-08-16 13:28:26 +0200 <merijn> arahael: Usually not
2021-08-16 13:28:40 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-08-16 13:28:48 +0200 <merijn> Unless you hit some degenerate cases (like the famous pusher blogpost) or have (soft) realtime constraints
2021-08-16 13:28:51 +0200derelict(~derelict@user/derelict)
2021-08-16 13:30:13 +0200salvatore(~Username@5.170.16.91)
2021-08-16 13:30:18 +0200 <arahael> Ah, and their worst cases was still around 100mz.
2021-08-16 13:30:20 +0200 <arahael> *ms
2021-08-16 13:30:32 +0200 <arahael> That'd be annoying in a game, but I think most other apps will be fine.
2021-08-16 13:30:51 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 13:32:35 +0200lieven(~mal@ns2.wyrd.be) (Quit: WeeChat 2.3)
2021-08-16 13:34:30 +0200 <tomsmeding> that blogpost is quite politely worded for the disappointment they must've gotten out of that experiment :p
2021-08-16 13:35:46 +0200salvatore(~Username@5.170.16.91) (Remote host closed the connection)
2021-08-16 13:36:08 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 13:36:19 +0200 <merijn> tomsmeding: I mean, the reality is that it really *isn't* that GHC's GC is bad or something
2021-08-16 13:36:41 +0200 <merijn> It's that their entire workload happens to just be the exact worst possible case for it's design
2021-08-16 13:36:52 +0200mal1(~mal@ns2.wyrd.be)
2021-08-16 13:37:01 +0200 <tomsmeding> I know, just saying that they could've written that post a lot more grumpily
2021-08-16 13:37:09 +0200 <merijn> Compact regions lets you alleviate a lot of it already
2021-08-16 13:37:12 +0200 <tomsmeding> probably wouldn't have been good for their PR, but that aside
2021-08-16 13:37:46 +0200salvatore(~Username@5.170.16.91)
2021-08-16 13:37:56 +0200zaquest(~notzaques@5.128.210.178)
2021-08-16 13:39:40 +0200 <arahael> I'm not sure I'd pick a GC'ed language if you need to handle a huge working set with realtime constraints, not unless I was _very_ confident that the particular language's GC is highly suited for that - and even then, not many are.
2021-08-16 13:40:14 +0200tomsmedingnods
2021-08-16 13:40:17 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-16 13:41:24 +0200 <arahael> Still, haskell's probably a decent choice for the prototype, and you can certainly push parts of it into a non-GC'd language using the FFI or something.
2021-08-16 13:41:29 +0200salvatore(~Username@5.170.16.91) (Client Quit)
2021-08-16 13:41:41 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Remote host closed the connection)
2021-08-16 13:42:21 +0200salvatore(~Username@5.170.16.91)
2021-08-16 13:42:32 +0200wonko(~wjc@62.115.229.50) (Remote host closed the connection)
2021-08-16 13:43:19 +0200 <kuribas> is it possible to crosscompile windows executables?
2021-08-16 13:43:24 +0200 <kuribas> Maybe runnin ghc with wine?
2021-08-16 13:43:28 +0200 <kuribas> (on linux)
2021-08-16 13:44:52 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 13:45:03 +0200 <merijn> kuribas: Depends, do you hate yourself and life?
2021-08-16 13:46:01 +0200nsilv-phone-1(~nsilv-pho@37.161.177.127)
2021-08-16 13:46:04 +0200salvatore(~Username@5.170.16.91) (Client Quit)
2021-08-16 13:46:29 +0200 <kuribas> merijn: so better a windows VM then?
2021-08-16 13:49:11 +0200enikarguesses, it's the same…
2021-08-16 13:50:03 +0200nsilv-phone(~nsilv-pho@host-79-17-175-58.retail.telecomitalia.it) (Ping timeout: 268 seconds)
2021-08-16 13:50:07 +0200 <tomsmeding> there are people that actually use ghc on windows I hear
2021-08-16 13:50:10 +0200 <tomsmeding> they exist
2021-08-16 13:52:37 +0200 <merijn> kuribas: Yeah
2021-08-16 13:52:57 +0200 <merijn> enikar: No, windows VM will be infinitely simpler
2021-08-16 13:53:26 +0200 <merijn> kuribas: Cross-compiling is a clusterfuck in the best scenarios, trying to do it for windows is certainly *possible* in a theoretical sense
2021-08-16 13:53:50 +0200 <merijn> But establishing a process/environment to make that work reliably might cost you weeks and be superfrustrating
2021-08-16 13:54:11 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-16 13:54:32 +0200 <merijn> Meanwhile, you could install a random VM with hardware virtualisation support, grab a windows license and be on with your life in an afternoon with probably not more than a 5% slowdown in compile from the VM :p
2021-08-16 13:54:46 +0200 <kuribas> hmm, indeed
2021-08-16 13:55:01 +0200 <enikar> merijn: ok.
2021-08-16 13:55:28 +0200 <merijn> So if you value your happiness, I'd certainly go with that 2nd option, *especially* if you can expense the license cost to your job :p
2021-08-16 13:55:46 +0200chris(~chris@81.96.113.213)
2021-08-16 13:55:49 +0200chrisGuest9125
2021-08-16 13:56:10 +0200 <kuribas> The alterative is they all compile the script on their own computer :)
2021-08-16 13:56:24 +0200 <kuribas> eventually they'll want to edit it anyway...
2021-08-16 13:56:59 +0200Guest9125(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-16 13:57:11 +0200chris(~chris@81.96.113.213)
2021-08-16 13:57:15 +0200chrisGuest3984
2021-08-16 13:58:41 +0200mousey(~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds)
2021-08-16 14:00:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 14:05:03 +0200thyriaen(~thyriaen@dynamic-078-054-183-239.78.54.pool.telefonica.de) (Remote host closed the connection)
2021-08-16 14:05:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-16 14:09:26 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-08-16 14:09:45 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:5f5:523b:3c0:9fe)
2021-08-16 14:10:04 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:5f5:523b:3c0:9fe) (Client Quit)
2021-08-16 14:12:07 +0200acidjnk_new3(~acidjnk@p200300d0c72b9586fc3405b671925cb2.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-16 14:16:39 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-08-16 14:17:21 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2021-08-16 14:21:53 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-16 14:21:58 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-08-16 14:24:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 240 seconds)
2021-08-16 14:26:17 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds)
2021-08-16 14:38:30 +0200Atum_(IRC@user/atum/x-2392232)
2021-08-16 14:38:35 +0200Atum_(IRC@user/atum/x-2392232) (Client Quit)
2021-08-16 14:38:40 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-16 14:40:22 +0200Atum_(~IRC@user/atum/x-2392232)
2021-08-16 14:48:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-16 14:51:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 14:56:18 +0200 <Drew[m]1> <tomsmeding> "there are people that actually..." <- Yes hello
2021-08-16 14:56:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-16 14:57:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 14:58:46 +0200 <tomsmeding> I was being facetious ;)
2021-08-16 15:03:03 +0200superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving)
2021-08-16 15:03:23 +0200derelict(~derelict@user/derelict) (Quit: WeeChat 3.2)
2021-08-16 15:08:35 +0200 <maerwald> is tthere something like IsString for ByteString?
2021-08-16 15:10:37 +0200nsilv-phone-1(~nsilv-pho@37.161.177.127) (Quit: Quit)
2021-08-16 15:12:39 +0200andre(~andre@41.76.35.141)
2021-08-16 15:12:57 +0200 <merijn> maerwald: Yes and it should be fired into the sun
2021-08-16 15:13:09 +0200 <merijn> Do not awaken the slumbering madness >.<
2021-08-16 15:13:31 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-08-16 15:13:52 +0200 <merijn> maerwald: Or did you mean, to write bytestring literals?
2021-08-16 15:14:00 +0200 <maerwald> no, I basically just do fancy newtyping
2021-08-16 15:14:15 +0200 <maerwald> and having too many fromByteString methods
2021-08-16 15:14:52 +0200 <merijn> ah, not really, no
2021-08-16 15:15:05 +0200 <merijn> At least, not if the problem is "having to write fromByteString everywhere"
2021-08-16 15:16:01 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-16 15:18:45 +0200vysn(~vysn@user/vysn)
2021-08-16 15:22:17 +0200jlamothe(~jlamothe@104.158.48.100) (Quit: leaving)
2021-08-16 15:25:28 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-16 15:28:40 +0200pfurla_(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-08-16 15:31:20 +0200burnsidesLlama(~burnsides@client-8-67.eduroam.oxuni.org.uk)
2021-08-16 15:33:53 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-08-16 15:36:20 +0200skykanin(~skykanin@115.81-166-221.customer.lyse.net)
2021-08-16 15:38:00 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2)
2021-08-16 15:39:13 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-16 15:41:33 +0200jlamothe(~jlamothe@104.158.48.100)
2021-08-16 15:44:43 +0200mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-16 15:45:32 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds)
2021-08-16 15:46:32 +0200andre(~andre@41.76.35.141) (Read error: No route to host)
2021-08-16 15:48:14 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Remote host closed the connection)
2021-08-16 15:48:42 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 15:51:42 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-08-16 15:52:46 +0200Obo(~roberto@78.77.166.185) (Quit: WeeChat 2.8)
2021-08-16 15:53:02 +0200Pickchea(~private@user/pickchea)
2021-08-16 15:53:59 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 268 seconds)
2021-08-16 15:55:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:fd17:74a9:421f:56d4) (Quit: WeeChat 2.8)
2021-08-16 15:56:56 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 16:01:59 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 16:03:47 +0200ubert(~Thunderbi@77.119.161.84.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
2021-08-16 16:06:17 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-08-16 16:10:28 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-08-16 16:12:07 +0200dschrempf(~dominik@92-249-159-252.pool.digikabel.hu) (Ping timeout: 245 seconds)
2021-08-16 16:13:29 +0200zaquest(~notzaques@5.128.210.178)
2021-08-16 16:14:12 +0200mr-red(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 245 seconds)
2021-08-16 16:14:51 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-08-16 16:18:11 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 252 seconds)
2021-08-16 16:19:41 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-08-16 16:23:50 +0200Sgeo(~Sgeo@user/sgeo)
2021-08-16 16:25:52 +0200zgrep(~zgrep@user/zgrep) (Quit: It's a quitter's world.)
2021-08-16 16:27:20 +0200zgrep(~zgrep@user/zgrep)
2021-08-16 16:28:56 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-08-16 16:29:07 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-16 16:31:07 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-16 16:33:27 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds)
2021-08-16 16:37:57 +0200AndrewYu\\\
2021-08-16 16:38:03 +0200\\\AndrewYu
2021-08-16 16:38:42 +0200tolarz(bfa39a78db@ircbox.informatik.uni-erlangen.de)
2021-08-16 16:38:51 +0200 <tolarz> (crosspost from ##math)
2021-08-16 16:38:53 +0200 <tolarz> I read that monads have a "flatten" operation that turns, e.g., `List[List[A]]` into `List[A]`.
2021-08-16 16:38:59 +0200 <tolarz> But the haskell def. doesn't feature it: https://wiki.haskell.org/All_About_Monads#The_Monad_class
2021-08-16 16:39:01 +0200 <tolarz> Why?
2021-08-16 16:39:33 +0200 <tolarz> Are there multiple alternative definitions for monads in the literature?
2021-08-16 16:39:55 +0200 <Rembane_> :t join
2021-08-16 16:39:56 +0200 <lambdabot> Monad m => m (m a) -> m a
2021-08-16 16:39:59 +0200 <Rembane_> There it is. :)
2021-08-16 16:40:06 +0200 <gehmehgeh> hmmm, I can't seem to find suffiscient info as to how to use cabal with profiling. Whenever I turn it on, it says it can't find any of the dependencies
2021-08-16 16:40:09 +0200 <gehmehgeh> is this a known problem?
2021-08-16 16:40:17 +0200 <gehmehgeh> I've googled and found nothing
2021-08-16 16:40:21 +0200 <tolarz> Rembane_: but why isn't it mentioned in the link?
2021-08-16 16:40:52 +0200amk(~amk@176.61.106.150) (Ping timeout: 268 seconds)
2021-08-16 16:41:01 +0200 <Rembane_> tolarz: Because as it is as you say, there are multiple different definitions of a monad, and the one chosen in Haskell doesn't contain join.
2021-08-16 16:41:11 +0200 <gehmehgeh> (I've tried "cabal build --enable-profiling", settings ghc-toptions as well as setting "profiling: True"
2021-08-16 16:41:28 +0200 <tolarz> Rembane_: is there a list of all alternative defsß
2021-08-16 16:41:30 +0200 <tolarz> ?
2021-08-16 16:41:35 +0200 <tolarz> i tried searching for one on google
2021-08-16 16:41:37 +0200 <Rembane_> tolarz: You can define monad using fmap and join, or by using (>=>) and return or by using (>>=) and return.
2021-08-16 16:41:49 +0200 <c_wraith> gehmehgeh: you need profiling versions of all the dependencies installed. cabal normally takes care of that, but it can't handle wired-in libraries like base
2021-08-16 16:41:54 +0200amk(~amk@176.61.106.150)
2021-08-16 16:42:10 +0200 <c_wraith> gehmehgeh: did you install a broken version of ghc like the one from a package manager?
2021-08-16 16:42:15 +0200 <Rembane_> tolarz: There are probably more, but I can't think of any right now. But this is a topic I know many in this channel are passionate about so they will probably chime in. :)
2021-08-16 16:42:37 +0200 <gehmehgeh> ah! "cabal build --enable-library-profiling --enable-profiling" did it
2021-08-16 16:42:37 +0200dschrempf(~dominik@92-249-159-252.pool.digikabel.hu)
2021-08-16 16:42:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-16 16:42:39 +0200 <gehmehgeh> :D
2021-08-16 16:43:08 +0200 <gehmehgeh> c_wraith: apparently I had to both set "--enable-library-profiling" AND the reguler --enable-profiling
2021-08-16 16:43:11 +0200nisstyre(~wes@li798-187.members.linode.com) (Changing host)
2021-08-16 16:43:11 +0200nisstyre(~wes@user/nisstyre)
2021-08-16 16:43:20 +0200slack1256(~slack1256@191.126.188.171)
2021-08-16 16:43:33 +0200sleblanc(~sleblanc@user/sleblanc)
2021-08-16 16:43:46 +0200 <c_wraith> tolarz: please note that Haskell is *not* an especially mathematical language. It does things based on practicality instead of conceptual purity all over the place.
2021-08-16 16:43:53 +0200 <tolarz> I see.
2021-08-16 16:43:59 +0200 <tolarz> I am here for conceptual purity though :D
2021-08-16 16:44:01 +0200 <monochrom> I imagine that our Monad class was defined at a time when redundancy was unwanted. Since >>= is more relevant to programmers, and join derivable, the class included >>= only, leaving join as an outside utility.
2021-08-16 16:44:13 +0200 <tolarz> What is fmap?
2021-08-16 16:44:20 +0200 <c_wraith> tolarz: there was an effort to get join into the monad class a few years back, but it failed due to breaking GND.
2021-08-16 16:44:23 +0200 <tolarz> ah googled
2021-08-16 16:44:34 +0200 <monochrom> But today you can see that newer classes embrace redundancy, for example Applicative includes both liftA2 and <*>.
2021-08-16 16:45:11 +0200 <c_wraith> tolarz: and GeneralizedNewtypeDeriving of Monad is used too much to just break for conceptual purity
2021-08-16 16:46:30 +0200 <c_wraith> (I still think GND should be totally reimplemented to copy implementations instead of share dictionaries, so it can typecheck them separately and not need to be limited by special cases.... but that's a long-running debate)
2021-08-16 16:46:34 +0200archpc(~archpc@user/archpc) (vibe check)
2021-08-16 16:47:02 +0200amk(~amk@176.61.106.150) (Ping timeout: 268 seconds)
2021-08-16 16:47:39 +0200amk(~amk@176.61.106.150)
2021-08-16 16:50:13 +0200ubert(~Thunderbi@77.119.161.84.wireless.dyn.drei.com)
2021-08-16 16:54:22 +0200jneira(~jneira@28.red-80-28-169.staticip.rima-tde.net)
2021-08-16 16:56:08 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-08-16 16:58:53 +0200doyougnu(~user@c-73-25-202-122.hsd1.or.comcast.net)
2021-08-16 17:03:44 +0200bgamari_(~bgamari@72.65.101.13) (Ping timeout: 258 seconds)
2021-08-16 17:04:12 +0200bgamari(~bgamari@72.65.101.163)
2021-08-16 17:06:40 +0200dschrempf(~dominik@92-249-159-252.pool.digikabel.hu) (Ping timeout: 240 seconds)
2021-08-16 17:16:40 +0200burnsidesLlama(~burnsides@client-8-67.eduroam.oxuni.org.uk) (Remote host closed the connection)
2021-08-16 17:18:51 +0200dsrt^(~cuolin@12.202.131.133) (Remote host closed the connection)
2021-08-16 17:18:51 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Read error: Connection reset by peer)
2021-08-16 17:22:17 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-08-16 17:25:43 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-08-16 17:26:06 +0200derelict(~derelict@user/derelict)
2021-08-16 17:28:39 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 17:29:10 +0200pfurla(~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-08-16 17:33:06 +0200arjun_(~Srain@user/arjun)
2021-08-16 17:36:32 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-16 17:38:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 17:38:42 +0200betelgeuse(~john2gb@94-225-47-8.access.telenet.be) (Changing host)
2021-08-16 17:38:42 +0200betelgeuse(~john2gb@user/john2gb)
2021-08-16 17:43:08 +0200adam1(~adam@220-136-92-161.dynamic-ip.hinet.net)
2021-08-16 17:44:42 +0200ubert1(~Thunderbi@178.165.186.132.wireless.dyn.drei.com)
2021-08-16 17:45:34 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Remote host closed the connection)
2021-08-16 17:45:54 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 17:46:09 +0200ubert(~Thunderbi@77.119.161.84.wireless.dyn.drei.com) (Ping timeout: 248 seconds)
2021-08-16 17:46:09 +0200ubert1ubert
2021-08-16 17:48:44 +0200gambpang(~ian@207.181.230.156)
2021-08-16 17:50:28 +0200zebrag(~chris@user/zebrag)
2021-08-16 17:50:52 +0200Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds)
2021-08-16 17:52:48 +0200ubert(~Thunderbi@178.165.186.132.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2021-08-16 17:53:26 +0200Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 252 seconds)
2021-08-16 17:54:41 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 17:54:46 +0200slack1256(~slack1256@191.126.188.171) (Remote host closed the connection)
2021-08-16 17:55:18 +0200slack1256(~slack1256@191.126.188.171)
2021-08-16 17:55:47 +0200Guest84(~Guest84@2406:3003:2006:447e:155:147:a4dc:1e)
2021-08-16 17:55:59 +0200dschrempf(~dominik@92-249-159-252.pool.digikabel.hu)
2021-08-16 17:59:03 +0200lbseale(~lbseale@user/ep1ctetus)
2021-08-16 17:59:10 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-16 17:59:15 +0200keutoi(~keutoi@157.47.84.95) (Quit: leaving)
2021-08-16 18:00:32 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-16 18:01:36 +0200pschorf(~user@c-73-77-28-188.hsd1.tx.comcast.net)
2021-08-16 18:01:42 +0200Matthias1(~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com)
2021-08-16 18:02:00 +0200 <bwe> how can I retrieve all files specified and otherwise found by settings made in my cabal file? I want to apply `hlint myFile --refactor --refactor-options="--inplace"` over all myFiles. I thought, cabal already knows the files, so there should be a way to retrieve them.
2021-08-16 18:02:45 +0200 <sclv> they’re all just in the src dirs listed in the file
2021-08-16 18:03:07 +0200 <sclv> there’s no specific trick. and cabal doesn’t know all the files, just the dirs and module names
2021-08-16 18:05:20 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-16 18:07:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-16 18:08:56 +0200pbrisbin(~patrick@pool-108-16-214-93.phlapa.fios.verizon.net)
2021-08-16 18:12:59 +0200jeslie0(~user@108.162.150.9)
2021-08-16 18:13:34 +0200Guest84(~Guest84@2406:3003:2006:447e:155:147:a4dc:1e) (Quit: Client closed)
2021-08-16 18:15:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-16 18:15:30 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-08-16 18:19:12 +0200adam1(~adam@220-136-92-161.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-08-16 18:19:31 +0200Skyfire(~pyon@user/pyon) (Quit: WeeChat 3.2)
2021-08-16 18:21:02 +0200 <bwe> sclv: ok. I wonder the most pragmatic way to run hlint over my project's files with --refactor switch?
2021-08-16 18:21:37 +0200 <sclv> wildcards?
2021-08-16 18:21:57 +0200 <sclv> `hlint --someopt --someotheropt src/*.hs src/*/*.hs ...`
2021-08-16 18:22:09 +0200 <sclv> and if you want more control, use `find` and `xargs` :-)
2021-08-16 18:22:18 +0200 <Hecate> **/**.hs on zsh
2021-08-16 18:22:38 +0200 <Hecate> but yes, xargs is life, xargs is love
2021-08-16 18:22:39 +0200 <sclv> Hecate: oooh! mac switched me to zsh but i never learned that magic invocation
2021-08-16 18:22:51 +0200 <sclv> why the two stars for both path components?
2021-08-16 18:22:53 +0200Skyfire(~pyon@user/pyon)
2021-08-16 18:23:32 +0200mei(~mei@user/mei) (Read error: Connection reset by peer)
2021-08-16 18:23:48 +0200 <sclv> actually, wait! hlint auto-recursively-traverses directories
2021-08-16 18:24:02 +0200 <sclv> `hlint src` will operate on every file in the src directory already
2021-08-16 18:25:18 +0200 <bwe> sclv: yes, but if you try --refactor, it will only work on individual files and fail with an error message otherwise. so the wildcards option is off the table.
2021-08-16 18:25:41 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 268 seconds)
2021-08-16 18:26:18 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2021-08-16 18:26:50 +0200 <sclv> in that case `find [args] -exec` will exec a command over every individual file it finds
2021-08-16 18:27:17 +0200 <sclv> arguably hlint should let you pass a "yes i really mean recursively refactor" flag lol
2021-08-16 18:27:54 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 18:28:12 +0200Matthias1(~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com) (Remote host closed the connection)
2021-08-16 18:29:07 +0200Matthias1(~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com)
2021-08-16 18:29:13 +0200 <bwe> sclv: just realising in my shell history that I've already done it earlier with find :)
2021-08-16 18:29:34 +0200 <sclv> lmao
2021-08-16 18:30:05 +0200 <bwe> sclv: Further, I wonder whether there could be a cabal integration like `cabal refactor` for convenience.
2021-08-16 18:30:10 +0200 <Hecate> < sclv> why the two stars for both path components? // no idea, this is an old feature
2021-08-16 18:30:37 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 268 seconds)
2021-08-16 18:30:59 +0200 <sclv> I don’t think cabal is a place for a refactor command. its ide like and also as i said cabal has no special insight here
2021-08-16 18:31:30 +0200 <sclv> hlint should just let you run it recursive
2021-08-16 18:31:31 +0200benin036932(~benin@183.82.25.247) (Ping timeout: 258 seconds)
2021-08-16 18:31:57 +0200ystael(~ystael@user/ystael)
2021-08-16 18:32:10 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-16 18:33:47 +0200Matthias1(~Matthias1@2603-8001-b545-4900-ed7f-e73d-ac10-ca20.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-08-16 18:35:05 +0200Matthias1(~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com)
2021-08-16 18:36:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 18:37:47 +0200Matthias1(~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com) (Remote host closed the connection)
2021-08-16 18:42:10 +0200Matthias1(~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com)
2021-08-16 18:45:12 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 18:50:40 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-08-16 18:52:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-16 18:55:36 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-08-16 18:55:43 +0200obs(~obscur1ty@156.194.133.134)
2021-08-16 18:55:43 +0200obs(~obscur1ty@156.194.133.134) (Changing host)
2021-08-16 18:55:43 +0200obs(~obscur1ty@user/obs/x-5924898)
2021-08-16 18:56:50 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 18:58:09 +0200obs\(~obscur1ty@user/obs/x-5924898) (Ping timeout: 248 seconds)
2021-08-16 18:58:36 +0200simon1sim590
2021-08-16 18:59:05 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-08-16 18:59:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-08-16 19:02:04 +0200jeslie0(~user@108.162.150.9) (Ping timeout: 268 seconds)
2021-08-16 19:05:50 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-16 19:06:47 +0200polyphem(~polyphem@2a02:810d:640:776c:c8d6:203f:c7c7:b242) (Ping timeout: 245 seconds)
2021-08-16 19:07:21 +0200polyphem(~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e)
2021-08-16 19:07:32 +0200aegon(~mike@174.127.249.180)
2021-08-16 19:07:34 +0200cfricke(~cfricke@user/cfricke)
2021-08-16 19:10:27 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds)
2021-08-16 19:11:36 +0200jeslie0(~user@108.162.150.9)
2021-08-16 19:11:40 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2021-08-16 19:15:19 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-08-16 19:19:24 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-16 19:19:36 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-16 19:19:51 +0200nikoo
2021-08-16 19:22:25 +0200jeslie0(~user@108.162.150.9) (Remote host closed the connection)
2021-08-16 19:26:09 +0200Ranhir(~Ranhir@157.97.53.139)
2021-08-16 19:26:42 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) (Quit: haowenl)
2021-08-16 19:27:17 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-16 19:27:33 +0200dschrempf(~dominik@92-249-159-252.pool.digikabel.hu) (Quit: WeeChat 3.2)
2021-08-16 19:27:49 +0200Guest84(~Guest84@2406:3003:2006:447e:155:147:a4dc:1e)
2021-08-16 19:28:14 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 19:28:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 19:31:13 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2021-08-16 19:32:19 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-16 19:32:54 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-16 19:33:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-16 19:35:36 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 19:36:51 +0200ectl
2021-08-16 19:39:24 +0200tl(~ec@gateway/tor-sasl/ec) (Client Quit)
2021-08-16 19:39:36 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 19:42:58 +0200Guest3984(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-16 19:43:30 +0200chris(~chris@81.96.113.213)
2021-08-16 19:43:34 +0200chrisGuest6430
2021-08-16 19:43:54 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-16 19:44:53 +0200lavaman(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2021-08-16 19:44:53 +0200awschnap(~lavaman@98.38.249.169)
2021-08-16 19:45:02 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 245 seconds)
2021-08-16 19:46:30 +0200azeem(~azeem@176.200.254.238)
2021-08-16 19:47:32 +0200Guest6430(~chris@81.96.113.213) (Ping timeout: 245 seconds)
2021-08-16 19:47:56 +0200chris(~chris@81.96.113.213)
2021-08-16 19:48:01 +0200chrisGuest2602
2021-08-16 19:49:48 +0200jfrent(~josiah@user/jfrent) (WeeChat 3.1)
2021-08-16 19:52:01 +0200arjun_(~Srain@user/arjun) (Ping timeout: 268 seconds)
2021-08-16 19:52:57 +0200arjun_(~Srain@user/arjun)
2021-08-16 19:53:33 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 258 seconds)
2021-08-16 19:53:54 +0200Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-08-16 19:54:37 +0200arjun_(~Srain@user/arjun) (Remote host closed the connection)
2021-08-16 19:55:12 +0200azeem(~azeem@176.200.254.238) (Read error: Connection reset by peer)
2021-08-16 19:55:37 +0200KeziahMasonawk
2021-08-16 19:55:37 +0200azeem(~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-16 19:55:41 +0200Matthias1(~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com) (Remote host closed the connection)
2021-08-16 19:55:42 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-16 19:55:57 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 19:56:35 +0200Matthias1(~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com)
2021-08-16 19:59:39 +0200Matthia__(~Matthias1@2603-8001-b545-4900-b5f0-38aa-51af-b7a8.res6.spectrum.com)
2021-08-16 20:01:10 +0200Matthias1(~Matthias1@2603-8001-b545-4900-8133-d049-39c7-5630.res6.spectrum.com) (Ping timeout: 240 seconds)
2021-08-16 20:05:17 +0200econo(uid147250@user/econo)
2021-08-16 20:06:29 +0200Matthia__(~Matthias1@2603-8001-b545-4900-b5f0-38aa-51af-b7a8.res6.spectrum.com) ()
2021-08-16 20:08:45 +0200Danishman(~Allan@2-104-144-110-cable.dk.customer.tdc.net)
2021-08-16 20:13:12 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 20:13:33 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 20:15:44 +0200trcc(~trcc@users-1190.st.net.au.dk)
2021-08-16 20:17:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-16 20:18:04 +0200Guest84(~Guest84@2406:3003:2006:447e:155:147:a4dc:1e) (Ping timeout: 246 seconds)
2021-08-16 20:19:30 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-08-16 20:19:52 +0200awkmnrmnaugh
2021-08-16 20:20:27 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 20:20:43 +0200seby(~seby@115.96.240.251)
2021-08-16 20:20:55 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) (Quit: haowenl)
2021-08-16 20:21:40 +0200fendor_(~fendor@178.165.163.49.wireless.dyn.drei.com)
2021-08-16 20:23:10 +0200fendor(~fendor@77.119.204.109.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-08-16 20:24:52 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 20:27:24 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com)
2021-08-16 20:27:57 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection)
2021-08-16 20:28:03 +0200fendor_(~fendor@178.165.163.49.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2021-08-16 20:28:37 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) ()
2021-08-16 20:28:43 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 20:28:44 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) ()
2021-08-16 20:29:55 +0200fvr(uid503686@id-503686.highgate.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-16 20:32:40 +0200seby(~seby@115.96.240.251) (Ping timeout: 240 seconds)
2021-08-16 20:34:11 +0200awschnap(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-16 20:34:25 +0200lavaman(~lavaman@98.38.249.169)
2021-08-16 20:35:10 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-08-16 20:36:52 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a)
2021-08-16 20:39:53 +0200dunj3(~dunj3@2001:16b8:30ec:f400:346e:802e:3718:9489)
2021-08-16 20:40:05 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-16 20:40:39 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-16 20:42:19 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com)
2021-08-16 20:43:22 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-08-16 20:43:33 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com) (Remote host closed the connection)
2021-08-16 20:43:53 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com)
2021-08-16 20:45:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-16 20:46:46 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com) (Remote host closed the connection)
2021-08-16 20:47:40 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com)
2021-08-16 20:51:28 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-16 20:52:05 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-08-16 20:53:39 +0200falafel_(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a)
2021-08-16 20:54:38 +0200PigDude(~PigDude@159.203.16.199)
2021-08-16 20:55:25 +0200 <PigDude> is anybody here using https://www.emacswiki.org/emacs/FlymakeHaskell? are those instructions current?
2021-08-16 20:56:40 +0200falafel(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 240 seconds)
2021-08-16 20:58:08 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 20:59:40 +0200 <Hecate> 😬
2021-08-16 21:01:10 +0200falafel_(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 240 seconds)
2021-08-16 21:01:48 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-08-16 21:05:05 +0200trcc(~trcc@users-1190.st.net.au.dk) (Ping timeout: 248 seconds)
2021-08-16 21:11:01 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-16 21:11:02 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-08-16 21:11:42 +0200fendor(~fendor@178.115.73.158.wireless.dyn.drei.com) (Ping timeout: 245 seconds)
2021-08-16 21:14:02 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-16 21:15:11 +0200 <PigDude> oh nevermind it looks like https://github.com/flycheck/flycheck-haskell is the one to use
2021-08-16 21:16:54 +0200mousey(~skymouse@gateway/tor-sasl/mousey)
2021-08-16 21:17:22 +0200 <maerwald> bold promotion: https://mail.haskell.org/pipermail/libraries/2021-August/031427.html
2021-08-16 21:17:49 +0200jneira(~jneira@28.red-80-28-169.staticip.rima-tde.net) (Quit: Connection closed)
2021-08-16 21:21:07 +0200falafel_(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a)
2021-08-16 21:21:33 +0200JavierNeira[m]jneira[m]
2021-08-16 21:23:24 +0200jneira[m]JavierNeira[m]
2021-08-16 21:23:35 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-08-16 21:25:10 +0200falafel_(~falafel@2601:483:4e00:2b20:cdf:9399:6ec8:368a) (Ping timeout: 240 seconds)
2021-08-16 21:29:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-16 21:33:36 +0200notzmv(~zmv@user/notzmv)
2021-08-16 21:36:02 +0200sander(~sander@user/sander) (Ping timeout: 256 seconds)
2021-08-16 21:36:36 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-08-16 21:37:04 +0200hendursaga(~weechat@user/hendursaga)
2021-08-16 21:37:57 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds)
2021-08-16 21:38:24 +0200sander(~sander@user/sander)
2021-08-16 21:38:31 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-16 21:38:32 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-16 21:40:39 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 21:45:40 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-08-16 21:46:10 +0200alx741(~alx741@186.178.108.32) (Ping timeout: 240 seconds)
2021-08-16 21:51:40 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds)
2021-08-16 21:52:12 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-16 21:52:16 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-08-16 22:00:14 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-08-16 22:00:35 +0200alx741(~alx741@181.196.68.125)
2021-08-16 22:03:07 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-16 22:03:21 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-16 22:03:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-16 22:04:22 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-08-16 22:04:50 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-16 22:04:56 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 256 seconds)
2021-08-16 22:05:17 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-16 22:05:30 +0200juhp(~juhp@128.106.188.220) (Ping timeout: 256 seconds)
2021-08-16 22:06:27 +0200cuz(~user@38.140.58.234)
2021-08-16 22:06:33 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-08-16 22:07:09 +0200juhp(~juhp@128.106.188.220)
2021-08-16 22:07:21 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-16 22:07:52 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 22:09:40 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-08-16 22:09:58 +0200kuribas(~user@ptr-25vy0iaezbxroyr1ffb.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-08-16 22:12:07 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 245 seconds)
2021-08-16 22:15:12 +0200mousey(~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds)
2021-08-16 22:16:43 +0200enoq(~enoq@2a05:1141:1f5:5600:eb83:919c:c248:eabe)
2021-08-16 22:17:49 +0200boxscape_(~boxscape_@p4ff0b769.dip0.t-ipconnect.de)
2021-08-16 22:18:52 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-16 22:19:06 +0200 <boxscape_> Do you suppose checkEqual is safe, i.e. error is unreachable? Alternatively, is there a typesafe way to get DecEq from Typeable?
2021-08-16 22:19:08 +0200 <boxscape_> https://paste.tomsmeding.com/hNEd7tFR
2021-08-16 22:20:03 +0200acidjnk_new3(~acidjnk@p200300d0c72b9586547432ba24659663.dip0.t-ipconnect.de)
2021-08-16 22:20:12 +0200 <boxscape_> (where by DecEq I mean Dec (a :~: b))
2021-08-16 22:21:11 +0200 <tomsmeding> case checkEqual @Int @Float of No f -> f (unsafeCoerce Refl :: Int :~: Float)
2021-08-16 22:21:26 +0200 <tomsmeding> meh type annotation shouldn't even be necessary
2021-08-16 22:22:07 +0200 <boxscape_> well, I'm okay with error being reachable if the caller uses usafeCoerce
2021-08-16 22:22:48 +0200 <tomsmeding> :p
2021-08-16 22:23:51 +0200glassy(~swil@90.254.122.50)
2021-08-16 22:23:59 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-16 22:25:00 +0200 <tomsmeding> I'm not sure about that error being unreachable; however, I'm quite certain it's possible to produce Yes there without the types actually being equal
2021-08-16 22:25:12 +0200 <tomsmeding> because what's actually being compared is two MD5 hashes...
2021-08-16 22:25:23 +0200 <boxscape_> oh, interesting
2021-08-16 22:25:43 +0200 <tomsmeding> click Source and follow the links until you arrive at the Fingerprint type
2021-08-16 22:26:07 +0200 <glassy> how is it like using GraphQL with Haskell?
2021-08-16 22:26:23 +0200 <glassy> i'm currently using Servant
2021-08-16 22:26:40 +0200 <tomsmeding> boxscape_: (be sure to use base-0.14.1.0 for that docs experiment, 0.15.0.0 doesn't seem to have doc links in the right places
2021-08-16 22:26:41 +0200 <tomsmeding> )
2021-08-16 22:27:15 +0200 <boxscape_> tomsmeding I accidentally used 4.15 https://hackage.haskell.org/package/base-4.15.0.0/docs/src/Data-Typeable-Internal.html#sameTypeRep
2021-08-16 22:27:37 +0200 <tomsmeding> ah you did it the manual way :p
2021-08-16 22:27:54 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2021-08-16 22:28:00 +0200 <boxscape_> yes, though I was wondering for a minute how you got links :)
2021-08-16 22:28:00 +0200 <tomsmeding> click further on typeRefFingerprint
2021-08-16 22:29:10 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 22:29:41 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-16 22:30:12 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-08-16 22:33:44 +0200 <boxscape_> I suppose this is where MD5 comes in https://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Fingerprint.html#fingerprintData
2021-08-16 22:34:22 +0200 <tomsmeding> and md5 is not the best hash ever
2021-08-16 22:34:40 +0200burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-08-16 22:34:43 +0200 <tomsmeding> well, it's a pretty good hash if the user is not malicious
2021-08-16 22:39:07 +0200L29Ah(~L29Ah@user/l29ah)
2021-08-16 22:41:32 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 22:41:53 +0200Danishman(~Allan@2-104-144-110-cable.dk.customer.tdc.net) (Quit: Leaving)
2021-08-16 22:43:44 +0200PinealGlandOptic(~PinealGla@37.115.210.35)
2021-08-16 22:44:36 +0200obscur1ty(~obscur1ty@156.194.133.134)
2021-08-16 22:44:36 +0200obscur1ty(~obscur1ty@156.194.133.134) (Changing host)
2021-08-16 22:44:36 +0200obscur1ty(~obscur1ty@user/obs/x-5924898)
2021-08-16 22:47:27 +0200tomku|twotomku
2021-08-16 22:48:22 +0200obs(~obscur1ty@user/obs/x-5924898) (Ping timeout: 245 seconds)
2021-08-16 22:51:03 +0200cuz(~user@38.140.58.234) (Remote host closed the connection)
2021-08-16 22:52:41 +0200jumper149(~jumper149@80.240.31.34)
2021-08-16 22:53:46 +0200nisstyre(~wes@user/nisstyre) (Ping timeout: 240 seconds)
2021-08-16 22:55:10 +0200jtomas(~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2021-08-16 22:55:45 +0200nisstyre(~wes@user/nisstyre)
2021-08-16 22:59:10 +0200__monty__(~toonn@user/toonn) (Quit: : p)
2021-08-16 23:00:00 +0200_bin(~bin@user/bin/x-1583188) (Read error: Connection reset by peer)
2021-08-16 23:00:01 +0200bin_(~bin@user/bin/x-1583188)
2021-08-16 23:00:40 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-08-16 23:00:50 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com)
2021-08-16 23:01:38 +0200 <jumper149> I am looking for a (easily) servant compatible html library that also includes a way to read in Markdown/AsciiDoc.
2021-08-16 23:02:13 +0200 <monochrom> maerwald: Interesting, I think I like the OsString idea, as you have pointed out why this has many benefits.
2021-08-16 23:02:29 +0200 <jumper149> Currently I'm most likely gonna choose 'blaze' with 'blaze-from-html' and AsciiDoctor.
2021-08-16 23:02:47 +0200 <jumper149> If anyone has a better idea, please let me know
2021-08-16 23:03:25 +0200mnrmnaughmnr
2021-08-16 23:04:51 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-16 23:06:16 +0200Ananta-shesha(~pjetcetal@2.95.210.188) (Ping timeout: 268 seconds)
2021-08-16 23:07:54 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-16 23:09:23 +0200haowenl(~Thunderbi@066-215-230-039.res.spectrum.com) (Quit: haowenl)
2021-08-16 23:14:41 +0200wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net)
2021-08-16 23:15:26 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-16 23:16:12 +0200Cajun(~Cajun@user/cajun)
2021-08-16 23:22:10 +0200pschorf(~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 240 seconds)
2021-08-16 23:22:19 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 268 seconds)
2021-08-16 23:25:00 +0200 <jumper149> Is there any reason to choose lucid over blaze aside from personal preference (regarding naming)?
2021-08-16 23:28:09 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-16 23:30:27 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 245 seconds)
2021-08-16 23:35:47 +0200skykanin(~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2)
2021-08-16 23:39:36 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-16 23:39:50 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-16 23:43:10 +0200slack1256(~slack1256@191.126.188.171) (Ping timeout: 240 seconds)
2021-08-16 23:45:44 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2021-08-16 23:49:43 +0200Codaraxis_(~Codaraxis@user/codaraxis)
2021-08-16 23:50:27 +0200tolarz(bfa39a78db@ircbox.informatik.uni-erlangen.de) (WeeChat 2.3)
2021-08-16 23:50:47 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-16 23:50:59 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-16 23:51:57 +0200Guest2602(~chris@81.96.113.213) (Remote host closed the connection)
2021-08-16 23:52:20 +0200zebragg(~chris@user/zebrag)
2021-08-16 23:52:32 +0200zebrag(~chris@user/zebrag) (Ping timeout: 245 seconds)
2021-08-16 23:53:16 +0200ubert(~Thunderbi@91.141.62.226.wireless.dyn.drei.com)
2021-08-16 23:54:48 +0200chris(~chris@81.96.113.213)
2021-08-16 23:54:53 +0200chrisGuest327
2021-08-16 23:56:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-16 23:59:39 +0200 <sm> don't think so
2021-08-16 23:59:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)