Home liberachat/#haskell: Logs Calendar

Logs on 2021-08-16 (liberachat/#haskell)

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

All times are in UTC on 2021-08-16.