Home liberachat/#haskell: Logs Calendar

Logs on 2025-06-27 (liberachat/#haskell)

00:00:14 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
00:03:54 × jespada quits (~jespada@179.26.250.220) (Ping timeout: 252 seconds)
00:04:39 vanishingideal joins (~vanishing@user/vanishingideal)
00:08:19 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
00:08:53 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
00:09:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:12:46 × xff0x quits (~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 268 seconds)
00:13:16 × end quits (~end@user/end/x-0094621) (Ping timeout: 252 seconds)
00:14:25 × bcksl quits (~bcksl@user/bcksl) (Ping timeout: 244 seconds)
00:15:28 × sus0 quits (zero@user/zeromomentum) (Ping timeout: 276 seconds)
00:16:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:18:55 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:26:58 j1n37 joins (~j1n37@user/j1n37)
00:27:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:29:13 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
00:29:29 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
00:31:53 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:32:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:35:26 j1n37 joins (~j1n37@user/j1n37)
00:36:56 bcksl joins (~bcksl@user/bcksl)
00:41:28 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds)
00:42:19 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
00:43:26 j1n37 joins (~j1n37@user/j1n37)
00:43:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:43:59 end joins (~end@user/end/x-0094621)
00:44:00 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:46:17 × weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!)
00:46:39 weary-traveler joins (~user@user/user363627)
00:48:13 j1n37 joins (~j1n37@user/j1n37)
00:50:22 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
00:50:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:53:55 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
00:55:33 notzmv joins (~umar@user/notzmv)
00:58:55 j1n37 joins (~j1n37@user/j1n37)
01:01:31 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:04:50 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
01:05:02 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
01:05:13 × j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
01:06:05 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
01:06:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:08:01 j1n37 joins (~j1n37@user/j1n37)
01:08:12 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
01:12:27 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:12:34 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
01:15:08 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:15:09 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:20:02 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
01:24:05 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds)
01:24:53 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
01:30:03 poscat joins (~poscat@user/poscat)
01:30:56 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:33:04 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
01:33:14 jmorris joins (uid604645@id-604645.hampstead.irccloud.com)
01:35:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:37:08 j1n37- joins (~j1n37@user/j1n37)
01:38:14 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
01:38:14 × ft quits (~ft@p508db5d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
01:40:00 ft joins (~ft@p3e9bcc1b.dip0.t-ipconnect.de)
01:43:18 × poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer)
01:44:31 × tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds)
01:45:43 tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com)
01:46:03 poscat joins (~poscat@user/poscat)
01:46:14 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
01:46:44 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:49:25 poscat joins (~poscat@user/poscat)
01:51:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:55:07 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
01:55:24 poscat joins (~poscat@user/poscat)
01:55:46 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
01:56:01 poscat joins (~poscat@user/poscat)
01:56:14 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
01:56:32 poscat joins (~poscat@user/poscat)
01:57:13 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
02:00:32 poscat joins (~poscat@user/poscat)
02:00:53 prdak joins (~Thunderbi@user/prdak)
02:01:05 poscat0x04 joins (~poscat@user/poscat)
02:02:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:03:49 × poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection)
02:04:33 poscat0x04 joins (~poscat@user/poscat)
02:05:04 × poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds)
02:05:09 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
02:06:12 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
02:06:29 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
02:07:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
02:17:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
02:18:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:20:05 rvalue joins (~rvalue@about/hackers/rvalue)
02:25:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:34:28 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:36:20 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:38:02 j1n37 joins (~j1n37@user/j1n37)
02:40:45 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
02:41:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
02:44:31 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds)
02:45:35 j1n37 joins (~j1n37@user/j1n37)
02:45:51 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
02:46:12 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
02:52:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:52:37 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
02:54:39 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:54:54 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
02:58:44 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:00:37 j1n37 joins (~j1n37@user/j1n37)
03:02:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
03:14:16 aforemny_ joins (~aforemny@2001:9e8:6cde:3700:303:3b4a:b809:c5f6)
03:15:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:15:39 × aforemny quits (~aforemny@i577B13E4.versanet.de) (Ping timeout: 260 seconds)
03:18:00 Pixi` is now known as Pixi
03:19:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:20:28 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:23:34 j1n37 joins (~j1n37@user/j1n37)
03:25:55 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:29:04 j1n37 joins (~j1n37@user/j1n37)
03:30:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:32:45 × poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection)
03:33:06 poscat joins (~poscat@user/poscat)
03:34:26 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
03:34:58 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
03:36:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
03:39:08 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:39:56 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
03:40:18 vanishingideal joins (~vanishing@user/vanishingideal)
03:40:21 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
03:42:05 j1n37 joins (~j1n37@user/j1n37)
03:46:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:47:18 × dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection)
03:48:53 dutchie joins (~dutchie@user/dutchie)
03:51:40 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
03:54:00 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
03:56:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:57:22 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
03:57:36 j1n37 joins (~j1n37@user/j1n37)
04:02:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:06:03 rvalue joins (~rvalue@about/hackers/rvalue)
04:10:48 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
04:11:26 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
04:14:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:14:27 poscat joins (~poscat@user/poscat)
04:19:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
04:25:33 sus0 joins (zero@user/zeromomentum)
04:26:25 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:29:20 vn36 joins (~vn36@223.239.3.193)
04:29:39 j1n37 joins (~j1n37@user/j1n37)
04:29:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:33:03 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:34:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
04:37:07 j1n37 joins (~j1n37@user/j1n37)
04:42:34 × vn36 quits (~vn36@223.239.3.193) (Ping timeout: 260 seconds)
04:44:54 × rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds)
04:45:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:47:08 × tuxpaint quits (~a@put.gay) (Quit: gn)
04:47:26 tuxpaint joins (~a@put.gay)
04:50:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:53:26 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:56:09 j1n37 joins (~j1n37@user/j1n37)
04:56:45 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:58:50 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:00:07 j1n37 joins (~j1n37@user/j1n37)
05:00:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:00:54 user363627 joins (~user@user/user363627)
05:01:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:01:49 × weary-traveler quits (~user@user/user363627) (Ping timeout: 260 seconds)
05:04:21 j1n37 joins (~j1n37@user/j1n37)
05:04:22 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:06:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
05:07:42 j1n37 joins (~j1n37@user/j1n37)
05:10:08 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:11:17 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
05:13:10 j1n37 joins (~j1n37@user/j1n37)
05:16:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
05:16:59 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:18:23 mange joins (~mange@user/mange)
05:19:36 j1n37 joins (~j1n37@user/j1n37)
05:22:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
05:24:17 soverysour joins (~soverysou@84.232.150.142)
05:24:17 × soverysour quits (~soverysou@84.232.150.142) (Changing host)
05:24:17 soverysour joins (~soverysou@user/soverysour)
05:26:05 × Nosrep quits (~jimothy@user/nosrep) (Ping timeout: 265 seconds)
05:32:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:33:05 michalz joins (~michalz@185.246.207.215)
05:35:35 × user363627 quits (~user@user/user363627) (Remote host closed the connection)
05:39:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:44:10 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:50:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:56:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
05:57:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:01:19 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
06:01:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:03:38 prdak joins (~Thunderbi@user/prdak)
06:06:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:08:08 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 265 seconds)
06:10:57 j1n37 joins (~j1n37@user/j1n37)
06:12:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:14:58 ljdarj joins (~Thunderbi@user/ljdarj)
06:17:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:18:10 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds)
06:21:14 soverysour joins (~soverysou@user/soverysour)
06:21:50 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:26:14 j1n37 joins (~j1n37@user/j1n37)
06:28:22 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds)
06:28:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:28:43 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
06:29:31 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
06:31:54 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:32:13 j1n37 joins (~j1n37@user/j1n37)
06:32:54 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
06:33:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:35:06 cptaffe` joins (~cptaffe@user/cptaffe)
06:35:12 × edm quits (sid147314@hampstead.irccloud.com) (Ping timeout: 244 seconds)
06:35:43 × cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 276 seconds)
06:36:10 edm joins (sid147314@id-147314.hampstead.irccloud.com)
06:38:27 cptaffe` is now known as cptaffe
06:44:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:45:06 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
06:45:25 × inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
06:46:13 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 248 seconds)
06:49:02 inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
06:49:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:50:45 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds)
06:54:39 × inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 276 seconds)
06:57:04 × PotatoGim quits (sid99505@lymington.irccloud.com) (Ping timeout: 245 seconds)
06:57:14 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:57:43 PotatoGim joins (sid99505@id-99505.lymington.irccloud.com)
06:58:00 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:59:41 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
07:00:01 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
07:00:09 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:00:41 caconym7 joins (~caconym@user/caconym)
07:02:27 j1n37 joins (~j1n37@user/j1n37)
07:02:43 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
07:02:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:02:57 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
07:03:02 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:06:52 j1n37 joins (~j1n37@user/j1n37)
07:08:22 trickard_ is now known as trickard
07:11:03 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
07:11:12 prdak joins (~Thunderbi@user/prdak)
07:12:44 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:13:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:18:20 j1n37 joins (~j1n37@user/j1n37)
07:18:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
07:19:21 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
07:22:00 × tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds)
07:22:18 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
07:23:37 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
07:24:26 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
07:24:48 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
07:25:28 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:26:13 rvalue joins (~rvalue@about/hackers/rvalue)
07:27:34 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
07:28:48 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:29:16 acidjnk_new joins (~acidjnk@p200300d6e70b6686c029856d6c427a68.dip0.t-ipconnect.de)
07:29:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:30:18 j1n37 joins (~j1n37@user/j1n37)
07:33:23 prdak joins (~Thunderbi@user/prdak)
07:33:33 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
07:34:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
07:37:53 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
07:39:14 × califax quits (~califax@user/califx) (Remote host closed the connection)
07:40:24 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:40:31 califax joins (~califax@user/califx)
07:40:40 __monty__ joins (~toonn@user/toonn)
07:42:14 gp88 joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
07:42:54 j1n37 joins (~j1n37@user/j1n37)
07:44:23 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
07:45:17 j1n37 joins (~j1n37@user/j1n37)
07:45:18 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:45:22 × notzmv quits (~umar@user/notzmv) (Ping timeout: 252 seconds)
07:45:50 <kqr> Why is there no instance (Random a) => Random (Maybe a)?
07:46:39 <tomsmeding> what would the probability of generating Nothing be?
07:47:11 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:47:45 <kqr> I would have guessed 50/50, but I get your point.
07:47:54 prdak joins (~Thunderbi@user/prdak)
07:48:00 <tomsmeding> then if you have a few nested Maybes, you get almost zero probability of generating something useful :)
07:48:05 <kqr> Indeed
07:48:12 × califax quits (~califax@user/califx) (Remote host closed the connection)
07:48:16 <tomsmeding> for something like Bool or Int, there's an uncontroversial uniform probability distribution
07:48:25 <tomsmeding> for Maybe, it depends quite strongly on your application
07:48:50 × gp88 quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
07:49:10 <hc> You could say, return Nothing if not enough entropy available ;-)
07:49:11 <tomsmeding> kqr: in fact, the 'random' package wants you to use the Uniform class these days instead of Random; and Uniform is specified to... generate a uniform distribution
07:49:23 <tomsmeding> there's no such thing as a general uniform distribution on Maybe
07:49:43 soverysour joins (~soverysou@84.232.150.142)
07:49:43 × soverysour quits (~soverysou@84.232.150.142) (Changing host)
07:49:43 soverysour joins (~soverysou@user/soverysour)
07:49:59 <tomsmeding> (if you had the cardinality of the type inside the Maybe then you could do it, but that sounds like a bad idea in most contexts)
07:50:53 califax joins (~califax@user/califx)
07:51:53 gp joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
07:54:40 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
07:57:03 × gp quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 276 seconds)
08:00:24 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
08:02:44 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
08:11:59 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 260 seconds)
08:12:08 gp joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
08:12:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:15:35 j1n37 joins (~j1n37@user/j1n37)
08:17:39 caubert joins (~caubert@user/caubert)
08:18:05 <kqr> At that point we are approaching Boltzmann sampling which I agree is out of scope of the random package.
08:18:30 ljdarj joins (~Thunderbi@user/ljdarj)
08:20:16 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:21:23 × p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in)
08:23:01 × caubert quits (~caubert@user/caubert) (Ping timeout: 268 seconds)
08:23:56 j1n37 joins (~j1n37@user/j1n37)
08:24:08 vn36 joins (~vn36@223.239.35.204)
08:27:57 p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
08:29:41 <vn36> just found out the dot operator composes quite well with itself. eg. (.).(.).(.) has type (b -> c) -> (a1 -> a2 -> a3 -> b) -> a1 -> a2 -> a3 -> c . are there are other operators that compose in interesting ways?
08:30:05 chele joins (~chele@user/chele)
08:34:20 caubert joins (~caubert@user/caubert)
08:36:34 <lyxia> fmap
08:39:12 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
08:39:31 prdak joins (~Thunderbi@user/prdak)
08:42:11 inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
08:48:17 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:50:54 <__monty__> vn36: Check out birds.
08:52:27 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
08:53:20 dhil joins (~dhil@5.151.29.137)
08:55:44 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
08:59:29 j1n37 joins (~j1n37@user/j1n37)
09:03:19 j1n37- joins (~j1n37@user/j1n37)
09:04:10 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
09:04:34 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
09:07:55 j1n37 joins (~j1n37@user/j1n37)
09:13:00 × jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
09:13:41 × j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
09:13:57 j1n37 joins (~j1n37@user/j1n37)
09:20:29 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
09:22:12 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
09:23:55 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
09:24:35 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
09:26:36 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
09:27:13 poscat joins (~poscat@user/poscat)
09:29:21 <merijn> vn36: I recall a blogpost by Conal on that
09:29:31 <merijn> I think he called them Semantic Editor Combinators
09:29:42 <merijn> From the dark ages before optics :p
09:30:03 j1n37 joins (~j1n37@user/j1n37)
09:30:28 <merijn> I'm sure you can probably compose <> interestingly somehow
09:30:36 <merijn> :t (<>) <> (<>)
09:30:37 <lambdabot> Semigroup a => a -> a -> a
09:30:45 <merijn> aw, that's somewhat boring
09:30:56 fp joins (~Thunderbi@2001:708:20:1406::10c5)
09:30:58 <merijn> :t (<>) . (<>)
09:30:59 <lambdabot> Semigroup a => a -> (a -> a) -> a -> a
09:31:08 <merijn> That's more interesting
09:32:08 <tomsmeding> :t \x f y -> x <> f y
09:32:08 <lambdabot> Semigroup a => a -> (t -> a) -> t -> a
09:32:16 <tomsmeding> fairly sure it's that but written more cutely
09:33:08 <merijn> :t (.) <> (.) -- emoji coding
09:33:08 <tomsmeding> :t curry ((<>) .) . uncurry (second ?f)
09:33:09 <lambdabot> Semigroup c => (b -> c) -> (a -> b) -> a -> c
09:33:09 <lambdabot> error:
09:33:09 <lambdabot> • Couldn't match type ‘(a0, b2)’ with ‘a -> a1’
09:33:09 <lambdabot> Expected type: (a0, b2) -> a -> a1 -> a1
09:33:11 <tomsmeding> bah
09:33:25 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:33:57 <merijn> I can't decide whether I miss Monoid or Applicative more in day to day coding :p
09:34:31 <tomsmeding> :t (uncurry (<>) .) . curry (second ?f)
09:34:32 <lambdabot> (Semigroup a1, ?f::a2 -> a1) => a1 -> a2 -> a1
09:34:35 <tomsmeding> curries the wrong way round
09:37:09 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds)
09:37:57 × dhil quits (~dhil@5.151.29.137) (Remote host closed the connection)
09:38:02 caubert joins (~caubert@user/caubert)
09:40:09 dhil joins (~dhil@5.151.29.141)
09:46:47 <vn36> vn loves birds
09:47:05 <vn36> otherwise i knew about fmap from here a long time ago
09:47:33 <vn36> never found a use in actual code tho (actually got to use (.) . (.) tho)
09:48:57 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds)
09:49:53 inline_ joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
09:51:33 j1n37 joins (~j1n37@user/j1n37)
09:53:22 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 265 seconds)
09:55:07 trickard joins (~trickard@cpe-52-98-47-163.wireline.com.au)
09:55:46 szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
09:56:09 notzmv joins (~umar@user/notzmv)
09:57:59 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
09:58:27 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds)
10:02:56 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:05:24 <lortabac> fmap composition is useful when you have multiple layers of functors
10:05:32 <lortabac> > (fmap . fmap) show (Just [1, 2, 3, 4])
10:05:33 <lambdabot> Just ["1","2","3","4"]
10:06:10 j1n37- joins (~j1n37@user/j1n37)
10:06:15 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:06:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:06:26 <lortabac> but I rarely use it at work because Hlint complains
10:06:37 j1n37 joins (~j1n37@user/j1n37)
10:13:01 j1n37- joins (~j1n37@user/j1n37)
10:14:16 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds)
10:14:47 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:21:36 j1n37 joins (~j1n37@user/j1n37)
10:22:47 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
10:24:50 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
10:25:34 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
10:26:20 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
10:33:14 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:33:39 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
10:34:35 Square joins (~Square@user/square)
10:34:37 Lord_of_Life_ is now known as Lord_of_Life
10:35:59 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:36:23 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds)
10:38:07 × puke quits (~puke@user/puke) (Quit: puke)
10:39:27 j1n37 joins (~j1n37@user/j1n37)
10:39:40 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:40:11 puke joins (~puke@user/puke)
10:41:29 califax joins (~califax@user/califx)
10:43:39 × vn36 quits (~vn36@223.239.35.204) (Ping timeout: 260 seconds)
10:44:42 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
10:45:01 j1n37 joins (~j1n37@user/j1n37)
10:53:29 × notzmv quits (~umar@user/notzmv) (Ping timeout: 268 seconds)
10:55:29 L29Ah joins (~L29Ah@wikipedia/L29Ah)
10:55:39 j1n37- joins (~j1n37@user/j1n37)
10:55:44 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
10:56:29 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
10:57:59 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
11:01:19 jespada joins (~jespada@179.26.250.220)
11:06:36 j1n37 joins (~j1n37@user/j1n37)
11:08:31 × j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds)
11:10:10 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:10:44 gp88 joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
11:12:03 j1n37 joins (~j1n37@user/j1n37)
11:13:32 × gp quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 272 seconds)
11:14:00 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:19:37 j1n37 joins (~j1n37@user/j1n37)
11:20:44 × mra quits (~mra@static.150.116.201.138.clients.your-server.de) (Read error: Connection reset by peer)
11:23:12 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:23:50 vn36 joins (~vn36@2401:4900:6467:9e12:758c:fa63:200a:b069)
11:29:10 tabaqui joins (~tabaqui@167.71.80.236)
11:29:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
11:29:39 wootehfoot joins (~wootehfoo@user/wootehfoot)
11:30:26 j1n37 joins (~j1n37@user/j1n37)
11:31:15 × FANTOM quits (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
11:33:55 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:34:42 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
11:37:30 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
11:38:05 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
11:42:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:47:05 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
11:47:25 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
11:47:56 poscat joins (~poscat@user/poscat)
11:48:18 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
11:48:48 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
11:49:04 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
11:50:33 poscat joins (~poscat@user/poscat)
11:50:40 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
11:51:04 poscat joins (~poscat@user/poscat)
11:52:05 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
11:55:12 poscat joins (~poscat@user/poscat)
11:55:40 j1n37 joins (~j1n37@user/j1n37)
11:57:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
11:57:50 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
11:58:10 vanishingideal joins (~vanishing@user/vanishingideal)
12:01:29 j1n37 joins (~j1n37@user/j1n37)
12:02:07 × szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
12:02:12 sord937 joins (~sord937@gateway/tor-sasl/sord937)
12:02:35 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:05:40 j1n37 joins (~j1n37@user/j1n37)
12:08:26 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:09:20 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 268 seconds)
12:12:05 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
12:12:17 × gp88 quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 244 seconds)
12:16:13 j1n37 joins (~j1n37@user/j1n37)
12:19:00 × jespada quits (~jespada@179.26.250.220) (Ping timeout: 276 seconds)
12:19:19 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
12:22:31 jespada joins (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy)
12:27:02 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:31:34 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
12:31:38 j1n37 joins (~j1n37@user/j1n37)
12:31:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:34:05 × jespada quits (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
12:37:00 j1n37 joins (~j1n37@user/j1n37)
12:37:17 arahael joins (~arahael@user/arahael)
12:38:25 × acidjnk_new quits (~acidjnk@p200300d6e70b6686c029856d6c427a68.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
12:40:34 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
12:42:50 × tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds)
12:43:35 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
12:44:03 × vetkat quits (~vetkat@190-2-132-128.hosted-by-worldstream.net) (Quit: So long, and thanks for all the fish)
12:44:17 jespada joins (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy)
12:45:34 vetkat joins (~vetkat@190-2-132-128.hosted-by-worldstream.net)
12:46:41 j1n37 joins (~j1n37@user/j1n37)
12:46:50 trickard_ is now known as trickard
12:50:07 × vetkat quits (~vetkat@190-2-132-128.hosted-by-worldstream.net) (Client Quit)
12:50:10 caubert joins (~caubert@user/caubert)
12:50:49 vetkat joins (~vetkat@190-2-132-128.hosted-by-worldstream.net)
13:01:04 × leah2 quits (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.)
13:01:07 × fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
13:03:41 leah2 joins (~leah@vuxu.org)
13:04:13 × ft quits (~ft@p3e9bcc1b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
13:05:34 acidjnk joins (~acidjnk@p200300d6e70b66862c1da6a9c5fbd3ce.dip0.t-ipconnect.de)
13:05:52 ft joins (~ft@p508db0b0.dip0.t-ipconnect.de)
13:06:03 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:09:46 j1n37 joins (~j1n37@user/j1n37)
13:10:51 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
13:13:52 × ft quits (~ft@p508db0b0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
13:14:20 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:15:28 ft joins (~ft@p508db47e.dip0.t-ipconnect.de)
13:16:29 × vn36 quits (~vn36@2401:4900:6467:9e12:758c:fa63:200a:b069) (Ping timeout: 260 seconds)
13:16:35 × jespada quits (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
13:17:42 j1n37 joins (~j1n37@user/j1n37)
13:25:53 vn36 joins (~vn36@223.239.35.204)
13:27:59 × poscat quits (~poscat@user/poscat) (Read error: Connection reset by peer)
13:28:05 poscat0x04 joins (~poscat@user/poscat)
13:29:26 ttybitnik joins (~ttybitnik@user/wolper)
13:29:49 gp88 joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
13:30:58 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
13:34:58 <ski> @type map . map . map
13:34:59 <lambdabot> (a -> b) -> [[[a]]] -> [[[b]]]
13:35:11 <ski> @type foldl . foldl . foldl
13:35:12 <lambdabot> (Foldable t1, Foldable t2, Foldable t3) => (b -> a -> b) -> b -> t1 (t2 (t3 a)) -> b
13:35:21 <ski> @type foldr . flip . foldr . flip . foldr
13:35:22 <lambdabot> (Foldable t1, Foldable t2, Foldable t3) => (a -> b -> b) -> b -> t1 (t2 (t3 a)) -> b
13:35:43 <ski> @type zipWith . zipWith . zipWith
13:35:44 <lambdabot> (a -> b -> c) -> [[[a]]] -> [[[b]]] -> [[[c]]]
13:36:04 <ski> @type liftM2 . liftM2 . liftM2
13:36:05 <lambdabot> (Monad m1, Monad m2, Monad m3) => (a1 -> a2 -> r) -> m1 (m2 (m3 a1)) -> m1 (m2 (m3 a2)) -> m1 (m2 (m3 r))
13:36:24 <ski> @type mapM . mapM . mapM
13:36:25 <lambdabot> (Monad m, Traversable t1, Traversable t2, Traversable t3) => (a -> m b) -> t1 (t2 (t3 a)) -> m (t1 (t2 (t3 b)))
13:36:43 <ski> @where SEC
13:36:44 <lambdabot> http://conal.net/blog/posts/semantic-editor-combinators/
13:37:52 <ski> (also see `onLines',`onWords',`perLine',`perWord' at <https://wiki.haskell.org/TV#IO>)
13:37:56 <ski> @where TV
13:37:56 <lambdabot> "TV is a library for composing /tangible values/, i.e., values that carry along external interfaces. In particular, TVs can be composed to create new TVs, /and/ they can be directly executed with a
13:37:56 <lambdabot> friendly GUI, a process that reads and writes character streams, or many other kinds interfaces. Values and interfaces are /combined/ for direct use, and /separable/ for composition." <http://www.
13:37:56 <lambdabot> haskell.org/haskellwiki/TV>
13:38:11 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:40:08 jespada joins (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy)
13:40:12 <ski> @where lenses
13:40:12 <lambdabot> <http://twanvl.nl/blog/haskell/overloading-functional-references>,<http://cdsmith.wordpress.com/2011/04/26/composing-state-with-functions-and-lenses/>,<http://patternsinfp.wordpress.com/2011/01/31/
13:40:12 <lambdabot> lenses-are-the-coalgebras-for-the-costate-comonad/>,<http://stackoverflow.com/questions/5767129/lenses-fclabels-data-accessor-which-library-for-structure-access-and-mutation>
13:40:15 <ski> @where lens
13:40:15 <lambdabot> #haskell-lens | http://lens.github.io/ | https://github.com/ekmett/lens | http://www.youtube.com/watch?v=cefnmjtAolY&hd=1
13:40:18 <ski> vn36 ^
13:41:14 j1n37 joins (~j1n37@user/j1n37)
13:42:07 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:43:17 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
13:45:22 j1n37 joins (~j1n37@user/j1n37)
13:45:49 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
13:47:41 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
13:48:18 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
13:48:56 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
13:50:29 weary-traveler joins (~user@user/user363627)
13:52:02 j1n37 joins (~j1n37@user/j1n37)
13:59:28 × acidjnk quits (~acidjnk@p200300d6e70b66862c1da6a9c5fbd3ce.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
14:00:11 × weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!)
14:00:51 weary-traveler joins (~user@user/user363627)
14:04:05 × dhil quits (~dhil@5.151.29.141) (Ping timeout: 248 seconds)
14:06:30 xff0x joins (~xff0x@2405:6580:b080:900:7de9:4e6b:e42a:b067)
14:08:24 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
14:08:52 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:12:46 j1n37 joins (~j1n37@user/j1n37)
14:12:55 caubert joins (~caubert@user/caubert)
14:13:20 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
14:13:33 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
14:14:12 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
14:15:11 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:16:40 trickard_ is now known as trickard
14:18:00 Sgeo joins (~Sgeo@user/sgeo)
14:18:16 j1n37 joins (~j1n37@user/j1n37)
14:20:54 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:23:17 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
14:25:11 × mange quits (~mange@user/mange) (Quit: Zzz...)
14:28:20 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
14:30:40 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:36:24 j1n37 joins (~j1n37@user/j1n37)
14:40:49 fp joins (~Thunderbi@2001:708:150:10::8f7c)
14:44:06 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
14:44:18 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
14:48:14 × haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
14:49:23 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
14:50:50 haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com)
14:50:50 ChanServ sets mode +v haskellbridge
14:51:08 × chele quits (~chele@user/chele) (Remote host closed the connection)
14:52:33 j1n37 joins (~j1n37@user/j1n37)
14:57:04 × fp quits (~Thunderbi@2001:708:150:10::8f7c) (Ping timeout: 268 seconds)
14:59:16 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:02:04 × vn36 quits (~vn36@223.239.35.204) (Ping timeout: 260 seconds)
15:02:04 × ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...)
15:03:57 × adamCS quits (~adamCS@70.19.85.77) (Ping timeout: 252 seconds)
15:04:06 adamCS joins (~adamCS@70.19.85.77)
15:04:11 j1n37 joins (~j1n37@user/j1n37)
15:08:56 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:10:33 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
15:10:33 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:14:01 j1n37 joins (~j1n37@user/j1n37)
15:16:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
15:17:02 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
15:17:44 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:19:35 prdak joins (~Thunderbi@user/prdak)
15:19:37 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
15:21:27 j1n37 joins (~j1n37@user/j1n37)
15:27:30 trickard_ is now known as trickard
15:28:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:30:02 prdak1 joins (~Thunderbi@user/prdak)
15:30:10 caubert joins (~caubert@user/caubert)
15:31:35 × prdak quits (~Thunderbi@user/prdak) (Read error: Connection reset by peer)
15:31:35 prdak1 is now known as prdak
15:35:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
15:37:42 × inline_ quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
15:38:34 vn36 joins (~vn36@223.239.35.204)
15:39:36 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
15:42:16 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:45:51 soverysour joins (~soverysou@84.232.150.142)
15:45:51 × soverysour quits (~soverysou@84.232.150.142) (Changing host)
15:45:51 soverysour joins (~soverysou@user/soverysour)
15:46:01 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:48:25 j1n37 joins (~j1n37@user/j1n37)
15:49:36 inline_ joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
15:50:53 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
15:53:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
15:54:31 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
15:54:34 × inline_ quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
15:54:50 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
15:58:29 j1n37 joins (~j1n37@user/j1n37)
16:00:23 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
16:01:10 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds)
16:01:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:01:56 × jespada quits (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
16:03:09 soverysour joins (~soverysou@84.232.150.142)
16:03:10 × soverysour quits (~soverysou@84.232.150.142) (Changing host)
16:03:10 soverysour joins (~soverysou@user/soverysour)
16:04:03 j1n37 joins (~j1n37@user/j1n37)
16:04:40 jespada joins (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy)
16:05:34 × inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving)
16:06:04 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
16:07:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
16:09:01 tabaqui joins (~tabaqui@167.71.80.236)
16:10:46 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
16:16:16 inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
16:17:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:17:50 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:18:01 ouilemur joins (~jgmerritt@user/ouilemur)
16:20:24 r-sta joins (~r-sta@host-92-18-137-6.as13285.net)
16:21:16 <r-sta> hi #haskell
16:22:09 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
16:24:50 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:27:44 <geekosaur> 👋
16:31:43 Nosrep joins (~jimothy@user/nosrep)
16:31:59 <EvanR> 🦵
16:32:33 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
16:33:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:33:50 poscat joins (~poscat@user/poscat)
16:34:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
16:34:42 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
16:35:34 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
16:35:59 × poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 265 seconds)
16:36:16 <geekosaur> hm, where's lambdabot?
16:36:54 lambdabot joins (~lambdabot@silicon.int-e.eu)
16:36:54 × lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host)
16:36:54 lambdabot joins (~lambdabot@haskell/bot/lambdabot)
16:36:54 ChanServ sets mode +v lambdabot
16:37:44 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
16:38:03 poscat joins (~poscat@user/poscat)
16:38:11 <EvanR> legally mandated break due to the heat
16:42:19 <geekosaur> someone's been watching footie 🙂
16:42:50 poscat0x04 joins (~poscat@user/poscat)
16:42:55 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:46:41 × poscat quits (~poscat@user/poscat) (Ping timeout: 248 seconds)
16:47:12 <EvanR> who or what is that
16:47:23 Frostillicus joins (~Frostilli@2600:380:5974:bc31:158d:497:5aa0:bf6e)
16:47:25 × soverysour quits (~soverysou@user/soverysour) (Remote host closed the connection)
16:47:47 soverysour joins (~soverysou@84.232.150.142)
16:47:47 × soverysour quits (~soverysou@84.232.150.142) (Changing host)
16:47:47 soverysour joins (~soverysou@user/soverysour)
16:48:18 caubert joins (~caubert@user/caubert)
16:48:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:52:33 × sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer)
16:52:48 Pixi` joins (~Pixi@user/pixi)
16:52:56 sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca)
16:53:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
16:53:36 driib318 joins (~driib@vmi931078.contaboserver.net)
16:53:38 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood)
16:55:15 × Frostillicus quits (~Frostilli@2600:380:5974:bc31:158d:497:5aa0:bf6e) (Ping timeout: 276 seconds)
16:55:16 Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
16:55:49 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 245 seconds)
16:56:03 × rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
16:56:33 rvalue joins (~rvalue@about/hackers/rvalue)
16:59:31 ttybitnik joins (~ttybitnik@user/wolper)
17:00:33 j1n37 joins (~j1n37@user/j1n37)
17:04:19 × poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection)
17:04:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:05:37 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:05:45 tromp joins (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814)
17:07:24 <tomsmeding> @botsnack
17:07:24 <lambdabot> :)
17:07:43 poscat joins (~poscat@user/poscat)
17:09:03 <geekosaur> yeh, it came back right after I asked about it
17:09:13 <geekosaur> which was several minutes after it disconnected
17:09:48 j1n37 joins (~j1n37@user/j1n37)
17:10:00 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
17:10:27 td_ joins (~td@i53870911.versanet.de)
17:10:27 poscat joins (~poscat@user/poscat)
17:11:06 × r-sta quits (~r-sta@host-92-18-137-6.as13285.net) (Quit: Client closed)
17:11:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
17:11:54 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
17:13:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:15:33 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
17:17:32 × vn36 quits (~vn36@223.239.35.204) (Read error: Connection reset by peer)
17:18:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
17:18:33 poscat joins (~poscat@user/poscat)
17:19:32 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:23:02 j1n37 joins (~j1n37@user/j1n37)
17:23:19 vn36 joins (~vn36@223.239.35.204)
17:26:02 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:26:27 j1n37 joins (~j1n37@user/j1n37)
17:29:10 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:29:35 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:29:57 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:32:00 j1n37 joins (~j1n37@user/j1n37)
17:34:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
17:35:40 × poscat quits (~poscat@user/poscat) (Ping timeout: 260 seconds)
17:36:44 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:37:12 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
17:37:27 chexum joins (~quassel@gateway/tor-sasl/chexum)
17:37:30 × caubert quits (~caubert@user/caubert) (Ping timeout: 276 seconds)
17:38:08 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
17:39:50 caubert joins (~caubert@user/caubert)
17:40:39 j1n37 joins (~j1n37@user/j1n37)
17:42:41 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:44:00 × ft quits (~ft@p508db47e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
17:44:19 × tromp quits (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:45:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:45:30 j1n37 joins (~j1n37@user/j1n37)
17:45:38 ft joins (~ft@p3e9bc0bf.dip0.t-ipconnect.de)
17:46:11 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
17:48:12 poscat joins (~poscat@user/poscat)
17:48:54 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:49:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
17:50:17 laurapigeon joins (~laurapige@215.32.9.51.dyn.plus.net)
17:50:17 × laurapigeon quits (~laurapige@215.32.9.51.dyn.plus.net) (Changing host)
17:50:17 laurapigeon joins (~laurapige@user/laurapigeon)
17:52:04 × degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 245 seconds)
17:54:00 j1n37 joins (~j1n37@user/j1n37)
17:54:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
17:54:52 degraafk joins (sid71464@id-71464.lymington.irccloud.com)
17:56:54 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 244 seconds)
17:57:10 × laurapigeon quits (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3)
17:57:32 × prdak quits (~Thunderbi@user/prdak) (Quit: prdak)
17:58:01 prdak joins (~Thunderbi@user/prdak)
17:58:27 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
18:00:59 wootehfoot joins (~wootehfoo@user/wootehfoot)
18:01:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:01:29 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
18:01:48 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
18:03:29 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
18:05:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
18:11:22 sprotte24 joins (~sprotte24@p200300d16f178100f419d154f2c8d439.dip0.t-ipconnect.de)
18:14:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:16:09 j1n37 joins (~j1n37@user/j1n37)
18:16:16 target_i joins (~target_i@user/target-i/x-6023099)
18:16:26 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
18:18:33 FANTOM joins (~fantom@33be818f.skybroadband.com)
18:20:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
18:20:34 × sprotte24 quits (~sprotte24@p200300d16f178100f419d154f2c8d439.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
18:22:26 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:27:45 j1n37 joins (~j1n37@user/j1n37)
18:28:35 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:29:34 × caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds)
18:30:20 fp joins (~Thunderbi@hof1.kyla.fi)
18:30:37 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:30:56 vanishingideal joins (~vanishing@user/vanishingideal)
18:32:23 caubert joins (~caubert@user/caubert)
18:32:47 j1n37 joins (~j1n37@user/j1n37)
18:35:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
18:36:37 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 248 seconds)
18:38:41 prdak joins (~Thunderbi@user/prdak)
18:39:01 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
18:42:04 soverysour joins (~soverysou@user/soverysour)
18:42:11 j1n37 joins (~j1n37@user/j1n37)
18:46:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:49:45 × gp88 quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
18:50:57 × inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
18:53:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
19:00:02 × caconym7 quits (~caconym@user/caconym) (Quit: bye)
19:00:42 caconym7 joins (~caconym@user/caconym)
19:01:14 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
19:04:49 mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com)
19:05:33 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:07:04 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:07:05 <mreh> What on earth is this hie.yaml about? https://paste.tomsmeding.com/QtZe547e
19:07:41 gp88 joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
19:08:03 <mreh> (From implicit-hie). Whenever I get a compilation error, HLS just says no thank you, can't resolve -package gameboy-0.1.0.0
19:08:42 × vn36 quits (~vn36@223.239.35.204) (Read error: Connection reset by peer)
19:10:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
19:13:11 j1n37 joins (~j1n37@user/j1n37)
19:13:24 × __monty__ quits (~toonn@user/toonn) (Quit: Lost terminal)
19:14:04 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:15:49 × gp88 quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
19:16:05 inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
19:16:08 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:19:48 j1n37 joins (~j1n37@user/j1n37)
19:21:03 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:21:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
19:22:29 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds)
19:22:49 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 260 seconds)
19:24:06 j1n37 joins (~j1n37@user/j1n37)
19:24:44 __monty__ joins (~toonn@user/toonn)
19:31:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:33:33 fp joins (~Thunderbi@hof1.kyla.fi)
19:35:39 × caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds)
19:36:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
19:38:17 caubert joins (~caubert@user/caubert)
19:40:05 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds)
19:40:19 × mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds)
19:44:18 × driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
19:46:02 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:46:03 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:46:17 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
19:47:13 driib318 joins (~driib@vmi931078.contaboserver.net)
19:47:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:48:17 × caubert quits (~caubert@user/caubert) (Ping timeout: 244 seconds)
19:52:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
19:53:07 j1n37 joins (~j1n37@user/j1n37)
19:53:31 dudek joins (~dudek@2a02:a312:c9df:bf80:cd77:f839:cf8b:ca6f)
19:53:36 dudek1337 joins (~dudek@2a02:a312:c9df:bf80:cd77:f839:cf8b:ca6f)
19:54:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:55:36 j1n37 joins (~j1n37@user/j1n37)
19:57:27 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
19:57:59 × inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving)
19:59:10 vanishingideal joins (~vanishing@user/vanishingideal)
20:01:11 caubert joins (~caubert@user/caubert)
20:01:12 j1n37 joins (~j1n37@user/j1n37)
20:02:01 mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com)
20:02:56 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
20:03:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:05:43 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
20:07:33 × mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 252 seconds)
20:07:51 × sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
20:07:55 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
20:08:09 sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:12:03 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 244 seconds)
20:15:34 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:16:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:18:32 inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
20:18:42 j1n37 joins (~j1n37@user/j1n37)
20:19:44 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
20:20:03 inline_ joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
20:20:59 inline is now known as wbooze
20:21:15 inline_ is now known as inline
20:22:00 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Remote host closed the connection)
20:22:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
20:23:04 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
20:23:29 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
20:25:28 gp88 joins (~gp@net-188-217-43-7.cust.vodafonedsl.it)
20:27:29 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
20:27:50 × wbooze quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving)
20:29:56 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
20:29:56 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
20:32:19 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
20:32:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:39:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
20:44:46 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:16d4:946f:867d:a00c) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
20:45:05 YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
20:46:05 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:49:55 prdak joins (~Thunderbi@user/prdak)
20:50:14 j1n37 joins (~j1n37@user/j1n37)
20:50:40 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:50:48 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
20:52:17 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:54:08 × prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds)
20:55:22 j1n37 joins (~j1n37@user/j1n37)
20:55:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
20:55:57 Digitteknohippie joins (~user@user/digit)
20:57:03 × Digit quits (~user@user/digit) (Ping timeout: 276 seconds)
21:00:49 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 245 seconds)
21:01:48 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
21:02:29 j1n37 joins (~j1n37@user/j1n37)
21:03:20 tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
21:03:37 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
21:04:28 × Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.6.3)
21:05:50 × dudek1337 quits (~dudek@2a02:a312:c9df:bf80:cd77:f839:cf8b:ca6f) (Quit: Leaving)
21:06:15 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:07:04 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 245 seconds)
21:07:41 Pozyomka joins (~pyon@user/pyon)
21:08:45 caubert joins (~caubert@user/caubert)
21:09:11 wbooze joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de)
21:10:00 Digitteknohippie is now known as Digit
21:11:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:13:56 × caubert quits (~caubert@user/caubert) (Ping timeout: 252 seconds)
21:17:19 j1n37 joins (~j1n37@user/j1n37)
21:17:59 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
21:18:13 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
21:18:45 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:19:17 tromp joins (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1)
21:22:02 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:22:16 mreh joins (~matthew@host86-146-25-68.range86-146.btcentralplus.com)
21:22:20 × michalz quits (~michalz@185.246.207.215) (Remote host closed the connection)
21:24:29 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
21:25:58 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
21:26:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
21:27:17 j1n37 joins (~j1n37@user/j1n37)
21:31:46 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:35:46 j1n37 joins (~j1n37@user/j1n37)
21:36:32 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Remote host closed the connection)
21:36:49 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
21:37:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:38:44 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
21:39:51 poliquin_ joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
21:40:05 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
21:42:39 caubert joins (~caubert@user/caubert)
21:42:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
21:45:39 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
21:46:02 × poliquin_ quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Remote host closed the connection)
21:46:21 poliquin_ joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
21:47:39 × poliquin_ quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Remote host closed the connection)
21:48:25 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Read error: Connection reset by peer)
21:48:35 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
21:48:44 × dudek quits (~dudek@2a02:a312:c9df:bf80:cd77:f839:cf8b:ca6f) (Read error: Connection reset by peer)
21:48:48 pavonia joins (~user@user/siracusa)
21:49:27 j1n37 joins (~j1n37@user/j1n37)
21:49:38 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Remote host closed the connection)
21:49:42 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
21:52:29 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
21:53:13 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:54:16 × tomku quits (~tomku@user/tomku) (Ping timeout: 252 seconds)
21:55:03 tomku joins (~tomku@user/tomku)
21:56:30 poliquin_ joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
21:56:34 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
21:57:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
22:02:41 × poliquin_ quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
22:05:18 poliquin joins (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net)
22:06:14 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
22:08:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:08:48 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
22:09:06 × tromp quits (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:10:03 j1n37 joins (~j1n37@user/j1n37)
22:11:52 × poliquin quits (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
22:13:42 j1n37- joins (~j1n37@user/j1n37)
22:14:54 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
22:15:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
22:15:37 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:16:33 × wbooze quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving)
22:19:33 emmanuelux joins (~emmanuelu@user/emmanuelux)
22:21:04 j1n37 joins (~j1n37@user/j1n37)
22:21:19 × j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds)
22:23:03 tromp joins (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1)
22:24:28 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
22:24:28 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
22:34:48 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
22:43:29 × gp88 quits (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
22:43:51 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
22:45:10 × manwithluck quits (~manwithlu@194.177.28.145) (Ping timeout: 252 seconds)
22:45:40 manwithluck joins (~manwithlu@194.177.28.145)
22:49:31 j1n37 joins (~j1n37@user/j1n37)
22:50:51 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
22:52:10 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
22:54:20 j1n37 joins (~j1n37@user/j1n37)
22:55:42 weary-traveler joins (~user@user/user363627)
22:57:11 trickard_ is now known as trickard
22:57:27 × tromp quits (~textual@2001:1c00:3487:1b00:ccc9:1631:4a25:f5d1) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:00:39 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
23:04:05 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:05:27 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:08:49 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:10:26 j1n37 joins (~j1n37@user/j1n37)
23:17:41 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds)
23:18:26 j1n37 joins (~j1n37@user/j1n37)
23:19:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:24:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
23:30:08 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:30:59 sprotte24 joins (~sprotte24@p200300d16f178100893b4182da6d537c.dip0.t-ipconnect.de)
23:31:26 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
23:31:36 × sprotte24 quits (~sprotte24@p200300d16f178100893b4182da6d537c.dip0.t-ipconnect.de) (Client Quit)
23:35:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:35:31 j1n37 joins (~j1n37@user/j1n37)
23:36:09 × trickard quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
23:36:22 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
23:37:18 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
23:40:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
23:40:47 × trickard_ quits (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
23:40:59 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
23:41:21 j1n37 joins (~j1n37@user/j1n37)
23:46:42 trickard_ joins (~trickard@cpe-52-98-47-163.wireline.com.au)
23:49:57 × mreh quits (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 276 seconds)
23:51:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:53:15 r-sta joins (~r-sta@host-92-29-17-18.as13285.net)
23:53:15 <r-sta> am here
23:54:09 × Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
23:54:20 <r-sta> anyone up?
23:55:35 Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
23:56:00 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:56:02 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 268 seconds)

All times are in UTC on 2025-06-27.