2024/09/28

2024-09-28 00:01:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-28 00:03:12 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: Lost terminal)
2024-09-28 00:05:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-28 00:06:03 +0200ft(~ft@p4fc2acce.dip0.t-ipconnect.de) ft
2024-09-28 00:06:46 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-09-28 00:09:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-28 00:09:53 +0200ski. o O ( "What is a Naperian Container?" by Peter Hancock in 2005-06-19 at <https://web.archive.org/web/20170313140037/http://sneezy.cs.nott.ac.uk/containers/blog/?p=14> )
2024-09-28 00:12:43 +0200polyphem(~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-09-28 00:12:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 00:15:45 +0200Rembane(~Rembane@user/Rembane) (Quit: WeeChat 4.1.1)
2024-09-28 00:16:11 +0200gioyik(~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2)
2024-09-28 00:19:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 00:19:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 00:20:06 +0200irssi(~Rembane@user/Rembane) Rembane
2024-09-28 00:21:09 +0200irssiRembane
2024-09-28 00:23:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 00:24:10 +0200 <monochrom> A functor F that is isomorphic to (->)I for some index set/type I. The most familiar example is Stream as (->)ℕ. Another one is a finite example like "data Pair a = P a a" being (->)Bool.
2024-09-28 00:26:56 +0200 <monochrom> Bool->X (for example) is like X^Bool, exponentiation, so going from Bool->X to X is like logarithm. Logarithm is from Napier, so "Naperian".
2024-09-28 00:27:53 +0200 <monochrom> Err no, going from Bool->X to Bool is logarithm.
2024-09-28 00:29:07 +0200 <EvanR> ok there's an index type or space
2024-09-28 00:29:26 +0200 <monochrom> or in general, given F X, you ask what's I, and the answer is log(F X) = log(X^I) = I.
2024-09-28 00:29:29 +0200symdrome(~user@2804:1e78:2202:2220::416) symdrome
2024-09-28 00:29:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 00:30:02 +0200 <monochrom> If you say "but that's just Reader" or "but that's just representable functor", you're right. :)
2024-09-28 00:31:37 +0200 <EvanR> dependency injection functor
2024-09-28 00:31:49 +0200 <monochrom> But in practice, people use the special name "Naperian" to emphasize that they also provide you with the type I and the functions going between F X and I->X.
2024-09-28 00:33:12 +0200 <monochrom> https://www.cs.ox.ac.uk/publications/publication10857-abstract.html is a paper I particularly like about this (and some other stuff).
2024-09-28 00:34:24 +0200 <monochrom> or simply code on hackage: https://hackage.haskell.org/package/naperian or https://hackage.haskell.org/package/Naperian
2024-09-28 00:35:45 +0200 <int-e> all you need for memoization (that wheel must have been reinvented a million times)
2024-09-28 00:35:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 00:36:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 00:38:27 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 276 seconds)
2024-09-28 00:40:20 +0200poxel(~lennart@user/poxel) (Quit: WeeChat 4.4.2)
2024-09-28 00:40:39 +0200symdrome(~user@2804:1e78:2202:2220::416) (Remote host closed the connection)
2024-09-28 00:41:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 00:52:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 00:54:37 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 00:54:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2024-09-28 00:55:03 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-28 00:58:43 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-28 01:00:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-28 01:06:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 01:09:44 +0200Inst(~Inst@user/Inst) (Ping timeout: 255 seconds)
2024-09-28 01:11:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-28 01:11:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 01:11:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 01:14:21 +0200troojg(~troojg@user/troojg) troojg
2024-09-28 01:17:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 01:21:46 +0200 <monochrom> And https://www.vex.net/~trebla/tmp/Loeb.hs is me linking up the "memoFix" kind of memoization with the Löb kind by taking log and changing argument order. :)
2024-09-28 01:22:51 +0200alp_(~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c) (Remote host closed the connection)
2024-09-28 01:27:26 +0200 <monochrom> This is a bad dad joke? We have tab :: (I -> a) -> F a, can I call its inverse bat :: F a -> I -> a ?
2024-09-28 01:28:29 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-09-28 01:28:37 +0200 <int-e> memoize = lookup . tabulate -- my own boring pet names
2024-09-28 01:29:03 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 01:31:10 +0200 <monochrom> They are too long. :)
2024-09-28 01:31:33 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds)
2024-09-28 01:32:04 +0200 <EvanR> tabulate is a good word
2024-09-28 01:32:25 +0200 <EvanR> for a common or should be commonly understood operation
2024-09-28 01:32:38 +0200 <monochrom> I stole it from the Hutton paper. :) But probably Hutton stole in from prior work, too.
2024-09-28 01:32:40 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2024-09-28 01:32:59 +0200 <monochrom> I will settle for infix (!) for the inverse.
2024-09-28 01:33:33 +0200 <EvanR> I always felt like ! and !! meant the lookup was liable to crash
2024-09-28 01:33:41 +0200 <EvanR> which isn't the case here
2024-09-28 01:33:48 +0200 <monochrom> (which is also very guessable for people who have used Map and Vector etc)
2024-09-28 01:34:06 +0200 <monochrom> Right, this is a safe total lookup :)
2024-09-28 01:34:47 +0200 <EvanR> a roadsign for something totally safe ... probably not a thing
2024-09-28 01:34:56 +0200 <monochrom> haha
2024-09-28 01:35:08 +0200 <EvanR> empty sign
2024-09-28 01:35:28 +0200 <int-e> . o O ( sign reading "eyes on the road" )
2024-09-28 01:35:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 01:35:51 +0200 <EvanR> if you're close enough to read this back the hell off
2024-09-28 01:39:06 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2024-09-28 01:41:51 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 01:43:19 +0200acidjnk(~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-09-28 01:43:27 +0200sourcetarius(~sourcetar@user/sourcetarius) sourcetarius
2024-09-28 01:46:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 01:46:32 +0200troydm(~troydm@user/troydm) troydm
2024-09-28 01:48:26 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 01:57:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 02:01:19 +0200troojg(~troojg@user/troojg) (Ping timeout: 264 seconds)
2024-09-28 02:08:21 +0200nitrix(~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-28 02:09:26 +0200nitrix(~nitrix@user/meow/nitrix) nitrix
2024-09-28 02:15:18 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer)
2024-09-28 02:17:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 02:18:32 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-09-28 02:19:58 +0200spew(~spew@201.141.99.170) (Quit: spew)
2024-09-28 02:23:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 02:26:17 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-28 02:30:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 02:35:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 02:37:13 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 02:40:22 +0200 <monochrom> Yes! "join s = zipWith (!!) s [0..]" for the stream monad (representable by ℕ) is generalizable to all representable functors as: join m = liftA2 lookup m (tabulate id).
2024-09-28 02:41:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-09-28 02:46:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 02:51:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 02:51:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 03:01:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 03:02:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 03:06:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 03:07:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds)
2024-09-28 03:12:16 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 03:15:19 +0200arahael(~arahael@user/arahael) (Ping timeout: 260 seconds)
2024-09-28 03:17:36 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 03:22:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 03:24:55 +0200 <jackdk> monochrom: if package `bifunctors` can have `Biff` and `Tannen`, as well as `Clown`s to the left and `Joker`s to the right, then you can do whatever you want.
2024-09-28 03:26:19 +0200 <monochrom> haha
2024-09-28 03:32:03 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com)
2024-09-28 03:33:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 03:33:22 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com) (Changing host)
2024-09-28 03:33:22 +0200vincent42(uid574193@user/vincent42) vincent42
2024-09-28 03:37:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-28 03:37:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-28 03:43:13 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 03:49:10 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 03:49:55 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 264 seconds)
2024-09-28 03:50:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 03:54:15 +0200 <monochrom> TIL: If two endofunctors are naturally isomophic, then monadness of one of them can be translated to monadness of the other by going through the isomorphism.
2024-09-28 03:57:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-28 04:01:56 +0200identity(~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-28 04:02:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 04:06:55 +0200hueso(~root@user/hueso) (Quit: hueso)
2024-09-28 04:08:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 04:08:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 04:09:00 +0200hueso(~root@user/hueso) hueso
2024-09-28 04:12:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 04:13:29 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 260 seconds)
2024-09-28 04:15:00 +0200td_(~td@i53870909.versanet.de) td_
2024-09-28 04:23:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds)
2024-09-28 04:23:40 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 04:28:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-28 04:39:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 04:39:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 04:39:55 +0200 <ski> val tabulate : int * (int -> 'a) -> 'a vector (* in SML. also for lists, &c. *)
2024-09-28 04:44:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 04:44:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-28 04:55:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 05:00:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 05:07:36 +0200mud(~mud@user/kadoban) (Quit: quit)
2024-09-28 05:09:22 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2024-09-28 05:10:32 +0200mud(~mud@user/kadoban) kadoban
2024-09-28 05:12:07 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-09-28 05:17:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 05:18:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 05:20:46 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-28 05:22:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 05:23:05 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-28 05:24:33 +0200rembo10(~rembo10@main.remulis.com) rembo10
2024-09-28 05:25:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 05:25:32 +0200sourcetarius(~sourcetar@user/sourcetarius) (Ping timeout: 252 seconds)
2024-09-28 05:29:07 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime
2024-09-28 05:30:02 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-09-28 05:32:56 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-28 05:33:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 05:38:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-28 05:41:56 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-09-28 05:42:19 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds)
2024-09-28 05:43:20 +0200Lord_of_Life_Lord_of_Life
2024-09-28 05:46:31 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-28 05:48:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 05:54:55 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving)
2024-09-28 05:58:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 05:58:51 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-28 06:00:01 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 06:01:39 +0200vincent42(uid574193@user/vincent42) (Quit: Connection closed for inactivity)
2024-09-28 06:06:29 +0200td_(~td@i53870909.versanet.de) (Ping timeout: 265 seconds)
2024-09-28 06:07:59 +0200td_(~td@83.135.9.0) td_
2024-09-28 06:09:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 06:11:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-28 06:14:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 06:19:19 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 06:22:26 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-28 06:24:27 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 06:25:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 06:25:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 06:27:43 +0200xff0x(~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) (Ping timeout: 264 seconds)
2024-09-28 06:29:21 +0200xff0x(~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5)
2024-09-28 06:30:00 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds)
2024-09-28 06:30:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 06:33:04 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 06:40:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 06:45:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 06:51:33 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds)
2024-09-28 06:54:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 06:57:29 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-28 06:59:23 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 06:59:45 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 07:00:29 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-09-28 07:00:48 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-09-28 07:01:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 07:03:06 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-09-28 07:07:51 +0200synchrom1(~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer)
2024-09-28 07:09:16 +0200synchromesh(~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh
2024-09-28 07:10:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 07:15:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 07:25:12 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com)
2024-09-28 07:26:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 07:28:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 07:31:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 07:41:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 07:41:50 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 07:46:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-28 07:47:21 +0200misterfish(~misterfis@87.215.131.102) misterfish
2024-09-28 07:47:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-28 07:49:54 +0200athan(~athan@syn-098-153-145-140.biz.spectrum.com) athan
2024-09-28 07:52:19 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 264 seconds)
2024-09-28 07:55:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 08:00:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 08:00:37 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime
2024-09-28 08:02:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 08:04:58 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 245 seconds)
2024-09-28 08:06:41 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 08:11:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 08:16:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 08:19:32 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 08:24:48 +0200Square(~Square@user/square) (Ping timeout: 272 seconds)
2024-09-28 08:27:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 08:30:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 08:31:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 08:32:02 +0200m1dnight(~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2)
2024-09-28 08:32:48 +0200m1dnight(~christoph@d8D861908.access.telenet.be) m1dnight
2024-09-28 08:33:55 +0200m1dnight(~christoph@d8D861908.access.telenet.be) (Client Quit)
2024-09-28 08:36:07 +0200m1dnight(~christoph@d8D861908.access.telenet.be) m1dnight
2024-09-28 08:42:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 08:45:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 08:47:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 08:48:03 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-28 08:48:18 +0200neuroevolutus(~neuroevol@146.70.211.110) neuroevolutus
2024-09-28 08:50:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 08:52:40 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-09-28 08:54:09 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-09-28 08:55:52 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-28 08:56:31 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 09:00:03 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-28 09:00:13 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye)
2024-09-28 09:00:30 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery
2024-09-28 09:00:41 +0200caconym(~caconym@user/caconym) caconym
2024-09-28 09:01:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 09:01:38 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-09-28 09:03:40 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-28 09:04:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-28 09:08:32 +0200billchenchina-(~billchenc@103.152.35.21) billchenchina
2024-09-28 09:12:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 09:14:29 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) simendsjo
2024-09-28 09:14:29 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2024-09-28 09:16:12 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-28 09:17:16 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 09:19:08 +0200acidjnk(~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) acidjnk
2024-09-28 09:23:24 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2024-09-28 09:23:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 09:24:26 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-28 09:26:56 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 09:28:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 09:28:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 09:33:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-28 09:36:14 +0200foul_owl(~kerry@185.219.141.164) (Ping timeout: 260 seconds)
2024-09-28 09:42:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 09:43:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 09:47:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-28 09:49:02 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-28 09:50:41 +0200foul_owl(~kerry@174-21-143-250.tukw.qwest.net) foul_owl
2024-09-28 09:57:08 +0200foul_owl(~kerry@174-21-143-250.tukw.qwest.net) (Ping timeout: 255 seconds)
2024-09-28 10:00:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 10:06:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 10:07:56 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 255 seconds)
2024-09-28 10:08:31 +0200foul_owl(~kerry@185.219.141.160) foul_owl
2024-09-28 10:13:19 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 10:16:08 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-28 10:18:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-28 10:25:14 +0200leif(~leif@210.54.33.112)
2024-09-28 10:26:24 +0200leif(~leif@210.54.33.112) ()
2024-09-28 10:26:56 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2024-09-28 10:27:06 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-28 10:27:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 10:32:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 10:32:36 +0200neuroevolutus(~neuroevol@146.70.211.110) (Quit: Client closed)
2024-09-28 10:34:39 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-09-28 10:35:57 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-09-28 10:36:36 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 10:43:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 10:44:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 10:44:32 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-28 10:44:52 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2024-09-28 10:46:43 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-28 10:47:18 +0200Digit(~user@user/digit) (Ping timeout: 265 seconds)
2024-09-28 10:48:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 10:50:39 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-09-28 10:52:43 +0200tomsmeding_tomsmeding
2024-09-28 10:56:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 10:58:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 10:59:19 +0200 <ncf> monochrom: is that surprising? if two sets are isomorphic then a monoid on one is a monoid on the other
2024-09-28 10:59:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2024-09-28 11:00:25 +0200 <ncf> in HoTT naturally isomorphic functors are equal so you can just transport the structure
2024-09-28 11:01:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 11:03:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-28 11:09:58 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2024-09-28 11:14:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 11:15:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 11:19:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 11:20:27 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 11:20:30 +0200DigitteknohippieDigit
2024-09-28 11:34:15 +0200elnegro(elnegro@r186-54-105-221.dialup.adsl.anteldata.net.uy) elnegro
2024-09-28 11:35:12 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 11:36:08 +0200elnegro(elnegro@r186-54-105-221.dialup.adsl.anteldata.net.uy) ()
2024-09-28 11:39:33 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 11:41:11 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-09-28 11:45:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 11:49:47 +0200CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-28 11:50:19 +0200CrunchyFlakes(~CrunchyFl@31.19.233.78)
2024-09-28 11:50:49 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 11:54:54 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-09-28 11:55:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 11:59:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 12:00:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-28 12:02:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 12:07:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 12:07:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2024-09-28 12:08:49 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 12:09:29 +0200 <haskellbridge> <aaron> monochrom: "join = (distribute id <*>)"
2024-09-28 12:18:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 12:20:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 12:23:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 12:25:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 12:34:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 12:37:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-28 12:39:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-28 12:41:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 12:45:59 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-28 12:48:52 +0200__monty__(~toonn@user/toonn) toonn
2024-09-28 12:49:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 12:49:56 +0200 <dminuoso> Sigh. At work I'm rewriting some Haskell parts to Python for some operational reasons. By far the biggest price is not having pattern match exhaustiveness checks anymore.
2024-09-28 12:50:52 +0200 <tomsmeding> dminuoso: write explicit eliminator functions
2024-09-28 12:50:56 +0200 <tomsmeding> a la `maybe`
2024-09-28 12:51:23 +0200 <tomsmeding> then the python type checker (if you use one, otherwise a runtime error) will at least alert you that you have the wrong number of matches :p
2024-09-28 12:51:30 +0200 <tomsmeding> downside: unreadable cases
2024-09-28 12:51:44 +0200 <dminuoso> tomsmeding: Well this is rather about union types, but regardless. Doing this at runtime just trades programmer time for production outages..
2024-09-28 12:52:01 +0200 <dminuoso> Hold on, maybe I misunderstand your suggestion
2024-09-28 12:52:01 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2024-09-28 12:52:22 +0200 <tomsmeding> I mean instead of writing `case m of Nothing -> _ ; Just x -> _`, write `maybe m _ _`
2024-09-28 12:52:50 +0200 <tomsmeding> advantage: exhaustiveness checking is now performed by "supplying the right number of arguments to the function"
2024-09-28 12:52:51 +0200 <dminuoso> Oh, I see.
2024-09-28 12:52:54 +0200 <tomsmeding> disadvantage: unreadable
2024-09-28 12:53:09 +0200 <tomsmeding> disadvantage 2: if you remove _and_ add a case, or change the order, woe you
2024-09-28 12:53:10 +0200 <dminuoso> I mean for `maybe` it kind of works, but for custom unions it would be.. horrid.
2024-09-28 12:53:29 +0200 <dminuoso> Well, changing the order could be caught by a type checker
2024-09-28 12:53:36 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2024-09-28 12:53:46 +0200 <tomsmeding> if you're fortunate and the union cases have differently-typed fields
2024-09-28 12:53:46 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-09-28 12:53:51 +0200 <tomsmeding> but yeah, not sure how serious this suggestion is :p
2024-09-28 12:54:04 +0200 <dminuoso> To be fair Haskell has the same problem with functions too.
2024-09-28 12:54:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 12:54:14 +0200 <dminuoso> Mixing up two T arguments will be silently accepted.
2024-09-28 12:54:18 +0200 <dminuoso> If only GHC had a crystal ball
2024-09-28 12:54:21 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection)
2024-09-28 12:54:23 +0200 <tomsmeding> indeed
2024-09-28 12:55:05 +0200 <dminuoso> That said, Haskell stays in place for our core networking fabric SDN Compiler.
2024-09-28 12:55:47 +0200 <dminuoso> Nearly 4 years and not a single production outage (caused by a compiler bug). :)
2024-09-28 12:56:16 +0200 <tomsmeding> s/not/just/?
2024-09-28 12:56:21 +0200 <tomsmeding> oh
2024-09-28 12:56:24 +0200 <Rembane> What happens if you use keyword arguments and write a check in the function to see that all members of the dictionary are supplied?
2024-09-28 12:56:26 +0200 <tomsmeding> compiler meaning your thing, not GHC
2024-09-28 12:56:31 +0200 <dminuoso> Yes.
2024-09-28 12:57:03 +0200 <dminuoso> Rembane: The type checker should take care of that.
2024-09-28 12:57:05 +0200 <dminuoso> I hope?
2024-09-28 12:57:22 +0200 <Rembane> dminuoso: I don't know, I don't write typed Python. :)
2024-09-28 12:57:36 +0200 <tomsmeding> oh that would improve on the readability of my dumb suggestion
2024-09-28 12:57:43 +0200 <dminuoso> I do write types, but I have no faith in python type checkers, they just serve documentation purposes for me.
2024-09-28 12:57:47 +0200 <Rembane> And you can order things in any order
2024-09-28 12:57:51 +0200 <Rembane> things = arguments
2024-09-28 12:58:32 +0200 <tomsmeding> still the syntactic nuisance that the right-hand sides must be expressions, instead of a block
2024-09-28 12:58:48 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 13:00:04 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-28 13:00:08 +0200 <Rembane> tomsmeding: That sounds like Python. :D
2024-09-28 13:00:33 +0200 <tomsmeding> no `do` to turn a block into an expression :p
2024-09-28 13:00:36 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds)
2024-09-28 13:00:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 13:02:20 +0200caconym(~caconym@user/caconym) caconym
2024-09-28 13:02:24 +0200 <Rembane> Exactly!
2024-09-28 13:02:35 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 13:07:22 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 13:09:12 +0200gioyik(~gioyik@gateway/tor-sasl/gioyik) gioyik
2024-09-28 13:10:28 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 13:11:56 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2024-09-28 13:12:53 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds)
2024-09-28 13:15:36 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-09-28 13:21:20 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 13:21:39 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-28 13:24:23 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-09-28 13:26:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2024-09-28 13:27:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 13:34:59 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-28 13:37:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 13:41:13 +0200identity(~identity@user/ZharMeny) identity
2024-09-28 13:41:51 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-28 13:42:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 13:42:07 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2024-09-28 13:44:32 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 13:48:28 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-28 13:50:59 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 13:51:06 +0200arahael(~arahael@user/arahael) arahael
2024-09-28 13:52:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 13:54:13 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 13:56:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 13:57:37 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 14:01:29 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 14:01:40 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-28 14:02:57 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-09-28 14:03:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 14:03:45 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-09-28 14:13:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 14:16:11 +0200zlqrvx_(~zlqrvx@101.175.150.247)
2024-09-28 14:17:24 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 14:19:24 +0200zlqrvx(~zlqrvx@user/zlqrvx) (Ping timeout: 276 seconds)
2024-09-28 14:22:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 14:24:16 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 14:27:05 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 252 seconds)
2024-09-28 14:29:08 +0200kosmikus(~kosmikus@nullzig.kosmikus.org) (Remote host closed the connection)
2024-09-28 14:29:40 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-09-28 14:30:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-28 14:33:11 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 14:38:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 14:43:38 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com)
2024-09-28 14:44:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 14:52:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 14:53:51 +0200Cale(~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) Cale
2024-09-28 14:59:30 +0200youthlic(~Thunderbi@user/youthlic) (Remote host closed the connection)
2024-09-28 15:02:00 +0200youthlic(~Thunderbi@user/youthlic) youthlic
2024-09-28 15:02:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 15:05:18 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 15:06:31 +0200supercode(~supercode@user/supercode) supercode
2024-09-28 15:06:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-28 15:07:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 15:12:04 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 15:14:18 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 15:16:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 15:23:04 +0200 <[exa]> kinda weirdly unsettling that when searching for a good name for `flip const` by types, you only get `seq` and `par`.
2024-09-28 15:32:03 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 15:32:03 +0200billchenchina-(~billchenc@103.152.35.21) (Ping timeout: 245 seconds)
2024-09-28 15:33:11 +0200billchenchina-(~billchenc@103.118.42.229) billchenchina
2024-09-28 15:34:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 15:35:45 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2024-09-28 15:35:46 +0200ljdarj1ljdarj
2024-09-28 15:37:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 15:38:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 15:40:39 +0200ridcully(~ridcully@pd951fe51.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-09-28 15:41:29 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-28 15:44:50 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 15:48:52 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-09-28 15:49:59 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 15:50:42 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 15:51:38 +0200ljdarj1(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-09-28 15:52:36 +0200 <tomsmeding> [exa]: perhaps people consider it to be below the fairbairn threshold?
2024-09-28 15:54:10 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 15:54:43 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 15:55:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 15:58:00 +0200 <tomsmeding> (\_ x -> x) is quite short, and (\_ -> id) even shorter
2024-09-28 15:58:25 +0200 <__monty__> I prefer `const id`
2024-09-28 15:58:49 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-09-28 15:59:03 +0200 <__monty__> It hides the "flip" so people don't flip out ; )
2024-09-28 15:59:20 +0200rvalue(~rvalue@user/rvalue) rvalue
2024-09-28 15:59:28 +0200 <tomsmeding> on the other hand, if the function one is looking for is "return the second argument", then that's clearly `flip` of "return the first argument"
2024-09-28 16:00:14 +0200billchenchina-(~billchenc@103.118.42.229) (Ping timeout: 252 seconds)
2024-09-28 16:01:00 +0200 <__monty__> It's hard to fly under the radar when all you want is to be pointless.
2024-09-28 16:01:31 +0200Inst(~Inst@user/Inst) Inst
2024-09-28 16:03:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 16:04:33 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-09-28 16:04:51 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 16:08:33 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 16:08:36 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina
2024-09-28 16:18:40 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-28 16:19:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 16:20:36 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 16:22:31 +0200hueso(~root@user/hueso) (Quit: hueso)
2024-09-28 16:23:03 +0200 <[exa]> __monty__: +1 insightful
2024-09-28 16:23:32 +0200 <[exa]> anyway I made k'nst just to make my opinion completely obvious
2024-09-28 16:23:34 +0200[exa]hides
2024-09-28 16:24:27 +0200hueso(~root@user/hueso) hueso
2024-09-28 16:24:35 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 16:24:47 +0200 <tomsmeding> "when in doubt between two suboptimal solutions, choose the third solution that is even worse than both; then at least everyone will be equally annoyed"? :p
2024-09-28 16:26:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 16:26:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-28 16:32:30 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2024-09-28 16:34:45 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-28 16:34:47 +0200nshepperd25(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2024-09-28 16:34:53 +0200polyphem(~rod@pd9fbf126.dip0.t-ipconnect.de) polyphem
2024-09-28 16:35:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 16:35:25 +0200Luj95(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj
2024-09-28 16:35:41 +0200bsima1_(9d7e39c8ad@2a03:6000:1812:100::dd)
2024-09-28 16:35:41 +0200lane(809450f172@2a03:6000:1812:100::1300) lane
2024-09-28 16:35:44 +0200probie_(cc0b34050a@user/probie) probie
2024-09-28 16:35:44 +0200sus_(1b7af6299f@user/zeromomentum) zeromomentum
2024-09-28 16:35:44 +0200chaitlatte0_(ea29c0bb16@2a03:6000:1812:100::1124)
2024-09-28 16:35:45 +0200jmcantrell_(644f1bed9a@user/jmcantrell) jmcantrell
2024-09-28 16:35:45 +0200op_4_(~tslil@2a01:4f8:c0c:7952::1)
2024-09-28 16:35:46 +0200jonrh_(sid5185@id-5185.ilkley.irccloud.com) jonrh
2024-09-28 16:35:46 +0200meooow_(~meooow@165.232.184.169) meooow
2024-09-28 16:35:48 +0200_d0t_(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2024-09-28 16:35:58 +0200JSharp_(sid4580@user/JSharp) JSharp
2024-09-28 16:36:04 +0200dmj`_(sid72307@id-72307.hampstead.irccloud.com) dmj`
2024-09-28 16:36:04 +0200taktoa[c]_(sid282096@id-282096.tinside.irccloud.com) taktoa[c]
2024-09-28 16:36:08 +0200edm_(sid147314@id-147314.hampstead.irccloud.com)
2024-09-28 16:36:08 +0200tapas_(sid467876@id-467876.ilkley.irccloud.com) tapas
2024-09-28 16:36:12 +0200_0xa_(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc)
2024-09-28 16:36:13 +0200PotatoGim__(sid99505@id-99505.lymington.irccloud.com)
2024-09-28 16:36:13 +0200alanz_(sid110616@id-110616.uxbridge.irccloud.com) alanz
2024-09-28 16:36:14 +0200SanchayanMaity_(sid478177@id-478177.hampstead.irccloud.com) SanchayanMaity
2024-09-28 16:36:15 +0200meinside_(uid24933@id-24933.helmsley.irccloud.com) meinside
2024-09-28 16:36:18 +0200wryishly(~wryish@216.246.119.62)
2024-09-28 16:36:19 +0200Roy_Mustang(A_D@libera/staff/dragon) ad
2024-09-28 16:36:22 +0200Philonous_(~Philonous@user/philonous) Philonous
2024-09-28 16:36:50 +0200red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2024-09-28 16:37:06 +0200loonycyborg_(loonycybor@chat.chantal.wesnoth.org)
2024-09-28 16:37:20 +0200remsen(ianremsen@tilde.team) remsense
2024-09-28 16:37:33 +0200turlando_(~turlando@user/turlando) turlando
2024-09-28 16:37:38 +0200V(~v@ircpuzzles/2022/april/winner/V) V
2024-09-28 16:37:47 +0200flocks_(~flocks@134.122.90.60) flocks
2024-09-28 16:37:51 +0200ladyfriday(~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday
2024-09-28 16:38:25 +0200nefercheprure(tma@twin.jikos.cz) TMA
2024-09-28 16:38:59 +0200mal1(~mal@ns2.wyrd.be) lieven
2024-09-28 16:39:00 +0200sweater1(~sweater@206.81.18.26) sweater
2024-09-28 16:39:03 +0200sviermsung(4yqrolRHj5@user/s4msung) s4msung
2024-09-28 16:39:04 +0200hacklsch1(~flo@2a01:4f9:3a:2296::2)
2024-09-28 16:39:12 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod
2024-09-28 16:40:15 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 16:40:17 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 16:41:16 +0200remmie(ianremsen@tilde.team) (Ping timeout: 265 seconds)
2024-09-28 16:41:16 +0200PotatoGim_(sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 265 seconds)
2024-09-28 16:41:16 +0200chaitlatte0(ea29c0bb16@2a03:6000:1812:100::1124) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200sus(1b7af6299f@user/zeromomentum) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200jmcantrell(644f1bed9a@user/jmcantrell) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200probie(cc0b34050a@user/probie) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200lane_(809450f172@2a03:6000:1812:100::1300) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200bsima1(9d7e39c8ad@2a03:6000:1812:100::dd) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200meooow(~meooow@2400:6180:100:d0::ad9:e001) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200edm(sid147314@2a03:5180:f:4::2:3f72) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200jonrh(sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200flocks(~flocks@134.122.90.60) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200SanchayanMaity(sid478177@2a03:5180:f:4::7:4be1) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200taktoa[c](sid282096@2a03:5180:f::4:4df0) (Ping timeout: 265 seconds)
2024-09-28 16:41:17 +0200JSharp(sid4580@user/JSharp) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200dmj`(sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200TMA(tma@twin.jikos.cz) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200V_(~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Ping timeout: 265 seconds)
2024-09-28 16:41:18 +0200turlando(~turlando@user/turlando) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200lieven(~mal@ns2.wyrd.be) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200lyxia(~lyxia@poisson.chat) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200alanz(sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200sweater(~sweater@206.81.18.26) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200hacklschorsch(~flo@vantaa.latfa.net) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200s4msung(u4jHfpaUni@user/s4msung) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200_0xa(~user@user/0xa/x-3134607) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 265 seconds)
2024-09-28 16:41:19 +0200op_4(~tslil@user/op-4/x-9116473) (Ping timeout: 265 seconds)
2024-09-28 16:41:20 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds)
2024-09-28 16:41:20 +0200nisstyre(wes@user/nisstyre) (Ping timeout: 265 seconds)
2024-09-28 16:41:20 +0200loonycyborg(loonycybor@wesnoth/developer/loonycyborg) (Ping timeout: 265 seconds)
2024-09-28 16:41:20 +0200remsenremmie
2024-09-28 16:41:20 +0200sus_sus
2024-09-28 16:41:20 +0200probie_probie
2024-09-28 16:41:20 +0200lyxia_(~lyxia@poisson.chat)
2024-09-28 16:41:20 +0200taktoa[c]_taktoa[c]
2024-09-28 16:41:20 +0200Luj95Luj9
2024-09-28 16:41:20 +0200bsima1_bsima1
2024-09-28 16:41:20 +0200edm_edm
2024-09-28 16:41:20 +0200nshepperd25nshepperd2
2024-09-28 16:41:21 +0200SanchayanMaity_SanchayanMaity
2024-09-28 16:41:21 +0200op_4_op_4
2024-09-28 16:41:21 +0200alanz_alanz
2024-09-28 16:41:21 +0200dmj`_dmj`
2024-09-28 16:41:21 +0200Philonous(~Philonous@user/philonous) (Ping timeout: 265 seconds)
2024-09-28 16:41:21 +0200jmcantrell_jmcantrell
2024-09-28 16:41:21 +0200 <ski> whee
2024-09-28 16:41:21 +0200chaitlatte0_chaitlatte0
2024-09-28 16:41:21 +0200jonrh_jonrh
2024-09-28 16:41:22 +0200tapas_tapas
2024-09-28 16:41:22 +0200_d0t__d0t
2024-09-28 16:41:22 +0200JSharp_JSharp
2024-09-28 16:41:22 +0200meinside_meinside
2024-09-28 16:42:46 +0200PotatoGim__(sid99505@id-99505.lymington.irccloud.com) ()
2024-09-28 16:43:18 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2024-09-28 16:43:32 +0200A_Dragon(A_D@libera/staff/dragon) (Ping timeout: 619 seconds)
2024-09-28 16:44:01 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds)
2024-09-28 16:44:33 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds)
2024-09-28 16:46:26 +0200Digitteknohippie(~user@user/digit) Digit
2024-09-28 16:46:41 +0200Digit(~user@user/digit) (Ping timeout: 248 seconds)
2024-09-28 16:50:23 +0200Flow(~none@gentoo/developer/flow) flow
2024-09-28 16:51:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 16:51:11 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) wz1000
2024-09-28 16:51:16 +0200ridcully(~ridcully@p57b52b67.dip0.t-ipconnect.de) ridcully
2024-09-28 16:51:28 +0200gawen(~gawen@user/gawen) (Quit: cya)
2024-09-28 16:51:31 +0200nisstyre(wes@user/nisstyre) nisstyre
2024-09-28 16:52:47 +0200DigitteknohippieDigit
2024-09-28 16:52:51 +0200gawen(~gawen@user/gawen) gawen
2024-09-28 16:53:17 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-28 16:55:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 16:56:06 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 16:57:39 +0200nefercheprureTMA
2024-09-28 17:02:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 266 seconds)
2024-09-28 17:04:03 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-09-28 17:04:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 17:07:12 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) hackager
2024-09-28 17:07:12 +0200ChanServ+v haskellbridge
2024-09-28 17:08:38 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds)
2024-09-28 17:09:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 17:09:40 +0200AlexZenon(~alzenon@178.34.162.53) (Ping timeout: 244 seconds)
2024-09-28 17:11:44 +0200AlexNoo(~AlexNoo@178.34.162.53) (Ping timeout: 252 seconds)
2024-09-28 17:13:22 +0200vincent42(uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-28 17:20:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 17:20:40 +0200jinsun_(~jinsun@user/jinsun) jinsun
2024-09-28 17:20:40 +0200jinsun(~jinsun@user/jinsun) (Killed (tungsten.libera.chat (Nickname regained by services)))
2024-09-28 17:20:40 +0200jinsun_jinsun
2024-09-28 17:22:10 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 17:23:41 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-09-28 17:24:29 +0200AlexNoo(~AlexNoo@178.34.162.53)
2024-09-28 17:25:12 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 17:25:45 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-28 17:31:51 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-28 17:36:14 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 17:36:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 17:37:53 +0200machinedgod(~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 245 seconds)
2024-09-28 17:40:39 +0200Square(~Square@user/square) Square
2024-09-28 17:40:49 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 17:41:30 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-28 17:45:24 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 17:52:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 17:57:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 17:57:20 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-28 18:03:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 18:06:05 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 18:07:35 +0200petrichor(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-28 18:10:04 +0200petrichor(~znc-user@user/petrichor) petrichor
2024-09-28 18:11:01 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 18:14:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 18:19:11 +0200Inst(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-09-28 18:21:10 +0200gioyik_(~gioyik@gateway/tor-sasl/gioyik) gioyik
2024-09-28 18:21:27 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 18:24:31 +0200gioyik(~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 260 seconds)
2024-09-28 18:24:39 +0200philopsos(~caecilius@user/philopsos) philopsos
2024-09-28 18:26:32 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 18:28:19 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 18:33:44 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 18:37:15 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 18:44:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 18:45:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 18:47:03 +0200polyphem(~rod@pd9fbf126.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-09-28 18:47:14 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 18:49:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 18:51:48 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds)
2024-09-28 18:56:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-28 19:00:06 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-09-28 19:01:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 19:05:47 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 19:05:55 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2024-09-28 19:09:55 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) simendsjo
2024-09-28 19:10:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 19:11:13 +0200troojg(~troojg@user/troojg) troojg
2024-09-28 19:11:54 +0200michalz(~michalz@185.246.207.203)
2024-09-28 19:13:55 +0200benjaminl(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2024-09-28 19:14:10 +0200benjaminl(~benjaminl@user/benjaminl) benjaminl
2024-09-28 19:15:59 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-09-28 19:16:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 19:17:59 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh
2024-09-28 19:20:02 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 19:21:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 19:25:19 +0200zetef(~quassel@5.14.133.219) zetef
2024-09-28 19:25:46 +0200zetef(~quassel@5.14.133.219) (Client Quit)
2024-09-28 19:27:52 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 19:32:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 19:34:40 +0200mal1lieven
2024-09-28 19:34:40 +0200synchromesh(~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer)
2024-09-28 19:35:59 +0200synchromesh(~john@2406:5a00:241a:5600:988d:bee0:a971:b921) synchromesh
2024-09-28 19:36:29 +0200AlexZenon(~alzenon@178.34.162.53) (Ping timeout: 260 seconds)
2024-09-28 19:37:38 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
2024-09-28 19:37:39 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2024-09-28 19:40:56 +0200misterfish(~misterfis@84.53.85.146) misterfish
2024-09-28 19:42:21 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-09-28 19:43:05 +0200Square(~Square@user/square) (Read error: Connection reset by peer)
2024-09-28 19:43:17 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 19:43:18 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-28 19:43:29 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
2024-09-28 19:44:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-09-28 19:47:56 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2024-09-28 19:48:15 +0200simendsjo(~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Remote host closed the connection)
2024-09-28 19:48:25 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 19:50:54 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds)
2024-09-28 19:53:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 19:59:17 +0200troojg(~troojg@user/troojg) (Ping timeout: 248 seconds)
2024-09-28 20:04:13 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 20:06:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-09-28 20:07:25 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 20:07:28 +0200mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Quit: Lost terminal)
2024-09-28 20:08:53 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 20:11:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-09-28 20:15:42 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-09-28 20:18:54 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds)
2024-09-28 20:18:57 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2024-09-28 20:19:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 20:20:00 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 20:20:47 +0200superbil(~superbil@114-32-231-70.hinet-ip.hinet.net) superbil
2024-09-28 20:22:34 +0200Roy_MustangA_Dragon
2024-09-28 20:24:58 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 20:27:30 +0200Square3(~Square4@user/square) Square
2024-09-28 20:27:40 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-09-28 20:33:28 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 20:35:46 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 20:37:23 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection)
2024-09-28 20:40:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 20:42:07 +0200foul_owl(~kerry@185.219.141.160) (Ping timeout: 264 seconds)
2024-09-28 20:46:48 +0200youthlic(~Thunderbi@user/youthlic) (Quit: youthlic)
2024-09-28 20:49:00 +0200rvalue-(~rvalue@user/rvalue) rvalue
2024-09-28 20:49:15 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 246 seconds)
2024-09-28 20:49:38 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 20:51:34 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 20:54:57 +0200rvalue-rvalue
2024-09-28 20:56:12 +0200foul_owl(~kerry@174-21-129-157.tukw.qwest.net) foul_owl
2024-09-28 20:56:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 20:59:07 +0200Square3(~Square4@user/square) (Remote host closed the connection)
2024-09-28 21:00:03 +0200caconym(~caconym@user/caconym) (Quit: bye)
2024-09-28 21:00:38 +0200caconym(~caconym@user/caconym) caconym
2024-09-28 21:02:21 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 21:06:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 21:07:21 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 21:08:31 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 21:11:21 +0200ash3en1(~Thunderbi@146.70.124.222) ash3en
2024-09-28 21:12:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 21:13:14 +0200ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-09-28 21:13:15 +0200ash3en1ash3en
2024-09-28 21:13:56 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 21:16:49 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-28 21:21:55 +0200troojg(~troojg@user/troojg) troojg
2024-09-28 21:23:09 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 21:27:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2024-09-28 21:30:08 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 21:38:56 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 21:44:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2024-09-28 21:45:57 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2024-09-28 21:49:16 +0200supercode(~supercode@user/supercode) (Quit: Client closed)
2024-09-28 21:54:42 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 21:59:24 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
2024-09-28 22:00:01 +0200hiecaq`(~hiecaq@user/hiecaq) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
2024-09-28 22:00:07 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 22:06:13 +0200troojg(~troojg@user/troojg) (Ping timeout: 248 seconds)
2024-09-28 22:07:00 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 22:10:29 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 22:11:15 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 22:15:09 +0200AlexZenon(~alzenon@178.34.162.53) (Ping timeout: 260 seconds)
2024-09-28 22:15:20 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2024-09-28 22:15:38 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-09-28 22:15:44 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-09-28 22:18:00 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds)
2024-09-28 22:19:55 +0200AlexZenon(~alzenon@178.34.162.53)
2024-09-28 22:20:28 +0200foul_owl(~kerry@174-21-129-157.tukw.qwest.net) (Ping timeout: 252 seconds)
2024-09-28 22:20:59 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-09-28 22:23:58 +0200cpressey(~weechat@176.254.119.170) cpressey
2024-09-28 22:26:18 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 22:31:05 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 22:31:23 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 22:32:11 +0200cpressey(~weechat@176.254.119.170) (Ping timeout: 252 seconds)
2024-09-28 22:33:33 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2024-09-28 22:34:42 +0200foul_owl(~kerry@185.219.141.160) foul_owl
2024-09-28 22:35:50 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds)
2024-09-28 22:36:18 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-28 22:40:34 +0200ash3en(~Thunderbi@146.70.124.222) (Quit: ash3en)
2024-09-28 22:42:04 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 22:42:15 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime
2024-09-28 22:42:35 +0200libertyprime(~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Client Quit)
2024-09-28 22:45:52 +0200 <haskellbridge> <sm> entering this room on matrix always takes longer than others, because IRC channels have a lot more joins/leaves than matrix rooms I suspect
2024-09-28 22:46:29 +0200 <haskellbridge> <sm> I supposed filtering those out would be a msitake
2024-09-28 22:46:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-09-28 22:47:14 +0200 <geekosaur> it's not ideal but suspect it's necessary until/unless merijn fixes his setup
2024-09-28 22:49:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-09-28 22:57:52 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 22:59:00 +0200Inst(~Inst@user/Inst) Inst
2024-09-28 23:01:47 +0200cpressey(~weechat@176.254.119.170) cpressey
2024-09-28 23:01:59 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 265 seconds)
2024-09-28 23:02:32 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2024-09-28 23:02:45 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-09-28 23:04:46 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 23:05:07 +0200Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2024-09-28 23:07:42 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-09-28 23:07:47 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds)
2024-09-28 23:12:09 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds)
2024-09-28 23:13:39 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 23:14:31 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik
2024-09-28 23:15:45 +0200 <cheater> who tried static ls
2024-09-28 23:15:55 +0200 <cheater> it's looking good
2024-09-28 23:18:39 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) HarveyPwca
2024-09-28 23:18:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-09-28 23:23:37 +0200masterbuilder(~quassel@user/masterbuilder) masterbuilder
2024-09-28 23:25:09 +0200cpressey(~weechat@176.254.119.170) (Ping timeout: 248 seconds)
2024-09-28 23:26:35 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 23:29:26 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) merijn
2024-09-28 23:31:32 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-09-28 23:32:00 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2024-09-28 23:33:25 +0200Inst(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-09-28 23:33:50 +0200Inst(~Inst@user/Inst) Inst
2024-09-28 23:34:54 +0200merijn(~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2024-09-28 23:39:05 +0200cpressey(~weechat@176.254.119.170) cpressey
2024-09-28 23:39:45 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds)
2024-09-28 23:43:34 +0200cpressey(~weechat@176.254.119.170) (Client Quit)
2024-09-28 23:53:06 +0200morb(~morb@pool-108-41-100-120.nycmny.fios.verizon.net)
2024-09-28 23:54:54 +0200 <haskellbridge> <sm> wizardry: https://chrisdone.com/posts/tour-of-hell 's implementation
2024-09-28 23:58:14 +0200anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2024-09-28 23:58:20 +0200Inst(~Inst@user/Inst) (Ping timeout: 272 seconds)