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