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