Newest at the top
| 2026-04-27 18:00:12 +0000 | <haskellbridge> | <ijouw> Now I am trying to imagine an exclusive untrainfinitist |
| 2026-04-27 17:59:55 +0000 | <davean> | Yah, how many relations are there between particles in the universe? |
| 2026-04-27 17:59:32 +0000 | <monochrom> | I'm a cosmological finitist. I think that 10^80 ought to be enough for everyone. :) |
| 2026-04-27 17:58:59 +0000 | <davean> | I want more inclusive ultrafinitists |
| 2026-04-27 17:58:44 +0000 | <davean> | EvanR: Get me an ultrafinitist with a broader view then :) |
| 2026-04-27 17:58:29 +0000 | <EvanR> | 4 might be the largest possible number |
| 2026-04-27 17:58:09 +0000 | <EvanR> | an ultrafinitist might take exception calling X trivially small! |
| 2026-04-27 17:58:06 +0000 | <monochrom> | I missed that. Sorry! |
| 2026-04-27 17:57:40 +0000 | <davean> | Note the "trivially small" caviate :) |
| 2026-04-27 17:56:31 +0000 | <monochrom> | If you have "data X = C1 | C2 | C3; f :: X -> Int" then exhaustive testing is proof, there are only 3 cases to check. |
| 2026-04-27 17:53:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 17:46:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:42:06 +0000 | Enrico63 | (~Enrico63@85.255.235.90) (Quit: Client closed) |
| 2026-04-27 17:37:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 17:33:31 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 17:32:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:21:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 17:21:12 +0000 | <davean> | Yah, the way you usually prove the tests are exhaustive is equivilent to just proving it directly if the state space isn't trivially small :) |
| 2026-04-27 17:18:19 +0000 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2026-04-27 17:17:38 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 2026-04-27 17:17:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 17:16:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-27 17:13:00 +0000 | layline_ | (~layline@149.154.26.56) layline |
| 2026-04-27 17:08:29 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 17:06:33 +0000 | Enrico63 | (~Enrico63@85.255.235.90) Enrico63 |
| 2026-04-27 17:06:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 17:01:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:57:14 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-27 16:57:03 +0000 | thenightmail` | (~whoareyou@user/thenightmail) thenightmail |
| 2026-04-27 16:50:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 16:50:21 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-27 16:45:44 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:41:43 +0000 | hellwolf | (~user@85eb-3c61-7214-710f-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-04-27 16:39:37 +0000 | thenightmail` | (~whoareyou@user/thenightmail) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2026-04-27 16:38:38 +0000 | hellwolf | (~user@13ba-9fa1-c9b7-72ee-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2026-04-27 16:34:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 16:29:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:29:47 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 2026-04-27 16:23:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 16:23:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 16:20:23 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-04-27 16:18:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 16:18:09 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-04-27 16:08:30 +0000 | r1bilski | (~r1bilski@user/r1bilski) (Read error: Connection reset by peer) |
| 2026-04-27 16:07:18 +0000 | r1bilski_ | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 16:07:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 16:03:29 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) |
| 2026-04-27 16:03:03 +0000 | ctk | CalimeroTeknik |
| 2026-04-27 16:00:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 15:56:26 +0000 | Square | (~Square4@user/square) (Ping timeout: 265 seconds) |