Logs: liberachat/#haskell
| 2025-12-11 03:02:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 03:06:50 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 2025-12-11 03:07:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-11 03:09:26 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-11 03:10:39 | → | img joins (~img@user/img) |
| 2025-12-11 03:11:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-11 03:14:04 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-11 03:17:22 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (Ping timeout: 246 seconds) |
| 2025-12-11 03:18:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 03:23:15 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 2025-12-11 03:23:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 03:34:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 03:35:55 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-11 03:38:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 03:41:55 | × | trickard_ quits (~trickard@cpe-83-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-11 03:42:08 | → | trickard_ joins (~trickard@cpe-83-98-47-163.wireline.com.au) |
| 2025-12-11 03:49:54 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-11 03:50:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 03:54:19 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-12-11 03:54:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 04:05:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 04:10:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 04:21:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 04:25:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 04:33:17 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-11 04:37:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 04:41:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 04:47:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 04:52:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 04:52:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-11 04:56:53 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-11 05:00:42 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-12-11 05:03:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 05:07:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 05:14:45 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2025-12-11 05:15:38 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-11 05:16:36 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-12-11 05:18:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 05:20:55 | trickard_ | is now known as trickard |
| 2025-12-11 05:24:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 05:26:47 | → | deptype joins (~deptype@2406:b400:3a:9d2f:fd44:bbca:9ef1:b046) |
| 2025-12-11 05:27:03 | <iqubic> | If I have a `Map k v` is there a function of type `Map k v -> k -> Bool` that tells me if said key is present in the Map? |
| 2025-12-11 05:27:41 | <iqubic> | It's member and notMemember that I want. |
| 2025-12-11 05:36:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 05:41:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 05:50:53 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-11 05:51:30 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-11 05:52:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 05:52:49 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-12-11 05:54:35 | × | iqubic quits (~sophia@2601:602:9203:1660:767a:e6b6:2f4b:e37e) (Remote host closed the connection) |
| 2025-12-11 05:54:43 | <Leary> | @tell Wygyulmage Looks like it's because it's defined in terms of `deleteBy`, but with the arguments flipped to be consistent with `\\`. I wouldn't call that a /deep/ reason though, and you could perhaps change it by complaining at the CLC. |
| 2025-12-11 05:54:43 | <lambdabot> | Consider it noted. |
| 2025-12-11 05:56:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 06:07:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 06:10:16 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-11 06:12:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 06:14:14 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-11 06:19:14 | → | ephemient joins (uid407513@user/ephemient) |
| 2025-12-11 06:19:41 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-11 06:23:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 06:28:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-11 06:32:46 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2025-12-11 06:34:27 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-11 06:34:29 | → | euphores joins (~SASL_euph@user/euphores) |
| 2025-12-11 06:39:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 06:41:20 | <int-e> | Leary: you had an extra 'y' |
| 2025-12-11 06:41:54 | <int-e> | (I noticed because I tried finding the question) |
| 2025-12-11 06:43:35 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-11 06:44:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 06:45:44 | <Leary> | Geh. That's what happens when no tab-complete. |
| 2025-12-11 06:47:11 | <Leary> | @clear-messages |
| 2025-12-11 06:47:11 | <lambdabot> | Messages cleared. |
| 2025-12-11 06:47:27 | <Leary> | @tell Wygulmage Looks like it's because it's defined in terms of `deleteBy`, but with the arguments flipped to be consistent with `\\`. I wouldn't call that a /deep/ reason though, and you could perhaps change it by complaining at the CLC. |
| 2025-12-11 06:47:27 | <lambdabot> | Consider it noted. |
| 2025-12-11 06:47:52 | → | acidjnk joins (~acidjnk@p200300d6e717192391252480cf04477b.dip0.t-ipconnect.de) |
| 2025-12-11 06:50:09 | <int-e> | It's been that way since at least Haskell 98 though. (On the flip side, I don't remember ever using that function.) |
| 2025-12-11 06:52:23 | <int-e> | Changing the orientation of the predicate would be one of the more insidious changes you could push onto users, since the code will still compile. |
| 2025-12-11 06:53:30 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-11 06:54:41 | <Leary> | Yeah, it probably won't happen. That said, it's probably not actually hard to warn/PR every single user on hackage. |
| 2025-12-11 06:59:12 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-12-11 07:02:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 07:07:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 07:20:02 | → | jrm2 joins (~jrm@user/jrm) |
| 2025-12-11 07:20:16 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 246 seconds) |
| 2025-12-11 07:21:38 | jrm2 | is now known as jrm |
| 2025-12-11 07:46:17 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-11 07:48:29 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-11 07:49:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-11 07:53:07 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-11 07:56:50 | → | FirefoxDeHuk joins (~FirefoxDe@user/FirefoxDeHuk) |
| 2025-12-11 07:58:02 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-12-11 07:59:43 | × | tolt_ quits (~weechat-h@li219-154.members.linode.com) (Ping timeout: 240 seconds) |
| 2025-12-11 07:59:45 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 2025-12-11 07:59:55 | → | haskellbridge_ joins (~hackager@96.28.224.214) |
| 2025-12-11 07:59:55 | ChanServ | sets mode +v haskellbridge_ |
| 2025-12-11 08:00:12 | → | j1n37 joins (~j1n37@user/j1n37) |
| 2025-12-11 08:00:50 | → | tolt joins (~weechat-h@li219-154.members.linode.com) |
| 2025-12-11 08:02:00 | → | jrm2 joins (~jrm@user/jrm) |
| 2025-12-11 08:02:40 | × | pabs3 quits (~pabs3@user/pabs3) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2025-12-11 08:02:44 | → | pabs3 joins (~pabs3@user/pabs3) |
All times are in UTC.