Newest at the top
| 2026-01-18 03:10:44 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 03:10:30 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 03:09:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 03:06:13 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-18 02:58:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 02:54:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:52:24 +0100 | omidmash0 | omidmash |
| 2026-01-18 02:52:24 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-01-18 02:50:39 +0100 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-18 02:49:48 +0100 | omidmash0 | (~omidmash@user/omidmash) omidmash |
| 2026-01-18 02:44:17 +0100 | acidjnk | (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-01-18 02:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:40:15 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 02:40:02 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 02:38:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:32:08 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-01-18 02:31:54 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 02:27:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:25:10 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-18 02:24:45 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-18 02:22:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:22:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 02:10:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:06:58 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-18 02:06:55 +0100 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) (Ping timeout: 264 seconds) |
| 2026-01-18 02:04:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 02:03:30 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-18 02:03:18 +0100 | Zemy | (~Zemy@72.178.108.235) (Ping timeout: 252 seconds) |
| 2026-01-18 02:03:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-01-18 02:00:09 +0100 | Zemy_ | (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) |
| 2026-01-18 01:57:12 +0100 | <monochrom> | OK OK s/unusable/indistinguishable from ()/ :) |
| 2026-01-18 01:55:30 +0100 | <monochrom> | or at least a pointer to the struct of Show methods. |
| 2026-01-18 01:54:07 +0100 | <monochrom> | A concrete example being: If you give me an existential value and want me to be able to use Show methods on it, then you must also give me the Show methods, lest how do I even know that I'm allowed to. |
| 2026-01-18 01:53:52 +0100 | <EvanR> | sounds useful |
| 2026-01-18 01:53:34 +0100 | <EvanR> | a value can have zero cost if the only possibility is that it exists i.e. () |
| 2026-01-18 01:53:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:51:58 +0100 | <monochrom> | an easy corollary of information theory. For a value to be usable, you must pass around sufficient information, thus the non-zero cost. |
| 2026-01-18 01:50:11 +0100 | <monochrom> | Existentials are zero-cost iff unusable. |
| 2026-01-18 01:48:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 01:47:16 +0100 | Core4452 | (~Zemy@2600:100c:b04a:cc3c:ac56:f4ff:fe3c:1c26) (Ping timeout: 246 seconds) |
| 2026-01-18 01:44:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 01:43:25 +0100 | Zemy | (~Zemy@72.178.108.235) |
| 2026-01-18 01:43:05 +0100 | droideqa | (uid499291@user/droideqa) (Quit: Connection closed for inactivity) |
| 2026-01-18 01:43:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-18 01:38:48 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-18 01:38:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 01:32:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 01:31:08 +0100 | trickard_ | trickard |
| 2026-01-18 01:27:33 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2026-01-18 01:25:43 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |