2025-05-28 00:04:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:05:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:10:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:11:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:14:57 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-28 00:16:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:17:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:22:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:22:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:24:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:6079:2a03:d656:1a2e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-28 00:28:42 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-05-28 00:29:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:30:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:40:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:41:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:42:44 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 272 seconds) |
2025-05-28 00:47:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:47:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:48:39 +0200 | <EvanR> | the link to existential anti-pattern doesn't work :( |
2025-05-28 00:48:57 +0200 | <EvanR> | though I've seen it on wayback machine recently |
2025-05-28 00:51:36 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-05-28 00:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 00:53:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 00:54:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-05-28 00:58:22 +0200 | <EvanR> | or maybe it's gone for a reason |
2025-05-28 00:58:38 +0200 | <EvanR> | like turns out existentials are cool after all xD |
2025-05-28 01:00:23 +0200 | <monochrom> | \∩/ |
2025-05-28 01:01:18 +0200 | <monochrom> | The anti-pattern anti-pattern. The code-smell opinion smell. |
2025-05-28 01:02:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:02:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:03:33 +0200 | Square2 | (~Square@user/square) Square |
2025-05-28 01:05:28 +0200 | sprotte24 | (~sprotte24@p200300d16f362e006c438e53ebe4b26d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-05-28 01:06:35 +0200 | <sm> | @where existential-antipattern |
2025-05-28 01:06:35 +0200 | <lambdabot> | "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <https://web.archive.org/web/20220121105027/https://lukepalmer.wordpress.com/2010/01/24/haskell-ant…> |
2025-05-28 01:07:19 +0200 | <sm> | working for me! |
2025-05-28 01:07:51 +0200 | <sm> | I see a bad one, drop that I guess |
2025-05-28 01:07:53 +0200 | <sm> | @where+ antipattern |
2025-05-28 01:07:53 +0200 | <lambdabot> | It is forgotten. |
2025-05-28 01:11:54 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-05-28 01:12:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:12:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:18:57 +0200 | <EvanR> | @where parse-don't-validate |
2025-05-28 01:18:57 +0200 | <lambdabot> | "Parse, don't validate" by lexi-lambda in 2019-11-05 at <https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/> |
2025-05-28 01:19:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-05-28 01:19:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:20:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:21:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-28 01:23:31 +0200 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) (Ping timeout: 252 seconds) |
2025-05-28 01:26:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:26:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:30:12 +0200 | mange | (~user@user/mange) mange |
2025-05-28 01:30:22 +0200 | Vq | (~vq@81-226-38-201-no600.tbcn.telia.com) Vq |
2025-05-28 01:31:08 +0200 | <EvanR> | @where lambdacats |
2025-05-28 01:31:08 +0200 | <lambdabot> | http://lambdacats.org |
2025-05-28 01:32:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:32:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:32:40 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
2025-05-28 01:38:27 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-28 01:39:38 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-05-28 01:40:07 +0200 | <EvanR> | @where escaping-hell |
2025-05-28 01:40:07 +0200 | <lambdabot> | (non-tutorial teaser) "Escaping Hell with Monads" by Philip Nillson in 2017-05-08 at <https://philipnilsson.github.io/Badness10k/escaping-hell-with-monads/> |
2025-05-28 01:40:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:40:45 +0200 | <int-e> | . o O ( but now you'r stuck in a monad? ) |
2025-05-28 01:40:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:44:20 +0200 | <EvanR> | stuck in a burrito like one of those cat pictures |
2025-05-28 01:48:30 +0200 | biberu\ | (~biberu@user/biberu) biberu |
2025-05-28 01:49:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-28 01:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 01:50:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 01:51:31 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 252 seconds) |
2025-05-28 01:51:35 +0200 | biberu\ | biberu |
2025-05-28 01:55:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-05-28 02:01:05 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f71d1d5de29932680ec.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-05-28 02:01:11 +0200 | Goodbye_Vincent1 | (cyvahl@freakshells.net) |
2025-05-28 02:02:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 02:02:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 02:04:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
2025-05-28 02:08:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 02:08:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 02:15:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-05-28 02:18:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 02:19:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 02:21:48 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
2025-05-28 02:22:31 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-05-28 02:23:40 +0200 | pandeyan | (~pandeyan@23-93-125-220.fiber.dynamic.sonic.net) |
2025-05-28 02:23:45 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
2025-05-28 02:24:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 02:25:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 02:25:31 +0200 | anpad | (~pandeyan@user/anpad) (Read error: Connection reset by peer) |
2025-05-28 02:33:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-05-28 02:38:00 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-28 02:38:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 02:39:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 02:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 02:50:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 02:54:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-05-28 03:00:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:00:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:04:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:421a:f7d5:c8c3:af24) (Ping timeout: 272 seconds) |
2025-05-28 03:10:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:11:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:16:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:17:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:17:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-05-28 03:24:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:24:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:30:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:31:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:38:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:39:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:40:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-05-28 03:42:41 +0200 | <sm> | I think it's ok to freely prune dead links from @where, since they could be found again in the automatic git history if needed. Let me know if you feel otherwise. Feel free to do a little gardening every day, it's therapeutic. |
2025-05-28 03:45:20 +0200 | <haskellbridge> | <sm> I tend to do it in a private chat to keep the noise down, but interesting or controversial updates are good to do in here perhaps |
2025-05-28 03:46:16 +0200 | <haskellbridge> | <sm> @where planet-haskell |
2025-05-28 03:46:27 +0200 | <EvanR> | @where planet-haskell |
2025-05-28 03:46:27 +0200 | <lambdabot> | http://antti-juhani.kaijanaho.fi/planet-haskell/ |
2025-05-28 03:46:39 +0200 | <haskellbridge> | <sm> .. |
2025-05-28 03:46:39 +0200 | <haskellbridge> | @where+ planet-haskell |
2025-05-28 03:46:39 +0200 | <lambdabot> | It is forgotten. |
2025-05-28 03:46:50 +0200 | <haskellbridge> | <sm> .. |
2025-05-28 03:46:50 +0200 | <haskellbridge> | @where planethaskell |
2025-05-28 03:46:51 +0200 | <lambdabot> | http://antti-juhani.kaijanaho.fi/planet-haskell/ |
2025-05-28 03:46:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:46:58 +0200 | <EvanR> | .oO(where+ subtracts...) |
2025-05-28 03:47:05 +0200 | <haskellbridge> | <sm> .. |
2025-05-28 03:47:05 +0200 | <haskellbridge> | @where+ planethaskell |
2025-05-28 03:47:05 +0200 | <lambdabot> | It is forgotten. |
2025-05-28 03:47:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:47:20 +0200 | <haskellbridge> | <sm> yeah, that took me a while to figure out 😂 |
2025-05-28 03:47:48 +0200 | <haskellbridge> | <sm> ideally it would show the thing one last time when you delete |
2025-05-28 03:49:03 +0200 | <haskellbridge> | <sm> after something is deleted here, there's a 5-10m window when you can check what it was at https://haskell-links.org |
2025-05-28 03:49:16 +0200 | <haskellbridge> | <sm> .. |
2025-05-28 03:49:16 +0200 | <haskellbridge> | @where+ ibid |
2025-05-28 03:49:16 +0200 | <lambdabot> | It is forgotten. |
2025-05-28 03:52:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 03:53:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 03:57:28 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-05-28 03:58:21 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-05-28 04:05:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:05:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 04:05:49 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 245 seconds) |
2025-05-28 04:06:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-05-28 04:07:40 +0200 | td_ | (~td@i53870920.versanet.de) td_ |
2025-05-28 04:12:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:12:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 04:20:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:21:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 04:27:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:27:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 04:35:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:35:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 04:45:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:45:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 04:56:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 04:57:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 05:02:48 +0200 | td_ | (~td@i53870920.versanet.de) (Ping timeout: 244 seconds) |
2025-05-28 05:04:43 +0200 | td_ | (~td@i5387090E.versanet.de) td_ |
2025-05-28 05:04:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 05:05:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-05-28 05:07:33 +0200 | zzz | (~z@user/zero) (Ping timeout: 248 seconds) |
2025-05-28 05:08:50 +0200 | yin | (~z@user/zero) zero |
2025-05-28 05:12:14 +0200 | foul_owl | (~kerry@94.156.149.92) (Ping timeout: 260 seconds) |
2025-05-28 05:22:20 +0200 | DrachenMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2025-05-28 05:22:27 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-05-28 05:23:10 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
2025-05-28 05:25:44 +0200 | foul_owl | (~kerry@94.156.149.92) foul_owl |
2025-05-28 05:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-05-28 05:26:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |