Newest at the top
| 2026-01-23 10:16:08 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-23 10:02:56 +0100 | acidjnk | (~acidjnk@p200300d6e7171963e9342c1b23054bda.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2026-01-23 10:02:18 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-23 10:01:16 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 2026-01-23 09:54:54 +0100 | <gentauro> | Elm Evan -> https://www.youtube.com/watch?v=TklYhw0Kl58 (btw, does anybody know if that `lang` is `dead`?) |
| 2026-01-23 09:53:54 +0100 | <gentauro> | and good old Kris -> https://www.youtube.com/watch?v=SOz66dcsuT8 |
| 2026-01-23 09:53:13 +0100 | <gentauro> | ;) |
| 2026-01-23 09:53:08 +0100 | <gentauro> | the good thing? At least they bring "the names" to mainstream -> https://www.youtube.com/watch?v=lg0RYLlmjJM |
| 2026-01-23 09:53:04 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-01-23 09:51:48 +0100 | <gentauro> | never EVER trust `corpos`. It's just a matter of if, but when, they will screw you :( |
| 2026-01-23 09:51:46 +0100 | <int-e> | I know it was a typo, but "hole concept" is pretty accurate (think "memory hole") |
| 2026-01-23 09:51:16 +0100 | <gentauro> | then suddently, you see all those names at "GOTO Conferences" (yeah Trifork also own them) |
| 2026-01-23 09:50:55 +0100 | <gentauro> | I actually tried to "re-spawn" the hole concept of `eXchange` again as they were bought by Trifork. I made slides and stuff and provided all the "nice" names |
| 2026-01-23 09:50:34 +0100 | <jackdk> | Yeah it's such a shame. Though I don't think that particular talk ever had a good recording |
| 2026-01-23 09:50:04 +0100 | <gentauro> | jackdk: thx for links and info. It's a bit sad that `eXchange` lost all their IP when they went bankrupt and now the few surviving videos look like they were recorded with a toaster :'( |
| 2026-01-23 09:43:43 +0100 | trickard_ | trickard |
| 2026-01-23 09:42:36 +0100 | Alex_delenda_est | (~al_test@94.233.241.51) (Ping timeout: 252 seconds) |
| 2026-01-23 09:42:25 +0100 | AlexNoo | (~AlexNoo@94.233.241.51) (Ping timeout: 246 seconds) |
| 2026-01-23 09:42:04 +0100 | <Leary> | ncf: That fails to encapsulate general recursion since it's easily recoverable in the form of `fix :: (a -> a) -> a`, though perhaps if we also disallowed bottoms that wouldn't be the case. |
| 2026-01-23 09:40:57 +0100 | AlexZenon | (~alzenon@94.233.241.51) (Ping timeout: 252 seconds) |
| 2026-01-23 09:35:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 09:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 09:24:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 09:21:24 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-23 09:13:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-23 09:10:49 +0100 | FANTOM | (~fantom@87.75.185.177) (Read error: Connection reset by peer) |
| 2026-01-23 09:08:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 09:08:04 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-23 09:06:01 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2026-01-23 09:03:40 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-01-23 09:01:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-23 08:56:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-01-23 08:56:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 08:56:21 +0100 | Googulator | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-01-23 08:53:02 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-23 08:48:32 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-23 08:45:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-23 08:44:06 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-23 08:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 08:29:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 08:25:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 08:24:51 +0100 | <ncf> | (note that general recursion is used rather controlledly here, in `fold` and `unfold`, so you could make those abstract and pretend they are primitives) |
| 2026-01-23 08:24:04 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2026-01-23 08:23:28 +0100 | <ncf> | if you're not allergic to general recursion you can do the exact same thing using just one data type and no impredicative encodings https://gist.github.com/ncfavier/d42d077745c73dfb2e2c58592b1cd7e1 |
| 2026-01-23 08:23:24 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 08:21:45 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2026-01-23 08:18:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-23 08:18:32 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-23 08:13:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 08:13:07 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |