2025/12/21

Newest at the top

2025-12-22 00:45:52 +0100 <probie> It's the opposite of Falso
2025-12-22 00:42:55 +0100merijn(~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 +0100Lycurgus(~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 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 00:36:58 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-12-22 00:31:52 +0100corecaps(~quassel@user/corecaps) (Quit: Segmentaiton fault, core dumped)
2025-12-22 00:29:58 +0100merijn(~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 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-22 00:18:17 +0100synchromesh(~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) synchromesh
2025-12-22 00:17:21 +0100synchromesh(~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer)
2025-12-22 00:14:11 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-22 00:13:43 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds)
2025-12-22 00:03:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-12-21 23:58:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 23:56:27 +0100lambda_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 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 265 seconds)
2025-12-21 23:47:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 23:42:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 23:42:16 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-12-21 23:32:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-12-21 23:27:48 +0100jmcantrell_jmcantrell
2025-12-21 23:26:59 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-21 23:26:50 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 23:26:27 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-12-21 23:25:47 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-12-21 23:22:52 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-21 23:15:46 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-21 23:15:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 23:15:33 +0100trickard_(~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. >:)
2025-12-21 23:12:57 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-12-21 23:12:14 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-12-21 23:11:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2025-12-21 23:08:37 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd) (Ping timeout: 246 seconds)
2025-12-21 23:04:22 +0100lambda_gibbon(~lambda_gi@2603:7080:ee00:37d8:dcc4:d31b:c3d9:56cd)
2025-12-21 22:59:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-12-21 22:58:42 +0100skum(~skum@user/skum) skum
2025-12-21 22:58:16 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au)
2025-12-21 22:58:03 +0100trickard_(~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-12-21 22:57:55 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-12-21 22:54:12 +0100 <EvanR> before you can play an unlosable game you have to define the game