Logs: liberachat/#haskell
| 2026-01-18 00:51:58 | <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 00:53:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 00:53:34 | <EvanR> | a value can have zero cost if the only possibility is that it exists i.e. () |
| 2026-01-18 00:53:52 | <EvanR> | sounds useful |
| 2026-01-18 00:54:07 | <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 00:55:30 | <monochrom> | or at least a pointer to the struct of Show methods. |
| 2026-01-18 00:57:12 | <monochrom> | OK OK s/unusable/indistinguishable from ()/ :) |
| 2026-01-18 01:00:09 | → | Zemy_ joins (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) |
| 2026-01-18 01:03:18 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-01-18 01:03:18 | × | Zemy quits (~Zemy@72.178.108.235) (Ping timeout: 252 seconds) |
| 2026-01-18 01:03:30 | → | Zemy joins (~Zemy@72.178.108.235) |
| 2026-01-18 01:04:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 01:06:55 | × | Zemy_ quits (~Zemy@2600:100c:b04a:cc3c:1015:34ff:fe46:86ce) (Ping timeout: 264 seconds) |
| 2026-01-18 01:06:58 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-01-18 01:10:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:22:03 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-18 01:22:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 01:24:45 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-18 01:25:10 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-01-18 01:27:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:31:54 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 01:32:08 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 01:38:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 01:40:02 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 01:40:15 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 01:42:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 01:44:17 | × | acidjnk quits (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2026-01-18 01:49:48 | → | omidmash0 joins (~omidmash@user/omidmash) |
| 2026-01-18 01:50:39 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-18 01:52:24 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 260 seconds) |
| 2026-01-18 01:52:24 | omidmash0 | is now known as omidmash |
| 2026-01-18 01:54:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 01:58:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 02:06:13 | × | Tuplanolla quits (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-18 02:09:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 02:10:30 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 02:10:44 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 02:14:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:17:30 | → | Inline joins (~User@2001-4dd6-dd24-0-5713-7235-9889-58da.ipv6dyn.netcologne.de) |
| 2026-01-18 02:25:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 02:30:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 02:35:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-18 02:41:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 02:45:52 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-18 02:48:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 02:48:13 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-18 02:51:36 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-01-18 02:53:25 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 02:54:47 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 02:56:24 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-18 02:59:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 03:00:17 | × | xff0x quits (~xff0x@2405:6580:b080:900:c589:6b53:dd18:5a14) (Ping timeout: 265 seconds) |
| 2026-01-18 03:00:47 | → | xff0x joins (~xff0x@2405:6580:b080:900:c180:d9e0:95c3:e24d) |
| 2026-01-18 03:00:55 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 03:03:01 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-18 03:04:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 03:05:03 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2026-01-18 03:05:35 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 2026-01-18 03:07:45 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-18 03:14:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 03:16:14 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 03:19:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 03:46:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 03:52:11 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-18 03:53:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 04:03:42 | × | attlin quits (~user@user/attlin) (Ping timeout: 256 seconds) |
| 2026-01-18 04:05:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 04:07:09 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:07:22 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 04:08:06 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-01-18 04:10:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 04:21:00 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:21:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 04:21:49 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 04:24:35 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-18 04:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 04:30:18 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-18 04:34:16 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:34:30 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 04:34:52 | × | emmanuelux quits (~em@user/emmanuelux) (Remote host closed the connection) |
| 2026-01-18 04:35:12 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 04:39:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 04:44:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 04:47:39 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-01-18 04:47:53 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-01-18 04:55:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 05:00:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 05:00:34 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-18 05:10:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 05:15:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 05:18:57 | → | attlin joins (~user@user/attlin) |
| 2026-01-18 05:26:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 05:31:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-18 05:41:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 05:46:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-18 05:50:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-18 05:52:43 | × | attlin quits (~user@user/attlin) (Ping timeout: 260 seconds) |
| 2026-01-18 05:55:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 05:57:40 | → | yangby joins (~secret@115.205.110.194) |
| 2026-01-18 05:57:43 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
All times are in UTC.