| 2025-05-15 00:06:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:11:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:11:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 00:13:04 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2025-05-15 00:13:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 00:14:32 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-05-15 00:15:16 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 00:20:19 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-05-15 00:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:26:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:37:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:42:40 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2025-05-15 00:42:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 00:42:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 00:44:14 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 00:53:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 00:54:57 +0200 | <EvanR> | huzzah the actually working this time abstract machine https://paste.tomsmeding.com/jy4QOplV tested fact(5) using basic version and tail recursive version with accumulating parameter |
| 2025-05-15 01:00:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 01:03:11 +0200 | <EvanR> | to compile a variable, load it from the environment. to compile a non-recursive let, store something in the environment. to compile a lambda, create a closure with body code and the relevant part of current environment. to compile function application, call a closure with its env prepended by arguments |
| 2025-05-15 01:04:17 +0200 | sprotte24 | (~sprotte24@p200300d16f05910054b2a9a5e51db9d5.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-15 01:04:21 +0200 | <EvanR> | supports a recursive let binding a lambda special case, by creating a closure with itself placed in its own environment |
| 2025-05-15 01:08:13 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 01:08:42 +0200 | <EvanR> | no need for mutation (in the transition table) |
| 2025-05-15 01:09:31 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2025-05-15 01:09:35 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-15 01:10:30 +0200 | bionade24 | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2025-05-15 01:10:41 +0200 | bionade24 | (~quassel@2a03:4000:33:45b::1) bionade24 |
| 2025-05-15 01:11:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 01:17:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:19:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-05-15 01:19:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-15 01:21:18 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1938d92047264b5ff5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-15 01:22:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 01:24:13 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-15 01:26:32 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 01:33:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:38:19 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-05-15 01:38:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 01:46:57 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 01:48:31 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-15 01:48:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-15 01:49:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 01:49:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eb45:b718:2115:4152) (Ping timeout: 272 seconds) |
| 2025-05-15 01:51:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e621:fc87:a63b:5786) |
| 2025-05-15 01:55:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 02:03:20 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-15 02:05:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:09:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 02:14:03 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1924852553a74666cb.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 02:20:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:23:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2025-05-15 02:23:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e621:fc87:a63b:5786) (Ping timeout: 248 seconds) |
| 2025-05-15 02:25:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 02:26:26 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-15 02:29:05 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f1924852553a74666cb.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-05-15 02:36:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:39:09 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-15 02:39:31 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-15 02:41:28 +0200 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-15 02:41:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 02:51:25 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-15 02:52:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 02:55:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-15 02:57:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 03:00:08 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-05-15 03:03:02 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-15 03:03:02 +0200 | ChanServ | +v haskellbridge |
| 2025-05-15 03:03:48 +0200 | Typedfern | (~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) |
| 2025-05-15 03:08:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:09:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-05-15 03:13:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 03:23:33 +0200 | esnos | (~user@194.29.137.22) (Ping timeout: 272 seconds) |
| 2025-05-15 03:24:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 03:35:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 03:35:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 03:36:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 03:39:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:41:29 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-15 03:45:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 03:53:58 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-05-15 03:57:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 03:59:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 03:59:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 04:02:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 04:13:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:17:04 +0200 | td_ | (~td@i5387091D.versanet.de) (Ping timeout: 260 seconds) |
| 2025-05-15 04:18:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 04:18:49 +0200 | td_ | (~td@i53870932.versanet.de) |
| 2025-05-15 04:28:09 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-15 04:28:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:31:48 +0200 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2025-05-15 04:33:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 04:44:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 04:46:46 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-05-15 04:49:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 04:57:53 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 04:58:35 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-15 05:00:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:04:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 05:15:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:22:38 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-15 05:23:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 05:24:37 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-15 05:31:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 05:32:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 05:33:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:35:50 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce6:1d00:ecc9:c46:5d43:45e6) aforemny |
| 2025-05-15 05:36:31 +0200 | aforemny | (~aforemny@i577B138D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-05-15 05:38:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 05:40:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:41:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 05:42:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 05:45:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 05:55:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 05:56:32 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 252 seconds) |
| 2025-05-15 05:56:45 +0200 | YoungFrawg | (~youngfrog@2a02:a03f:ca07:f900:a9b8:a3d6:d29f:10e6) youngfrog |
| 2025-05-15 05:57:48 +0200 | YoungFrawg | YoungFrog |
| 2025-05-15 06:00:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 06:06:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:06:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:09:42 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-15 06:10:06 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2025-05-15 06:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:14:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:15:13 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-15 06:16:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 06:20:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:20:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:20:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 06:20:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 06:24:18 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 06:25:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-15 06:25:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 06:25:29 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-15 06:25:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 06:25:57 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2025-05-15 06:27:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:32:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 06:38:39 +0200 | <EvanR> | serendipitous use for RWS monad, since the core transition is given as step :: Instr -> VM -> VM and not monadic, but it then can't PRINT anything... split it into R=big vector of instructions, S=VM, W=the output which is used in the PRINT case. Other instructions use modify (step instr) |
| 2025-05-15 06:41:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 06:46:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 06:51:25 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:39) (Ping timeout: 276 seconds) |
| 2025-05-15 06:51:53 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) manwithluck |
| 2025-05-15 06:53:02 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 06:56:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:00:47 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2025-05-15 07:01:04 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 07:02:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-15 07:07:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-15 07:08:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 07:12:31 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-15 07:12:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:12:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:13:48 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 07:13:48 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Read error: Connection reset by peer) |
| 2025-05-15 07:14:20 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-15 07:17:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:17:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-15 07:24:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 07:25:18 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2025-05-15 07:28:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 07:28:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:33:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 07:34:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 07:39:09 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 07:42:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:45:02 +0200 | octorez | (~octorez@194.32.120.77) |
| 2025-05-15 07:45:23 +0200 | <octorez> | Hi guys! |
| 2025-05-15 07:45:55 +0200 | <octorez> | I'm not sure what this is, I was referred here by "Learn You a Haskell for Great Good!" |
| 2025-05-15 07:46:03 +0200 | <octorez> | Is this like Discord? |
| 2025-05-15 07:46:10 +0200 | <octorez> | But anonymous? |
| 2025-05-15 07:47:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 07:49:46 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) () |
| 2025-05-15 07:50:38 +0200 | <mauke> | octorez: hi |
| 2025-05-15 07:51:11 +0200 | <mauke> | I'm not sure what exactly discord is, but IRC is the original internet text chat |
| 2025-05-15 07:51:46 +0200 | <mauke> | (and by original I mean it is older than the web) |
| 2025-05-15 07:52:27 +0200 | <mauke> | ah, I see you're using the web chat frontend |
| 2025-05-15 07:54:42 +0200 | <mauke> | octorez: I guess the answer is: yes, basically, but we don't have voice/video calls, images, reactions, threads, or message history :-) |
| 2025-05-15 07:55:20 +0200 | <mauke> | (except this channel does keep logs; see link in /topic) |
| 2025-05-15 07:55:44 +0200 | <haskellbridge> | <sm> but, unlike Discord this system is free and not profit motivated |
| 2025-05-15 07:56:15 +0200 | <mauke> | ... and that was someone from Matrix |
| 2025-05-15 07:56:53 +0200 | <haskellbridge> | <sm> yes, you can also access it via the more Discord-like (but free and decentralised) Matrix, a newer chat system |
| 2025-05-15 07:56:54 +0200 | octorez | (~octorez@194.32.120.77) (Quit: Client closed) |
| 2025-05-15 07:57:04 +0200 | <haskellbridge> | <sm> glad we cleared that up :) |
| 2025-05-15 07:57:19 +0200 | <mauke> | :-( |
| 2025-05-15 07:57:40 +0200 | <haskellbridge> | <sm> octorez is warming up a better client I'm sure |
| 2025-05-15 07:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 07:58:53 +0200 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-1/ |
| 2025-05-15 07:58:53 +0200 | <haskellbridge> | I am bullish on this announcement. I like first-principle based approaches. |
| 2025-05-15 08:00:14 +0200 | <haskellbridge> | <sm> hah, if only we could invest in effects libraries |
| 2025-05-15 08:01:07 +0200 | <haskellbridge> | <hellwolf> > Today, the community seeks a definitive solution that ends the cycle of migration hell. |
| 2025-05-15 08:01:13 +0200 | <haskellbridge> | <hellwolf> famous last words! |
| 2025-05-15 08:02:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:02:14 +0200 | <mauke> | https://xkcd.com/927/ |
| 2025-05-15 08:04:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 08:04:33 +0200 | <haskellbridge> | <hellwolf> I know! Until one that does make a leap. I have a good feeling of heftia |
| 2025-05-15 08:05:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:05:18 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 08:08:02 +0200 | <haskellbridge> | <hellwolf> "Performance always has room for improvement, whereas correctness improvements are often impossible due to foundational interface compatibility. " |
| 2025-05-15 08:11:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:12:04 +0200 | <haskellbridge> | <hellwolf> "On the other hand, heftia directly implements categorical foundations described in academic papers. What I did was simply translate the types written in Agda from the papers into Haskell, confirm various isomorphisms through equational reasoning." |
| 2025-05-15 08:12:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:12:59 +0200 | <haskellbridge> | <hellwolf> https://sayo-hs.github.io/blog/heftia/heftia-part-1-3/ |
| 2025-05-15 08:13:00 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/aPfSZruSgxsHgviwfxXfMlWR/T7CzxfQNpDA (3 lines) |
| 2025-05-15 08:13:11 +0200 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-05-15 08:14:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:15:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:15:59 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-05-15 08:16:21 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 08:19:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:21:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-15 08:21:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:23:43 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-05-15 08:25:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:28:05 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 08:30:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:31:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:33:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:36:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 08:36:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:43:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:44:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:44:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 08:45:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 08:46:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-15 08:48:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 08:49:10 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 268 seconds) |
| 2025-05-15 08:49:39 +0200 | <monochrom> | EvanR: I know of one more way to support recursive functions. You add one more kind of closures reserved for recursive functions; its environment does not have the self-reference. You add one more case of function application for that new kind of closures, and this is where you patch the environment to add the self-reference. |
| 2025-05-15 08:51:32 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-15 08:51:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 08:52:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-15 08:54:17 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-15 08:58:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 08:59:38 +0200 | <monochrom> | Err technically not a self-reference. The patch is only good for one level of recursive call. But that's enough because the recursive call has to go through your function application code again where you can patch again for One More Turn. |
| 2025-05-15 09:00:03 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 09:00:29 +0200 | <monochrom> | My https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#rec does that. I think you can translate it to SECD form. |
| 2025-05-15 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 09:00:47 +0200 | <monochrom> | err this is more direct: https://www.cs.utoronto.ca/~trebla/CSCC24-latest/09-semantics-1.html#letrec |
| 2025-05-15 09:02:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-15 09:04:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 09:04:20 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 09:05:54 +0200 | <EvanR> | oh nice |
| 2025-05-15 09:06:10 +0200 | <EvanR> | will be reading this |
| 2025-05-15 09:16:51 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 09:17:22 +0200 | euleritian | (~euleritia@37.4.249.248) |
| 2025-05-15 09:18:47 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-05-15 09:27:09 +0200 | octorez | (~octorez@194.32.120.60) |
| 2025-05-15 09:29:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 09:29:55 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 09:32:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 09:33:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 09:33:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 09:41:18 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-05-15 09:42:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 09:47:28 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-15 09:47:45 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-15 09:57:30 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-15 10:03:10 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-15 10:06:36 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-15 10:08:10 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-15 10:16:33 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 10:17:45 +0200 | octorez | (~octorez@194.32.120.60) (Quit: Client closed) |
| 2025-05-15 10:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 10:20:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 10:24:06 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 10:36:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-15 10:37:19 +0200 | <yin> | is it normal that the more i experiment with haskell, the more i want the type system to have a type system? |
| 2025-05-15 10:39:28 +0200 | <tomsmeding> | % :k Maybe |
| 2025-05-15 10:39:29 +0200 | <yahb2> | Maybe :: * -> * |
| 2025-05-15 10:44:02 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 10:45:25 +0200 | <hellwolf> | no on expected the type-in-type inquisition. |
| 2025-05-15 10:46:02 +0200 | <tomsmeding> | % data Strange = Strange Type |
| 2025-05-15 10:46:02 +0200 | <yahb2> | <no output> |
| 2025-05-15 10:46:09 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4555c97e44a9e822da.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-15 10:47:17 +0200 | <hellwolf> | Kind in a typed land |
| 2025-05-15 10:47:50 +0200 | hellwolf | throwing random references |
| 2025-05-15 10:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-05-15 10:58:41 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-15 11:00:50 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-15 11:03:19 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-15 11:03:25 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-05-15 11:08:26 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-15 11:18:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:18:33 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-15 11:20:49 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 11:23:34 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:24:59 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:26:27 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 11:26:31 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:27:53 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:29:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:30:35 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:31:21 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:32:31 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-15 11:33:52 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 252 seconds) |
| 2025-05-15 11:33:55 +0200 | img | (~img@user/img) img |
| 2025-05-15 11:34:56 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:35:12 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:36:02 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:36:18 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2025-05-15 11:36:18 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:37:10 +0200 | <ski> | @kind Eq |
| 2025-05-15 11:37:11 +0200 | <lambdabot> | * -> Constraint |
| 2025-05-15 11:37:29 +0200 | <ski> | @kind Functor |
| 2025-05-15 11:37:29 +0200 | <lambdabot> | (* -> *) -> Constraint |
| 2025-05-15 11:37:48 +0200 | <ski> | @kind StateT |
| 2025-05-15 11:37:49 +0200 | <lambdabot> | * -> (* -> *) -> * -> * |
| 2025-05-15 11:38:17 +0200 | <ski> | yin ^ |
| 2025-05-15 11:42:38 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 4.1.1) |
| 2025-05-15 11:42:53 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 11:46:41 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 11:47:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 11:47:59 +0200 | euleritian | (~euleritia@37.4.249.248) (Ping timeout: 260 seconds) |
| 2025-05-15 11:48:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 11:48:55 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 11:49:55 +0200 | rncwnd_ | (~quassel@2a01:4f8:221:27c6::1) (Remote host closed the connection) |
| 2025-05-15 11:54:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-05-15 11:58:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-05-15 12:07:42 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 12:14:53 +0200 | nullobject | (~josh@user/nullobject) (WeeChat 4.1.1) |
| 2025-05-15 12:16:44 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 12:20:15 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-05-15 12:21:03 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 12:24:49 +0200 | nullobject | (~josh@user/nullobject) (Client Quit) |
| 2025-05-15 12:30:29 +0200 | nullobject | (~josh@user/nullobject) nullobject |
| 2025-05-15 12:31:55 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 260 seconds) |
| 2025-05-15 12:32:12 +0200 | koz | (~koz@121.99.240.58) |
| 2025-05-15 12:43:17 +0200 | <yin> | what is this, a type system for ants? |
| 2025-05-15 12:43:36 +0200 | <yin> | it has got to be at least 4 times bigger |
| 2025-05-15 12:55:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-15 13:00:04 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 13:01:56 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 13:02:15 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 13:02:24 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 272 seconds) |
| 2025-05-15 13:04:35 +0200 | feetwind | (~mike@user/feetwind) (Ping timeout: 260 seconds) |
| 2025-05-15 13:16:40 +0200 | feetwind | (~mike@user/feetwind) feetwind |
| 2025-05-15 13:20:52 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7ed8:b8a6:621a:b979) |
| 2025-05-15 13:22:08 +0200 | <tomsmeding> | % :set -XNoStarIsType |
| 2025-05-15 13:22:08 +0200 | <yahb2> | <no output> |
| 2025-05-15 13:22:11 +0200 | <tomsmeding> | % :k Maybe |
| 2025-05-15 13:22:11 +0200 | <yahb2> | Maybe :: Type -> Type |
| 2025-05-15 13:22:15 +0200 | <tomsmeding> | yin: that big enough for you? |
| 2025-05-15 13:22:25 +0200 | <tomsmeding> | % length "Type" `div` length "*" |
| 2025-05-15 13:22:25 +0200 | <yahb2> | 4 |
| 2025-05-15 13:33:37 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-05-15 13:36:53 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 13:44:41 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 13:45:48 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 244 seconds) |
| 2025-05-15 13:47:27 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 13:48:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 13:49:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 13:50:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 13:52:39 +0200 | <yin> | tomsmeding: :) |
| 2025-05-15 13:53:04 +0200 | <yin> | what's the best resource for getting started with Idris? |
| 2025-05-15 14:05:16 +0200 | <merijn> | yin: The tutorial? :p |
| 2025-05-15 14:05:59 +0200 | <merijn> | yin: The tutorial and most introductory Idris stuff is focussed on people coming from Haskell/ML and explaining the differences from there |
| 2025-05-15 14:09:06 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2025-05-15 14:09:28 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-05-15 14:19:29 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 14:21:46 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 14:28:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-15 14:48:27 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-15 14:49:13 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 14:49:45 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 14:55:47 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-15 14:57:16 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) |
| 2025-05-15 14:59:15 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-15 14:59:33 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 14:59:51 +0200 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) |
| 2025-05-15 15:00:24 +0200 | Xe | (~Xe@perl/impostor/xe) (Ping timeout: 245 seconds) |
| 2025-05-15 15:01:45 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 15:05:25 +0200 | Guest63 | (~Guest63@2405:201:400a:1019:b980:9589:3aa4:3a5e) (Quit: Client closed) |
| 2025-05-15 15:10:45 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-05-15 15:11:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 15:12:37 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.214) |
| 2025-05-15 15:14:29 +0200 | AlexZenon | (~alzenon@178.34.161.121) (Ping timeout: 248 seconds) |
| 2025-05-15 15:16:04 +0200 | AlexNoo | (~AlexNoo@178.34.161.121) (Ping timeout: 252 seconds) |
| 2025-05-15 15:16:30 +0200 | <haskellbridge> | <yin> merijn: ty |
| 2025-05-15 15:17:47 +0200 | AlexNoo_ | AlexNoo |
| 2025-05-15 15:20:45 +0200 | AlexZenon | (~alzenon@178.34.150.214) |
| 2025-05-15 15:21:26 +0200 | ubert | (~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) ubert |
| 2025-05-15 15:23:03 +0200 | <yin> | merijn: just to be sure, what do you mean by *the* tutorial? |
| 2025-05-15 15:23:27 +0200 | <yin> | https://idris2.readthedocs.io/en/latest/tutorial/index.html ? |
| 2025-05-15 15:24:23 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-15 15:31:01 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-05-15 15:35:40 +0200 | <Square> | hs-source-dirs in cabal cannot be relative it seems? |
| 2025-05-15 15:36:40 +0200 | <merijn> | Square: How so? |
| 2025-05-15 15:36:51 +0200 | <merijn> | They are/should be, no? |
| 2025-05-15 15:37:21 +0200 | <Square> | It could be a haskell + nix problem. But I remember it was a known bug in cabal 2.x |
| 2025-05-15 15:37:35 +0200 | <Square> | I thought they fixed it in cabal 3 |
| 2025-05-15 15:41:27 +0200 | son0p | (~ff@2800:e6:4000:5cf7:2aa0:f8ac:1dbc:787d) son0p |
| 2025-05-15 15:44:49 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2025-05-15 15:46:46 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
| 2025-05-15 15:48:13 +0200 | ubert | (~Thunderbi@p200300ecdf1b8afc99002e8c4e21755f.dip0.t-ipconnect.de) (Quit: ubert) |
| 2025-05-15 15:48:39 +0200 | <hellwolf> | huh? |
| 2025-05-15 15:48:52 +0200 | <hellwolf> | do you mean cannot be relative path from parent folders |
| 2025-05-15 15:49:16 +0200 | <hellwolf> | otherwise, it doesn't make sense, since it's the basic feature. |
| 2025-05-15 15:57:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-15 16:00:55 +0200 | <Square> | hellwolf, exactly. But yeah, could be a nix + haskell issue. |
| 2025-05-15 16:04:00 +0200 | <c_wraith> | I have never seen a non-relative path in that field |
| 2025-05-15 16:04:43 +0200 | <c_wraith> | I'm pretty sure that's what has everyone confused by the question. Of course it works with relative paths, that's the only thing anyone ever uses. |
| 2025-05-15 16:05:00 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-15 16:05:31 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-15 16:07:02 +0200 | <Square> | Ok.. to be specific. I cannot have a hs-source-dir that starts with "../some/path" |
| 2025-05-15 16:07:16 +0200 | <Square> | hs-source-dirs |
| 2025-05-15 16:08:28 +0200 | <c_wraith> | It sounds like whatever you're trying to do should be solved by cabal.project instead |
| 2025-05-15 16:23:04 +0200 | <hellwolf> | "relative path from parent folder" as I suspected. |
| 2025-05-15 16:23:16 +0200 | <hellwolf> | cabal error message should be very clear of that, as far as I remember. |
| 2025-05-15 16:23:41 +0200 | <hellwolf> | you should use cabal.project to specify a new local project, and let your other local project depend on it. |
| 2025-05-15 16:26:41 +0200 | Xe | (~Xe@perl/impostor/xe) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-15 16:28:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-15 16:30:49 +0200 | <merijn> | Square: relative paths outside of the root of the cabal file are not allowed an will never be, that's a feature, not a bug |
| 2025-05-15 16:31:06 +0200 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-05-15 16:31:10 +0200 | <Square> | merijn, gotcha |
| 2025-05-15 16:31:11 +0200 | <Square> | thanks |
| 2025-05-15 16:32:06 +0200 | <merijn> | Square: The intended purpose for cabal files is to describe packages (i.e. self-contained code that can go on to hackage, etc.) which means roots outside of that folder make no sense. You (probably) want a combination of cabal.project and multiple cabal files |
| 2025-05-15 16:32:26 +0200 | <hellwolf> | I remember I hacked it once with ln -s ../src . |
| 2025-05-15 16:32:35 +0200 | <hellwolf> | but that was a stupid idea. don't. |
| 2025-05-15 16:32:59 +0200 | <Square> | I wanted to test out a new project layout wo moving so many files, that was the reason I resorted to the "../" approach |
| 2025-05-15 16:33:00 +0200 | <merijn> | Since cabal.project's intended purpose is "orchestrating/configuring build configurations of (potentially) unpublished code" |
| 2025-05-15 16:33:36 +0200 | <Square> | okok |
| 2025-05-15 16:33:36 +0200 | <hellwolf> | yes. use cabal.project, it will work for your case. |
| 2025-05-15 16:34:37 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-15 16:38:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 16:39:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 16:46:26 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 16:46:41 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Write error: Broken pipe) |
| 2025-05-15 16:46:59 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 16:48:08 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 2025-05-15 16:48:38 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 16:50:39 +0200 | euleritian | (~euleritia@ip2504f9f8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-15 16:51:06 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) |
| 2025-05-15 16:52:20 +0200 | SlackCoder | (~SlackCode@66.249.153.49) SlackCoder |
| 2025-05-15 16:54:15 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
| 2025-05-15 16:57:11 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
| 2025-05-15 16:58:34 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) |
| 2025-05-15 17:00:06 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-05-15 17:01:12 +0200 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Client Quit) |
| 2025-05-15 17:03:12 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-15 17:07:51 +0200 | SlackCoder | (~SlackCode@66.249.153.49) (Read error: Connection reset by peer) |
| 2025-05-15 17:07:59 +0200 | SlackCoder | (~SlackCode@66.249.153.49) SlackCoder |
| 2025-05-15 17:09:16 +0200 | Ranhir | (~Ranhir@157.97.53.139) Ranhir |
| 2025-05-15 17:10:02 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 17:10:27 +0200 | APic | (apic@apic.name) (Ping timeout: 252 seconds) |
| 2025-05-15 17:11:19 +0200 | michalz_ | (~michalz@185.246.207.193) (Ping timeout: 272 seconds) |
| 2025-05-15 17:11:59 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-15 17:12:09 +0200 | michalz | (~michalz@185.246.207.218) |
| 2025-05-15 17:12:17 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Ping timeout: 252 seconds) |
| 2025-05-15 17:12:21 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-05-15 17:12:21 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 248 seconds) |
| 2025-05-15 17:12:30 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-05-15 17:13:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-15 17:13:14 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-15 17:13:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-15 17:13:23 +0200 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 17:13:33 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Ping timeout: 276 seconds) |
| 2025-05-15 17:15:01 +0200 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 248 seconds) |
| 2025-05-15 17:15:09 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-05-15 17:15:16 +0200 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-05-15 17:15:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 17:15:33 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-05-15 17:17:41 +0200 | Ekho | (~Ekho@user/ekho) (Ping timeout: 248 seconds) |
| 2025-05-15 17:18:57 +0200 | yin | (~z@user/zero) (Quit: quit) |
| 2025-05-15 17:21:57 +0200 | spew | (~spew@135.233.119.40) (Ping timeout: 248 seconds) |
| 2025-05-15 17:21:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-05-15 17:22:55 +0200 | Logio | (em@kapsi.fi) (Ping timeout: 252 seconds) |
| 2025-05-15 17:23:17 +0200 | nckx | (~nckx@libera/staff/owl/nckx) (Ping timeout: 252 seconds) |
| 2025-05-15 17:24:45 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-15 17:24:59 +0200 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 2025-05-15 17:27:19 +0200 | _xor | (~xor@ip-50-5-4-25.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-05-15 17:28:21 +0200 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2025-05-15 17:30:11 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-15 17:30:25 +0200 | gehmehgeh | gmg |
| 2025-05-15 17:31:06 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-15 17:32:27 +0200 | deriamis | (nobody@172-232-162-115.ip.linodeusercontent.com) (Ping timeout: 252 seconds) |
| 2025-05-15 17:32:42 +0200 | deriamis | (nobody@2600:3c0a::f03c:95ff:fee8:f335) deriamis |
| 2025-05-15 17:34:17 +0200 | kimiamania99 | (~65804703@user/kimiamania) (Ping timeout: 252 seconds) |
| 2025-05-15 17:35:17 +0200 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Ping timeout: 248 seconds) |
| 2025-05-15 17:36:19 +0200 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-05-15 17:36:19 +0200 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-05-15 17:36:19 +0200 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-05-15 17:36:20 +0200 | APic | (apic@apic.name) APic |
| 2025-05-15 17:36:30 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-15 17:36:30 +0200 | ChanServ | +v haskellbridge |
| 2025-05-15 17:37:18 +0200 | kimiamania99 | (~65804703@user/kimiamania) kimiamania |
| 2025-05-15 17:38:18 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-15 17:38:20 +0200 | Logio | (~em@kapsi.fi) Logio |
| 2025-05-15 17:43:41 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 244 seconds) |
| 2025-05-15 17:43:42 +0200 | SlackCoder | (~SlackCode@66.249.153.49) (Quit: Leaving) |
| 2025-05-15 17:48:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 17:49:15 +0200 | srk | (~sorki@user/srk) srk |
| 2025-05-15 17:50:32 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) (Remote host closed the connection) |
| 2025-05-15 17:50:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 17:54:26 +0200 | manwithluck | (~manwithlu@2a09:bac5:5084:2387::38a:3b) manwithluck |
| 2025-05-15 17:59:03 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-15 17:59:27 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-15 18:04:13 +0200 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2025-05-15 18:04:46 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-05-15 18:08:45 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-15 18:12:03 +0200 | spew | (~spew@135.233.119.40) spew |
| 2025-05-15 18:14:57 +0200 | jason_davidson | (~jason.dav@user/jason-davidson:57402) (Quit: WeeChat 4.5.1) |
| 2025-05-15 18:15:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-15 18:24:20 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-05-15 18:25:01 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-05-15 18:28:24 +0200 | jason2 | (~jason.dav@2800:bf0:177:7c0:7c42:c81b:da96:dda6) |
| 2025-05-15 18:29:26 +0200 | yin | (~z@user/zero) zero |
| 2025-05-15 18:30:35 +0200 | Ekho | (~Ekho@user/ekho) Ekho |
| 2025-05-15 18:31:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 18:33:10 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-15 18:37:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-05-15 18:39:04 +0200 | yin | (~z@user/zero) (Quit: quit) |
| 2025-05-15 18:39:55 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 18:39:55 +0200 | euleritian | (~euleritia@dynamic-176-006-131-191.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2025-05-15 18:40:35 +0200 | yin | (~z@user/zero) zero |
| 2025-05-15 18:42:55 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 18:45:10 +0200 | <EvanR> | yin, zoolander reference. Can't tell if this movie was genius or terrible |
| 2025-05-15 18:45:17 +0200 | <symbient> | which is in your opinion best insights for the definitions of the functions when you are trying to make it cleaner and optimize structure |
| 2025-05-15 18:46:07 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Remote host closed the connection) |
| 2025-05-15 18:46:15 +0200 | <hellwolf> | yoneda lemma. and bye. |
| 2025-05-15 18:46:30 +0200 | <hellwolf> | that's a drive by question. |
| 2025-05-15 18:46:33 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 18:46:55 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Read error: Connection reset by peer) |
| 2025-05-15 18:47:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 18:48:21 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 18:49:06 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Read error: Connection reset by peer) |
| 2025-05-15 18:49:59 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) |
| 2025-05-15 18:54:08 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-15 18:54:13 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-15 18:54:13 +0200 | symbient | (~symbient@93-38-73-32.ip69.fastwebnet.it) (Ping timeout: 248 seconds) |
| 2025-05-15 18:57:14 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-15 18:57:54 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2025-05-15 19:00:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-15 19:00:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-05-15 19:02:01 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-15 19:02:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2025-05-15 19:03:23 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-15 19:03:33 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-15 19:04:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 19:11:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 19:14:02 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-15 19:16:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 19:16:17 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-15 19:20:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 19:22:04 +0200 | <hellwolf> | I predict this will be an interesting thread between two effect library authors: https://discourse.haskell.org/t/ann-a-series-of-articles-on-heftia-the-final-word-in-haskell-effec… |
| 2025-05-15 19:24:25 +0200 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) |
| 2025-05-15 19:26:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 19:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 19:34:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 19:34:23 +0200 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-15 19:34:41 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-15 19:35:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 19:38:11 +0200 | jason2 | jason_davidson |
| 2025-05-15 19:38:15 +0200 | jason_davidson | (~jason.dav@2800:bf0:177:7c0:7c42:c81b:da96:dda6) (Changing host) |
| 2025-05-15 19:38:15 +0200 | jason_davidson | (~jason.dav@user/jason-davidson:57402) jason_davidson |
| 2025-05-15 19:42:02 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 19:45:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 19:45:46 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-15 19:49:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 19:52:44 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f453148b790f5eba778.dip0.t-ipconnect.de) acidjnk |
| 2025-05-15 20:00:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:01:44 +0200 | sprotte24 | (~sprotte24@p200300d16f0fe6004d89544af78e53f5.dip0.t-ipconnect.de) |
| 2025-05-15 20:05:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 20:06:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:08:01 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-15 20:11:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-15 20:14:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 20:15:26 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-05-15 20:15:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-15 20:17:21 +0200 | myme | (~myme@2a01:799:d5e:5f00:1c16:e41e:c241:8a37) (Ping timeout: 248 seconds) |
| 2025-05-15 20:18:14 +0200 | myme | (~myme@2a01:799:d5e:5f00:3879:366:467e:f5c) myme |
| 2025-05-15 20:19:12 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-15 20:22:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:24:04 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-15 20:26:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-15 20:27:11 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-15 20:28:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-05-15 20:28:17 +0200 | ljdarj1 | ljdarj |
| 2025-05-15 20:37:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:42:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 20:42:40 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 20:43:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-15 20:50:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-05-15 20:53:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 20:58:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-15 20:59:13 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-05-15 20:59:56 +0200 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) |
| 2025-05-15 21:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-15 21:00:18 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-15 21:00:40 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-15 21:08:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:10:41 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-15 21:13:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-15 21:16:35 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-15 21:17:02 +0200 | euleritian | (~euleritia@dynamic-176-000-059-010.176.0.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2025-05-15 21:19:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 21:19:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 21:21:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-15 21:22:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-15 21:24:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:25:23 +0200 | jespada | (~jespada@r179-25-20-56.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-15 21:29:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-15 21:30:03 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-15 21:31:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 21:31:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 21:32:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-15 21:32:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-15 21:34:31 +0200 | bunnies | kitties |
| 2025-05-15 21:36:31 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-15 21:39:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-15 21:39:48 +0200 | euleritian | (~euleritia@dynamic-176-006-130-024.176.6.pool.telefonica.de) |
| 2025-05-15 21:40:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-15 21:40:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-15 21:42:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-15 21:45:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-15 21:45:50 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-05-15 21:47:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-15 21:48:15 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |