| 2025-04-27 00:04:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-27 00:06:19 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-27 00:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-27 00:11:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 00:14:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-27 00:14:43 +0200 | ljdarj1 | ljdarj |
| 2025-04-27 00:18:12 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-27 00:21:22 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-27 00:22:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 00:23:19 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
| 2025-04-27 00:31:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-27 00:34:34 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-04-27 00:41:15 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-27 00:42:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 00:42:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 00:42:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-04-27 00:49:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-27 00:51:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-27 00:51:52 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) (Read error: Connection reset by peer) |
| 2025-04-27 00:52:05 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) |
| 2025-04-27 00:52:14 +0200 | JoeRayner123 | (~Thunderbi@31.217.12.231) (Remote host closed the connection) |
| 2025-04-27 00:57:15 +0200 | noteness | (~noteness@user/noteness) (Quit: bye) |
| 2025-04-27 00:58:29 +0200 | noteness | (~noteness@user/noteness) nessessary129 |
| 2025-04-27 01:07:51 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-27 01:08:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-27 01:28:21 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-04-27 01:28:58 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-27 01:30:40 +0200 | kimiamania9 | (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 2025-04-27 01:32:08 +0200 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
| 2025-04-27 01:36:04 +0200 | kimiamania99 | (~65804703@user/kimiamania) (Client Quit) |
| 2025-04-27 01:37:34 +0200 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
| 2025-04-27 01:46:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-27 01:53:31 +0200 | sprotte24 | (~sprotte24@p200300d16f0edb008da0b43d58ccc511.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-27 01:58:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 02:04:33 +0200 | jespada_ | (~jespada@r179-25-121-156.dialup.adsl.anteldata.net.uy) (Ping timeout: 244 seconds) |
| 2025-04-27 02:26:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-27 02:27:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-04-27 02:35:16 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 276 seconds) |
| 2025-04-27 02:39:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-27 02:39:10 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f09ad59765f396bb04f.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-27 02:41:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-27 02:42:25 +0200 | otto_s | (~user@p5b044fbe.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-27 02:43:31 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-04-27 02:43:56 +0200 | otto_s | (~user@p5de2f428.dip0.t-ipconnect.de) |
| 2025-04-27 02:47:40 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-04-27 02:56:09 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-04-27 03:02:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-27 03:14:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 03:17:16 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-04-27 03:20:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-27 03:35:03 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:6cf1:9b1a:eb92:4847) (Read error: Connection reset by peer) |
| 2025-04-27 03:35:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 03:37:02 +0200 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-04-27 03:38:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 03:42:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 03:43:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-27 03:55:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-27 03:55:39 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-04-27 04:04:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-27 04:04:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-27 04:05:05 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-04-27 04:05:36 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-04-27 04:06:05 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-27 04:15:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-27 04:18:34 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 04:18:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-27 04:19:47 +0200 | ddb | (ddb@tilde.club) (Quit: WeeChat 4.5.2) |
| 2025-04-27 04:19:47 +0200 | anderson | (anderson@user/anderson) (Quit: WeeChat 4.5.1) |
| 2025-04-27 04:22:31 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 276 seconds) |
| 2025-04-27 04:23:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 04:23:32 +0200 | td_ | (~td@i5387092A.versanet.de) td_ |
| 2025-04-27 04:25:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 04:28:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 04:30:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 04:35:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-27 04:39:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-27 04:41:02 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-04-27 04:45:40 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 2025-04-27 04:50:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 04:58:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a16e:31f3:ac48:6e3d) (Ping timeout: 276 seconds) |
| 2025-04-27 05:01:32 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-27 05:01:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 05:01:55 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-27 05:05:05 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-27 05:05:12 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-27 05:05:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 05:12:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 05:13:27 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-27 05:14:27 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-27 05:17:05 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-04-27 05:17:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 05:19:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 05:22:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 05:24:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 05:26:13 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2025-04-27 05:31:12 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-27 05:31:45 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-27 05:44:40 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) |
| 2025-04-27 05:46:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 05:53:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-27 05:57:28 +0200 | todi1 | todi |
| 2025-04-27 05:58:49 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-27 06:06:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 06:10:04 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-04-27 06:20:00 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 06:20:01 +0200 | down200 | (~down200@shell.lug.mtu.edu) (Quit: ZNC - https://znc.in) |
| 2025-04-27 06:21:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-04-27 06:29:03 +0200 | Typedfern | (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) |
| 2025-04-27 06:32:32 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-04-27 06:34:30 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-27 06:35:52 +0200 | euleritian | (~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de) |
| 2025-04-27 06:41:41 +0200 | euleritian | (~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-27 06:42:09 +0200 | euleritian | (~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de) |
| 2025-04-27 06:42:28 +0200 | euleritian | (~euleritia@dynamic-176-006-128-109.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-27 06:42:46 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-27 07:01:08 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-27 07:08:54 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-27 07:10:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-27 07:21:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 07:42:03 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-27 07:47:00 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-27 07:47:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-04-27 07:48:26 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-27 08:11:40 +0200 | bitrot | (~bitrot@2a09:bac5:3b4f:eaa::176:77) |
| 2025-04-27 08:18:14 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-04-27 08:25:00 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2025-04-27 08:25:24 +0200 | xkuru | (~xkuru@user/xkuru) xkuru |
| 2025-04-27 08:25:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-27 08:37:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 08:41:45 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-27 08:50:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
| 2025-04-27 08:50:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-27 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-27 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-04-27 09:12:35 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:ac74:2d0a:8f8e:3f83) |
| 2025-04-27 09:21:48 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-27 09:22:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-04-27 09:23:13 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-04-27 09:29:24 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:ac74:2d0a:8f8e:3f83) (Ping timeout: 276 seconds) |
| 2025-04-27 09:35:49 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-04-27 09:41:35 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) acidjnk |
| 2025-04-27 09:44:35 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-27 09:57:00 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-04-27 10:10:49 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-04-27 10:11:42 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 252 seconds) |
| 2025-04-27 10:12:25 +0200 | nckx | (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 2025-04-27 10:15:44 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-27 10:27:49 +0200 | bitrot | (~bitrot@2a09:bac5:3b4f:eaa::176:77) (Quit: Client closed) |
| 2025-04-27 10:29:40 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 252 seconds) |
| 2025-04-27 10:30:11 +0200 | euleritian | (~euleritia@dynamic-176-006-128-100.176.6.pool.telefonica.de) |
| 2025-04-27 10:30:36 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-04-27 10:33:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-27 10:33:33 +0200 | <[exa]> | EvanR, int-e: btw re the ambiguity avoidance yesterday, wasn't there a proposal for that already? I recall I saw something |
| 2025-04-27 10:37:53 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-27 10:43:00 +0200 | sprotte24 | (~sprotte24@p200300d16f174f00e11b2faf6af92897.dip0.t-ipconnect.de) |
| 2025-04-27 10:49:30 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-27 10:50:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-27 10:50:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-27 10:53:14 +0200 | img_ | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-27 10:54:39 +0200 | img | (~img@user/img) img |
| 2025-04-27 10:55:57 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-27 10:58:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-27 11:19:47 +0200 | xkuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2025-04-27 11:20:10 +0200 | xkuru | (~xkuru@user/xkuru) xkuru |
| 2025-04-27 11:24:16 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-27 11:25:02 +0200 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 252 seconds) |
| 2025-04-27 11:27:32 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-27 11:41:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-27 11:53:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 11:55:29 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) |
| 2025-04-27 12:04:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 12:04:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 12:05:19 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-27 12:06:42 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
| 2025-04-27 12:09:31 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-27 12:43:42 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 12:43:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-27 12:45:31 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-27 12:59:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-27 13:01:49 +0200 | jespada | (~jespada@r190-133-35-70.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-27 13:05:15 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:9deb:37d0:5584:c159) |
| 2025-04-27 13:09:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 13:15:53 +0200 | euleritian | (~euleritia@dynamic-176-006-128-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-27 13:16:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-27 13:16:15 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-27 13:27:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 13:32:33 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 2025-04-27 13:34:04 +0200 | vgtw_ | (~vgtw@user/vgtw) vgtw |
| 2025-04-27 13:34:28 +0200 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-04-27 13:48:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-27 13:54:44 +0200 | <haskellbridge> | <hellwolf> refactoring in Haskell is very satisfying... compiles -> works. |
| 2025-04-27 13:54:44 +0200 | <haskellbridge> | Why would I let LLM takes that fun away from me.. |
| 2025-04-27 13:55:00 +0200 | <haskellbridge> | <hellwolf> Two day later: https://paste.tomsmeding.com/NxOWsZbb , I got rid of all the Rv/Uv decorators. |
| 2025-04-27 13:55:27 +0200 | <haskellbridge> | <hellwolf> the dilemma is to "dumb down" things by "type Var = Ur". |
| 2025-04-27 13:55:35 +0200 | <haskellbridge> | <hellwolf> *whether to |
| 2025-04-27 14:01:51 +0200 | nckx | (nckx@libera/staff/owl/nckx) nckx |
| 2025-04-27 14:03:36 +0200 | <haskellbridge> | <hellwolf> and it is a type error if I swap some lines: power of LinearTypes |
| 2025-04-27 14:03:51 +0200 | <haskellbridge> | <hellwolf> preventing temporal logic error using types. |
| 2025-04-27 14:17:00 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 14:20:26 +0200 | Square2 | (~Square@user/square) Square |
| 2025-04-27 14:24:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-27 14:28:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f296ce421454b8851ea.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-04-27 14:30:16 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 276 seconds) |
| 2025-04-27 14:30:49 +0200 | cstml | (~Thunderbi@user/cstml) (Remote host closed the connection) |
| 2025-04-27 14:31:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-27 14:34:15 +0200 | jespada_ | (~jespada@r186-49-245-168.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-27 14:34:43 +0200 | jespada | (~jespada@r190-133-35-70.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-27 14:35:03 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) acidjnk |
| 2025-04-27 14:40:44 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-04-27 14:42:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 14:44:26 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-27 14:44:54 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-27 15:13:49 +0200 | Vajb | (~Vajb@n83sqe30rcw6481fyv6-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-04-27 15:14:00 +0200 | Vajb | (~Vajb@n70s1gw9rltp7nongp6-1.v6.elisa-mobile.fi) |
| 2025-04-27 15:14:36 +0200 | <haskellbridge> | <Liamzee> yo, EvanR, you here? |
| 2025-04-27 15:15:16 +0200 | <haskellbridge> | <Liamzee> https://paste.tomsmeding.com/mGHVraNc |
| 2025-04-27 15:15:16 +0200 | <haskellbridge> | <Liamzee> this solves my problem |
| 2025-04-27 15:15:31 +0200 | <haskellbridge> | <Liamzee> the one with chained error handling without ExceptT |
| 2025-04-27 15:15:36 +0200 | AlexZenon | (~alzenon@178.34.151.238) (Ping timeout: 272 seconds) |
| 2025-04-27 15:15:49 +0200 | <haskellbridge> | <Liamzee> explicit use of monadic bind and traverse to engage the error type |
| 2025-04-27 15:21:47 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:22:13 +0200 | AlexZenon | (~alzenon@178.34.151.238) |
| 2025-04-27 15:22:34 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-27 15:24:57 +0200 | <haskellbridge> | <Liamzee> hmmm, this actually doesn't work, ugh |
| 2025-04-27 15:25:01 +0200 | <haskellbridge> | <Liamzee> almost |
| 2025-04-27 15:26:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:31:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:32:50 +0200 | <haskellbridge> | <Liamzee> ahhh |
| 2025-04-27 15:33:31 +0200 | <haskellbridge> | <Liamzee> either (pure . Left) v works, as does u >>= fmap join . traverse v |
| 2025-04-27 15:33:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:37:03 +0200 | <haskellbridge> | <Liamzee> there was a guy telling me that Haskell is actually underappreciated for Crud |
| 2025-04-27 15:39:04 +0200 | <haskellbridge> | <Liamzee> and taking traverse / for_ as a way to propagate errors as an example |
| 2025-04-27 15:40:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 15:40:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
| 2025-04-27 15:43:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 15:47:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 15:51:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-27 15:51:37 +0200 | ljdarj1 | ljdarj |
| 2025-04-27 15:58:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 16:01:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 16:09:00 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-27 16:09:28 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-27 16:19:15 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-27 16:20:34 +0200 | hidjgr | (~hidjgr@user/hidjgr) (Ping timeout: 252 seconds) |
| 2025-04-27 16:30:06 +0200 | puke | (~puke@user/puke) (Ping timeout: 252 seconds) |
| 2025-04-27 16:41:57 +0200 | puke | (~puke@user/puke) puke |
| 2025-04-27 16:58:51 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-27 17:02:22 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:9deb:37d0:5584:c159) (Ping timeout: 276 seconds) |
| 2025-04-27 17:03:29 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 17:03:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-04-27 17:13:04 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-27 17:13:41 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-27 17:25:45 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-27 17:26:13 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-27 17:30:58 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2025-04-27 17:33:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-27 17:47:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-27 17:47:53 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-27 17:48:12 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-27 17:58:50 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-04-27 17:59:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 18:07:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
| 2025-04-27 18:28:26 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 18:31:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 18:31:27 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-27 18:32:17 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-27 18:36:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-27 18:37:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-27 18:45:15 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) acidjnk |
| 2025-04-27 18:49:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-04-27 18:51:34 +0200 | OftenFaded | (~OftenFade@user/tisktisk) OftenFaded |
| 2025-04-27 18:54:48 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-04-27 18:59:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-27 19:03:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-27 19:05:13 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2507-890c-b877-e3a6-4e25-363b.rev.sfr.net) alexherbo2 |
| 2025-04-27 19:08:04 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-04-27 19:10:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 19:11:49 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) (Quit: WeeChat 4.6.1) |
| 2025-04-27 19:12:29 +0200 | cawfee | (root@2001:19f0:4400:79a1::babe) |
| 2025-04-27 19:26:58 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-27 19:27:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 2025-04-27 19:31:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ac80:9bb1:e5dc:c7d3) |
| 2025-04-27 19:33:44 +0200 | <haskellbridge> | <hellwolf> what is the lens library that works with non-hask types? |
| 2025-04-27 19:45:51 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-04-27 19:45:53 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-04-27 19:48:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-27 19:59:10 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-27 20:03:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 20:08:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-27 20:10:08 +0200 | Square2 | Square |
| 2025-04-27 20:11:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 20:15:06 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-04-27 20:15:31 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f291c3f5884f0a5aebe.dip0.t-ipconnect.de) acidjnk |
| 2025-04-27 20:25:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-04-27 20:25:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-27 20:37:11 +0200 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-04-27 20:37:41 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2025-04-27 20:38:10 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-04-27 20:42:25 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-27 20:43:08 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2507-890c-b877-e3a6-4e25-363b.rev.sfr.net) (Remote host closed the connection) |
| 2025-04-27 20:43:17 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2507-890c-b877-e3a6-4e25-363b.rev.sfr.net) alexherbo2 |
| 2025-04-27 20:46:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2507-890c-b877-e3a6-4e25-363b.rev.sfr.net) (Remote host closed the connection) |
| 2025-04-27 20:49:49 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2507-890c-388b-fef0-359d-316c.rev.sfr.net) alexherbo2 |
| 2025-04-27 20:51:55 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-27 20:53:36 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2507-890c-388b-fef0-359d-316c.rev.sfr.net) (Remote host closed the connection) |
| 2025-04-27 20:54:51 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-27 20:57:42 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 240 seconds) |
| 2025-04-27 21:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-27 21:00:48 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-04-27 21:08:01 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2025-04-27 21:09:11 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) mulk |
| 2025-04-27 21:19:44 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-27 21:21:07 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-04-27 21:27:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-27 21:35:24 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-27 21:35:24 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-27 21:39:56 +0200 | OftenFaded | (~OftenFade@user/tisktisk) (Ping timeout: 252 seconds) |
| 2025-04-27 21:53:57 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-04-27 22:03:34 +0200 | Digit | (~user@user/digit) Digit |
| 2025-04-27 22:07:46 +0200 | Digit | digitteknohippie |
| 2025-04-27 22:10:37 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-04-27 22:13:32 +0200 | digitteknohippie | Digit |
| 2025-04-27 22:16:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-27 22:17:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 22:18:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 22:19:02 +0200 | michalz | (~michalz@185.246.207.193) |
| 2025-04-27 22:20:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 22:21:28 +0200 | xff0x | (~xff0x@2409:251:9040:2c00:8240:4eb8:4326:3de4) |
| 2025-04-27 22:23:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 22:24:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 22:27:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 22:28:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 22:34:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-27 22:35:40 +0200 | benin | (~benin@80-108-89-247.cable.dynamic.surfer.at) benin |
| 2025-04-27 22:36:26 +0200 | benin | (~benin@80-108-89-247.cable.dynamic.surfer.at) (Client Quit) |
| 2025-04-27 22:38:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-27 22:52:18 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-27 22:57:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-27 23:00:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-27 23:01:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-04-27 23:01:07 +0200 | ljdarj1 | ljdarj |
| 2025-04-27 23:03:31 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-27 23:04:50 +0200 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2025-04-27 23:12:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-27 23:14:01 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c531:a8cf:57a8:ee6f) |
| 2025-04-27 23:32:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-27 23:38:19 +0200 | dhil | (~dhil@5.151.29.141) (Ping timeout: 245 seconds) |
| 2025-04-27 23:39:33 +0200 | <EvanR> | in dependent types world you sometimes hear about erasable types which helps compiled code not be as slowed down carrying proofs around that aren't actually used |
| 2025-04-27 23:40:27 +0200 | <EvanR> | but is there a way to use that information for optimization instead, instead of just "do no harm" |
| 2025-04-27 23:43:14 +0200 | <ncf> | what do you mean? erasure is a form of optimisation |
| 2025-04-27 23:43:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-04-27 23:43:40 +0200 | <EvanR> | ok |
| 2025-04-27 23:43:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-27 23:44:12 +0200 | <EvanR> | or the two steps forward that the dependent types added the two steps back for you earlier |
| 2025-04-27 23:44:35 +0200 | <davean> | And which cases can't occur drop which conditions you need to check, etc. |
| 2025-04-27 23:44:48 +0200 | <EvanR> | ok that's good |
| 2025-04-27 23:45:44 +0200 | <davean> | What you're erasing is why the code only does the things it does, not the other things it might have to do. |
| 2025-04-27 23:46:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-04-27 23:47:27 +0200 | <EvanR> | though you might imagine there is more there that can be exploited beyond the obvious |
| 2025-04-27 23:51:42 +0200 | <EvanR> | like in a context where an integer is known to be in a small range or is small in magnitude |
| 2025-04-27 23:54:12 +0200 | <davean> | Those simplications usually show up in the code because the fact we used them is how we ended up with the type in the first place. That said, when we start inlining more abstract functions, etc we get to simplify under these new constraints. This is part of the code of how to optimize in Haskell too. |
| 2025-04-27 23:54:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |