2025/01/21

2025-01-21 00:02:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 00:05:23 +0100Square2(~Square4@user/square) (Ping timeout: 245 seconds)
2025-01-21 00:06:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 00:08:08 +0100xff0x(~xff0x@2405:6580:b080:900:89d7:1b64:1ef9:ca1d) (Quit: xff0x)
2025-01-21 00:10:10 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-21 00:11:50 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-21 00:14:26 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-21 00:16:39 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-01-21 00:17:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 00:18:13 +0100Everything(~Everythin@195.138.86.118) (Quit: leaving)
2025-01-21 00:22:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-21 00:33:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 00:33:33 +0100sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 276 seconds)
2025-01-21 00:37:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 00:48:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 00:50:31 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
2025-01-21 00:52:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 00:57:11 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-01-21 01:00:16 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-01-21 01:00:16 +0100ljdarj1ljdarj
2025-01-21 01:04:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 01:06:29 +0100xff0x(~xff0x@2405:6580:b080:900:2ed2:5690:67:1f0d)
2025-01-21 01:08:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-21 01:14:35 +0100red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-21 01:15:49 +0100red-snail(~red-snail@static.151.210.203.116.clients.your-server.de) red-snail
2025-01-21 01:19:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 01:19:41 +0100felixphew(~felixphew@cssa/life/felix) felixphew
2025-01-21 01:21:12 +0100acidjnk(~acidjnk@p200300d6e7283f8095cc0997f421f19c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2025-01-21 01:25:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 01:27:11 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-21 01:37:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 01:39:17 +0100mange(~user@user/mange) (Ping timeout: 252 seconds)
2025-01-21 01:39:40 +0100sprotte24(~sprotte24@p200300d16f08390080f981bd603eb58d.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-21 01:39:50 +0100akegalj(~akegalj@89-172-182-73.adsl.net.t-com.hr) (Ping timeout: 244 seconds)
2025-01-21 01:41:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-21 01:48:53 +0100gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-01-21 01:49:24 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-01-21 01:49:58 +0100xff0x(~xff0x@2405:6580:b080:900:2ed2:5690:67:1f0d) (Ping timeout: 272 seconds)
2025-01-21 01:52:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 01:54:09 +0100Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2025-01-21 01:57:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-21 02:02:49 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-01-21 02:08:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 02:12:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-21 02:15:07 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-21 02:23:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 02:28:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-21 02:28:26 +0100otto_s(~user@p5b044ca8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-21 02:30:06 +0100otto_s(~user@p5de2f474.dip0.t-ipconnect.de)
2025-01-21 02:34:45 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-01-21 02:38:34 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-21 02:39:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 02:43:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-21 02:44:10 +0100sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff
2025-01-21 02:54:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 02:56:14 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-21 02:57:33 +0100img(~img@user/img) img
2025-01-21 02:58:24 +0100omegatron(~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.)
2025-01-21 03:00:48 +0100homo(~homo@user/homo) (Read error: Connection reset by peer)
2025-01-21 03:00:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 03:04:54 +0100weary-traveler(~user@user/user363627) user363627
2025-01-21 03:11:19 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-21 03:12:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 03:12:38 +0100img(~img@user/img) img
2025-01-21 03:15:49 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-21 03:17:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-21 03:23:26 +0100alx741(~alx741@186.33.188.229) (Ping timeout: 252 seconds)
2025-01-21 03:27:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 03:32:28 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-01-21 03:35:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-21 03:35:53 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-21 03:44:30 +0100ft(~ft@p508db21c.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-01-21 03:45:16 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-21 03:46:09 +0100ft(~ft@p3e9bca18.dip0.t-ipconnect.de) ft
2025-01-21 03:48:11 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-21 03:49:31 +0100img(~img@user/img) img
2025-01-21 03:50:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 03:55:05 +0100mange(~user@user/mange) mange
2025-01-21 03:55:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 04:06:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 04:10:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 04:14:10 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2025-01-21 04:15:49 +0100remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan
2025-01-21 04:21:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 04:26:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-21 04:33:47 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-21 04:36:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 04:43:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 04:50:39 +0100 <jle`> is there a nice way to get "EndoM" from just base tools
2025-01-21 04:50:52 +0100 <jle`> i guess i could use Endo and pre-=<< everything but
2025-01-21 04:54:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 04:59:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-21 05:03:14 +0100 <Leary> jle`: `Endo` was a mistake. Fix it: `newtype Endo c a = Endo{ unEndo :: c a a }; instance Category c => Monoid (Endo c); type EndoM m = Endo (Kleisli m)`
2025-01-21 05:05:58 +0100 <jle`> ah yea hand then normal Endo is just Endo (->)
2025-01-21 05:06:02 +0100 <jle`> s/hand/and
2025-01-21 05:08:24 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-01-21 05:08:58 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-21 05:10:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 05:14:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-21 05:20:22 +0100aforemny_(~aforemny@2001:9e8:6cc6:4600:1315:1249:75e2:82ec) aforemny
2025-01-21 05:20:27 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-01-21 05:22:08 +0100aforemny(~aforemny@2001:9e8:6ce7:fd00:e796:ccd3:bb44:3a2f) (Ping timeout: 272 seconds)
2025-01-21 05:22:08 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-01-21 05:23:07 +0100philopsos(~caecilius@user/philopsos) philopsos
2025-01-21 05:25:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 05:27:27 +0100 <monochrom> Haha you are right, that's marvelous.
2025-01-21 05:30:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-21 05:34:02 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-21 05:34:55 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2025-01-21 05:34:55 +0100tnt2tnt1
2025-01-21 05:36:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 05:41:07 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 05:41:29 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-21 05:44:05 +0100forell(~forell@user/forell) (Ping timeout: 248 seconds)
2025-01-21 05:50:53 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) alecs
2025-01-21 05:51:29 +0100 <jle`> but you'd still need the Kleisli newtyoe wrapper for EndoM
2025-01-21 05:51:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 05:54:46 +0100rekahsoft(~rekahsoft@70.51.99.237) (Ping timeout: 244 seconds)
2025-01-21 05:55:29 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds)
2025-01-21 05:56:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-21 05:59:37 +0100felixphew(~felixphew@cssa/life/felix) (so long for now :))
2025-01-21 06:01:13 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 245 seconds)
2025-01-21 06:07:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 06:11:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-21 06:12:54 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2025-01-21 06:15:05 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-21 06:22:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 06:29:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 06:30:41 +0100alp(~alp@2001:861:8ca0:4940:eea0:f0c9:6:c921) (Remote host closed the connection)
2025-01-21 06:37:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 06:39:27 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-21 06:39:30 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2025-01-21 06:39:30 +0100tnt2tnt1
2025-01-21 06:41:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-21 06:44:04 +0100ft(~ft@p3e9bca18.dip0.t-ipconnect.de) (Quit: leaving)
2025-01-21 06:45:22 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds)
2025-01-21 06:48:33 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
2025-01-21 06:50:36 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-01-21 06:52:30 +0100hgolden(~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden
2025-01-21 06:52:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 06:55:37 +0100michalz(~michalz@185.246.207.201)
2025-01-21 06:57:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 07:02:49 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-21 07:07:04 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista)
2025-01-21 07:08:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 07:12:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-21 07:17:40 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2025-01-21 07:23:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 07:25:38 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-21 07:27:39 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-21 07:28:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-21 07:31:13 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-01-21 07:31:48 +0100euleritian(~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de)
2025-01-21 07:38:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 07:43:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 07:46:31 +0100jcarpenter2(~lol@2603:3016:1e01:b9c0:49df:554e:a17b:a07c) (Read error: Connection reset by peer)
2025-01-21 07:52:51 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-21 07:53:28 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-21 07:54:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 07:56:32 +0100acidjnk(~acidjnk@p200300d6e7283f10610c721bb7f5359d.dip0.t-ipconnect.de) acidjnk
2025-01-21 08:01:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-21 08:04:22 +0100CiaoSen(~Jura@2a05:5800:222:8900:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-21 08:08:02 +0100johnjaye(~pi@syn-035-146-235-019.res.spectrum.com) (Ping timeout: 248 seconds)
2025-01-21 08:12:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 08:13:19 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-21 08:13:46 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2025-01-21 08:13:46 +0100tnt2tnt1
2025-01-21 08:16:04 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-21 08:17:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-21 08:18:18 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-01-21 08:28:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 08:32:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-21 08:35:43 +0100euleritian(~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-21 08:37:07 +0100euleritian(~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de)
2025-01-21 08:39:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-21 08:39:43 +0100euleritian(~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-01-21 08:40:00 +0100euleritian(~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
2025-01-21 08:43:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)