Newest at the top
2025-09-11 07:03:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-11 06:58:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 06:46:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 06:45:39 +0200 | michalz | (~michalz@185.246.207.201) |
2025-09-11 06:42:26 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-11 06:40:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 06:39:40 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 06:39:27 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 06:34:59 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-11 06:33:45 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 258 seconds) |
2025-09-11 06:30:42 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-11 06:29:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-11 06:26:27 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-11 06:26:14 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-11 06:24:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 06:23:40 +0200 | hjj123 | (~hjj123@178.155.115.231) (Quit: Client closed) |
2025-09-11 06:13:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
2025-09-11 06:12:03 +0200 | hjj123 | (~hjj123@178.155.115.231) |
2025-09-11 06:11:29 +0200 | <monochrom> | probie: That is just not true. (pun! don't take it seriously >:) ) |
2025-09-11 06:10:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-09-11 06:04:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:56:34 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
2025-09-11 05:53:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 05:52:30 +0200 | <L29Ah> | i did an anonymous mmap and that was the result of unsafeCoerce |
2025-09-11 05:52:26 +0200 | Square2 | (~Square@user/square) Square |
2025-09-11 05:49:30 +0200 | <probie> | monochrom: the default Bool should be `False`. I flipped a coin and that was the result (also, just having false and implication gives us everything in classical logic, so maybe it is a slightly better choice than true) |
2025-09-11 05:48:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:48:11 +0200 | Googulator61 | Googulator |
2025-09-11 05:38:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-11 05:33:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:22:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 05:17:24 +0200 | aforemny | (~aforemny@i59F4C7D6.versanet.de) (Ping timeout: 256 seconds) |
2025-09-11 05:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 05:17:07 +0200 | aforemny_ | (~aforemny@i59F4C711.versanet.de) aforemny |
2025-09-11 05:10:38 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
2025-09-11 05:05:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-11 04:59:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-11 04:54:01 +0200 | <mauke> | by Neil Mitchell, possibly? |
2025-09-11 04:53:44 +0200 | <monochrom> | But OK, there is a selection bias. The Default library is doomed to attract a certain kind of people... |
2025-09-11 04:53:13 +0200 | <mauke> | I do, but it was a user request |
2025-09-11 04:53:08 +0200 | <monochrom> | You have like 50% chance of being wrong. |
2025-09-11 04:52:53 +0200 | <monochrom> | I thought people knew better than a default Bool. |
2025-09-11 04:52:17 +0200 | <geekosaur> | how about just "Fault" |
2025-09-11 04:52:00 +0200 | <dibblego> | alternatively, s/Default/Hyperfault |
2025-09-11 04:51:52 +0200 | <mauke> | and the controversial Bool instance added |
2025-09-11 04:51:40 +0200 | <mauke> | anyway, the controversial (e -> a) and (IO a) instances have been removed |
2025-09-11 04:50:24 +0200 | <monochrom> | Alternatively or equivalently I want to hijack the "plain English" word "default" and re-define it to be monoid identity. |
2025-09-11 04:49:27 +0200 | <jackdk> | OK |
2025-09-11 04:49:11 +0200 | <monochrom> | I want to muddle the water so much it wraps around and clarifies to "why not do it properly and make a Monoid". |
2025-09-11 04:49:10 +0200 | <geekosaur> | " |