Newest at the top
| 2025-03-12 07:37:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-12 07:34:06 +0100 | T0NN | (~T0NN@2404:c0:2c10::16be:e80d) (Ping timeout: 240 seconds) |
| 2025-03-12 07:32:56 +0100 | k0zy | (~user@user/k0zy) (Remote host closed the connection) |
| 2025-03-12 07:32:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 07:29:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-12 07:29:30 +0100 | Vajb | (~Vajb@n83sqe30rcw6481fyv6-1.v6.elisa-mobile.fi) |
| 2025-03-12 07:27:47 +0100 | T0NN | (~T0NN@2404:c0:2c10::16be:e80d) |
| 2025-03-12 07:27:43 +0100 | Vajb | (~Vajb@85-76-36-81-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2025-03-12 07:27:43 +0100 | k0zy | (~user@user/k0zy) k0zy |
| 2025-03-12 07:25:26 +0100 | k0zy | (~user@user/k0zy) (Remote host closed the connection) |
| 2025-03-12 07:22:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-03-12 07:18:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-12 07:17:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 07:16:15 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-03-12 07:14:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 07:07:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-12 07:04:13 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-03-12 07:02:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-03-12 07:01:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 06:55:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-12 06:50:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-12 06:43:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 06:43:04 +0100 | k0zy | (~user@user/k0zy) k0zy |
| 2025-03-12 06:41:39 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-03-12 06:35:02 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-12 06:34:46 +0100 | euouae | (~euouae@user/euouae) () |
| 2025-03-12 06:34:44 +0100 | <euouae> | alright thank you both! |
| 2025-03-12 06:33:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-12 06:32:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-03-12 06:31:19 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-12 06:28:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 06:28:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-12 06:23:32 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-03-12 06:20:52 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-12 06:17:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-03-12 06:17:11 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-12 06:13:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 06:06:58 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-03-12 06:06:07 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-03-12 06:02:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-12 05:57:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-12 05:57:10 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2) |
| 2025-03-12 05:56:26 +0100 | tusko | (uid478376@user/tusko) tusko |
| 2025-03-12 05:55:13 +0100 | <c_wraith> | yes. the solver always shrinks the problem with the default rules |
| 2025-03-12 05:55:04 +0100 | <EvanR> | so there's a way to use it semilogically |
| 2025-03-12 05:54:37 +0100 | <EvanR> | that being said, the type class system always terminates if you don't enable any dark magic pragmas right |
| 2025-03-12 05:53:29 +0100 | <c_wraith> | inconsistent logics are nice because they let you prove anything, and so does Haskell |
| 2025-03-12 05:52:52 +0100 | <EvanR> | falso 9.6 |
| 2025-03-12 05:52:19 +0100 | <c_wraith> | pfft. It's a logic, it's just not a consistent one. |
| 2025-03-12 05:52:02 +0100 | <EvanR> | when someone said haskell is not a logic they weren't kidding |