Newest at the top
| 2026-04-27 15:53:14 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-27 15:52:14 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-27 15:50:57 +0000 | _testytest | (19541d7ff8@irc.cheogram.com) |
| 2026-04-27 15:49:30 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 15:44:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 15:43:24 +0000 | thenightmail` | (~whoareyou@user/thenightmail) thenightmail |
| 2026-04-27 15:38:59 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-04-27 15:36:59 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-04-27 15:34:14 +0000 | AlexNoo_ | AlexNoo |
| 2026-04-27 15:33:42 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-04-27 15:33:23 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-04-27 15:32:11 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 15:31:44 +0000 | bkani | (~bkani@user/bkani) bkani |
| 2026-04-27 15:30:12 +0000 | AlexZenon | (~alzenon@178.34.162.165) |
| 2026-04-27 15:26:50 +0000 | AlexNoo | (~AlexNoo@85.174.182.39) (Ping timeout: 245 seconds) |
| 2026-04-27 15:25:44 +0000 | AlexZenon | (~alzenon@85.174.182.39) (Ping timeout: 245 seconds) |
| 2026-04-27 15:25:30 +0000 | Alex_delenda_est | (~al_test@85.174.182.39) (Ping timeout: 265 seconds) |
| 2026-04-27 15:23:39 +0000 | AlexNoo_ | (~AlexNoo@178.34.162.165) |
| 2026-04-27 15:21:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-27 15:16:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 15:16:14 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-27 15:08:27 +0000 | xff0x | (~xff0x@ah206235.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 246 seconds) |
| 2026-04-27 15:05:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 246 seconds) |
| 2026-04-27 15:00:59 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-27 14:49:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-27 14:44:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:41:09 +0000 | nisstyre | (wes@user/nisstyre) nisstyre |
| 2026-04-27 14:37:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-27 14:30:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:19:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-27 14:14:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-27 14:13:15 +0000 | CATTY | Catty |
| 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) |