Newest at the top
| 2025-12-22 01:12:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-22 01:07:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 01:04:34 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-22 01:02:12 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-22 01:00:37 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds) |
| 2025-12-22 00:59:50 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-22 00:56:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 00:53:50 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-22 00:51:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:50:06 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-22 00:47:29 +0100 | <probie> | If our type system has no inhabitants, there are no valid programs, and therefore none of our programs can have any mistakes |
| 2025-12-22 00:45:52 +0100 | <probie> | It's the opposite of Falso |
| 2025-12-22 00:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-22 00:42:39 +0100 | <EvanR> | https://inutile.club/estatis/falso/ |
| 2025-12-22 00:42:22 +0100 | <EvanR> | is that like Falso |
| 2025-12-22 00:40:11 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-22 00:39:20 +0100 | <probie> | It's uninhabited |
| 2025-12-22 00:39:03 +0100 | <probie> | EvanR: We already have the perfect type system that makes mistakes impossible |
| 2025-12-22 00:38:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:36:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-22 00:31:52 +0100 | corecaps | (~quassel@user/corecaps) (Quit: Segmentaiton fault, core dumped) |
| 2025-12-22 00:29:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:29:22 +0100 | <monochrom> | GHC has only recently begun to provided delimited continuations. But eventually Control.Control would be a great home for its stable API. :) |
| 2025-12-22 00:26:37 +0100 | <haskellbridge> | <loonycyborg> If there's Data.Data then why there isn't Control.Control? :P |
| 2025-12-22 00:19:51 +0100 | <EvanR> | also monads in the Data |
| 2025-12-22 00:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-22 00:18:17 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh |
| 2025-12-22 00:17:21 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-22 00:14:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-22 00:13:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-22 00:03:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 23:58:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:56:27 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 23:55:41 +0100 | <yin> | Lists belong in the Control namespace |
| 2025-12-21 23:54:56 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds) |
| 2025-12-21 23:47:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 23:42:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:42:16 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-21 23:32:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 23:27:48 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-21 23:26:59 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 23:26:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-21 23:26:27 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-21 23:25:47 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-21 23:22:52 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) |
| 2025-12-21 23:15:46 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 23:15:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 23:15:33 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 23:15:33 +0100 | <int-e> | I actually managed to get through this nerd snipe attack without writing a single line of code. (I did, however, google a writeup that included part 2.) |
| 2025-12-21 23:13:27 +0100 | <monochrom> | Don't play to play, just don't play. >:) |