| 2025-03-22 00:00:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-22 00:03:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 00:04:10 +0100 | <monochrom> | :) |
| 2025-03-22 00:04:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-22 00:06:37 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-03-22 00:07:56 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-03-22 00:08:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-22 00:09:04 +0100 | <EvanR> | escaping hell with monads is so great |
| 2025-03-22 00:09:33 +0100 | <EvanR> | I just wish there was an escaping hell with functor to go with it / before it |
| 2025-03-22 00:10:39 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-22 00:19:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 00:24:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-22 00:35:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 00:38:12 +0100 | <monochrom> | Generally "escaping hell with function programming" is what we need to include all of the above and more. |
| 2025-03-22 00:39:31 +0100 | <monochrom> | There is now a functional programming playing card deck. Some conference was handing out them to attendees. |
| 2025-03-22 00:40:34 +0100 | <monochrom> | My student went and got one and showed me. He first let me randomly drew one card. I drew the monad card. (Other cards are like: GADT, Scheme macros, shift-reset, ...) |
| 2025-03-22 00:41:23 +0100 | <monochrom> | I don't normally believe in Tarot cards, but FP cards seems to have better predictive power! |
| 2025-03-22 00:42:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-22 00:46:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-22 00:46:51 +0100 | ski | . o O ( "Ccard V2.0 - a category theory card game" <http://www.verify-it.de/sub/ccard/index.html> ) |
| 2025-03-22 00:51:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-03-22 00:51:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 00:54:51 +0100 | <EvanR> | scheme macros |
| 2025-03-22 00:54:55 +0100 | <EvanR> | is that all it says |
| 2025-03-22 00:55:00 +0100 | <EvanR> | or is there flavor text at least |
| 2025-03-22 00:56:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-22 00:58:07 +0100 | geekosaur | notes that ski's link doesn't seem to describe the same game |
| 2025-03-22 00:58:30 +0100 | <geekosaur> | it appears to all be CT statements of increasing complexity |
| 2025-03-22 00:59:26 +0100 | geekosaur | also wonders if the one monochrom is talking about is more like Tarot, or more like M:tG |
| 2025-03-22 01:03:37 +0100 | Yumemi | (~Yumemi@chamoin.net) (Quit: .) |
| 2025-03-22 01:04:28 +0100 | Yumemi | (~Yumemi@chamoin.net) Yumemi |
| 2025-03-22 01:06:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-22 01:07:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 01:09:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-03-22 01:10:52 +0100 | sonny | (~sonny@142.113.172.116) sonny |
| 2025-03-22 01:11:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-22 01:15:19 +0100 | sonny | (~sonny@142.113.172.116) () |
| 2025-03-22 01:17:06 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-03-22 01:17:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-22 01:18:21 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f6518434db087d421fc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-03-22 01:22:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 01:23:19 +0100 | sprotte24 | (~sprotte24@p200300d16f266c002dc4a2d25f2ad6fe.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-22 01:27:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-22 01:29:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-03-22 01:32:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-22 01:34:02 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-03-22 01:34:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-22 01:36:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-22 01:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 01:42:28 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2025-03-22 01:43:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-22 01:45:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-22 01:48:30 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:314f:c6fc:a776:72e4) (Read error: Connection reset by peer) |
| 2025-03-22 01:53:33 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-03-22 01:53:59 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-22 01:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 01:59:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-22 02:05:10 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) justsomeguy |
| 2025-03-22 02:10:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 02:10:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-03-22 02:15:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-22 02:16:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-22 02:18:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-22 02:21:48 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2025-03-22 02:23:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-22 02:23:48 +0100 | alp | (~alp@2001:861:8ca0:4940:4f32:5e1f:632d:94e1) (Ping timeout: 246 seconds) |
| 2025-03-22 02:26:26 +0100 | malte | (~malte@mal.tc) malte |
| 2025-03-22 02:28:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 02:32:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-03-22 02:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-22 02:44:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 02:45:44 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 265 seconds) |
| 2025-03-22 02:48:23 +0100 | JuanDaugherty | ColinRobinson |
| 2025-03-22 02:48:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-22 02:58:09 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-22 02:59:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-22 03:01:35 +0100 | catties | Catty |
| 2025-03-22 03:04:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-22 03:04:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |