Home liberachat/#haskell: Logs Calendar

Logs on 2025-01-21 (liberachat/#haskell)

00:00:16 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
00:00:16 ljdarj1 is now known as ljdarj
00:04:02 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:06:29 xff0x joins (~xff0x@2405:6580:b080:900:2ed2:5690:67:1f0d)
00:08:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
00:14:35 × red-snail quits (~red-snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
00:15:49 red-snail joins (~red-snail@static.151.210.203.116.clients.your-server.de)
00:19:25 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:19:41 felixphew joins (~felixphew@cssa/life/felix)
00:21:12 × acidjnk quits (~acidjnk@p200300d6e7283f8095cc0997f421f19c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
00:25:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
00:27:11 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
00:37:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:39:17 × mange quits (~user@user/mange) (Ping timeout: 252 seconds)
00:39:40 × sprotte24 quits (~sprotte24@p200300d16f08390080f981bd603eb58d.dip0.t-ipconnect.de) (Quit: Leaving)
00:39:50 × akegalj quits (~akegalj@89-172-182-73.adsl.net.t-com.hr) (Ping timeout: 244 seconds)
00:41:52 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:48:53 gehmehgeh joins (~user@user/gehmehgeh)
00:49:24 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds)
00:49:58 × xff0x quits (~xff0x@2405:6580:b080:900:2ed2:5690:67:1f0d) (Ping timeout: 272 seconds)
00:52:53 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:54:09 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
00:57:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
01:02:49 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
01:08:15 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:12:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
01:15:07 dysthesis joins (~dysthesis@user/dysthesis)
01:23:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:28:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
01:28:26 × otto_s quits (~user@p5b044ca8.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
01:30:06 otto_s joins (~user@p5de2f474.dip0.t-ipconnect.de)
01:34:45 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
01:38:34 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:39:01 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:43:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
01:44:10 sp1ff joins (~user@c-67-160-173-55.hsd1.wa.comcast.net)
01:54:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:56:14 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
01:57:33 img joins (~img@user/img)
01:58:24 × omegatron quits (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.)
02:00:48 × homo quits (~homo@user/homo) (Read error: Connection reset by peer)
02:00:57 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
02:04:54 weary-traveler joins (~user@user/user363627)
02:11:19 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
02:12:26 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:12:38 img joins (~img@user/img)
02:15:49 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
02:17:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
02:23:26 × alx741 quits (~alx741@186.33.188.229) (Ping timeout: 252 seconds)
02:27:48 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:32:28 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
02:35:19 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
02:35:53 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
02:44:30 × ft quits (~ft@p508db21c.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
02:45:16 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
02:46:09 ft joins (~ft@p3e9bca18.dip0.t-ipconnect.de)
02:48:11 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
02:49:31 img joins (~img@user/img)
02:50:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:55:05 mange joins (~user@user/mange)
02:55:12 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
03:06:00 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:10:11 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
03:14:10 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
03:15:49 remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
03:21:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:26:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
03:33:47 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
03:36:45 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:43:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
03:50:39 <jle`> is there a nice way to get "EndoM" from just base tools
03:50:52 <jle`> i guess i could use Endo and pre-=<< everything but
03:54:50 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:59:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
04:03:14 <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)`
04:05:58 <jle`> ah yea hand then normal Endo is just Endo (->)
04:06:02 <jle`> s/hand/and
04:08:24 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
04:08:58 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
04:10:11 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:14:32 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:20:22 aforemny_ joins (~aforemny@2001:9e8:6cc6:4600:1315:1249:75e2:82ec)
04:20:27 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
04:22:08 × aforemny quits (~aforemny@2001:9e8:6ce7:fd00:e796:ccd3:bb44:3a2f) (Ping timeout: 272 seconds)
04:22:08 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
04:23:07 philopsos joins (~caecilius@user/philopsos)
04:25:33 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:27:27 <monochrom> Haha you are right, that's marvelous.
04:30:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
04:34:02 tnt2 joins (~Thunderbi@user/tnt1)
04:34:55 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
04:34:55 tnt2 is now known as tnt1
04:36:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:41:07 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
04:41:29 × dysthesis quits (~dysthesis@user/dysthesis) (Remote host closed the connection)
04:44:05 × forell quits (~forell@user/forell) (Ping timeout: 248 seconds)
04:50:53 alecs joins (~alecs@61.pool85-58-154.dynamic.orange.es)
04:51:29 <jle`> but you'd still need the Kleisli newtyoe wrapper for EndoM
04:51:50 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:54:46 × rekahsoft quits (~rekahsoft@70.51.99.237) (Ping timeout: 244 seconds)
04:55:29 × alecs quits (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 265 seconds)
04:56:58 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
04:59:37 felixphew parts (~felixphew@cssa/life/felix) (so long for now :))
05:01:13 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 245 seconds)
05:07:14 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:11:45 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
05:12:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
05:15:05 rvalue joins (~rvalue@user/rvalue)
05:22:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:29:10 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
05:30:41 × alp quits (~alp@2001:861:8ca0:4940:eea0:f0c9:6:c921) (Remote host closed the connection)
05:37:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:39:27 tnt2 joins (~Thunderbi@user/tnt1)
05:39:30 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
05:39:30 tnt2 is now known as tnt1
05:41:48 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
05:44:04 × ft quits (~ft@p3e9bca18.dip0.t-ipconnect.de) (Quit: leaving)
05:45:22 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds)
05:48:33 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
05:50:36 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds)
05:52:30 hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
05:52:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:55:37 michalz joins (~michalz@185.246.207.201)
05:57:04 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
06:02:49 rvalue joins (~rvalue@user/rvalue)
06:07:04 × paul_j quits (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista)
06:08:13 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:12:35 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
06:17:40 takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:23:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:25:38 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
06:27:39 j1n37 joins (~j1n37@user/j1n37)
06:28:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
06:31:13 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
06:31:48 euleritian joins (~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de)
06:38:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:43:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
06:46:31 × jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:49df:554e:a17b:a07c) (Read error: Connection reset by peer)
06:52:51 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
06:53:28 tnt1 joins (~Thunderbi@user/tnt1)
06:54:35 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:56:32 acidjnk joins (~acidjnk@p200300d6e7283f10610c721bb7f5359d.dip0.t-ipconnect.de)
07:01:19 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
07:04:22 CiaoSen joins (~Jura@2a05:5800:222:8900:ca4b:d6ff:fec1:99da)
07:08:02 × johnjaye quits (~pi@syn-035-146-235-019.res.spectrum.com) (Ping timeout: 248 seconds)
07:12:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:13:19 tnt2 joins (~Thunderbi@user/tnt1)
07:13:46 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
07:13:46 tnt2 is now known as tnt1
07:16:04 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
07:17:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
07:18:18 × Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:28:00 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:32:39 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
07:35:43 × euleritian quits (~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
07:37:07 euleritian joins (~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de)
07:39:28 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:39:43 × euleritian quits (~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
07:40:00 euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
07:43:57 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
07:46:58 sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:54:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:55:55 alecs joins (~alecs@nat16.software.imdea.org)
07:56:54 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
07:57:12 euleritian joins (~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de)
07:59:00 Square2 joins (~Square4@user/square)
07:59:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
08:00:01 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:00:42 caconym joins (~caconym@user/caconym)
08:01:29 × euleritian quits (~euleritia@dynamic-176-006-144-097.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
08:02:11 euleritian joins (~euleritia@dynamic-176-001-139-143.176.1.pool.telefonica.de)
08:05:11 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
08:13:40 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds)
08:16:58 sawilagar joins (~sawilagar@user/sawilagar)
08:25:17 akegalj joins (~akegalj@95.168.108.95)
08:25:38 × ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
08:26:15 ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se)
08:26:46 rvalue joins (~rvalue@user/rvalue)
08:32:10 forell joins (~forell@user/forell)
08:35:43 alp joins (~alp@2001:861:8ca0:4940:2913:c909:c2d2:ac0b)
08:36:46 eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
08:46:51 jcarpenter2 joins (~lol@2603:3016:1e01:b9c0:d528:4e69:de49:3fa6)
08:47:48 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
08:48:02 tnt1 joins (~Thunderbi@user/tnt1)
08:49:22 ubert joins (~Thunderbi@p200300ecdf3b1ad507163ac55a6e00fd.dip0.t-ipconnect.de)
08:50:41 gehmehgeh is now known as gmg
08:51:27 merijn joins (~merijn@77.242.116.146)
08:56:04 Midjak joins (~MarciZ@82.66.147.146)
08:59:01 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
09:04:19 × gorignak quits (~gorignak@user/gorignak) (Ping timeout: 260 seconds)
09:04:31 gorignak joins (~gorignak@user/gorignak)
09:06:07 × Midjak quits (~MarciZ@82.66.147.146) (Quit: Leaving)
09:09:38 tnt2 joins (~Thunderbi@user/tnt1)
09:10:04 × tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
09:12:00 lxsameer joins (~lxsameer@Serene/lxsameer)
09:12:54 tnt1 joins (~Thunderbi@user/tnt1)
09:14:44 × tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
09:18:12 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
09:18:52 sprotte24 joins (~sprotte24@p200300d16f040300ec6619ec7821502f.dip0.t-ipconnect.de)
09:19:44 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
09:23:56 kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
09:26:35 Midjak joins (~MarciZ@82.66.147.146)
09:33:04 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
09:36:08 × euleritian quits (~euleritia@dynamic-176-001-139-143.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
09:36:25 euleritian joins (~euleritia@77.23.250.232)
09:38:53 chele joins (~chele@user/chele)
09:44:49 ljdarj joins (~Thunderbi@user/ljdarj)
09:47:32 × akegalj quits (~akegalj@95.168.108.95) (Read error: Connection reset by peer)
09:48:25 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
09:51:13 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
09:51:33 bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex)
09:52:19 stiell joins (~stiell@gateway/tor-sasl/stiell)
09:53:36 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
09:53:55 × alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 244 seconds)
09:54:06 × sabathan quits (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr) (Read error: Connection reset by peer)
09:54:35 alecs joins (~alecs@nat16.software.imdea.org)
09:57:14 sabathan joins (~sabathan@acaen-652-1-335-197.w83-115.abo.wanadoo.fr)
10:04:15 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
10:06:50 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
10:07:49 rvalue joins (~rvalue@user/rvalue)
10:11:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:27:20 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
10:27:59 ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
10:29:35 akegalj joins (~akegalj@83-131-230-169.adsl.net.t-com.hr)
10:32:18 dhil joins (~dhil@2a0c:b381:588:5f00:b836:6a00:3625:e16d)
10:34:19 × alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 264 seconds)
10:36:05 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Ping timeout: 248 seconds)
10:43:56 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
10:45:10 alecs joins (~alecs@nat16.software.imdea.org)
10:47:13 × connrs quits (~connrs@user/connrs) (Ping timeout: 252 seconds)
10:50:56 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:52:16 × CiaoSen quits (~Jura@2a05:5800:222:8900:ca4b:d6ff:fec1:99da) (Ping timeout: 272 seconds)
10:52:22 × alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds)
10:56:53 merijn joins (~merijn@77.242.116.146)
10:59:39 dsrt^ joins (~dsrt@108.192.66.114)
11:05:42 wootehfoot joins (~wootehfoo@user/wootehfoot)
11:07:13 alecs joins (~alecs@nat16.software.imdea.org)
11:07:18 xff0x joins (~xff0x@2405:6580:b080:900:8176:27ad:84f:a9f5)
11:11:54 × alecs quits (~alecs@nat16.software.imdea.org) (Ping timeout: 272 seconds)
11:12:37 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
11:13:38 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
11:14:00 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
11:17:13 wootehfoot joins (~wootehfoo@user/wootehfoot)
11:19:17 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
11:25:46 merijn joins (~merijn@77.242.116.146)
11:27:43 × ubert quits (~Thunderbi@p200300ecdf3b1ad507163ac55a6e00fd.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
11:30:52 alecs joins (~alecs@nat16.software.imdea.org)
11:33:37 × alp quits (~alp@2001:861:8ca0:4940:2913:c909:c2d2:ac0b) (Ping timeout: 248 seconds)
11:34:31 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
11:37:24 alp joins (~alp@2001:861:8ca0:4940:97fa:2ec6:8934:3b6d)
11:41:32 × mange quits (~user@user/mange) (Quit: Zzz...)
11:44:22 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:cefb:55fa:987:f992)
11:44:24 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
11:46:51 merijn joins (~merijn@77.242.116.146)
11:51:57 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds)
11:52:45 ljdarj joins (~Thunderbi@user/ljdarj)
11:53:53 × sprotte24 quits (~sprotte24@p200300d16f040300ec6619ec7821502f.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
11:55:16 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:cefb:55fa:987:f992) (Remote host closed the connection)
11:55:28 ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:d01d:153f:680e:de48)
12:00:05 × caconym quits (~caconym@user/caconym) (Quit: bye)
12:02:20 caconym joins (~caconym@user/caconym)
12:03:04 merijn joins (~merijn@77.242.116.146)
12:08:34 CiaoSen joins (~Jura@2a05:5800:222:8900:ca4b:d6ff:fec1:99da)
12:09:35 lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
12:11:41 youthlic joins (~Thunderbi@user/youthlic)
12:34:42 SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky)
12:35:17 Midjak joins (~MarciZ@82.66.147.146)
12:38:08 jespada joins (~jespada@2800:a4:191:6300:fc9f:2288:4bef:57fd)
12:44:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:45:21 × bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:04:04 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
13:07:52 merijn joins (~merijn@77.242.116.146)
13:10:45 eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
13:16:12 alx741 joins (~alx741@186.33.188.229)
13:25:07 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
13:29:52 taleseeker joins (~taleseeke@185.107.44.16)
13:38:51 × jespada quits (~jespada@2800:a4:191:6300:fc9f:2288:4bef:57fd) (Ping timeout: 246 seconds)
13:38:56 __monty__ joins (~toonn@user/toonn)
13:43:05 jespada joins (~jespada@r167-63-7-242.dialup.adsl.anteldata.net.uy)
13:45:13 × CiaoSen quits (~Jura@2a05:5800:222:8900:ca4b:d6ff:fec1:99da) (Ping timeout: 265 seconds)
13:46:49 weary-traveler joins (~user@user/user363627)
13:46:55 × acidjnk quits (~acidjnk@p200300d6e7283f10610c721bb7f5359d.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
13:47:42 acidjnk joins (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de)
13:57:31 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:02:24 × youthlic quits (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds)
14:07:12 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds)
14:15:50 user__ joins (~user@user/fmira)
14:18:48 × fmira quits (~user@user/fmira) (Ping timeout: 264 seconds)
14:20:02 merijn joins (~merijn@77.242.116.146)
14:28:55 × taleseeker quits (~taleseeke@185.107.44.16) (Ping timeout: 264 seconds)
14:29:00 × user__ quits (~user@user/fmira) (Ping timeout: 264 seconds)
14:33:23 KicksonButt joins (~AdminUser@187.21.174.221)
14:39:21 × turlando quits (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.)
14:39:49 × SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
14:40:37 turlando joins (~turlando@user/turlando)
14:55:19 × yin quits (~z@user/zero) (Ping timeout: 265 seconds)
14:56:36 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
14:56:36 × euleritian quits (~euleritia@77.23.250.232) (Read error: Connection reset by peer)
14:57:11 euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
15:03:13 × alp quits (~alp@2001:861:8ca0:4940:97fa:2ec6:8934:3b6d) (Ping timeout: 248 seconds)
15:04:17 alp joins (~alp@2001:861:8ca0:4940:8cff:eeaf:eb69:44b2)
15:07:50 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
15:08:22 euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
15:22:48 × KicksonButt quits (~AdminUser@187.21.174.221) (Ping timeout: 246 seconds)
15:23:02 alp_ joins (~alp@2001:861:8ca0:4940:2df0:e5c3:8ea1:5c5)
15:24:05 × euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds)
15:24:46 alp__ joins (~alp@2001:861:8ca0:4940:9b1d:fca5:6162:339c)
15:24:46 euleritian joins (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de)
15:25:09 × alp quits (~alp@2001:861:8ca0:4940:8cff:eeaf:eb69:44b2) (Ping timeout: 252 seconds)
15:27:45 × alp_ quits (~alp@2001:861:8ca0:4940:2df0:e5c3:8ea1:5c5) (Ping timeout: 248 seconds)
15:29:53 × alp__ quits (~alp@2001:861:8ca0:4940:9b1d:fca5:6162:339c) (Ping timeout: 248 seconds)
15:34:02 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:35:46 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds)
15:42:24 merijn joins (~merijn@77.242.116.146)
15:46:21 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
15:54:25 ljdarj joins (~Thunderbi@user/ljdarj)
15:58:18 × jespada quits (~jespada@r167-63-7-242.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds)
15:59:56 jespada joins (~jespada@r167-63-7-242.dialup.adsl.anteldata.net.uy)
16:00:54 × drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 276 seconds)
16:01:35 × euleritian quits (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
16:01:53 euleritian joins (~euleritia@77.23.250.232)
16:04:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:04:41 drdo joins (~drdo@bl9-110-63.dsl.telepac.pt)
16:06:13 × euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 252 seconds)
16:06:48 euleritian joins (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de)
16:06:50 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
16:07:16 drdo5 joins (~drdo@bl9-110-63.dsl.telepac.pt)
16:08:48 × drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 244 seconds)
16:08:48 drdo5 is now known as drdo
16:15:04 × EvanR quits (~EvanR@user/evanr) (Remote host closed the connection)
16:15:24 EvanR joins (~EvanR@user/evanr)
16:17:00 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:20:33 × euleritian quits (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
16:21:51 euleritian joins (~euleritia@77.23.250.232)
16:25:40 kevinz56 joins (~kevinz56@202.134.186.251)
16:26:05 × kevinz56 quits (~kevinz56@202.134.186.251) (Client Quit)
16:29:31 × Buliarous quits (~gypsydang@46.232.210.139) (Remote host closed the connection)
16:30:00 Buliarous joins (~gypsydang@46.232.210.139)
16:33:21 × jespada quits (~jespada@r167-63-7-242.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
16:34:09 jespada joins (~jespada@2800:a4:1aa:c700:c4b1:ac7f:f7ac:cce7)
16:35:06 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
16:35:21 × jespada quits (~jespada@2800:a4:1aa:c700:c4b1:ac7f:f7ac:cce7) (Client Quit)
16:37:30 × euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 252 seconds)
16:39:57 alist joins (~alist@2600:1702:a90:6690:5903:2234:8632:d5f9)
16:41:02 euleritian joins (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de)
16:43:37 × acidjnk quits (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
17:00:19 × akegalj quits (~akegalj@83-131-230-169.adsl.net.t-com.hr) (Ping timeout: 260 seconds)
17:08:35 jespada joins (~jespada@2800:a4:1aa:c700:c4b1:ac7f:f7ac:cce7)
17:11:24 ft joins (~ft@p3e9bca18.dip0.t-ipconnect.de)
17:11:53 × alist quits (~alist@2600:1702:a90:6690:5903:2234:8632:d5f9) (Remote host closed the connection)
17:12:42 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds)
17:18:39 target_i joins (~target_i@user/target-i/x-6023099)
17:21:39 × euleritian quits (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de) (Ping timeout: 244 seconds)
17:21:46 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
17:22:55 euleritian joins (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de)
17:23:02 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds)
17:25:53 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
17:28:03 hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
17:31:37 KicksonButt joins (~AdminUser@187.21.174.221)
17:31:39 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:d01d:153f:680e:de48) (Quit: ubert)
17:35:16 acidjnk joins (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de)
17:39:30 × euleritian quits (~euleritia@dynamic-176-006-149-127.176.6.pool.telefonica.de) (Ping timeout: 272 seconds)
17:41:01 euleritian joins (~euleritia@dynamic-176-006-141-068.176.6.pool.telefonica.de)
17:43:07 wootehfoot joins (~wootehfoo@user/wootehfoot)
17:45:03 Pozyomka_ joins (~pyon@user/pyon)
17:45:27 × Pozyomka quits (~pyon@user/pyon) (Ping timeout: 265 seconds)
17:47:57 JuanDaugherty joins (~juan@user/JuanDaugherty)
17:48:10 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
17:48:11 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
17:48:33 Pixi` joins (~Pixi@user/pixi)
17:49:10 beaky_ joins (~beaky@2a03:b0c0:0:1010::1e:a001)
17:49:40 emergence1 joins (emergence@vm0.max-p.me)
17:49:48 caubert_ joins (~caubert@user/caubert)
17:49:53 m5zs7k_ joins (aquares@web10.mydevil.net)
17:49:57 paul_j`` joins (~user@8.190.187.81.in-addr.arpa)
17:49:58 _xor4 joins (~xor@ip-66-42-132-175.dynamic.fuse.net)
17:50:11 Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
17:50:13 × forell quits (~forell@user/forell) (Ping timeout: 248 seconds)
17:50:13 × flocks quits (~flocks@134.122.90.60) (Ping timeout: 248 seconds)
17:50:13 × acro quits (~acro@user/acro) (Ping timeout: 248 seconds)
17:50:13 × teesquare_ quits (~teesquare@user/teesquare) (Ping timeout: 248 seconds)
17:50:13 × paul_j`` quits (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection)
17:50:31 teesquare joins (~teesquare@user/teesquare)
17:50:34 × mniip quits (mniip@libera/staff/mniip) (Read error: Connection reset by peer)
17:50:36 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection)
17:50:38 × Dykam quits (Dykam@dykam.nl) (Remote host closed the connection)
17:50:40 mniip joins (mniip@libera/staff/mniip)
17:50:43 × ggVGc quits (~ggVGc@a.lowtech.earth) (Ping timeout: 252 seconds)
17:50:45 × Buliarous quits (~gypsydang@46.232.210.139) (Ping timeout: 248 seconds)
17:50:45 × barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 248 seconds)
17:50:45 × ouroboros quits (~ouroboros@user/ouroboros) (Ping timeout: 248 seconds)
17:50:45 × beaky quits (~beaky@198.211.118.219) (Ping timeout: 248 seconds)
17:50:47 acro joins (~acro@user/acro)
17:50:51 gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
17:50:53 × hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.)
17:50:54 Sciencentistguy4 joins (~sciencent@hacksoc/ordinary-member)
17:50:55 × haetsal quits (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.)
17:50:59 kimiamania8 joins (~65804703@user/kimiamania)
17:51:00 × auri quits (~auri@fsf/member/auri) (Remote host closed the connection)
17:51:05 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 252 seconds)
17:51:17 × _xor quits (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 248 seconds)
17:51:17 × shane quits (~shane@ana.rch.ist) (Ping timeout: 248 seconds)
17:51:17 × caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds)
17:51:17 × Digit quits (~user@user/digit) (Read error: Connection reset by peer)
17:51:18 igemnace_ joins (~igemnace@user/igemnace)
17:51:18 Digitteknohippie joins (~user@user/digit)
17:51:22 tomsmeding_ joins (~tomsmedin@2a01:4f8:c0c:5e5e::2)
17:51:24 × m5zs7k quits (aquares@web10.mydevil.net) (Read error: Connection reset by peer)
17:51:25 _xor4 is now known as _xor
17:51:27 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds)
17:51:27 × tomsmeding quits (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Ping timeout: 252 seconds)
17:51:27 × cjay quits (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 252 seconds)
17:51:27 × igemnace quits (~igemnace@user/igemnace) (Ping timeout: 252 seconds)
17:51:32 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 272 seconds)
17:51:32 × kimiamania quits (~65804703@user/kimiamania) (Ping timeout: 272 seconds)
17:51:32 × Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 272 seconds)
17:51:32 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 272 seconds)
17:51:32 Sciencentistguy4 is now known as Sciencentistguy
17:51:33 kimiamania8 is now known as kimiamania
17:51:33 Katarushisu6 is now known as Katarushisu
17:51:48 Dykam joins (Dykam@dykam.nl)
17:51:49 × emergence quits (emergence@vm0.max-p.me) (Ping timeout: 248 seconds)
17:51:49 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 252 seconds)
17:51:49 × peutri quits (~peutri@bobo.desast.re) (Ping timeout: 248 seconds)
17:51:49 × ringo_ quits (~ringo@157.230.117.128) (Ping timeout: 248 seconds)
17:51:50 emergence1 is now known as emergence
17:52:02 hueso joins (~root@user/hueso)
17:52:03 shane joins (~shane@ana.rch.ist)
17:52:04 flocks joins (~flocks@134.122.90.60)
17:52:08 ringo_ joins (~ringo@157.230.117.128)
17:52:09 haetsal joins (~quassel@221.138.168.192)
17:52:09 auri joins (~auri@fsf/member/auri)
17:52:10 × paul_j` quits (~user@8.190.187.81.in-addr.arpa) (Ping timeout: 272 seconds)
17:52:17 cjay joins (cjay@nerdbox.nerd2nerd.org)
17:52:18 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
17:52:36 Pixi__ joins (~Pixi@user/pixi)
17:52:38 Buliarous joins (~gypsydang@46.232.210.139)
17:52:38 barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk)
17:52:50 ggVGc joins (~ggVGc@a.lowtech.earth)
17:53:16 gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
17:53:16 takuan joins (~takuan@178-116-218-225.access.telenet.be)
17:53:23 peutri joins (~peutri@bobo.desast.re)
17:53:24 × euleritian quits (~euleritia@dynamic-176-006-141-068.176.6.pool.telefonica.de) (Ping timeout: 252 seconds)
17:53:34 ouroboros joins (~ouroboros@user/ouroboros)
17:54:17 forell joins (~forell@user/forell)
17:56:16 × Pixi` quits (~Pixi@user/pixi) (Ping timeout: 244 seconds)
17:57:16 euleritian joins (~euleritia@dynamic-176-006-141-068.176.6.pool.telefonica.de)
17:59:51 m5zs7k_ is now known as m5zs7k
18:02:48 euphores joins (~SASL_euph@user/euphores)
18:04:17 wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
18:04:49 Digitteknohippie is now known as Digit
18:05:34 × chele quits (~chele@user/chele) (Remote host closed the connection)
18:06:09 JuanDaugherty is now known as ColinRobinson
18:12:37 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:22:06 × euleritian quits (~euleritia@dynamic-176-006-141-068.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
18:22:23 euleritian joins (~euleritia@77.23.250.232)
18:25:06 icebreaker joins (~icebreake@user/icebreaker)
18:28:31 Square joins (~Square@user/square)
18:30:41 × Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds)
18:30:47 icebreaker parts (~icebreake@user/icebreaker) ()
18:32:53 × acidjnk quits (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
18:33:03 ColinRobinson is now known as JuanDaugherty
18:34:30 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:38:11 × jespada quits (~jespada@2800:a4:1aa:c700:c4b1:ac7f:f7ac:cce7) (Quit: My Mac has gone to sleep. ZZZzzz…)
18:39:50 jespada joins (~jespada@2800:a4:1aa:c700:c4b1:ac7f:f7ac:cce7)
18:41:12 × dtman34 quits (~dtman34@2601:447:d000:1f5e:d8cf:6a91:a7b5:a018) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
18:41:13 Guest14 joins (~Guest14@2601:602:8d83:8ec0:49b0:c3c7:4bc2:f5ac)
18:42:21 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
18:42:38 dtman34 joins (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03)
18:42:49 JuanDaugherty is now known as ColinRobinson
18:43:33 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
18:43:35 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
18:43:42 Lord_of_Life_ is now known as Lord_of_Life
18:45:30 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
18:45:37 × ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
18:47:26 ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se)
18:47:49 gmg joins (~user@user/gehmehgeh)
18:48:57 × dtman34 quits (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03) (Ping timeout: 246 seconds)
18:50:07 euphores joins (~SASL_euph@user/euphores)
18:52:07 × gmg quits (~user@user/gehmehgeh) (Client Quit)
18:52:11 <sim590> I'm writing a library that exposes this type `newtype MyMonad m a = MyMonad { unwrapMyMonad :: StateT MyMonadState m a }` in which all my functions exposed functions are running. This enables me to handle the state for the user. However, therefore, the user also has access to the state and I don't want that because this could cause memory leak (I'm writing an FFI library wrapping a C library).
18:52:13 <sim590> What can I do to avoid that?
18:52:22 lxsameer joins (~lxsameer@Serene/lxsameer)
18:53:17 ColinRobinson is now known as JuanDaugherty
18:53:37 <geekosaur> does `unwrapMyMonad` need to be exposed?
18:53:58 <sim590> It's not exposed.
18:54:05 <geekosaur> if so, consider why it would need to be and then see if you can write a "smart constructor" in its place
18:54:16 <geekosaur> then don't export it
18:54:49 <geekosaur> export `MyMonad` instead of `MyMonad(..)`
18:55:16 <sim590> I'm sorry, there's this function that is exported though: runMyMonad :: MyMonad IO () -> IO ()
18:55:41 <geekosaur> that's fine, it only uses the type level
18:56:33 <sim590> But then, can't someone use the StateT's `get` and `put` inside their `MyMonad IO ()` action ?
18:56:43 <probie> At no point (without `unsafeCoerce`) can they access the inner `StateT MyMonadState m a` unless you export the constructor for `MyMonad` or `unwrapMyMonad`
18:56:59 <probie> Only if you made it an instance of `MonadState`
18:57:08 <geekosaur> basically, if you export or import just MyMonad then you only get the type, not the value level stuff they need to apply things like `get` or `put`
18:57:21 <sim590> Yeah, I have this: deriving (Functor, Applicative, Monad, MonadIO, MonadState DhtRunnerState)
18:57:24 <geekosaur> this is actually a common beginner error, forgetting to export or import the data constructors/fields
18:57:35 <geekosaur> oh, hm
18:57:39 <sim590> Oops, I meant MyMonadState.
18:57:46 <geekosaur> that gets you in trouble, yes
18:58:17 <geekosaur> consider not deriving that and unwrapping (this costs nothing at runtime since it's a newtype) to use it
18:58:49 JuanDaugherty is now known as ColinRobinson
18:59:33 <sim590> The issue is that before wrapping the user's action, I call some FFI C function for allocating some memory and when I unwrap the action, I free the pointers.
19:00:17 <geekosaur> not if you're unwrapping the newtype
19:00:52 dtman34 joins (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03)
19:01:06 <sim590> Can I send you a link to my code so that you can give me a pastebin maybe of some modification I could do to make it work? The code is only one file with 300 lines.
19:01:20 <geekosaur> I'm about to leave for a doctor appointment, so no
19:01:29 <sim590> Oh OK.
19:01:34 <geekosaur> maybe probie can help you from here
19:01:52 <sim590> I'm a bit lost about the high level explanations like "if you're unwrapping the newtype"
19:01:58 <geekosaur> (I have doctor appointments all week 😞 )
19:02:41 <geekosaur> invoking `unwrapMyMonad` has zero runtime footprint
19:02:49 <geekosaur> by definition, since it's part of a newtype
19:02:58 ColinRobinson is now known as JuanDaugherty
19:03:20 <geekosaur> you can't attach logic to it, so it can't be freeing up resources
19:03:55 <geekosaur> so just not making that directly or indirectly (i.e. by GND) available to users should be enough to prevent access
19:04:09 geekosaur *poof*s
19:04:57 <sim590> I'll take some time to re-read everything that was said.
19:05:38 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
19:06:00 JuanDaugherty is now known as ColinRobinson
19:06:53 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
19:07:24 gorignak joins (~gorignak@user/gorignak)
19:07:36 <probie> I'm also about to become busy, so I can't help much (at least not for another ~12 hours), but if you use `StateT MyMonadState m a` internally, and use `MyMonad m a` for exposedfunctions in your library (and don't derive `MonadState`), it should be fine
19:14:58 <sim590> probie: that might be just what I need to do!
19:15:02 <sim590> Alright. I'll try that!
19:17:46 gmg joins (~user@user/gehmehgeh)
19:20:31 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:24:13 × anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
19:25:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
19:27:22 sprotte24 joins (~sprotte24@p200300d16f040300a9d95df64a090144.dip0.t-ipconnect.de)
19:28:26 × dhil quits (~dhil@2a0c:b381:588:5f00:b836:6a00:3625:e16d) (Quit: Leaving)
19:31:46 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
19:35:54 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:40:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
19:51:16 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:51:27 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
19:51:49 connrs joins (~connrs@user/connrs)
19:53:56 <haskellbridge> <thirdofmay18081814goya> so, indexed algebras eh
19:54:15 <haskellbridge> <thirdofmay18081814goya> hardest thing I've had to wrap my head around yet
19:55:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
19:59:04 ljdarj1 joins (~Thunderbi@user/ljdarj)
20:00:01 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:00:40 caconym joins (~caconym@user/caconym)
20:00:59 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
20:02:31 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds)
20:02:31 ljdarj1 is now known as ljdarj
20:04:41 acidjnk joins (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de)
20:05:59 <sim590> probie: what if instead I use these constraints on my functions `(MonadIO m, MonadState MyMonadState m) => ... -> m ()` and I remove `MonadState MyMonadState` of the newtype deriving of MyMonad? Then it will have the same effect, right?
20:06:40 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:13:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
20:16:59 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
20:21:11 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
20:24:15 <sim590> Actually, I think that what I'm saying is nonsene. I didn
20:24:21 <sim590> I didn't read properly what you said.
20:24:44 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:26:45 weary-traveler joins (~user@user/user363627)
20:27:20 × Square quits (~Square@user/square) (Ping timeout: 272 seconds)
20:29:03 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
20:30:30 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
20:35:33 × jle` quits (~jle`@2603:8001:3b02:84d4:90eb:bd2f:bbf5:f0d8) (Ping timeout: 248 seconds)
20:36:51 jle` joins (~jle`@2603:8001:3b02:84d4::a0b)
20:39:37 × Guest14 quits (~Guest14@2601:602:8d83:8ec0:49b0:c3c7:4bc2:f5ac) (Quit: Client closed)
20:39:55 cheater_ joins (~Username@user/cheater)
20:40:04 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:40:05 <sim590> Oohhh. Can I just not expose the type and constructor of the state. Therefore, even though the user could write `get` inside his MyMonadM action, he could not use `put` to replace the state or even read the fields of the state because the state type is not exposed.
20:40:18 <sim590> geekosaur, probie: right?
20:42:26 × cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds)
20:42:31 cheater_ is now known as cheater
20:44:32 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
20:45:09 × euleritian quits (~euleritia@77.23.250.232) (Ping timeout: 248 seconds)
20:45:44 euleritian joins (~euleritia@dynamic-176-006-135-246.176.6.pool.telefonica.de)
20:47:02 anpad joins (~pandeyan@user/anpad)
20:49:07 pavonia joins (~user@user/siracusa)
20:51:45 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
20:54:13 × dtman34 quits (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03) (Ping timeout: 248 seconds)
20:54:42 <probie> sim590: Not good enough. I could pull the `MyMonadState` out of one computation and inject it into a completely separate one, causing a double-free of some resources, and not freeing others.
20:55:29 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:55:36 <sim590> Hmmmm. I see.
20:55:39 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds)
20:55:51 j1n37 joins (~j1n37@user/j1n37)
20:56:03 <probie> e.g. `main = do { x <- runMyMonad get; runMyMonad (put x) }`, any resources claimed on the second use of `runMyMonad` are never cleaned up
20:56:39 <probie> oh, `runMyMonad` doesn't return things, you probably need something like an `IORef` in the middle to do this, but it can still be done
20:57:15 <hellwolf> you probably should have a withXYZ pattern
20:57:25 <hellwolf> or bracket
20:57:30 <sim590> probie: I see the idea though.
20:58:26 <sim590> hellwolf: hmmm. Just like `with` and `withCString` and such...
20:59:47 <hellwolf> yes, otherwise you will need to use lineartypes to guarantee resource safety; or worse, asking programmers to be nice and follow rituals.
21:00:05 <hellwolf> with pattern is common and easy enough.
21:00:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
21:00:24 <sim590> probie: But my `runMyMonadM` has type `MyMonadM () -> IO ()`, so it's not returning anything. Therefore, it cannot return the state?
21:03:07 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
21:03:35 × ColinRobinson quits (~juan@user/JuanDaugherty) (Quit: ColinRobinson)
21:03:36 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
21:03:54 <probie> sim590: To make concrete how easy that is to bypass. `main = do { ref <- newIORef (undefined :: MyMonadState); runMyMonad (get >>= liftIO . writeIORef ref); runMyMonad (liftIO (readIORef ref) >>= put) }`
21:05:22 <sim590> For better context, here's what I have right now: https://github.com/sim590/opendht-hs/blob/be753fac41e8abf98b82ce493c01cb7288fcc3a0/src/OpenDHT/DhtRunner.hs#L200-L215
21:07:03 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
21:07:44 <sim590> hellwolf: Idk how hard it could be to change from the state approach to the `with*` approach. I do use some lenses and I want to be able to use that the way I do it inside StateT.
21:08:15 halloy5142 joins (~halloy514@2a03:4b80:a720:7ac0:d64e:f256:6357:d3ec)
21:08:16 <sim590> probie: what am I missing then to make it perfectly opaque. I'm not sure I get it still.
21:09:54 remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
21:10:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:11:53 × halloy5142 quits (~halloy514@2a03:4b80:a720:7ac0:d64e:f256:6357:d3ec) (Client Quit)
21:13:42 benjamin joins (~benjamin@2a03:4b80:a720:7ac0:d64e:f256:6357:d3ec)
21:15:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
21:15:56 dtman34 joins (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03)
21:16:08 <tomsmeding_> I didn't follow the conversation, so perhaps this is irrelevant, but the moment you allow the user to execute arbitrary IO in your monad, they can "export" whatever info they want from the computation to elsewhere in the program
21:16:13 tomsmeding_ is now known as tomsmeding
21:18:30 <tomsmeding> sim590: I just skimmed the backlog; definitely do not derive MonadState MyMonadState.
21:18:54 <tomsmeding> if you don't want the user to get hold of your MyMonadState, don't let them see or touch it :p
21:21:40 tomsmeding is wondering what happens if you instantiate `m` in `MyMonad` to `ContT r IO`
21:22:29 <sim590> I have no clue what `ContT` is :D
21:22:37 <tomsmeding> sim590: I haven't worked it out yet, so I'm not 100% sure, but I fear that the simple fact of allowing an arbitrary `m` there is already breaking your abstraction
21:22:46 zero joins (~z@user/zero)
21:22:53 <tomsmeding> sim590: this, but that ain't gonna help you :D https://hackage.haskell.org/package/transformers-0.6.1.2/docs/Control-Monad-Trans-Cont.html#t:ContT
21:23:01 <tomsmeding> it's one of the more mind-bending monads
21:23:43 <sim590> If you want to see exactly what I'm trying to do, here's the file: https://github.com/sim590/opendht-hs/blob/be753fac41e8abf98b82ce493c01cb7288fcc3a0/src/OpenDHT/DhtRunner.hs#L200-L215
21:25:40 <tomsmeding> sim590: from first glance it looks like all your methods run in `DhtRunnerM DhT`, not in `DhtRunnerM m` for any `m`. Would it be acceptable to hard-code the Dht inside DhtRunnerM?
21:25:56 <sim590> Yeah
21:26:13 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:26:41 <sim590> I guess I took an example of something I did in the past and I modified it so that it worked.
21:28:29 Everything joins (~Everythin@195.138.86.118)
21:28:39 <sim590> I guess I don't need to make my monad a transformer. The users could just use other transformers on top of my monad if they want it, right?
21:30:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
21:32:13 <sim590> I also have an example test function that illustrates how I see the user using `DhtRunnerM`: https://github.com/sim590/opendht-hs/blob/dhtrunner-test/test/Main.hs
21:34:01 <zero> any reason why `fst` and `snd` are not record selectors?
21:35:22 <Rembane> zero: Why would they bee?
21:35:24 <Rembane> *be
21:36:09 <hellwolf> also, what makes a record selector
21:38:55 × euleritian quits (~euleritia@dynamic-176-006-135-246.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
21:38:59 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
21:39:13 euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de)
21:41:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:43:37 cy7 joins (~yt@user/cysh)
21:46:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
21:46:42 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:55:50 × mulk quits (~mulk@pd9514590.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in)
21:57:10 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:58:39 mulk joins (~mulk@pd9514590.dip0.t-ipconnect.de)
21:59:39 × jespada quits (~jespada@2800:a4:1aa:c700:c4b1:ac7f:f7ac:cce7) (Quit: My Mac has gone to sleep. ZZZzzz…)
22:01:25 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
22:11:41 × michalz quits (~michalz@185.246.207.201) (Remote host closed the connection)
22:12:32 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:13:10 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:16:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
22:18:32 × cy7 quits (~yt@user/cysh) (Ping timeout: 265 seconds)
22:19:11 × benjamin quits (~benjamin@2a03:4b80:a720:7ac0:d64e:f256:6357:d3ec) (Quit: benjamin)
22:20:28 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
22:23:07 <geekosaur> zero, tuples are anonymous products, by definition there is nowhere to put record selectors
22:23:15 madjidnrl joins (~madjidnrl@154.121.88.57)
22:26:58 × madjidnrl quits (~madjidnrl@154.121.88.57) (Client Quit)
22:27:56 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:32:31 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
22:39:20 cy7 joins (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com)
22:42:42 × Pozyomka_ quits (~pyon@user/pyon) (Ping timeout: 252 seconds)
22:43:02 Pozyomka joins (~pyon@user/pyon)
22:43:20 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:44:37 × dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 248 seconds)
22:45:09 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
22:45:26 dsrt^ joins (~dsrt@108.192.66.114)
22:46:33 img joins (~img@user/img)
22:47:47 × DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
22:48:32 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:48:37 DragonMaus joins (~dragonmau@user/dragonmaus)
22:53:02 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
22:54:17 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
22:56:58 weary-traveler joins (~user@user/user363627)
23:05:04 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:05:58 × alfiee quits (alfiee@user/alfiee) (Ping timeout: 244 seconds)
23:08:49 × sprotte24 quits (~sprotte24@p200300d16f040300a9d95df64a090144.dip0.t-ipconnect.de) (Quit: Leaving)
23:09:21 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
23:09:33 alfiee joins (~alfiee@user/alfiee)
23:13:54 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds)
23:20:26 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:20:31 Sgeo joins (~Sgeo@user/sgeo)
23:21:04 LainExperiments joins (~LainExper@user/LainExperiments)
23:25:06 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer)
23:25:17 × Everything quits (~Everythin@195.138.86.118) (Quit: leaving)
23:25:24 LainExperiments6 joins (~LainExper@user/LainExperiments)
23:25:41 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
23:27:00 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:27:38 gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
23:28:40 × LainExperiments quits (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
23:31:16 × dibblego quits (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer)
23:31:30 dibblego joins (~dibblego@116-255-1-119.ip4.superloop.au)
23:31:30 × dibblego quits (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host)
23:31:30 dibblego joins (~dibblego@haskell/developer/dibblego)
23:34:49 dysthesis joins (~dysthesis@user/dysthesis)
23:36:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:38:40 × Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
23:41:11 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
23:46:51 JuanDaugherty joins (~juan@user/JuanDaugherty)
23:47:11 × Xe quits (~Xe@perl/impostor/xe) (Read error: Connection reset by peer)
23:49:53 Xe joins (~Xe@perl/impostor/xe)
23:51:04 JuanDaugherty is now known as ColinRobinson
23:51:45 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:57:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:59:58 ljdarj1 joins (~Thunderbi@user/ljdarj)

All times are in UTC on 2025-01-21.