Home freenode/#haskell: Logs Calendar

Logs on 2021-04-11 (freenode/#haskell)

00:00:04 <justsomeguy> What would a prefix operator look like?
00:00:33 <justsomeguy> Kind of like a function with symbols in the identifier?
00:01:51 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
00:02:29 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
00:02:45 <DigitalKiwi> --koz_
00:02:59 → manicpolymath joins (49369f53@c-73-54-159-83.hsd1.ga.comcast.net)
00:04:48 × carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.)
00:08:06 <koz_> I'm imagining something like a prefix version of 'complement'.
00:08:22 <koz_> So instead of writing 'complement foo', it'd be like, '.~. foo' or something.
00:08:33 <koz_> But now that I look at it, I can see the issue, lol.
00:10:36 <c_wraith> well, inasmuch as Haskell supports postfix operators, it supports prefix operators that return a function. :P
00:11:29 <koz_> c_wraith: Wait I don't understand?
00:12:22 → locrian9 joins (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net)
00:13:03 <c_wraith> ghc has an extension for postfix operators... that work by slightly liberalizing the section rules such that (foo@#%) is parsed as a section, but need not return a function.
00:13:19 × Iryon quits (~Iryon@185-12-21-77.sigma.jaslo.pl) (Remote host closed the connection)
00:13:27 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
00:13:29 <c_wraith> You could always main ($*#foo) an expression now. it just has to return a function :)
00:13:34 <c_wraith> *make
00:14:40 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
00:15:02 <koz_> OK, thanks.
00:16:04 → myShoggoth joins (~myShoggot@75.164.73.93)
00:17:11 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
00:20:06 × Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 260 seconds)
00:24:30 × manicpolymath quits (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) (Quit: Ping timeout (120 seconds))
00:25:10 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
00:25:11 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
00:30:00 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
00:30:44 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds)
00:30:58 → ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
00:31:20 → manicpolymath joins (49369f53@c-73-54-159-83.hsd1.ga.comcast.net)
00:33:54 → kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net)
00:34:04 → Tario joins (~Tario@201.192.165.173)
00:34:04 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
00:34:10 × epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 252 seconds)
00:34:29 × manicpolymath quits (49369f53@c-73-54-159-83.hsd1.ga.comcast.net) (Client Quit)
00:34:41 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
00:37:12 × locrian9 quits (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
00:38:20 → locrian9 joins (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net)
00:38:42 × jess quits (jess@freenode/staff/jess) (Quit: K-Lined)
00:38:51 → jess joins (jess@freenode/staff/jess)
00:40:23 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
00:40:46 → hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
00:42:09 → rprije joins (~rprije@59-102-63-15.tpgi.com.au)
00:47:13 → dycan joins (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw)
00:56:16 → rajivr joins (uid269651@gateway/web/irccloud.com/x-wqstqfwsmnwqeeor)
00:57:36 × chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
00:59:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
01:02:11 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds)
01:04:27 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
01:06:22 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
01:07:21 → chenshen joins (~chenshen@2620:10d:c090:400::5:42e9)
01:07:44 × average quits (uid473595@gateway/web/irccloud.com/x-pcrxvnrynryjlrmq) (Quit: Connection closed for inactivity)
01:08:44 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
01:09:34 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
01:10:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
01:10:58 × viluon quits (uid453725@gateway/web/irccloud.com/x-emtqdjwrdkrvrqyi) (Quit: Connection closed for inactivity)
01:13:25 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Remote host closed the connection)
01:15:18 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
01:20:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
01:21:41 <dmwit> Okay, hallway test: I write `type family Foo a = r | r -> a; type instance Foo (a -> b) = a -> Foo b`. Do you expect this to work or no?
01:22:18 → Tario joins (~Tario@201.192.165.173)
01:23:12 <dmwit> Eh, never mind. I just read the full error more carefully and now I feel silly, because it tells me how to make this work.
01:23:19 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
01:23:27 <dmwit> ghc++
01:23:31 × xff0x quits (~xff0x@2001:1a81:523f:f500:2a94:1071:add3:5a76) (Ping timeout: 260 seconds)
01:24:30 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad)
01:25:20 → xff0x joins (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625)
01:27:01 → hiptobecubic joins (~john@unaffiliated/hiptobecubic)
01:37:13 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
01:37:23 → kiweun joins (~kiweun@2607:fea8:2a62:9600:4e:3fe1:fdb1:102)
01:39:50 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-olzovrbijxmtrnfe) (Quit: Connection closed for inactivity)
01:40:05 × roconnor quits (~roconnor@host-45-78-241-236.dyn.295.ca) (Quit: Konversation terminated!)
01:41:28 → Guest78317 joins (~laudiacay@67.176.215.84)
01:43:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
01:45:48 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 246 seconds)
01:46:13 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
01:46:49 → syntactic_sugar joins (~amol@192.145.118.113)
01:47:18 × syntactic_sugar quits (~amol@192.145.118.113) (Client Quit)
01:47:48 → s00pcan joins (~chris@107.181.165.217)
01:56:34 × dariof4 quits (~dario@5.179.150.32) (Quit: WeeChat 3.1)
01:57:42 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
01:58:05 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
01:59:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
02:02:27 × chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
02:02:41 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
02:03:40 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
02:04:11 × kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
02:08:06 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds)
02:08:19 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
02:08:40 → sagax joins (~sagax_nb@213.138.71.146)
02:09:13 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
02:10:50 → cansis joins (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv)
02:12:30 × ep1ctetus_ quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
02:12:54 → Ishutin joins (~ishutin@193-110-63-24.cable-modem.hdsnet.hu)
02:13:48 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
02:14:48 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
02:15:46 × Ishutin_ quits (~ishutin@94-21-108-5.pool.digikabel.hu) (Ping timeout: 240 seconds)
02:18:38 × locrian9 quits (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
02:19:31 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
02:20:19 → kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net)
02:20:29 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
02:22:31 → gitgoood joins (~gitgood@80-44-10-151.dynamic.dsl.as9105.com)
02:23:08 → jamm_ joins (~jamm@unaffiliated/jamm)
02:23:18 → tofu2020 joins (6164daf9@097-100-218-249.res.spectrum.com)
02:24:55 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
02:24:59 × tofu2020 quits (6164daf9@097-100-218-249.res.spectrum.com) (Client Quit)
02:25:16 × gitgood quits (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 252 seconds)
02:26:05 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
02:27:36 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
02:27:53 × outerpassage quits (~outerpass@li1196-30.members.linode.com) (Ping timeout: 268 seconds)
02:28:05 → outerpassage_ joins (outerpassa@2600:3c01::f03c:92ff:fed1:4643)
02:30:10 × mmmattyx quits (uid17782@gateway/web/irccloud.com/x-shdhyxoxkigensao) (Quit: Connection closed for inactivity)
02:30:43 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
02:31:39 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
02:34:37 × kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
02:34:55 × yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds)
02:36:02 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
02:37:46 → chenshen joins (~chenshen@2620:10d:c090:400::5:42e9)
02:38:07 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
02:38:56 → yahb joins (xsbot@haskell/bot/yahb)
02:39:01 × chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit)
02:44:32 → solvr joins (57e3c46d@87.227.196.109)
02:49:28 × theDon quits (~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 268 seconds)
02:50:53 → theDon joins (~td@94.134.91.241)
02:52:09 × zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
02:52:25 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
02:52:29 → zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr)
02:53:32 → FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
02:53:32 finn_elija is now known as Guest55303
02:53:32 FinnElija is now known as finn_elija
02:55:40 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
02:56:45 × Guest55303 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
02:59:32 × jlamothe quits (~jlamothe@198.251.57.81) (Quit: leaving)
03:02:12 → drbean_ joins (~drbean@TC210-63-209-166.static.apol.com.tw)
03:02:33 × jamestmartin quits (james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in)
03:02:48 → jamestmartin joins (james@jtmar.me)
03:04:05 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:07:02 → anandprabhu joins (~anand@94.203.250.121)
03:09:00 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
03:09:36 → chenshen joins (~chenshen@2620:10d:c090:400::5:42e9)
03:16:02 × zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
03:17:10 → myShoggoth joins (~myShoggot@75.164.73.93)
03:17:11 × waleee-cl quits (uid373333@gateway/web/irccloud.com/x-kepeihezzibeebag) (Quit: Connection closed for inactivity)
03:18:05 × alx741 quits (~alx741@181.196.69.222) (Quit: alx741)
03:19:42 × anandprabhu quits (~anand@94.203.250.121) (Ping timeout: 268 seconds)
03:25:12 → jlamothe joins (~jlamothe@198.251.57.81)
03:26:38 × Rudd0^ quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer)
03:31:38 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
03:36:57 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
03:39:26 × rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
03:40:38 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
03:41:15 × dycan quits (~dycan@101-136-26-146.mobile.dynamic.aptg.com.tw) (Remote host closed the connection)
03:43:45 → Rudd0 joins (~Rudd0@185.189.115.103)
03:47:17 → Codaraxis__ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
03:48:18 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
03:51:11 × Codaraxis_ quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds)
03:58:31 → frozenErebus joins (~frozenEre@37.231.244.249)
04:03:00 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
04:09:15 → iridesce joins (c036de8c@192.54.222.140)
04:09:20 <iridesce> i once saw this website full of haskell and cat memes, does anyone happen to know what i'm talking about
04:12:31 × poscat quits (~poscat@123.116.69.89) (Read error: Connection reset by peer)
04:13:34 ski . o O ( <https://lambdacats.github.io/> )
04:15:03 → poscat joins (~poscat@114.245.106.173)
04:15:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
04:17:15 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
04:20:51 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
04:22:09 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
04:23:09 × iridesce quits (c036de8c@192.54.222.140) (Quit: Connection closed)
04:24:24 × chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
04:24:27 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds)
04:32:31 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
04:37:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
04:38:10 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
04:42:47 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
04:43:46 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
04:48:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
04:49:20 → vicfred joins (~vicfred@unaffiliated/vicfred)
04:49:23 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
04:49:24 → kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net)
04:51:05 → __minoru__shirae joins (~shiraeesh@46.34.207.175)
04:51:08 → jalumar joins (uid392211@gateway/web/irccloud.com/x-xzluywcotqccmnoo)
04:52:45 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
04:53:59 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
04:54:59 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
04:55:54 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 268 seconds)
04:58:44 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad)
04:59:11 × MarcelineVQ quits (~anja@198.254.208.159) (Ping timeout: 240 seconds)
04:59:24 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
05:00:35 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
05:01:00 → MarcelineVQ joins (~anja@198.254.208.159)
05:01:00 × MarcelineVQ quits (~anja@198.254.208.159) (Client Quit)
05:01:35 → MarcelineVQ joins (~anja@198.254.208.159)
05:02:20 → Tario joins (~Tario@201.192.165.173)
05:04:20 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
05:05:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
05:06:11 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
05:10:04 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
05:10:33 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Read error: Connection reset by peer)
05:10:54 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
05:16:41 → Tario joins (~Tario@201.192.165.173)
05:17:46 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
05:24:01 × kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
05:25:55 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
05:29:06 → chenshen joins (~chenshen@2620:10d:c090:400::5:42e9)
05:30:18 × chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Client Quit)
05:36:52 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
05:40:31 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
05:40:41 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
05:40:54 × hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 268 seconds)
05:43:01 → Guest78317 joins (~laudiacay@67.176.215.84)
05:48:23 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
05:51:54 × jathan quits (~jathan@69.61.93.38) (Quit: WeeChat 2.3)
05:55:04 → bitmagie joins (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de)
05:59:52 → chenshen joins (~chenshen@2620:10d:c090:400::5:42e9)
06:01:28 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
06:11:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
06:15:51 → Pickchea joins (~private@unaffiliated/pickchea)
06:16:49 → cads2 joins (~cads@ip-64-72-99-232.lasvegas.net)
06:17:44 mly[m] is now known as nly
06:19:28 nly is now known as mly
06:22:54 → kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net)
06:23:35 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds)
06:23:59 → BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
06:29:12 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
06:31:24 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
06:36:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
06:36:20 → Guest78317 joins (~laudiacay@67.176.215.84)
06:36:31 × coeus quits (~coeus@2003:d0:2726:7600:bb8c:fa91:2d4f:c1ef) (Ping timeout: 250 seconds)
06:40:05 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
06:41:03 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
06:44:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
06:49:37 → coeus joins (~coeus@p200300d0273ad90060e5967a49164cd4.dip0.t-ipconnect.de)
06:50:27 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
06:50:42 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
06:52:11 × kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
06:52:26 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds)
06:53:27 × chenshen quits (~chenshen@2620:10d:c090:400::5:42e9) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
06:54:39 → Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk)
07:00:52 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
07:01:45 → Guest78317 joins (~laudiacay@67.176.215.84)
07:06:07 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
07:06:10 → zeenk joins (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75)
07:08:50 → codygman____ joins (~user@47.186.207.161)
07:23:05 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:19e0:30a2:a9e3:a5ad) (Quit: My MacBook has gone to sleep. ZZZzzz…)
07:26:46 → frozenErebus joins (~frozenEre@37.231.244.249)
07:31:41 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
07:31:45 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
07:32:25 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
07:32:43 × cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds)
07:36:08 → william_ joins (~william@wsantos.net)
07:36:11 × __minoru__shirae quits (~shiraeesh@46.34.207.175) (Ping timeout: 240 seconds)
07:36:13 × todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 268 seconds)
07:37:15 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
07:38:02 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
07:40:44 × puke quits (~vroom@217.138.252.196) (Quit: puke)
07:41:54 ← william_ parts (~william@wsantos.net) ("Good Bye")
07:42:58 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
07:43:33 → viluon joins (uid453725@gateway/web/irccloud.com/x-tkvbkhprqmkdlgqp)
07:52:06 → srk joins (~sorki@unaffiliated/srk)
07:55:53 → todda7 joins (~torstein@athedsl-09242.home.otenet.gr)
07:56:34 × codygman____ quits (~user@47.186.207.161) (Ping timeout: 268 seconds)
07:56:57 → solvr joins (57e3c46d@87.227.196.109)
08:01:50 → pera joins (~pera@unaffiliated/pera)
08:03:38 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
08:03:50 → coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
08:07:06 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
08:09:33 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
08:11:49 × Adluc quits (~Adluc@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in)
08:12:52 → Adluc joins (~Adluc@83.167.228.130)
08:12:53 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 265 seconds)
08:13:29 → jophish__ joins (ca536851@202.83.104.81)
08:14:32 × kadobanana quits (~mud@unaffiliated/kadoban) (Ping timeout: 260 seconds)
08:14:44 → kadobanana joins (~mud@unaffiliated/kadoban)
08:15:46 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
08:15:53 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
08:15:55 → mrchampion joins (~mrchampio@38.18.109.23)
08:18:35 × gxt_ quits (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.1)
08:19:23 × kadobanana quits (~mud@unaffiliated/kadoban) (Ping timeout: 268 seconds)
08:19:47 → kadobanana joins (~mud@unaffiliated/kadoban)
08:21:44 × cansis quits (uid90033@gateway/web/irccloud.com/x-tiqdxekqfxdjofcv) (Quit: Connection closed for inactivity)
08:22:53 × OscarZ quits (~oscarz@95.175.104.80) (Quit: Leaving)
08:24:16 × fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
08:27:59 → malumore joins (~malumore@151.62.120.195)
08:32:46 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
08:35:10 × frozenErebus quits (~frozenEre@37.231.244.249) (Remote host closed the connection)
08:38:05 × todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 246 seconds)
08:38:27 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
08:39:07 × drbean_ quits (~drbean@TC210-63-209-166.static.apol.com.tw) (Ping timeout: 268 seconds)
08:40:34 → fendor joins (~fendor@178.165.131.171.wireless.dyn.drei.com)
08:41:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
08:48:29 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
08:48:53 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
08:50:21 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
08:54:40 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 252 seconds)
08:56:46 → syntactic_sugar joins (~syntactic@192.145.119.27)
08:57:55 ← jakalx parts (~jakalx@base.jakalx.net) ()
08:58:39 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer)
08:59:00 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
09:00:07 → kritzefitz joins (~kritzefit@212.86.56.80)
09:00:43 → fiedlr joins (~fiedlr@83.148.33.254)
09:02:05 → Varis joins (~Tadas@unaffiliated/varis)
09:02:37 → Guest78317 joins (~laudiacay@67.176.215.84)
09:03:19 × syntactic_sugar quits (~syntactic@192.145.119.27) (Quit: Leaving)
09:04:16 → Deide joins (~Deide@217.155.19.23)
09:05:50 → dycan joins (~dycan@2404:0:803a:3b26:2936:b1d0:7ae3:13a0)
09:07:26 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds)
09:08:00 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection)
09:09:59 → raym joins (~ray@45.64.220.116)
09:10:17 → jakalx joins (~jakalx@base.jakalx.net)
09:10:59 × dycan quits (~dycan@2404:0:803a:3b26:2936:b1d0:7ae3:13a0) (Remote host closed the connection)
09:13:19 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
09:15:53 → acidjnk_new joins (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de)
09:16:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
09:16:19 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
09:18:09 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
09:18:37 → todda7 joins (~torstein@athedsl-09242.home.otenet.gr)
09:19:38 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
09:20:44 × Varis quits (~Tadas@unaffiliated/varis) (Quit: Leaving)
09:21:26 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
09:24:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
09:27:07 → puzzleheaded joins (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34)
09:27:50 × Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
09:30:31 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
09:33:08 <puzzleheaded> Hi, I was wondering, of the Arduino/Processing procedures setup and loop (or draw for the latter), would it be possible to express both those procedures as a single monad?
09:34:12 <puzzleheaded> i.e., to express that code in a loop has some simple set up dependency, like setting a GPIO pin to output?
09:35:01 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
09:35:33 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds)
09:36:09 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
09:37:38 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
09:38:05 <puzzleheaded> I've tried doing that, but I get stuck on implementing (>>=)...
09:40:31 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
09:41:45 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
09:43:35 → rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme)
09:43:53 → kritzefitz joins (~kritzefit@212.86.56.80)
09:46:07 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
09:47:02 × Guest10879 quits (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
09:48:36 → berberman joins (~berberman@unaffiliated/berberman)
09:48:42 <puzzleheaded> Or is that an arrow?
09:48:51 × berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 252 seconds)
09:52:09 × puzzleheaded quits (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed)
09:52:40 → puzzleheaded joins (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34)
09:57:46 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
10:07:21 × zeenk quits (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!)
10:10:21 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
10:14:31 × puzzleheaded quits (6d95d822@gateway/web/cgi-irc/kiwiirc.com/ip.109.149.216.34) (Quit: Connection closed)
10:15:06 × bitmagie quits (~Thunderbi@200116b806e2c400995554712cdb3346.dip.versatel-1u1.de) (Quit: bitmagie)
10:17:35 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:17:52 × lgedeon quits (~lgedeon@185.169.233.10) (Remote host closed the connection)
10:21:55 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
10:27:53 → zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr)
10:29:39 → Alleria joins (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com)
10:30:03 Alleria is now known as Guest32831
10:33:36 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
10:33:53 → Frojoe1 joins (~Frojoe@139.28.218.148)
10:34:03 × Guest32831 quits (~textual@2603-7000-3040-0000-94ba-7ce9-66b7-db1b.res6.spectrum.com) (Ping timeout: 258 seconds)
10:38:04 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
10:39:43 × todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds)
10:44:26 × srk quits (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.2 - https://znc.in)
10:44:49 → srk joins (~sorki@unaffiliated/srk)
10:46:06 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
10:51:26 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
10:53:35 → __minoru__shirae joins (~shiraeesh@46.34.206.211)
10:55:13 × snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Remote host closed the connection)
10:56:03 → snowflake joins (~snowflake@gateway/tor-sasl/snowflake)
11:01:10 × __minoru__shirae quits (~shiraeesh@46.34.206.211) (Ping timeout: 252 seconds)
11:02:22 → haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net)
11:03:31 → Guest78317 joins (~laudiacay@67.176.215.84)
11:08:16 → __monty__ joins (~toonn@unaffiliated/toonn)
11:08:20 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds)
11:08:35 → Alleria__ joins (~textual@zrcout.mskcc.org)
11:09:04 → Guest78317 joins (~laudiacay@67.176.215.84)
11:09:06 → Varis joins (~Tadas@unaffiliated/varis)
11:10:48 → __minoru__shirae joins (~shiraeesh@46.34.206.212)
11:12:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
11:18:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
11:21:14 → DavidEichmann joins (~david@47.27.93.209.dyn.plus.net)
11:25:59 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
11:29:27 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
11:37:57 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 268 seconds)
11:42:38 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
11:43:31 × __minoru__shirae quits (~shiraeesh@46.34.206.212) (Ping timeout: 268 seconds)
11:46:26 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
11:47:16 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
11:48:11 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
11:49:13 → dmytrish joins (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422)
11:49:58 × nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection)
11:50:50 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
11:52:27 × Frojoe1 quits (~Frojoe@139.28.218.148) (Remote host closed the connection)
11:52:35 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
11:52:54 → frozenErebus joins (~frozenEre@37.231.244.249)
11:53:14 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-sytjuaexxvtymrme) (Quit: Connection closed for inactivity)
11:53:48 → nek0 joins (~nek0@mail.nek0.eu)
11:53:51 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
11:56:31 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
11:57:01 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in)
11:57:21 → dyeplexer joins (~lol@unaffiliated/terpin)
11:58:03 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
11:58:46 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
11:59:40 → __minoru__shirae joins (~shiraeesh@46.34.207.163)
11:59:45 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
12:00:14 × frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving)
12:00:28 → solvr joins (57e3c46d@87.227.196.109)
12:00:30 → frozenErebus joins (~frozenEre@37.231.244.249)
12:02:13 × rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 252 seconds)
12:02:26 × malumore quits (~malumore@151.62.120.195) (Ping timeout: 240 seconds)
12:04:15 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
12:04:21 → bzere joins (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de)
12:05:17 × bzere quits (1f10993b@ip1f10993b.dynamic.kabel-deutschland.de) (Client Quit)
12:10:44 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
12:14:57 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
12:16:16 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
12:18:47 → howdoi joins (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz)
12:18:49 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
12:19:21 → malumore joins (~malumore@151.62.120.195)
12:20:22 × __minoru__shirae quits (~shiraeesh@46.34.207.163) (Ping timeout: 252 seconds)
12:21:03 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
12:22:04 → cfricke joins (~cfricke@unaffiliated/cfricke)
12:24:01 → gdude2002 joins (~gdude2002@178.239.168.171)
12:24:49 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
12:26:26 → jamm_ joins (~jamm@unaffiliated/jamm)
12:29:10 → dariof4 joins (~dario@217.171.72.2)
12:29:27 × hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds)
12:29:27 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:fae4:d585:4c66:6341) (Ping timeout: 260 seconds)
12:30:28 → aveltras joins (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn)
12:36:29 → BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
12:36:50 → machinedgod joins (~machinedg@24.105.81.50)
12:38:35 × gavin quits (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection)
12:41:30 → hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9)
12:41:35 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:5814:9eff:6ec3:1fa9)
12:42:43 × gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
12:45:26 → coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
12:48:10 × falsifian quits (~falsifian@exoco.falsifian.org) (Quit: leaving)
12:51:28 → falsifian joins (~falsifian@exoco.falsifian.org)
12:51:57 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds)
12:52:11 <hololeap> d34df00d: about your question from yesterday. i realized that what you're probably looking for is `StateT s (MaybeT m) a`, which would expand to `s -> m (Maybe (a, s))`. this encodes the idea that you have two choices: your value 'a' _and_ a new state have been produced, or nothing at all.
12:52:51 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
12:52:59 <olligobber> is there a command (maybe in cabal) to resolve all the imports and make one big haskell file only depending on prelude
12:53:37 × fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
12:53:42 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
12:53:45 <hololeap> with `MaybeT (StateT s m) a`, you could have this produced without any complaints: m (Nothing, newState)
12:54:25 <Philonous> olligobber, You mean inline all your dependencies? Not that I know of, and I'm not sure how that would work, considering some packages have sources written in C
12:54:28 <hololeap> which would still short circuit due to the way MaybeT works, but might not be something you want
12:54:49 → fiedlr joins (~fiedlr@83.148.33.254)
12:55:25 <olligobber> Philonous, well, maybe just some dependencies? I need to submit a single source file
12:55:50 <olligobber> but the place it will be compiled doesn't have all the dependencies (one in particular which i wrote)
12:56:42 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
12:57:52 <hololeap> can the source file be a zip or tar.gz ? :p
12:58:26 <Philonous> olligobber, Template Haskell also means this doesn't work in general. (It's quite possible that someone wrote a "good enough" script for your use case, but I wouldn't have heard of it)
12:58:42 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77)
12:58:51 <olligobber> nah, has to be a .hs
12:58:59 <olligobber> and yeah im using template haskell
12:59:31 <hololeap> is this for a class?
12:59:35 <olligobber> no, for fun
12:59:47 <olligobber> I wrote a very inefficient addition program
12:59:53 <hololeap> then why the arbitrary restrictions?
13:01:18 <Philonous> olligobber, TH can't use top-level definitions from the same file, only imported, so your idea might fall apart right there
13:01:51 <Philonous> OTOH the script could just run the TH and splice the output, so all is not lost.
13:02:07 → TBM_ joins (~guest_wii@86-41-3-16-dynamic.agg2.grs.prp-wtd.eircom.net)
13:02:09 <olligobber> yeah, that's what I want it to do
13:02:10 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-cppcunbrtpbtpgrh)
13:03:11 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
13:06:14 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
13:06:45 × TBM_ quits (~guest_wii@86-41-3-16-dynamic.agg2.grs.prp-wtd.eircom.net) (Ping timeout: 268 seconds)
13:08:13 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
13:08:33 × Rudd0 quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer)
13:09:10 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds)
13:09:41 × xff0x quits (~xff0x@2001:1a81:5278:bf00:7c7:a833:683d:2625) (Ping timeout: 258 seconds)
13:10:33 → xff0x joins (~xff0x@2001:1a81:5278:bf00:86d4:8676:2f4e:4222)
13:12:36 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
13:13:37 <olligobber> I guess I don't really need to do it
13:13:50 <olligobber> I know it's just going to get TLE or MLE
13:13:59 × Codaraxis__ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
13:14:03 <olligobber> given it's taken 30 minutes to add 77 to 777
13:14:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
13:14:47 → Codaraxis__ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
13:21:27 → jamm__ joins (~jamm@unaffiliated/jamm)
13:22:22 × Codaraxis__ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
13:22:32 → drbean_ joins (~drbean@TC210-63-209-56.static.apol.com.tw)
13:22:50 → Codaraxis__ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
13:22:53 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
13:23:11 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:e5ae:8e60:92a1:72dc)
13:25:01 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
13:30:37 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
13:32:31 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds)
13:33:39 → frozenErebus joins (~frozenEre@37.231.244.249)
13:33:49 × acidjnk_new quits (~acidjnk@p200300d0c72b9512392c48d8e031de92.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
13:34:48 × Alleria__ quits (~textual@zrcout.mskcc.org) (Remote host closed the connection)
13:36:22 → alx741 joins (~alx741@181.196.69.222)
13:36:32 → rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-axpcumsbabjjlcuo)
13:38:20 → urodna joins (~urodna@unaffiliated/urodna)
13:46:43 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds)
13:48:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
13:49:32 → nschoe joins (~quassel@2a01:e0a:8e:a190:add7:2347:809a:4424)
13:49:59 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
13:50:27 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:e5ae:8e60:92a1:72dc) (Read error: Connection reset by peer)
13:51:13 → __minoru__shirae joins (~shiraeesh@46.34.207.72)
13:51:27 → mmmattyx joins (uid17782@gateway/web/irccloud.com/x-zbqbfvcklnwtphsz)
13:54:09 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) (Quit: My MacBook has gone to sleep. ZZZzzz…)
13:56:38 × drbean_ quits (~drbean@TC210-63-209-56.static.apol.com.tw) (Ping timeout: 240 seconds)
13:56:51 → todda7 joins (~torstein@athedsl-09242.home.otenet.gr)
13:57:33 → puke joins (~vroom@217.138.252.196)
14:00:18 → ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
14:00:26 → v01d4lph4 joins (~v01d4lph4@223.177.186.2)
14:00:59 × ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
14:00:59 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
14:02:09 × jamm__ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
14:03:02 → jamm_ joins (~jamm@unaffiliated/jamm)
14:04:45 <olligobber> oh, I killed 77+777 after an hour
14:04:56 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
14:05:10 × v01d4lph4 quits (~v01d4lph4@223.177.186.2) (Ping timeout: 260 seconds)
14:05:11 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
14:05:46 → solvr joins (57e3c46d@87.227.196.109)
14:07:06 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
14:07:19 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
14:07:37 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
14:07:48 <maralorn> I have a library that returns a Prelude.undefined in some cases and I can‘t do anything about it on the short term. Is there something like defaultIfUndefined :: a -> a -> a to recover from that?
14:09:12 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
14:10:20 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
14:10:45 → thblt joins (~thblt@unaffiliated/thblt)
14:12:11 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
14:14:58 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
14:15:23 <hpc> maralorn: the spoon package, maybe?
14:16:05 <hpc> maralorn: or lub, if you want to handle more than just exception-y bottoms
14:17:09 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:21:45 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
14:22:46 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:24:50 → jamm_ joins (~jamm@unaffiliated/jamm)
14:25:31 → slaterr joins (~bc8134e3@217.29.117.252)
14:27:31 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
14:27:34 × howdoi quits (uid224@gateway/web/irccloud.com/x-gsmzjfvgsnyopnqz) (Quit: Connection closed for inactivity)
14:28:24 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:32:52 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
14:33:58 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:38:22 → plutoniix joins (~q@node-ur9.pool-125-24.dynamic.totinternet.net)
14:38:43 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
14:39:10 → shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
14:39:39 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:41:46 → JanBessai joins (~JanB@85-22-24-170.ip.dokom21.de)
14:42:01 → geekosaur joins (ae68c070@cpe-174-104-192-112.neo.res.rr.com)
14:42:20 × JanBessai quits (~JanB@85-22-24-170.ip.dokom21.de) (Client Quit)
14:43:53 × nschoe quits (~quassel@2a01:e0a:8e:a190:add7:2347:809a:4424) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
14:43:59 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
14:44:06 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
14:45:12 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:48:10 → kaction joins (~kaction@pool-96-255-101-159.washdc.fios.verizon.net)
14:49:55 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
14:50:23 → kuribas joins (~user@ptr-25vy0i7appkeq6vlzis.18120a2.ip6.access.telenet.be)
14:50:49 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
14:50:58 <kuribas> is there a way to generate javascript?
14:51:02 <kuribas> I wanted to use Aeson, but that doesn't allow inline javascript...
14:51:31 × dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
14:51:45 <kuribas> Some hack on top of Aeson is also possible.
14:52:08 <kuribas> Maybe some clever search replace in the JSON...
14:53:28 × shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.)
14:55:06 × kaction quits (~kaction@pool-96-255-101-159.washdc.fios.verizon.net) (Remote host closed the connection)
14:55:11 → Alleria joins (~textual@zrcout.mskcc.org)
14:55:29 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
14:55:35 Alleria is now known as Guest3534
14:56:13 → idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
14:57:46 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 268 seconds)
14:57:51 ← jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client")
14:57:55 × slaterr quits (~bc8134e3@217.29.117.252) (Quit: quit)
15:00:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
15:01:22 <__minoru__shirae> kuribas: what happens to the generated javascript after it is generated?
15:01:35 <kuribas> __minoru__shirae: rendered on a webpage
15:01:58 <__minoru__shirae> do you bundle all the javascript into one file, or do you add each script to the page manually
15:02:26 <__minoru__shirae> because you can simply create a script and add it to the page manually
15:02:34 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 260 seconds)
15:03:29 <kuribas> __minoru__shirae: sadly it has to be in the json
15:03:42 <kuribas> __minoru__shirae: http://www.alpacajs.org/docs/api/events.html
15:04:03 <kuribas> shatters my idea of a nice declarative UI :-(
15:05:22 × son0p quits (~ff@181.136.122.143) (Ping timeout: 252 seconds)
15:05:50 → dexterlb joins (~dexterlb@2a01:9e40:2:2::2)
15:09:28 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
15:10:36 <__minoru__shirae> kuribas: why generate javascript?
15:10:57 <kuribas> __minoru__shirae: did you click the link?
15:11:02 <__minoru__shirae> yes
15:11:10 <kuribas> there you see the javascript?
15:11:31 <__minoru__shirae> I mean, you want something like macros for js?
15:11:49 <__minoru__shirae> yes, I see the js there
15:12:22 <kuribas> no, I want to generate the javascript
15:12:54 <kuribas> I am making combinators for generating these config.
15:13:10 <kuribas> Which was nice using Aeson, but the Javascript is problematic.
15:13:11 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds)
15:14:29 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77)
15:15:14 <__minoru__shirae> you can parameterize some js function with something that changes and then call that function with different parameters
15:15:23 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
15:15:24 → average joins (uid473595@gateway/web/irccloud.com/x-kahrnfsnbzakrhmz)
15:15:53 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
15:16:17 <__minoru__shirae> I mean, instead of generating "x + y", you can create function plus(x, y) and then call it
15:16:37 <__minoru__shirae> that's why I'm asking: why generate js?
15:17:09 <kuribas> I don't how that solves anything...
15:19:59 <kuribas> maybe I'll generate some pattern, like "$postRenderFunction$", then replace it in the generated ByteString
15:22:41 <kuribas> I could use language-ecmascript-0.19.1.0, but that's not very convenient.
15:27:16 <kuribas> oh wait, I can separate the javascript and JSON...
15:27:52 <kuribas> then I generate the separately, and just use string concatination...
15:29:52 × raym quits (~ray@45.64.220.116) (Quit: leaving)
15:31:12 → kritzefitz joins (~kritzefit@212.86.56.80)
15:32:02 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
15:32:08 → Tario joins (~Tario@201.192.165.173)
15:36:15 <__minoru__shirae> so you want to generate "json with functions" using something on top of json converter library
15:36:40 <kuribas> yeah
15:38:44 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:392f:8948:67b:8e77) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:39:00 × notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer)
15:39:35 <__minoru__shirae> I doubt that those libraries provide an API for inlining functions into json
15:39:58 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
15:40:11 × aveltras quits (uid364989@gateway/web/irccloud.com/x-bzwnkfqpsbcsteyn) (Quit: Connection closed for inactivity)
15:41:05 <__minoru__shirae> what if you approach the problem from the other end?
15:43:02 <__minoru__shirae> you can create some translation layer to js, so that you send proper json and then translate it to whatever alpaca wants
15:43:05 <kuribas> __minoru__shirae: I'll use ByteString.++ :-)
15:43:14 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-axpcumsbabjjlcuo) (Quit: Connection closed for inactivity)
15:43:54 → Guest35219 joins (~zmv@unaffiliated/zmv)
15:43:57 → jakalx joins (~jakalx@base.jakalx.net)
15:44:01 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
15:44:03 × jophish__ quits (ca536851@202.83.104.81) (Ping timeout: 240 seconds)
15:44:08 × Guest35219 quits (~zmv@unaffiliated/zmv) (Remote host closed the connection)
15:44:28 → pavonia joins (~user@unaffiliated/siracusa)
15:44:51 → cfricke joins (~cfricke@unaffiliated/cfricke)
15:45:13 → notzmv- joins (~zmv@unaffiliated/zmv)
15:45:30 notzmv- is now known as notzmv
15:45:49 <__minoru__shirae> I mean, instead of calling "$("#field1").alpaca({"some json with functions": ""})"
15:46:11 <__minoru__shirae> you call $("#field1").alpaca(translate({"some proper json":""}))
15:46:51 × xff0x quits (~xff0x@2001:1a81:5278:bf00:86d4:8676:2f4e:4222) (Ping timeout: 260 seconds)
15:46:52 <__minoru__shirae> the difference is calling "translate" function
15:47:11 × gdude2002 quits (~gdude2002@178.239.168.171) (Ping timeout: 240 seconds)
15:47:46 → xff0x joins (~xff0x@port-92-193-213-105.dynamic.as20676.net)
15:48:49 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
15:48:54 <kuribas> ah I see what you mean.
15:49:05 <kuribas> yeah, that could work
15:49:40 <kuribas> I could separate the JSON as much as possible with some custom javascript.
15:50:07 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
15:50:19 → coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
15:51:59 <kuribas> Then I never need to generate javascript, I just make a single javascript function, which I put into a haskell string.
15:54:00 <kuribas> That soulds like the best plan.
15:56:40 → renzhi joins (~renzhi@2607:fa49:653f:a800::4223)
16:00:03 × jerin quits (jerinmatri@gateway/shell/matrix.org/x-zeozwveuydonwzcq) (Quit: Idle for 30+ days)
16:00:29 → Rudd0 joins (~Rudd0@185.189.115.108)
16:04:23 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
16:05:38 → lemmih_ joins (~lemmih@58.182.184.138)
16:06:16 ← average parts (uid473595@gateway/web/irccloud.com/x-kahrnfsnbzakrhmz) ()
16:06:46 → chenshen joins (~chenshen@2620:10d:c090:400::5:b6af)
16:07:10 × lemmih quits (~lemmih@2406:3003:2072:44:194c:74d8:3073:4082) (Ping timeout: 258 seconds)
16:09:10 × amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
16:09:13 → myShoggoth joins (~myShoggot@75.164.73.93)
16:11:07 → amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com)
16:14:45 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
16:16:57 × __minoru__shirae quits (~shiraeesh@46.34.207.72) (Ping timeout: 260 seconds)
16:17:11 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 265 seconds)
16:19:24 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
16:21:12 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
16:22:22 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds)
16:24:30 → son0p joins (~ff@181.136.122.143)
16:27:09 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
16:33:33 → wroathe joins (~wroathe@68.54.25.135)
16:34:40 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
16:34:46 × Guest3534 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds)
16:37:00 → tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net)
16:38:17 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds)
16:38:47 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
16:40:40 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c1cc:585b:1807:78e)
16:41:09 → Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net)
16:42:00 × mrchampion quits (~mrchampio@38.18.109.23) (Read error: Connection reset by peer)
16:49:26 × dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds)
16:49:40 → mrchampion joins (~mrchampio@38.18.109.23)
16:50:22 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
16:50:32 × tanuki quits (~quassel@173.168.178.1) (Ping timeout: 265 seconds)
16:51:30 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
16:51:45 → fendor_ joins (~fendor@91.141.0.248.wireless.dyn.drei.com)
16:54:15 × fendor quits (~fendor@178.165.131.171.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
16:56:35 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
16:56:47 → locrian9 joins (~mike@cpe-104-173-20-162.socal.res.rr.com)
16:57:16 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
16:57:48 → Pickchea joins (~private@unaffiliated/pickchea)
16:58:29 → raichoo joins (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de)
17:00:06 → Alleria joins (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com)
17:00:31 Alleria is now known as Guest17509
17:01:59 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
17:02:55 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
17:04:40 × Guest17509 quits (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com) (Ping timeout: 258 seconds)
17:07:27 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
17:08:31 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
17:08:34 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
17:12:09 × chenshen quits (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
17:13:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
17:17:47 → chenshen joins (~chenshen@2620:10d:c090:400::5:b6af)
17:19:21 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
17:19:39 ← jakalx parts (~jakalx@base.jakalx.net) ()
17:19:47 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
17:24:21 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
17:25:21 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
17:26:47 × quaestor quits (~quaestor@griffith.christophrauch.de) (Ping timeout: 265 seconds)
17:29:18 → dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net)
17:29:57 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
17:29:59 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
17:30:33 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
17:32:19 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c1cc:585b:1807:78e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
17:33:02 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
17:35:28 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
17:35:38 × malumore quits (~malumore@151.62.120.195) (Ping timeout: 268 seconds)
17:37:10 × locrian9 quits (~mike@cpe-104-173-20-162.socal.res.rr.com) (Ping timeout: 252 seconds)
17:38:13 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds)
17:38:37 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
17:40:36 → Alleria joins (~textual@2603-7000-3040-0000-35a2-98b5-94af-f785.res6.spectrum.com)
17:41:00 Alleria is now known as Guest61238
17:41:35 × kuribas quits (~user@ptr-25vy0i7appkeq6vlzis.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
17:43:51 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
17:43:56 → jakalx joins (~jakalx@base.jakalx.net)
17:45:32 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
17:47:13 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
17:47:21 → malumore joins (~malumore@151.62.120.195)
17:48:39 × puke quits (~vroom@217.138.252.196) (Read error: Connection reset by peer)
17:48:54 → puke joins (~vroom@217.138.252.196)
17:51:41 → cfricke joins (cfricke@gateway/vpn/mullvad/cfricke)
17:52:58 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
17:54:41 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
17:54:53 × puke quits (~vroom@217.138.252.196) (Remote host closed the connection)
17:55:30 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
17:55:56 → puke joins (~vroom@217.138.252.196)
17:55:59 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
17:56:38 × AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9)
17:59:13 → syntactic_sugar joins (~syntactic@192.145.119.105)
17:59:53 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
18:00:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
18:01:08 → Sornaensis joins (~Sornaensi@102.129.202.233)
18:01:18 × cfricke quits (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds)
18:02:45 → __minoru__shirae joins (~shiraeesh@46.34.207.250)
18:03:58 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
18:04:36 × Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 268 seconds)
18:04:48 × syntactic_sugar quits (~syntactic@192.145.119.105) (Quit: Leaving)
18:05:52 <hololeap> is there a compatibility layer between (MonadBase IO)/(MonadBaseControl IO) and (MonadIO/MonadUnliftIO)? i ask because i'm writing a library using the former, but i don't want to alienate users who use the latter
18:07:03 <hololeap> i also don't want to alienate users who use The Ladder
18:08:29 → helo_ joins (~helo@2a02:810c:ccc0:2d4:8d6b:adee:df65:bf55)
18:09:25 × machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
18:10:30 × chenshen quits (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
18:10:50 × dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection)
18:13:26 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
18:14:08 → myShoggoth joins (~myShoggot@75.164.73.93)
18:14:58 × wroathe quits (~wroathe@68.54.25.135) (Quit: Lost terminal)
18:15:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
18:15:38 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
18:16:48 → coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
18:17:38 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in)
18:18:20 × raichoo quits (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) (Quit: Lost terminal)
18:19:45 × __minoru__shirae quits (~shiraeesh@46.34.207.250) (Read error: Connection timed out)
18:20:10 → __minoru__shirae joins (~shiraeesh@46.34.207.250)
18:20:53 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
18:20:56 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Remote host closed the connection)
18:22:07 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
18:22:14 → vicfred joins (~vicfred@unaffiliated/vicfred)
18:23:17 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
18:23:46 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
18:24:07 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
18:24:11 × xff0x quits (~xff0x@port-92-193-213-105.dynamic.as20676.net) (Ping timeout: 240 seconds)
18:24:36 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
18:24:55 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
18:25:21 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
18:25:43 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
18:25:45 → xff0x joins (~xff0x@2001:1a81:5278:bf00:33a0:2c0f:72ed:caee)
18:26:12 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
18:26:31 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
18:27:02 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
18:27:11 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
18:27:20 × mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit)
18:28:24 × myShoggoth quits (~myShoggot@75.164.73.93) (Remote host closed the connection)
18:28:32 <solvr> What if Haskell made a few small concessions so the general audience could like it more.
18:28:49 → myShoggoth joins (~myShoggot@75.164.73.93)
18:28:55 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 2.8)
18:29:08 <maerwald> solvr: like?
18:30:08 <thblt> I vote GOTO
18:30:14 <MarcelineVQ> concede that python is the superior language
18:30:37 <solvr> Something like Erlang's process dictionary. And something like Erlang's processes
18:30:43 <solvr> so it looks more OOP
18:31:15 <MarcelineVQ> processes are cool, cloud-haskell has a bit of that iirc
18:31:15 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
18:31:32 <MarcelineVQ> *Cloud Haskell (distributed-process)
18:32:53 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
18:32:54 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
18:34:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
18:36:42 <maerwald> isn't that dead?
18:37:04 <geekosaur> effectively
18:38:56 <MarcelineVQ> yet with untold aeons even death may die
18:39:06 <MarcelineVQ> e.g. there's also the option to compile _to_ erlang
18:39:31 <solvr> What about compiling to JS
18:40:24 × jalumar quits (uid392211@gateway/web/irccloud.com/x-xzluywcotqccmnoo) (Quit: Connection closed for inactivity)
18:40:47 <MarcelineVQ> ghcjs is the most successful effort for doing that in haskell
18:41:23 <solvr> I guess Haskell will never be very popular then
18:41:58 <juri_> I hope people will eventually get tired of writing bad imperitive code.
18:42:04 <maerwald> very popular means you're flooded with mediocre library maintainers, as can be seen on npm
18:42:39 → jamm_ joins (~jamm@unaffiliated/jamm)
18:42:56 <solvr> juri_, some imperative code is most suitable between boundaries
18:43:21 <maerwald> what's wrong with imperative code
18:43:43 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
18:43:43 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds)
18:43:43 → chenshen joins (~chenshen@2620:10d:c090:400::5:b6af)
18:44:21 <juri_> it can be useful, but it can also be completely horrible. i like writing pure code, with a small kernel of imperitive code.
18:44:23 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
18:44:37 <maerwald> that sounds like taste, not an actual engineering concern
18:44:59 → Lycurgus joins (~niemand@98.4.118.65)
18:46:24 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds)
18:46:59 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
18:47:15 <juri_> the ability to reason about code is an engineering concern. pure code is easier to reason about, which tends to lead to better, more maintainable code.
18:48:14 <maerwald> Don't think that's true. The problem is shared mutable state. You can tackle that in imperative languages too, see rust.
18:48:40 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
18:53:08 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
18:55:17 <Lycurgus> what is "pure code"?
18:55:43 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
18:56:04 <Lycurgus> the instructions only in a code stream?
18:56:43 <dcbdan> me thinks: code that has no side effects. As in, can be expressed like a mathematical function
18:56:57 → mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
18:56:57 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
18:57:01 <maerwald> simplified: pure code is code where the evaluation strategy doesn't affect semantics
18:57:08 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
18:58:11 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
18:58:15 <Lycurgus> so it's referential transparency
18:58:31 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
18:58:44 → BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com)
18:59:00 <maerwald> the point is that it's not defined for execution
18:59:03 <Lycurgus> which sounds like a thing where as "pure oode" sounds like bs
18:59:33 <maerwald> so the fact that haskell is pure doesn't actually give you much, because you can pass around IORefs like a madman, can you not?
18:59:35 <Lycurgus> asif pure code lacked smells
19:00:04 → AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:58c8:ec73:6b59:f408)
19:00:18 <Lycurgus> asif the pure were the clean
19:00:45 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds)
19:03:26 → HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de)
19:04:10 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
19:07:45 → minoru_shiraeesh joins (~shiraeesh@109.166.56.11)
19:08:11 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
19:08:28 × __minoru__shirae quits (~shiraeesh@46.34.207.250) (Ping timeout: 252 seconds)
19:10:19 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
19:10:25 × helo_ quits (~helo@2a02:810c:ccc0:2d4:8d6b:adee:df65:bf55) (Quit: Leaving)
19:10:35 × Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt)
19:12:22 × chenshen quits (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
19:13:11 × mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
19:13:40 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 268 seconds)
19:15:17 → gioyik joins (~gioyik@gateway/tor-sasl/gioyik)
19:17:59 × solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed)
19:18:45 → jpe90 joins (~user@pool-108-31-85-19.washdc.fios.verizon.net)
19:18:50 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
19:19:47 → chenshen joins (~chenshen@2620:10d:c090:400::5:b6af)
19:24:33 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds)
19:26:05 → myShoggoth joins (~myShoggot@75.164.73.93)
19:26:09 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
19:30:20 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
19:35:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
19:39:40 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
19:41:55 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
19:43:40 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
19:46:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
19:47:32 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection)
19:50:00 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
19:50:01 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
19:50:27 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
19:50:57 → zeenk joins (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75)
19:52:37 → coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl)
19:53:11 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds)
19:53:14 Lord_of_Life_ is now known as Lord_of_Life
19:55:39 × gitgoood quits (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Ping timeout: 265 seconds)
20:00:26 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds)
20:01:22 × meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in)
20:01:45 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
20:02:14 → gitgood joins (~gitgood@host-78-145-142-133.as13285.net)
20:02:16 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
20:03:30 × coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
20:03:35 → meck joins (~meck@li1809-18.members.linode.com)
20:04:07 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
20:05:51 → Guest78317 joins (~laudiacay@67.176.215.84)
20:09:46 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
20:10:09 → kritzefitz joins (~kritzefit@212.86.56.80)
20:11:22 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
20:11:41 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
20:13:38 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
20:13:40 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
20:16:39 → RandomArcher joins (~RandomArc@90.153.229.57)
20:19:57 → ystael joins (~ystael@209.6.50.55)
20:20:18 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
20:20:31 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
20:20:59 → Feuermagier_ joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
20:21:52 × Feuermagier quits (~Feuermagi@213.178.26.41) (Read error: Connection reset by peer)
20:22:14 × minoru_shiraeesh quits (~shiraeesh@109.166.56.11) (Ping timeout: 260 seconds)
20:25:12 → jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182)
20:27:24 × chenshen quits (~chenshen@2620:10d:c090:400::5:b6af) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
20:28:12 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
20:30:52 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
20:31:43 × geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed)
20:32:55 × worc3131 quits (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Ping timeout: 260 seconds)
20:33:14 → worc3131 joins (~quassel@90.221.179.224)
20:33:51 × alx741 quits (~alx741@181.196.69.222) (Ping timeout: 268 seconds)
20:37:34 × worc3131 quits (~quassel@90.221.179.224) (Ping timeout: 252 seconds)
20:39:20 <monochrom> I'm done with letting solvr waste our time every few days with their "haskell should be more mutable" drivel.
20:39:47 <monochrom> Next time it will be a ban.
20:40:48 <maerwald> oh, was it supposed to be a troll attempt?
20:41:23 <monochrom> I can't tell the difference between trolling and lunacy.
20:41:42 <monochrom> But it's drivel either way.
20:42:05 <monochrom> And it's repeating offence.
20:42:13 <monochrom> s/repeating/repeated/
20:42:43 → nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
20:43:06 → myShoggoth joins (~myShoggot@75.164.73.93)
20:43:11 <maerwald> Popularity is a double edged sword anyway... too much and you have too many mediocre maintainers, too little and you have no ecosystem.
20:43:35 <monochrom> Repeated offenders and lenient liberals alike complain about my bans because they don't have state to remember that I don't ban until I see repeaated offense.
20:43:46 × RandomArcher quits (~RandomArc@90.153.229.57) (Ping timeout: 240 seconds)
20:44:08 <monochrom> Oh popularity is just their newest excuse.
20:44:45 <monochrom> Previously they cited other excuses to demand mutability such as "interface boundary" and "data structure efficiency".
20:45:46 <monochrom> and ""Functional programming is to turn on the light, you need to rebuild your house"
20:46:27 <monochrom> and http://tunes.org/~nef/logs/haskell/21.04.06 search for <solvr>
20:46:54 <maerwald> haha
20:47:01 <maerwald> that's a good one
20:48:18 → alx741 joins (~alx741@181.196.68.37)
20:48:42 <maerwald> maybe it's sophisticated critique about the lack of modular and composable effects systems
20:49:13 → jamm_ joins (~jamm@unaffiliated/jamm)
20:49:22 <maerwald> well, or not...
20:50:53 × malumore quits (~malumore@151.62.120.195) (Ping timeout: 240 seconds)
20:51:18 × astroanax quits (~astroanax@cosmic.voyage) (Ping timeout: 240 seconds)
20:51:49 nckx is now known as jorts
20:51:51 <monochrom> I once saw a genuinely sophisticated critique. It was from one of the Oz people IIRC. I say that it is genuinely sophisticated because it included a convincing, concrete example.
20:52:26 × zyeri quits (zyeri@tilde.team/users/zyeri) (Ping timeout: 276 seconds)
20:53:14 <monochrom> The difference between genuine sophisticated critique and lunacy is that the lunatic one just keeps talking and keeps talking bigger and bigger.
20:53:14 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
20:53:39 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
20:53:43 → gentauro joins (~gentauro@unaffiliated/gentauro)
20:53:43 <monochrom> Equivalently if it's indistinguishable from a Markov-Mealy machine then it's lunacy.
20:53:44 → m_miro joins (4c4829bb@76.72.41.187)
20:53:53 <monochrom> i.e., armchair philosopher
20:53:58 <maerwald> I didn't find it disruptive until now, but I only noticed them today
20:56:33 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 265 seconds)
20:56:58 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
20:57:44 <d34df00d> hololeap: oh, right.
20:57:55 <d34df00d> Commuting monads is hard! Let me try to internalize that.
20:58:40 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection)
20:59:40 → falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
21:01:06 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 240 seconds)
21:05:15 <m_miro> Excuse me, is it possible to have a data type that contains a definition like:
21:05:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
21:05:18 <m_miro> data Custom = Custom Custom | Something
21:05:40 <m_miro> and then have a variable  like:
21:05:57 <m_miro> myVariable = Something Something?
21:06:21 <dcbdan> Do you mean myVariable = Custom Something ?
21:06:49 <dcbdan> Something Something does not work, because the Something constructor is just of type Custom
21:06:59 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
21:07:10 <m_miro> Oh I see
21:07:24 <monochrom> Perhaps please don't use the same "Custom" name for two unrelated things.
21:07:58 <maerwald> data Custom = MkCustom Custom | MkSomething
21:08:10 <dcbdan> ^one 'Custom' is a constructor, the other is a type
21:08:16 <m_miro> So if I wanted Something Something I'd have to define Something as Custom?
21:08:23 <maerwald> oh dear
21:08:29 <maerwald> I'm confused now too :D
21:08:40 <monochrom> What is "Something Something" supposed to mean?
21:08:51 <monochrom> And why is it so necessary?
21:08:58 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
21:09:00 <maerwald> it sounds like an assignment
21:09:17 <maerwald> define Something Something
21:09:49 <m_miro> "Something Something" is supposed to be to "commands" in sequence
21:09:52 <maerwald> Maybe better start with Motivation?
21:09:55 <m_miro> it is an assignment
21:10:19 <monochrom> OK I want to see the assignment handout verbatim uncut unabridged uninterpreted.
21:10:47 <maerwald> just because you want to reuse it :p
21:11:00 <monochrom> Nah.
21:11:27 <monochrom> It is because every student misinterprets the assignment handout.
21:11:47 <monochrom> And/or create a creative chain of XY problems out of it.
21:11:57 <monochrom> here "creative" is derogative.
21:12:06 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
21:14:11 <m_miro> here's the assignment
21:14:12 <m_miro> https://imgur.com/a/aflD108
21:14:23 <m_miro> oh wait it cut it
21:14:56 <m_miro> https://imgur.com/a/FZpqSPt
21:16:15 <monochrom> I trust that you already understand that you use one data constructor to stand for, for example, "moveto".
21:16:23 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
21:16:36 <monochrom> In the case of "cmd; cmd", you use one data constructor to represent the ";".
21:18:15 <monochrom> I trust that you have seen examples where you use "data E = I Integer | Add E E" because it represents "expr ::= integer | expr + expr", "Add" stands for the "+" there.
21:18:23 <monochrom> So it's similar for ";".
21:18:53 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
21:18:56 <m_miro> Yes I used one data constructor  to stand for "moveto"
21:19:44 <m_miro> I didn't think of representing the ";" as a data constructor
21:20:59 × srk quits (~sorki@unaffiliated/srk) (Ping timeout: 260 seconds)
21:21:17 <m_miro> I've seen example like the one you posted it just didn't think to use it for ";"
21:21:54 <monochrom> It's alright, C and Python brainwashed you to not realize it.
21:22:11 <m_miro> What do you mean?
21:22:29 <monochrom> Pascal did it right. Pascal's semicolon is between two commands.
21:22:56 <monochrom> You write like "x:=1 ; y:=2 ; z:=x+y", not "x:=1 ; y:=2 ; z:=x+y;"
21:23:52 <monochrom> The semantic difference is huge. Pascal reminds you that there is a binary operator for sequential composition, it is a binary operator.
21:25:38 <sm2n> confusingly, C has a binary operator for sequential composition (,)
21:25:44 → usr25 joins (~usr25@unaffiliated/usr25)
21:25:51 <sm2n> statement-oriented languages are just weird
21:26:09 <monochrom> Sapir-Worf would be proud.
21:26:21 → Guest_11 joins (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net)
21:26:49 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
21:29:29 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
21:29:53 → frozenErebus joins (~frozenEre@37.231.244.249)
21:29:55 → hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
21:31:45 <m_miro> im not seeing the difference
21:31:56 ← jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client")
21:32:04 <m_miro> is it the "x+y" and the "x+y;"
21:32:43 <monochrom> OK, "cmd1 ; cmd2" vs "cmd1 ; cmd2 ;"
21:33:07 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
21:33:20 <monochrom> If I expressed adding two numbers as "1 + 2 +" people would say I'm crazy.
21:33:42 <thblt> Rust has something like that. `cmd1 ; cmd2 ;` evals to (), but `cmd1 ; cmd2` eval to the result of cmd2
21:33:43 <monochrom> And that's what people decided to do with sequential-composing two jobs.
21:34:32 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
21:35:14 × Guest_11 quits (6835dcb6@104-53-220-182.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed)
21:35:40 → jakalx joins (~jakalx@base.jakalx.net)
21:35:51 <d34df00d> Is there any channel specifically dedicated to numeric haskell in general or repa in particular?
21:35:55 <d34df00d> Or best to shoot questions here?
21:36:03 <m_miro> so I see the difference, but I don't see its importance
21:37:10 <monochrom> The importance is between "I think I'll represent it as Seq Cmd Cmd" and "I think I'll represent it as Cmd Cmd".
21:38:15 → ystael joins (~ystael@209.6.50.55)
21:40:34 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
21:43:14 → entel joins (uid256215@botters/entel)
21:43:32 × quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
21:44:41 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds)
21:45:09 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
21:45:22 → Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk)
21:45:27 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
21:45:31 → ajc_ joins (~ajc@69.231.232.79)
21:45:58 → quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
21:46:35 <m_miro> oh i think i get it now
21:47:27 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
21:47:34 <m_miro> the ";" isnt being used as way to end a "command" but to signal that another "command" is going to be used afterwards
21:47:35 × ajc quits (~ajc@69.231.232.79) (Ping timeout: 252 seconds)
21:47:40 <m_miro> am i understanding correctly?
21:48:00 → acidjnk_new joins (~acidjnk@p200300d0c72b950365222184c91f1222.dip0.t-ipconnect.de)
21:48:34 × Sornaensis quits (~Sornaensi@102.129.202.233) (Ping timeout: 260 seconds)
21:49:41 × Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds)
21:52:28 × fendor_ quits (~fendor@91.141.0.248.wireless.dyn.drei.com) (Remote host closed the connection)
21:55:52 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 268 seconds)
21:56:49 → abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
22:03:09 × m_miro quits (4c4829bb@76.72.41.187) (Quit: Connection closed)
22:03:18 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 240 seconds)
22:03:50 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
22:05:41 → gzj joins (~gzj@unaffiliated/gzj)
22:07:37 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
22:08:11 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
22:09:50 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
22:10:15 → codygman__ joins (~user@47.186.207.161)
22:10:20 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
22:10:36 → codygman__ joins (~user@47.186.207.161)
22:12:11 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
22:13:01 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
22:14:38 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
22:15:02 → codygman__ joins (~user@47.186.207.161)
22:16:18 × codygman__ quits (~user@47.186.207.161) (Remote host closed the connection)
22:19:13 × jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
22:22:04 × renzhi quits (~renzhi@2607:fa49:653f:a800::4223) (Ping timeout: 258 seconds)
22:23:41 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
22:25:04 × robotmay quits (~beepboop@2001:8b0:7af0:2580:257e:30aa:f716:dc3d) (Remote host closed the connection)
22:25:55 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
22:26:23 → robotmay joins (~beepboop@2001:8b0:7af0:2580:505f:607:efbd:23b4)
22:29:58 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
22:34:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
22:35:04 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
22:36:48 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
22:37:25 <bradparker> joel135: Sorry about that. That motivating example at the beginning is really poorly explained. All the other code examples are in a gist mentioned at the end of the article (https://gist.github.com/bradparker/205a8ff1f6bcbc9a2d3249e1d8ba5af1#file-lens-hs). That 'json' QuasiQuoter is available from the HSpec WAI JSON package (http://hackage.haskell.org/package/hspec-wai-json).
22:40:09 → myShoggoth joins (~myShoggot@75.164.73.93)
22:41:43 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
22:42:26 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
22:43:52 → nbloomf joins (~nbloomf@76.217.43.73)
22:44:23 × Feuermagier_ quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection)
22:44:33 → Feuermagier_ joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e)
22:44:34 → DTZUZU_ joins (~DTZUZO@207.81.119.43)
22:45:06 → chenshen joins (~chenshen@2620:10d:c090:400::5:b6af)
22:45:39 × fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
22:46:42 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds)
22:46:59 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
22:48:01 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
22:48:50 × HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
22:51:36 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
22:52:06 → Tario joins (~Tario@201.192.165.173)
22:52:27 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
22:53:38 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
22:55:05 → mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
22:55:26 → juri_ joins (~juri@79.140.122.118)
22:57:37 → Guest78317 joins (~laudiacay@67.176.215.84)
22:58:01 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 250 seconds)
22:59:14 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
23:00:29 → juri__ joins (~juri@178.63.35.222)
23:00:38 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
23:01:04 → rprije joins (~rprije@59-102-63-15.tpgi.com.au)
23:01:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
23:01:33 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds)
23:03:11 × juri_ quits (~juri@79.140.122.118) (Ping timeout: 265 seconds)
23:03:39 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
23:04:51 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
23:07:11 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
23:08:36 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:09:13 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
23:10:26 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
23:11:06 × DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection)
23:11:43 × haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 268 seconds)
23:11:46 → amerigo joins (uid331857@gateway/web/irccloud.com/x-bkqqhlxtahyyobpt)
23:13:25 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
23:13:46 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
23:14:51 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
23:14:53 × zeenk quits (~zeenk@2a02:2f04:a10b:af00:91ba:3645:1cdb:9a75) (Quit: Konversation terminated!)
23:15:39 × son0p quits (~ff@181.136.122.143) (Remote host closed the connection)
23:16:07 → elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
23:17:11 × dmytrish quits (~mitra@2a02:8084:a82:d900:b81f:59fe:5cfc:b422) (Ping timeout: 260 seconds)
23:17:23 → gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
23:17:57 → sof_ joins (~sof@c-73-102-150-36.hsd1.in.comcast.net)
23:19:06 ← sof_ parts (~sof@c-73-102-150-36.hsd1.in.comcast.net) ("Leaving")
23:23:52 → fiedlr joins (~fiedlr@83.148.33.254)
23:24:41 × fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection)
23:25:31 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
23:28:17 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
23:28:19 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
23:28:33 → Tario joins (~Tario@201.192.165.173)
23:35:34 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
23:39:13 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 240 seconds)
23:41:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
23:45:09 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
23:48:12 → DTZUZU joins (~DTZUZO@205.ip-149-56-132.net)
23:48:44 → myShoggoth joins (~myShoggot@75.164.73.93)
23:49:51 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 258 seconds)
23:50:34 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds)
23:50:38 × DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds)
23:50:45 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
23:50:58 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
23:52:13 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
23:53:06 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
23:53:12 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
23:53:45 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
23:55:27 × ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Ping timeout: 260 seconds)
23:56:24 → ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6)
23:56:58 → Tario joins (~Tario@200.119.187.163)
23:57:05 × gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection)
23:57:19 → fiedlr joins (~fiedlr@83.148.33.254)
23:57:25 → gzj joins (~gzj@unaffiliated/gzj)
23:59:59 × xsperry quits (~as@unaffiliated/xsperry) ()

All times are in UTC on 2021-04-11.