| 2025-01-12 00:00:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 00:04:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 00:11:02 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-01-12 00:13:54 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in) |
| 2025-01-12 00:15:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 00:16:41 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-01-12 00:17:06 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-01-12 00:20:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 00:28:33 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-12 00:29:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-12 00:31:05 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-01-12 00:31:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 00:35:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 00:37:59 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-01-12 00:46:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 00:49:44 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-01-12 00:51:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 00:54:36 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34 |
| 2025-01-12 00:56:30 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-01-12 00:56:33 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2025-01-12 00:57:44 +0100 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) |
| 2025-01-12 01:01:32 +0100 | dtman34 | (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-12 01:01:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 01:03:23 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:198e:8888:ba04:6650) dtman34 |
| 2025-01-12 01:07:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 01:08:48 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:198e:8888:ba04:6650) (Ping timeout: 246 seconds) |
| 2025-01-12 01:11:12 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 2025-01-12 01:12:18 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-12 01:17:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 01:21:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 01:22:28 +0100 | <monochrom> | Clearly, design patterns and anti-patterns depend on the language. |
| 2025-01-12 01:23:14 +0100 | <monochrom> | I had a student who tried to write Haskell in Python. I gave them a very low mark. If you use Python, you play to the strength of Python. If you use Haskell, you play to the strength of Haskell. |
| 2025-01-12 01:24:55 +0100 | <monochrom> | In that student's case, the assignment was to first use algebraic data types in Haskell to define a type for boolean expressions and functions for evaluations. Then the next question is "how would you code this up in Python?" |
| 2025-01-12 01:26:02 +0100 | <monochrom> | Clearly, in Python you would not make an algebraic type, you would make a Not class, And class, Or class; and the evaluation function would be a common method. |
| 2025-01-12 01:26:07 +0100 | dtman34 | (~dtman34@2601:447:d080:1a3c:198e:8888:ba04:6650) dtman34 |
| 2025-01-12 01:26:23 +0100 | <c_wraith> | but then you've turned the expression problem sideways! |
| 2025-01-12 01:26:48 +0100 | <c_wraith> | the python should be using the visitor pattern. :P |
| 2025-01-12 01:27:01 +0100 | <monochrom> | But the student was too excited by Haskell, so they went overboard and translate Haskell pattern matching to Python. "if instanceof(e, Or) ... elif instanceof(e, And) .. elif ..." |
| 2025-01-12 01:27:23 +0100 | <c_wraith> | so... they should have used the visitor pattern. |
| 2025-01-12 01:27:55 +0100 | <monochrom> | I would be very impressed if they used the visitor pattern. |
| 2025-01-12 01:28:23 +0100 | <c_wraith> | Huh. I guess the visitor pattern is sort of a catamorphism that uses algebras encoded as an object. |
| 2025-01-12 01:28:35 +0100 | <monochrom> | For mere mortals, the composite pattern would be good enough and pretty easy to understand actually. |
| 2025-01-12 01:29:17 +0100 | <monochrom> | But the whole point of Python and Java is if you write "instanceof" you're commiting a crime. |
| 2025-01-12 01:30:42 +0100 | <c_wraith> | crimes against parametricity |
| 2025-01-12 01:30:52 +0100 | <monochrom> | haha |
| 2025-01-12 01:31:45 +0100 | <c_wraith> | Lots of python code commits crimes against parametricity |
| 2025-01-12 01:32:02 +0100 | <c_wraith> | It tries to be "friendly" instead of "type safe" |
| 2025-01-12 01:32:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 01:33:09 +0100 | <c_wraith> | that's less common in java, but not absent. (Same root cause...) |
| 2025-01-12 01:37:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 01:46:23 +0100 | <haskellbridge> | <Bowuigi> c_wraith re:catamorphism https://www.haskellforall.com/2021/01/the-visitor-pattern-is-essentially-same.html this is relevant I guess |
| 2025-01-12 01:48:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 01:52:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 02:03:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 02:05:14 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-01-12 02:05:29 +0100 | sprotte24 | (~sprotte24@p200300d16f109200d837c3a3f02cbb16.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-12 02:06:58 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-01-12 02:08:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 02:11:44 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish) |
| 2025-01-12 02:12:07 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-01-12 02:18:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 02:20:44 +0100 | homo | (~homo@user/homo) (Read error: Connection reset by peer) |
| 2025-01-12 02:22:11 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-12 02:26:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 02:32:15 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-12 02:36:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 02:37:02 +0100 | otto_s | (~user@p5de2fce5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-12 02:38:40 +0100 | otto_s | (~user@p4ff27ed7.dip0.t-ipconnect.de) |
| 2025-01-12 02:41:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 02:43:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-12 02:52:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 02:52:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-01-12 02:57:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 02:58:30 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 265 seconds) |
| 2025-01-12 03:07:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 03:08:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f9009bc3096dfcfc887.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-12 03:12:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 03:13:08 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-12 03:23:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 03:23:38 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-12 03:25:26 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-12 03:27:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 03:31:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 03:34:09 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-12 03:34:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-12 03:36:19 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-12 03:36:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-12 03:47:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 03:51:16 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-12 03:55:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-12 03:59:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-12 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-01-12 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-01-12 04:06:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 04:13:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 04:17:33 +0100 | homo | (~homo@user/homo) (Quit: Leaving) |
| 2025-01-12 04:24:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 04:25:01 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-12 04:25:46 +0100 | <Square> | How would I write a performance test for a "value". I want to compute it N times and see how long it takes |
| 2025-01-12 04:28:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 04:30:25 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-12 04:32:11 +0100 | img | (~img@user/img) img |
| 2025-01-12 04:37:21 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-12 04:39:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 04:44:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 04:44:24 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-12 04:45:38 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-12 04:46:03 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-12 04:46:30 +0100 | <Square> | I guess my question is, how do I make sure a value isn't cached, but instead recalculated |
| 2025-01-12 04:47:18 +0100 | <c_wraith> | write the thing that calculates it as a function. use criterion to pass the function its input. |
| 2025-01-12 04:49:40 +0100 | <c_wraith> | criterion uses module boundaries to prevent inlining so that GHC doesn't notice it's passing the same argument to the same function over and over. |
| 2025-01-12 04:50:01 +0100 | <c_wraith> | it also does the benchmarking. Kind of like that's what it was designed to do |
| 2025-01-12 04:54:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 04:58:19 +0100 | <Square> | c_wraith, thanks. Yeah, got criterion up and running |
| 2025-01-12 04:59:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 05:10:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 05:12:08 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-01-12 05:14:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 05:25:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 05:30:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 05:36:15 +0100 | stef204 | (~stef204@user/stef204) (Ping timeout: 252 seconds) |
| 2025-01-12 05:41:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 05:45:26 +0100 | <Leary> | tomsmeding: `null . drop 1 . nub` |
| 2025-01-12 05:47:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 05:50:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-12 05:54:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 05:55:27 +0100 | <Leary> | (you can also replace `nub` with `group` if you want the performance to be more obvious, but they should be pretty similar) |
| 2025-01-12 05:59:14 +0100 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-01-12 06:00:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 06:07:39 +0100 | simon1 | (~simon@24-122-69-233.resi.cgocable.ca) |
| 2025-01-12 06:10:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 06:14:18 +0100 | Digit | (~user@user/digit) (Read error: Connection reset by peer) |
| 2025-01-12 06:15:10 +0100 | Digit | (~user@user/digit) Digit |
| 2025-01-12 06:15:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 06:26:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 06:29:50 +0100 | weary-traveler | (~user@user/user363627) (Read error: Connection reset by peer) |
| 2025-01-12 06:30:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-12 06:31:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 06:42:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 06:43:45 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-01-12 06:45:17 +0100 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-01-12 06:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 06:55:48 +0100 | sayurc | (~sayurc@169.150.203.34) (Ping timeout: 245 seconds) |
| 2025-01-12 06:55:56 +0100 | sayurc_ | (~sayurc@177.136.41.198) sayurc |
| 2025-01-12 06:57:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 06:57:46 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-12 07:01:22 +0100 | WorldControl | (~juan@195.sub-75-246-230.myvzw.com) |
| 2025-01-12 07:01:36 +0100 | WorldControl | (~juan@195.sub-75-246-230.myvzw.com) (Remote host closed the connection) |
| 2025-01-12 07:02:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 07:03:28 +0100 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::46) (Remote host closed the connection) |
| 2025-01-12 07:10:09 +0100 | duckworld | (~duckworld@user/duckworld) (Read error: Connection reset by peer) |
| 2025-01-12 07:10:34 +0100 | duckworld | (~duckworld@user/duckworld) duckworld |
| 2025-01-12 07:11:18 +0100 | sayurc_ | (~sayurc@177.136.41.198) (Ping timeout: 252 seconds) |
| 2025-01-12 07:11:35 +0100 | sayurc_ | (~sayurc@169.150.203.34) sayurc |
| 2025-01-12 07:12:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 07:17:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 07:27:23 +0100 | sayurc_ | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-01-12 07:28:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 07:34:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-12 07:34:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2025-01-12 07:34:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 07:38:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-12 07:46:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 07:51:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 07:52:21 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-01-12 07:53:13 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-12 07:55:25 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-12 07:55:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 08:00:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 08:00:31 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-12 08:00:44 +0100 | CiaoSen | (~Jura@2a05:5800:2c9:5b00:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-12 08:01:24 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-12 08:15:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 08:20:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 08:31:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 08:33:19 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-01-12 08:35:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 08:46:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 08:50:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 08:56:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 08:59:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-12 09:00:01 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-12 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-12 09:00:39 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-12 09:01:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 09:01:21 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-12 09:03:56 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2025-01-12 09:17:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 09:17:33 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 09:19:01 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-12 09:20:59 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2025-01-12 09:24:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 09:35:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 09:38:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 09:40:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 09:41:35 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 09:45:18 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 09:46:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-12 09:48:04 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-12 09:49:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 09:50:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 09:52:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-01-12 09:53:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-12 09:55:07 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-12 09:55:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-12 09:56:04 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 09:56:28 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-12 09:57:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 09:58:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 09:58:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-12 10:01:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:02:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 10:03:26 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 10:03:57 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 246 seconds) |
| 2025-01-12 10:06:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:10:07 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 10:10:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:14:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 10:16:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 10:18:00 +0100 | raym | (~ray@user/raym) (Ping timeout: 272 seconds) |
| 2025-01-12 10:18:35 +0100 | raym | (~ray@user/raym) raym |
| 2025-01-12 10:18:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 10:19:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:22:06 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 10:22:38 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-12 10:22:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-01-12 10:25:35 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:28:08 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 10:29:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 10:31:41 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:32:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) acidjnk |
| 2025-01-12 10:33:10 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 10:33:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 10:36:12 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-12 10:37:23 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2025-01-12 10:37:30 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 10:43:26 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) |
| 2025-01-12 10:44:15 +0100 | CiaoSen | (~Jura@2a05:5800:2c9:5b00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-01-12 10:48:18 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2025-01-12 10:50:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-12 10:50:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 10:55:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 10:58:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 10:59:24 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2025-01-12 11:06:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-12 11:06:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 11:07:35 +0100 | <tomsmeding> | Leary: cute! |
| 2025-01-12 11:09:10 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 11:10:09 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-12 11:15:42 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-01-12 11:15:57 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-01-12 11:17:03 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-12 11:21:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 11:22:29 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-12 11:24:18 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-01-12 11:26:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 11:27:54 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 11:32:07 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 11:34:41 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 11:36:01 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
| 2025-01-12 11:36:34 +0100 | sprotte24 | (~sprotte24@p200300d16f1ab700b95fa6f61d41c09f.dip0.t-ipconnect.de) |
| 2025-01-12 11:37:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 11:38:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 11:41:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 11:42:43 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius |
| 2025-01-12 11:44:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 11:49:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 11:49:58 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 11:50:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 11:50:42 +0100 | tnt2 | tnt1 |
| 2025-01-12 11:51:50 +0100 | raym | (~ray@user/raym) raym |
| 2025-01-12 11:53:29 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 11:58:40 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 11:59:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 12:04:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 12:07:58 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2025-01-12 12:08:57 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-12 12:15:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 12:18:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:19:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 12:21:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:25:09 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
| 2025-01-12 12:27:11 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-01-12 12:27:27 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 12:28:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 12:28:06 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:30:17 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 12:30:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 12:32:01 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 2025-01-12 12:32:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:35:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 12:36:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:38:55 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 12:39:06 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 12:39:06 +0100 | tnt2 | tnt1 |
| 2025-01-12 12:39:42 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:42:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:43:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 12:43:43 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 12:45:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 12:46:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:48:39 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 12:50:03 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:50:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 12:50:36 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314 |
| 2025-01-12 12:52:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 12:53:09 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:55:11 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:57:29 +0100 | agent314 | (~quassel@c-24-17-1-67.hsd1.wa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-12 12:57:45 +0100 | agent314 | (~quassel@208.131.130.69) agent314 |
| 2025-01-12 12:57:47 +0100 | ol0ck | (~quassel@user/ol0ck) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-12 12:58:31 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:58:59 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 12:59:22 +0100 | sprotte24_ | (~sprotte24@p200300d16f1ab700b95fa6f61d41c09f.dip0.t-ipconnect.de) |
| 2025-01-12 12:59:48 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 12:59:57 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 13:00:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 13:03:42 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 13:03:42 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 13:04:09 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2025-01-12 13:04:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 13:07:27 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 13:08:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 13:13:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 13:16:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 13:17:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 13:18:19 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-01-12 13:18:35 +0100 | sprotte24 | (~sprotte24@p200300d16f1ab700b95fa6f61d41c09f.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-12 13:20:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-12 13:20:43 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-01-12 13:20:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 13:20:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 13:22:54 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 13:23:36 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-01-12 13:24:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-01-12 13:25:20 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-12 13:25:45 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 13:28:00 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-12 13:28:35 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-12 13:28:35 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 13:28:53 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 13:30:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-12 13:30:36 +0100 | tnt2 | tnt1 |
| 2025-01-12 13:31:19 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2025-01-12 13:31:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 13:31:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 13:31:53 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-12 13:32:25 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-12 13:33:13 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2025-01-12 13:33:51 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-12 13:36:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 13:39:37 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-12 13:40:28 +0100 | dontdieych22 | (~a@user/dontdieych2) dontdieych2 |
| 2025-01-12 13:40:36 +0100 | dontdieych22 | (~a@user/dontdieych2) (Client Quit) |
| 2025-01-12 13:46:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 13:49:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-12 13:50:14 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 13:51:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 13:53:32 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 13:59:09 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2025-01-12 14:01:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 14:06:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2025-01-12 14:15:16 +0100 | agent314 | agent_bla |
| 2025-01-12 14:15:26 +0100 | agent_bla | agent314 |
| 2025-01-12 14:17:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 14:23:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 14:35:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 14:39:09 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 14:39:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 14:40:19 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-12 14:42:42 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 14:44:00 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-12 14:44:22 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-12 14:45:14 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-12 14:45:34 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 14:47:04 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 2025-01-12 14:47:04 +0100 | tnt2 | tnt1 |
| 2025-01-12 14:50:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 14:54:44 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 14:54:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-12 14:56:20 +0100 | <bailsman> | ...yes I've found many cases in which I thought I needed an existential type. I'm glad this is a rite of passage. Although, I still often think I need it, so I'm not sure if I've fully completed the rite yet |
| 2025-01-12 14:56:44 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-12 14:56:44 +0100 | tnt2 | tnt1 |
| 2025-01-12 15:01:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:02:49 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2025-01-12 15:05:42 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-12 15:06:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 15:07:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-12 15:08:40 +0100 | <haskellbridge> | <Profpatsch> bailsman: agree, I haven’t felt like I needed an existential type in a long time |
| 2025-01-12 15:08:48 +0100 | <haskellbridge> | <Profpatsch> usually RankN solves most things |
| 2025-01-12 15:14:05 +0100 | <hellwolf> | would you also need ImpredicativeTypes in that case? |
| 2025-01-12 15:14:49 +0100 | <haskellbridge> | <Profpatsch> in what case? |
| 2025-01-12 15:15:11 +0100 | <hellwolf> | I sometimes create an array of AnyX existential data types. |
| 2025-01-12 15:15:48 +0100 | <haskellbridge> | <Profpatsch> no you don’t really need them usually |
| 2025-01-12 15:15:51 +0100 | <haskellbridge> | <Profpatsch> At least I don’t |
| 2025-01-12 15:16:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:16:55 +0100 | <haskellbridge> | <Profpatsch> I don’t really run into situations where I need that flexibility tbh |
| 2025-01-12 15:17:11 +0100 | <haskellbridge> | <Profpatsch> do you have an example? |
| 2025-01-12 15:17:20 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-12 15:17:21 +0100 | <haskellbridge> | <Profpatsch> (that is not just a toy example I mean) |
| 2025-01-12 15:17:34 +0100 | <hellwolf> | yes, I use it in places |
| 2025-01-12 15:18:03 +0100 | <haskellbridge> | <Profpatsch> any time I thought I needed these, I could usually slightly redesign and vastly simplify |
| 2025-01-12 15:18:27 +0100 | <hellwolf> | okay, but I am not sure if were complicated in the first place |
| 2025-01-12 15:18:28 +0100 | <haskellbridge> | <Profpatsch> esp. because error messages and inference becomes a joke with impredicative types |
| 2025-01-12 15:18:40 +0100 | <hellwolf> | oh, I meant existential types |
| 2025-01-12 15:18:51 +0100 | <haskellbridge> | <Profpatsch> (same as with GADTs, though people tell me they have their uses) |
| 2025-01-12 15:18:55 +0100 | <hellwolf> | impredicative types I don't actively use, but passively use from a library that requiring it |
| 2025-01-12 15:19:22 +0100 | <haskellbridge> | <Profpatsch> though GADTs are a superset of existential types right?? |
| 2025-01-12 15:19:31 +0100 | <haskellbridge> | <Profpatsch> s/??/?/ |
| 2025-01-12 15:21:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 15:23:06 +0100 | <hellwolf> | I have never heard of that |
| 2025-01-12 15:23:12 +0100 | <hellwolf> | (forall a. (t a -> r)) ≅ ((exists a. t a) -> r) <-- this is what I know of. |
| 2025-01-12 15:27:33 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-12 15:28:23 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) |
| 2025-01-12 15:29:38 +0100 | <ncf> | data Exists t where pack :: forall a. t a → Exists t |
| 2025-01-12 15:32:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:36:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-12 15:37:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 15:37:49 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-12 15:37:49 +0100 | tnt2 | tnt1 |
| 2025-01-12 15:39:21 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-12 15:42:04 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-12 15:43:02 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-12 15:43:39 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 15:44:16 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 15:44:16 +0100 | tnt2 | tnt1 |
| 2025-01-12 15:47:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 15:50:04 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2025-01-12 15:52:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 15:57:28 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-12 16:01:23 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 16:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 16:04:53 +0100 | <kaol> | Looks like GHC started complaining about non-exhaustive pattern matches on lazy pattern matching in 9.2. I may have been abusing lazy pattern matching to just create escape hatches where I was certain that it would always match so I guess I can't complain too much. |
| 2025-01-12 16:06:24 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-12 16:06:36 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 2025-01-12 16:06:36 +0100 | tnt2 | tnt1 |
| 2025-01-12 16:06:38 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-01-12 16:09:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 16:11:46 +0100 | mreh | (~matthew@host86-146-25-121.range86-146.btcentralplus.com) |
| 2025-01-12 16:20:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 16:25:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 16:30:35 +0100 | <probie> | GHC has become very opinionated in recent years about how Haskell should be written. I look forward to when they decide to remove `error` and `undefined` from base :p |
| 2025-01-12 16:32:32 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-12 16:33:09 +0100 | agent314 | (~quassel@208.131.130.69) (Ping timeout: 246 seconds) |
| 2025-01-12 16:36:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 16:40:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 16:42:02 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-01-12 16:42:57 +0100 | <tomsmeding> | probie: in warnings, or in actual backwards-incompatible changes? |
| 2025-01-12 16:51:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 16:56:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-12 16:56:43 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-12 17:02:29 +0100 | kenran | (~void@user/kenran) kenran |
| 2025-01-12 17:03:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 17:06:39 +0100 | Pixi__ | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-01-12 17:08:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 17:09:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-12 17:10:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-12 17:10:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-12 17:13:39 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-01-12 17:14:31 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-12 17:16:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-12 17:17:26 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-01-12 17:18:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-12 17:19:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 17:22:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8710:a51a:14b3:2b97) (Ping timeout: 276 seconds) |
| 2025-01-12 17:24:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 17:26:09 +0100 | xff0x | (~xff0x@2405:6580:b080:900:39df:db2a:91b7:da54) |
| 2025-01-12 17:28:38 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Remote host closed the connection) |
| 2025-01-12 17:29:12 +0100 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-01-12 17:34:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 17:39:23 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-12 17:39:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 17:39:57 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Remote host closed the connection) |
| 2025-01-12 17:42:28 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) rekahsoft |
| 2025-01-12 17:48:07 +0100 | <smiesner> | time for another happy parser generator question: how do i parse a source file after creating the non-terminal and production rules? GHC shows in Parser.y many %name parsers, called via a runParser function, generated by happy. I don't have %this function. how can i generate it or something similar so the AST get's created correctly? |
| 2025-01-12 17:48:19 +0100 | <smiesner> | https://gitlab.haskell.org/ghc/ghc/-/blob/e2520df3fffa0cf22fb19c5fb872832d11c07d35/compiler/GHC/Pa… |
| 2025-01-12 17:50:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 17:52:45 +0100 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-01-12 17:56:28 +0100 | <smiesner> | a different approach is shared here: https://gist.github.com/heitor-lassarote/9cc4203990352f5df5f6b84da9291df9 |
| 2025-01-12 17:57:08 +0100 | <smiesner> | however it seems this parser always expects to parse 'decs'. i think the approach in ghc is a bit nicer and better to read? |
| 2025-01-12 17:57:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 18:04:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 18:07:26 +0100 | tv | (~tv@user/tv) tv |
| 2025-01-12 18:09:03 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-12 18:09:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 18:09:28 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-12 18:09:42 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2025-01-12 18:09:55 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-01-12 18:10:57 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-12 18:15:54 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-12 18:16:08 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-12 18:16:08 +0100 | dontdieych2 | (~quassel@user/dontdieych2) (Client Quit) |
| 2025-01-12 18:16:23 +0100 | dontdieych2 | (~quassel@user/dontdieych2) dontdieych2 |
| 2025-01-12 18:16:35 +0100 | <smiesner> | or does GHC just start at the non-terminal Module and goes with each production rule into smaller non-terminals? |
| 2025-01-12 18:20:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 18:21:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-12 18:25:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 18:26:17 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista) |
| 2025-01-12 18:28:08 +0100 | paul_j | (~user@8.190.187.81.in-addr.arpa) paul_j |
| 2025-01-12 18:29:28 +0100 | hellwolf | (~user@40c4-4c3f-bf6c-303b-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds) |
| 2025-01-12 18:32:33 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f06081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-12 18:33:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-12 18:35:28 +0100 | hellwolf | (~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-01-12 18:36:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 18:41:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-12 18:41:25 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-12 18:43:24 +0100 | stef204 | (~stef204@user/stef204) stef204 |
| 2025-01-12 18:47:20 +0100 | <probie> | tomsmeding: In actual backwards-incompatible changes, although I don't actually think it will happen. However, I think it might plausible in 5-10 years that `head` and `tail` disappear. |
| 2025-01-12 18:49:15 +0100 | Midjak | (~MarciZ@82.66.147.146) Midjak |
| 2025-01-12 18:51:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 18:55:52 +0100 | <probie> | I find it really annoying when I'm trying to use GHCi as a calculator that something "silly" like `liftA2 (,) head tail [1..10]` generates 10 lines of warning before giving me my result unless I run it with `-Wno-x-partial` |
| 2025-01-12 18:56:25 +0100 | <probie> | (that's on 9.10.1) |
| 2025-01-12 18:57:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-12 18:58:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-01-12 18:58:42 +0100 | <probie> | It's one thing to do it for programs being compiled, but to have it as the default for the interactive environment just seems _way_ too opinionated |
| 2025-01-12 18:59:51 +0100 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-01-12 19:05:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 19:08:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-12 19:08:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-01-12 19:10:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-12 19:10:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-12 19:17:50 +0100 | heichro | (~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) heichro |
| 2025-01-12 19:18:25 +0100 | <heichro> | @pl \x -> x /= '.' |
| 2025-01-12 19:18:25 +0100 | <lambdabot> | ('.' /=) |
| 2025-01-12 19:21:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 19:22:22 +0100 | heichro | (~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50)) |
| 2025-01-12 19:24:54 +0100 | Digitteknohippie | Digit |
| 2025-01-12 19:28:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-12 19:32:38 +0100 | <hellwolf> | I am a bit confounded by haddock's one behavior: I use things like "module Prelude.Linear" in a module A, but sometimes it include all of its symbols in the docs of module A, but with my own module say "module YulDSL.Core" in the same module A, the symbols are not included in the docs of module A... |
| 2025-01-12 19:32:53 +0100 | <hellwolf> | what affected the behaviour? |
| 2025-01-12 19:33:55 +0100 | <hellwolf> | see: https://paste.tomsmeding.com/inWDbHu5 |
| 2025-01-12 19:36:18 +0100 | <hellwolf> | or, perhaps rephrase it a simpler phrase: when would haddoc inline a module's docs in another module that includes it? |
| 2025-01-12 19:36:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2025-01-12 19:36:46 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-12 19:36:50 +0100 | <monochrom> | For now my hypothesis is that the difference is in importing only part of Prelude.Linear but all of YulDSL.Core |
| 2025-01-12 19:37:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-01-12 19:37:17 +0100 | <monochrom> | I have something else to do so I am too lazy to test it for now. :) |
| 2025-01-12 19:37:38 +0100 | <geekosaur> | when the module has an `OPTIONS_HADDOCK not-home` it'll get inlined, for one |
| 2025-01-12 19:38:15 +0100 | <hellwolf> | https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Prelude.Linear.html <-- this is the source of Prelude.LInear |
| 2025-01-12 19:38:20 +0100 | <hellwolf> | I am trying to spot the difference |
| 2025-01-12 19:38:25 +0100 | <geekosaur> | https://hackage.haskell.org/package/containers-0.7/docs/src/Data.Map.Internal.html |
| 2025-01-12 19:38:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:38:53 +0100 | <hellwolf> | interesting, let me try |
| 2025-01-12 19:38:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-12 19:39:01 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:39:01 +0100 | <geekosaur> | you'll see it has "not-home", so haddock inlines its definitions into importing modules (in this case Data.Map) |
| 2025-01-12 19:39:02 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:39:38 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:39:44 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-12 19:39:47 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:40:34 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:40:43 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:41:18 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:41:27 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:42:02 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:42:04 +0100 | <hellwolf> | hmm, it doesn't seem to work |
| 2025-01-12 19:42:11 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:43:28 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:43:31 +0100 | pja | (~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Quit: WeeChat 3.8) |
| 2025-01-12 19:43:37 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:44:09 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:44:18 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:44:50 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:44:59 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:46:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-12 19:46:48 +0100 | <hellwolf> | very mysterious now |
| 2025-01-12 19:47:10 +0100 | <hellwolf> | I don't suppose these matter: |
| 2025-01-12 19:47:10 +0100 | <hellwolf> | {-# OPTIONS_GHC -Wno-dodgy-exports -Wno-unused-imports #-} |
| 2025-01-12 19:47:16 +0100 | <hellwolf> | what are "doggy-exports" anyways. |
| 2025-01-12 19:47:17 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:47:26 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:47:58 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:48:08 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:48:41 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:48:50 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:51:20 +0100 | <hellwolf> | | If multiple modules fit the criteria, then one is chosen at random. |
| 2025-01-12 19:51:34 +0100 | <monochrom> | Who-ordered-that |
| 2025-01-12 19:52:31 +0100 | <tomsmeding> | probie: ah, I'm with you on the -Wx-partial; I don't like it either. Yes, I know that these functions are partial. It's like lesson 2 of any Haskell course. |
| 2025-01-12 19:53:13 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:53:22 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:53:29 +0100 | <monochrom> | This is where people who want Haskell to be a dependently typed total language clash with people who want Haskell to be a programming language. |
| 2025-01-12 19:53:47 +0100 | <tomsmeding> | the tricky thing with -Wx-partial is that you can't even turn it off very well in packages; sure, you can set {-# OPTIONS -Wno-x-partial #-}, but now your code generates a new warning on current GHCs that don't yet know about that warning! |
| 2025-01-12 19:53:56 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:53:57 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:54:01 +0100 | <tomsmeding> | and using CPP for this is just way overblown |
| 2025-01-12 19:54:31 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin |
| 2025-01-12 19:54:40 +0100 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2025-01-12 19:54:40 +0100 | <tomsmeding> | in one instance I ended up doing -Wno-unrecognised-warning-flags -Wno-x-partial but that's also icky |
| 2025-01-12 19:54:47 +0100 | <tomsmeding> | this stuff belongs in a linter |
| 2025-01-12 19:55:04 +0100 | <tomsmeding> | the sadder that the most popular linter is even worse in this regard :) |