2025/09/11

Newest at the top

2025-09-11 07:03:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-11 06:58:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 06:46:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-11 06:45:39 +0200michalz(~michalz@185.246.207.201)
2025-09-11 06:42:26 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-11 06:40:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 06:39:40 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-09-11 06:39:27 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-11 06:34:59 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds)
2025-09-11 06:33:45 +0200simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 258 seconds)
2025-09-11 06:30:42 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz
2025-09-11 06:29:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-11 06:26:27 +0200trickard_(~trickard@cpe-54-98-47-163.wireline.com.au)
2025-09-11 06:26:14 +0200trickard(~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-11 06:24:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 06:23:40 +0200hjj123(~hjj123@178.155.115.231) (Quit: Client closed)
2025-09-11 06:13:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds)
2025-09-11 06:12:03 +0200hjj123(~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 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-11 06:04:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 05:56:34 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds)
2025-09-11 05:53:40 +0200merijn(~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 +0200Square2(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 05:48:11 +0200Googulator61Googulator
2025-09-11 05:38:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-11 05:33:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 05:22:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-11 05:17:24 +0200aforemny(~aforemny@i59F4C7D6.versanet.de) (Ping timeout: 256 seconds)
2025-09-11 05:17:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-11 05:17:07 +0200aforemny_(~aforemny@i59F4C711.versanet.de) aforemny
2025-09-11 05:10:38 +0200LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-09-11 05:05:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-11 04:59:17 +0200merijn(~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> "