Newest at the top
| 2026-04-27 14:03:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 13:59:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:54:17 +0000 | <kuribas> | The difficulty is proving that the tests are actually exhaustive. |
| 2026-04-27 13:53:13 +0000 | <__monty__> | Yes, though usually you don't bother with a formal proof if you can exhaustively enumerate tests. |
| 2026-04-27 13:48:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 13:44:51 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Ping timeout: 248 seconds) |
| 2026-04-27 13:43:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:43:41 +0000 | <kuribas> | If the property tests cover all the states, you could say it has proven the property, no? |
| 2026-04-27 13:42:54 +0000 | <kuribas> | Since proving is mostly to verify a property over all possible states, wouldn't it be possible to turn a property test into a proof? |
| 2026-04-27 13:39:11 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-27 13:36:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 13:35:21 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) (Ping timeout: 246 seconds) |
| 2026-04-27 13:32:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:30:33 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-27 13:29:40 +0000 | rainbyte_ | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-27 13:22:57 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-04-27 13:22:57 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-04-27 13:22:57 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-04-27 13:22:26 +0000 | Catty | CATTY |
| 2026-04-27 13:21:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-27 13:20:37 +0000 | Enrico63 | (~Enrico63@85.255.235.90) (Ping timeout: 245 seconds) |
| 2026-04-27 13:16:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 13:16:00 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-27 13:14:21 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-04-27 13:12:14 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-27 13:12:13 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2026-04-27 13:07:38 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-04-27 13:05:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-27 13:00:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:59:54 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-27 12:52:55 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-27 12:50:21 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-04-27 12:49:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 12:47:14 +0000 | fp | (~Thunderbi@130.233.70.229) (Ping timeout: 248 seconds) |
| 2026-04-27 12:46:19 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) |
| 2026-04-27 12:46:03 +0000 | Googulator53 | (~Googulato@78-131-16-66.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-27 12:42:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:34:33 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-04-27 12:33:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-27 12:32:32 +0000 | Guest87 | (~Guest97@84-48-80-118.customer.obosnett.no) (Client Quit) |
| 2026-04-27 12:31:56 +0000 | Guest87 | (~Guest97@84-48-80-118.customer.obosnett.no) |
| 2026-04-27 12:29:58 +0000 | r1bilski | (~r1bilski@user/r1bilski) r1bilski |
| 2026-04-27 12:29:58 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) (Changing host) |
| 2026-04-27 12:29:58 +0000 | r1bilski | (~r1bilski@user-31-175-22-58.play-internet.pl) |
| 2026-04-27 12:28:46 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-27 12:28:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:17:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-27 12:15:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-04-27 12:13:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 12:11:07 +0000 | tromp | (~textual@2001:1c00:340e:2700:144f:94ac:cf96:df60) (Quit: My iMac has gone to sleep. ZZZzzz…) |