| 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 |