2025/06/04

Newest at the top

2025-06-04 07:48:25 +0200 <ski> "The thing you get out of an existential has an arbitrary type that is distinct from every other type." -- it would be nice if it was printed in a distinct way from an ordinary (not explicitly quantified) (meta-variable / "logic variable") one, say maybe like `?A0' or even `A0', rather than `a' (making sure that distinct unwrappings gets their own distinct name)
2025-06-04 07:45:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:44:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:41:11 +0200 <dminuoso> tomsmeding: Oh okay, I think I misread that.
2025-06-04 07:39:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-04 07:37:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:37:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:32:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:32:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-04 07:32:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:26:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:25:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:21:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:20:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:16:56 +0200arahael(~arahael@user/arahael) arahael
2025-06-04 07:15:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-06-04 07:14:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:13:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:10:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-04 07:09:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:08:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 07:02:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 07:01:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 06:59:55 +0200Lord_of_Life_Lord_of_Life
2025-06-04 06:59:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-04 06:59:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2025-06-04 06:58:29 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-06-04 06:56:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 06:55:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 06:54:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-04 06:50:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 06:50:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-06-04 06:49:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 06:47:33 +0200m5zs7k_m5zs7k
2025-06-04 06:46:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-04 06:45:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-04 06:45:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-04 06:44:29 +0200tomku(~tomku@user/tomku) tomku
2025-06-04 06:43:33 +0200bramh0bramh
2025-06-04 06:43:33 +0200bramh(~bramh@user/bramh) (Ping timeout: 248 seconds)
2025-06-04 06:43:16 +0200jle`(~jle`@2603:8001:3b00:11:ed10:7791:af4e:7281) jle`
2025-06-04 06:42:56 +0200tomku(~tomku@user/tomku) (Ping timeout: 268 seconds)
2025-06-04 06:42:55 +0200jle`(~jle`@2603:8001:3b00:11:3b41:97f4:1903:c327) (Ping timeout: 252 seconds)
2025-06-04 06:42:31 +0200wickedjargon(~user@node-1w7jr9unn02np47211p5af1tx.ipv6.telus.net) (Read error: Connection reset by peer)
2025-06-04 06:42:12 +0200jbalint(~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122)
2025-06-04 06:42:00 +0200jbalint(~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Remote host closed the connection)
2025-06-04 06:41:58 +0200pikajude(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) pikajude
2025-06-04 06:41:55 +0200wickedja`(~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505)
2025-06-04 06:41:39 +0200pikajude(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-04 06:41:13 +0200bramh0(~bramh@user/bramh) bramh