| 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) |