2024/05/11

2024-05-11 00:02:09 +0200 <EvanR> > 1.797e308
2024-05-11 00:02:11 +0200 <lambdabot> 1.797e308
2024-05-11 00:02:20 +0200 <EvanR> heh
2024-05-11 00:05:39 +0200 <EvanR> > encodeFloat (2^52 - 1) (1024 - 52)
2024-05-11 00:05:40 +0200 <lambdabot> 1.7976931348623155e308
2024-05-11 00:06:43 +0200 <mauke> > succ 1e16 > 1e16
2024-05-11 00:06:44 +0200 <lambdabot> False
2024-05-11 00:08:10 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-11 00:09:28 +0200son0p(~ff@152.203.77.121)
2024-05-11 00:09:33 +0200mankanor(~mankanor@2001:4455:20b:1d00:2153:5fb:f743:bfa3)
2024-05-11 00:09:34 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-05-11 00:10:28 +0200mankanor(~mankanor@2001:4455:20b:1d00:2153:5fb:f743:bfa3) (Read error: Connection reset by peer)
2024-05-11 00:15:56 +0200mikess(~mikess@user/mikess)
2024-05-11 00:16:26 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-11 00:17:13 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-11 00:22:47 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2024-05-11 00:23:07 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-11 00:36:37 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 256 seconds)
2024-05-11 01:08:11 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-11 01:15:56 +0200Ryan86(~Ryan@2601:602:8b00:b0f0:8dcb:b30d:2976:cb47)
2024-05-11 01:16:08 +0200 <Ryan86> Hey all, was trying to get some help on a small project I've been using generic-lenses for. Mainly to understand a type signature: So I created a helper operator ?. for usage similar to Kotlins ?. for nested nullable access. So If I have a data structure like Foo { bar = Maybe (Baz { biz = Maybe Int } ) } I could do something like foo ^? bar ?.
2024-05-11 01:16:08 +0200 <Ryan86> baz. I'm using the haskell language server in neovim, and the resulting type signature of the equation "lens1 ?. lens2 = lens1 . _Just . lens2" is "(?.) :: (Choice p, Applicative f) => (p (Maybe a1) (f (Maybe b)) -> c) -> (a2 -> p a1 (f b)) -> a2 -> c". I've been trying to parse this out for a while now so hopefully I can rewrite it using the Lens'
2024-05-11 01:16:09 +0200 <Ryan86> and Prism' type aliases to make it a little easier to understand what's going on. Anybody have any experience with this?
2024-05-11 01:19:40 +0200 <c_wraith> Ryan86: what's you're implementation? roughly like this? \x y -> x . _Just . y
2024-05-11 01:20:13 +0200 <Ryan86> Yes exactly, what I have written is "lens1 ?. lens2 = lens1 . _Just . lens2"
2024-05-11 01:20:27 +0200 <ncf> Ryan86: you could try something like ATraversal' a (Maybe b) -> ATraversal' b c -> Traversal' a c and complexify if needed
2024-05-11 01:21:09 +0200 <Ryan86> Ah, so I should be using ATraversal' instead of Prism'. Let me plug that in.
2024-05-11 01:21:14 +0200 <ncf> hmm that doesn't quite work
2024-05-11 01:22:11 +0200 <ncf> just Traversal' works
2024-05-11 01:26:31 +0200 <Ryan86> Ah looks like that's it. Any clue why Prism' a (Maybe b) -> Prism' b c -> Prism' a c wouldn't work the same?
2024-05-11 01:27:51 +0200 <ncf> i mean that type checks, but you want to use it on non-Prisms
2024-05-11 01:28:06 +0200 <ncf> like bar and baz
2024-05-11 01:28:10 +0200 <c_wraith> Yeah, the problem is that it's asking too much from its arguments
2024-05-11 01:29:15 +0200 <c_wraith> Also, you might want to modify the types to allow type-changing use.
2024-05-11 01:30:14 +0200 <c_wraith> the definition allows type-changing, if you make the types a bit more general
2024-05-11 01:31:29 +0200 <ncf> i can never remember what ATraversal & friends are for
2024-05-11 01:31:39 +0200 <ncf> is it for when you don't have rank-2 types?
2024-05-11 01:31:52 +0200 <c_wraith> They're for allowing you to accept a Traversal (or whatever) and use it with multiple types for f.
2024-05-11 01:32:25 +0200 <ncf> isn't that like the opposite of what it does
2024-05-11 01:32:32 +0200 <ncf> it specialises f to Bazaar
2024-05-11 01:32:46 +0200 <ncf> or Baazar
2024-05-11 01:32:53 +0200 <c_wraith> but then you have the various clone* functions to restore
2024-05-11 01:33:17 +0200 <ncf> ok but what do you gain over just taking a Traversal?
2024-05-11 01:33:56 +0200 <c_wraith> not using higher-rank types or a polymorphic wrapping type
2024-05-11 01:34:17 +0200 <ncf> why wouldn't you want to use higher-rank types?
2024-05-11 01:35:53 +0200 <c_wraith> some people are afraid of extensions.
2024-05-11 01:36:01 +0200 <dolio> Inference, or putting them in containers.
2024-05-11 01:36:13 +0200mima(~mmh@aftr-62-216-211-22.dynamic.mnet-online.de)
2024-05-11 01:38:25 +0200 <ncf> right, inference
2024-05-11 01:38:51 +0200acidjnk_new(~acidjnk@p200300d6e714dc66380a62904c39c61d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2024-05-11 01:40:55 +0200 <ncf> so to get the ATraversal version to work you could do cloneTraversal a . _Just . cloneTraversal b
2024-05-11 01:40:58 +0200 <ncf> seems inefficien
2024-05-11 01:40:59 +0200 <ncf> t
2024-05-11 01:45:41 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 240 seconds)
2024-05-11 01:45:52 +0200 <c_wraith> Honestly, I'd just do what lens itself does with a lot of these
2024-05-11 01:46:04 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-05-11 01:46:20 +0200dolio(~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-11 01:46:21 +0200 <c_wraith> Leave the checked type as the mess, then document it with "You can think of this as having this type" using the aliases
2024-05-11 01:46:38 +0200 <ncf> yeah
2024-05-11 01:46:41 +0200 <c_wraith> Then you don't need to worry about higher-rank types, because f scopes over the whole definition
2024-05-11 01:48:15 +0200phma_(phma@2001:5b0:211f:3048:948d:80d2:e152:3a7b)
2024-05-11 01:49:08 +0200 <c_wraith> well. it's in the type. declaration, not definition
2024-05-11 01:49:53 +0200dolio(~dolio@130.44.134.54)
2024-05-11 01:50:32 +0200dolio(~dolio@130.44.134.54) (Client Quit)
2024-05-11 01:50:44 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-11 01:51:55 +0200phma(phma@2001:5b0:211f:3048:6a1a:6f68:3864:d84f) (Ping timeout: 255 seconds)
2024-05-11 01:53:42 +0200dolio(~dolio@130.44.134.54)
2024-05-11 01:57:14 +0200phma_phma
2024-05-11 02:01:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 02:10:05 +0200tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-11 02:12:49 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2024-05-11 02:35:25 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 246 seconds)
2024-05-11 02:47:16 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds)
2024-05-11 02:59:30 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
2024-05-11 03:01:07 +0200xff0x(~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0) (Ping timeout: 256 seconds)
2024-05-11 03:02:07 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-11 03:04:59 +0200talismanick(~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds)
2024-05-11 03:05:16 +0200foul_owl(~kerry@185.216.231.180) (Ping timeout: 255 seconds)
2024-05-11 03:15:56 +0200otto_s(~user@p4ff273b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-11 03:17:19 +0200otto_s(~user@p5de2f4b0.dip0.t-ipconnect.de)
2024-05-11 03:17:48 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2024-05-11 03:19:29 +0200foul_owl(~kerry@71.212.149.206)
2024-05-11 03:23:45 +0200xff0x(~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0)
2024-05-11 03:34:25 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
2024-05-11 03:47:07 +0200Ryan86(~Ryan@2601:602:8b00:b0f0:8dcb:b30d:2976:cb47) (Ping timeout: 250 seconds)
2024-05-11 03:52:30 +0200arahael(~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net)
2024-05-11 04:08:15 +0200mima(~mmh@aftr-62-216-211-22.dynamic.mnet-online.de) (Ping timeout: 255 seconds)
2024-05-11 04:17:23 +0200td_(~td@i5387091A.versanet.de) (Ping timeout: 252 seconds)
2024-05-11 04:18:19 +0200hippoid(~hippoid@user/hippoid) (Ping timeout: 268 seconds)
2024-05-11 04:19:16 +0200madariaga(~madariaga@user/madariaga)
2024-05-11 04:19:22 +0200td_(~td@i53870939.versanet.de)
2024-05-11 04:25:48 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-11 04:28:46 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2024-05-11 04:29:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-05-11 04:30:45 +0200foul_owl(~kerry@71.212.149.206) (Ping timeout: 255 seconds)
2024-05-11 04:31:37 +0200hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net)
2024-05-11 04:33:18 +0200systemhalted(~systemhal@130.51.137.77)
2024-05-11 04:34:51 +0200systemhalted(~systemhal@130.51.137.77) (Remote host closed the connection)
2024-05-11 04:45:15 +0200foul_owl(~kerry@185.219.141.164)
2024-05-11 05:58:55 +0200aforemny(~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5)
2024-05-11 05:59:26 +0200tram(~tram@2a02:586:7e3a:cb96:c7d7:78d4:c6de:913a) (Quit: Leaving.)
2024-05-11 06:00:12 +0200aforemny_(~aforemny@2001:9e8:6cf2:cc00:4716:28bd:787d:4b08) (Ping timeout: 260 seconds)
2024-05-11 06:36:32 +0200gawen(~gawen@user/gawen) (Quit: cya)
2024-05-11 06:37:55 +0200gawen(~gawen@user/gawen)
2024-05-11 06:51:23 +0200B-J(~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 252 seconds)
2024-05-11 06:53:08 +0200Benzi-Junior(~BenziJuni@232-148-209-31.dynamic.hringdu.is)
2024-05-11 06:55:55 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-11 06:57:25 +0200jle`(~jle`@2603:8001:3b02:84d4:55f8:739e:3296:6d3) (Ping timeout: 268 seconds)
2024-05-11 06:58:20 +0200mei(~mei@user/mei)
2024-05-11 07:14:13 +0200euphores(~SASL_euph@user/euphores)
2024-05-11 07:28:53 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
2024-05-11 07:49:47 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-11 07:50:16 +0200rvalue(~rvalue@user/rvalue)
2024-05-11 07:55:54 +0200spamonia(~user@user/siracusa) (Quit: Bye!)
2024-05-11 08:07:59 +0200kimiamania(~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds))
2024-05-11 08:08:28 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2024-05-11 08:08:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-11 08:08:46 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2024-05-11 08:08:58 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2024-05-11 08:09:15 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2024-05-11 08:11:42 +0200titibandit(~titibandi@user/titibandit)
2024-05-11 08:17:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 08:20:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-11 08:20:23 +0200philopsos1(~caecilius@user/philopsos)
2024-05-11 08:20:36 +0200harveypwca(~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
2024-05-11 08:22:41 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds)
2024-05-11 08:22:59 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2024-05-11 08:27:49 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-11 08:28:45 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2024-05-11 08:29:26 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-11 08:30:22 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds)
2024-05-11 08:30:55 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2024-05-11 08:31:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-11 08:35:02 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-11 08:36:34 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-11 08:39:46 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-05-11 08:43:46 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-11 08:50:49 +0200jle`(~jle`@2603:8001:3b02:84d4:6e37:aef9:1702:5bd0)
2024-05-11 09:05:41 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-05-11 09:13:28 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-11 09:14:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-11 09:15:46 +0200darius9(~darius@93.126.130.110)
2024-05-11 09:17:19 +0200 <darius9> Also asked on the beginners channel, but trying here as well. Hey everyone! I'm almost through an introductory Haskell Book. Anyone got any recommendations for an intermediate book that covers more advanced topics such as Type Families and so on?
2024-05-11 09:17:20 +0200 <darius9> Thank you all in advance:)
2024-05-11 09:19:26 +0200 <darius9> Side note: I'm not acquainted with university level mathematics (yet), but I've had some FP experience in Scala 2/3 prior.
2024-05-11 09:19:29 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-11 09:24:20 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-11 09:25:54 +0200darius35(~darius@91.232.101.125)
2024-05-11 09:25:55 +0200darius9(~darius@93.126.130.110) (Quit: Client closed)
2024-05-11 09:27:36 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-05-11 09:28:10 +0200 <darius35> Anyone?
2024-05-11 09:31:09 +0200 <darkling> It's early on a Saturday morning in Europe, and the middle of the night in the US. Hang around for a few hours and maybe someone will look in and answer you by then.
2024-05-11 09:31:48 +0200 <darius35> Duly noted. Thank you ^_^
2024-05-11 09:35:09 +0200madariaga(~madariaga@user/madariaga) (Quit: madariaga)
2024-05-11 09:52:14 +0200acidjnk_new(~acidjnk@p200300d6e714dc4619a20da439ab254b.dip0.t-ipconnect.de)
2024-05-11 09:54:24 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-11 09:58:21 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-11 09:59:50 +0200sprout_sprout
2024-05-11 10:14:12 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-11 10:21:47 +0200Square2(~Square4@user/square)
2024-05-11 10:22:07 +0200gmg(~user@user/gehmehgeh)
2024-05-11 10:24:53 +0200Square(~Square@user/square) (Ping timeout: 240 seconds)
2024-05-11 10:28:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 10:28:42 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 10:32:20 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-11 10:42:50 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-11 10:43:36 +0200tzh_(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-11 10:43:42 +0200gmg(~user@user/gehmehgeh)
2024-05-11 11:14:34 +0200mikess(~mikess@user/mikess) (Ping timeout: 268 seconds)
2024-05-11 11:19:57 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-11 11:22:33 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Read error: Connection reset by peer)
2024-05-11 11:23:50 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 11:25:14 +0200target_i(~target_i@user/target-i/x-6023099)
2024-05-11 11:28:11 +0200darius35(~darius@91.232.101.125) (Ping timeout: 250 seconds)
2024-05-11 11:51:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 11:59:56 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-11 12:02:40 +0200Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2024-05-11 12:07:13 +0200mima(~mmh@aftr-62-216-211-203.dynamic.mnet-online.de)
2024-05-11 12:07:41 +0200tram(~tram@athedsl-225869.home.otenet.gr)
2024-05-11 12:20:49 +0200danza(~francesco@an-19-189-125.service.infuturo.it)
2024-05-11 12:27:24 +0200tram(~tram@athedsl-225869.home.otenet.gr) (Quit: Leaving.)
2024-05-11 12:48:18 +0200y-koj(~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92)
2024-05-11 12:48:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-11 12:49:19 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-11 12:54:01 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-11 12:55:48 +0200xdminsy(~xdminsy@117.147.70.240) (Quit: Konversation terminated!)
2024-05-11 12:57:15 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-11 12:58:11 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-11 13:00:36 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-11 13:06:29 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-11 13:08:55 +0200tram(~tram@athedsl-225869.home.otenet.gr)
2024-05-11 13:09:08 +0200tram(~tram@athedsl-225869.home.otenet.gr) (Client Quit)
2024-05-11 13:20:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 13:38:43 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-11 13:41:20 +0200danza_(~francesco@151.47.175.243)
2024-05-11 13:41:53 +0200danza(~francesco@an-19-189-125.service.infuturo.it) (Read error: Connection reset by peer)
2024-05-11 13:44:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 13:54:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 13:58:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 14:09:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 14:17:06 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds)
2024-05-11 14:18:53 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 240 seconds)
2024-05-11 14:22:41 +0200danza_(~francesco@151.47.175.243) (Ping timeout: 272 seconds)
2024-05-11 14:27:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 14:38:35 +0200hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Changing host)
2024-05-11 14:38:35 +0200hippoid(~hippoid@user/hippoid)
2024-05-11 14:42:01 +0200tremon(~tremon@83.80.159.219)
2024-05-11 14:55:36 +0200notzmv(~daniel@user/notzmv) (Remote host closed the connection)
2024-05-11 14:57:56 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df)
2024-05-11 15:02:12 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2024-05-11 15:02:30 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Read error: Connection reset by peer)
2024-05-11 15:07:03 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 268 seconds)
2024-05-11 15:07:15 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-11 15:11:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 15:17:36 +0200mankanor(~mankanor@210.185.176.242)
2024-05-11 15:17:57 +0200mankanor(~mankanor@210.185.176.242) (Remote host closed the connection)
2024-05-11 15:19:24 +0200xdminsy(~xdminsy@117.147.70.240) (Remote host closed the connection)
2024-05-11 15:19:52 +0200xdminsy(~xdminsy@117.147.70.240)
2024-05-11 15:23:18 +0200random-jellyfish(~developer@ip4-89-238-215-238.euroweb.ro)
2024-05-11 15:23:18 +0200random-jellyfish(~developer@ip4-89-238-215-238.euroweb.ro) (Changing host)
2024-05-11 15:23:18 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-05-11 15:24:53 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2024-05-11 15:28:25 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 15:28:59 +0200gmg(~user@user/gehmehgeh)
2024-05-11 15:38:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 15:47:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 15:56:58 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-11 15:59:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 16:11:54 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-11 16:15:21 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 16:16:03 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 272 seconds)
2024-05-11 16:22:39 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 255 seconds)
2024-05-11 16:24:56 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in)
2024-05-11 16:31:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 16:47:43 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 272 seconds)
2024-05-11 17:03:07 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds)
2024-05-11 17:06:29 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-11 17:12:53 +0200random-jellyfish(~developer@user/random-jellyfish) (Ping timeout: 240 seconds)
2024-05-11 17:20:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 17:27:04 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-11 17:29:56 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
2024-05-11 17:35:54 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-11 17:39:56 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-11 17:40:26 +0200rvalue(~rvalue@user/rvalue)
2024-05-11 17:53:13 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-11 17:56:49 +0200gmg(~user@user/gehmehgeh)
2024-05-11 18:00:46 +0200mikess(~mikess@user/mikess)
2024-05-11 18:01:12 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 255 seconds)
2024-05-11 18:04:15 +0200pavonia(~user@user/siracusa)
2024-05-11 18:09:41 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds)
2024-05-11 18:11:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 18:34:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 18:40:28 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-11 18:46:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 18:47:02 +0200Pixi(~Pixi@user/pixi)
2024-05-11 18:47:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 18:49:26 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 18:49:51 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-11 19:00:48 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-05-11 19:01:00 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-11 19:01:34 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-05-11 19:01:43 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-11 19:02:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 19:03:15 +0200euleritian(~euleritia@dynamic-176-007-197-091.176.7.pool.telefonica.de)
2024-05-11 19:07:15 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-11 19:07:54 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-11 19:09:00 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-11 19:12:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-11 19:13:30 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-11 19:13:47 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-11 19:14:51 +0200justsomeguy(~justsomeg@2603-9000-d101-2757-558d-e014-6af5-563d.inf6.spectrum.com)
2024-05-11 19:15:19 +0200justsomeguy(~justsomeg@2603-9000-d101-2757-558d-e014-6af5-563d.inf6.spectrum.com) (Read error: Connection reset by peer)
2024-05-11 19:18:07 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 19:21:09 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-11 19:23:03 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-11 19:28:26 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-11 19:28:26 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-11 19:33:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 19:34:40 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-11 19:34:40 +0200justsomeguy(~justsomeg@user/justsomeguy) (Read error: Connection reset by peer)
2024-05-11 19:36:53 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds)
2024-05-11 19:44:47 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-05-11 19:45:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 19:50:18 +0200gentauro(~gentauro@user/gentauro)
2024-05-11 19:56:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 20:00:43 +0200GoldsteinQ(~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-11 20:02:28 +0200GoldsteinQ(~goldstein@goldstein.rs)
2024-05-11 20:04:17 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Remote host closed the connection)
2024-05-11 20:05:35 +0200Ram-Z(~Ram-Z@li1814-254.members.linode.com)
2024-05-11 20:11:00 +0200__monty__(~toonn@user/toonn)
2024-05-11 20:11:12 +0200r5c4571lh01987(~rscastilh@179.221.142.8)
2024-05-11 20:12:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 20:12:02 +0200qqq(~qqq@92.43.167.61)
2024-05-11 20:15:10 +0200r5c4571lh01987(~rscastilh@179.221.142.8) ()
2024-05-11 20:19:25 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
2024-05-11 20:20:16 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-11 20:21:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 20:22:23 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2024-05-11 20:24:10 +0200FeuermagierGuest4667
2024-05-11 20:24:10 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2024-05-11 20:24:10 +0200Guest4667(~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2024-05-11 20:24:10 +0200Feuermagier_Feuermagier
2024-05-11 20:26:05 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2024-05-11 20:26:22 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-11 20:27:47 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 20:31:25 +0200FeuermagierGuest3330
2024-05-11 20:31:25 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2024-05-11 20:31:25 +0200Guest3330(~Feuermagi@user/feuermagier) (Killed (molybdenum.libera.chat (Nickname regained by services)))
2024-05-11 20:31:25 +0200Feuermagier_Feuermagier
2024-05-11 20:33:12 +0200yin(~yin@user/zero)
2024-05-11 20:33:42 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Remote host closed the connection)
2024-05-11 20:34:41 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 20:36:54 +0200GoldsteinQ(~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-11 20:41:45 +0200GoldsteinQ(~goldstein@goldstein.rs)
2024-05-11 20:41:49 +0200Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2024-05-11 20:46:02 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-11 20:47:15 +0200Volt_(~Volt_@72.252.192.240)
2024-05-11 20:47:46 +0200dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-11 20:47:54 +0200notzmv(~daniel@user/notzmv)
2024-05-11 20:51:54 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds)
2024-05-11 20:53:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 20:54:00 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds)
2024-05-11 20:55:59 +0200yin(~yin@user/zero) (Ping timeout: 260 seconds)
2024-05-11 20:59:00 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-11 21:03:06 +0200Volt__(~Volt_@72.252.192.240)
2024-05-11 21:04:13 +0200Volt_(~Volt_@72.252.192.240) (Ping timeout: 272 seconds)
2024-05-11 21:04:13 +0200Volt__Volt_
2024-05-11 21:19:20 +0200emad(~emad@156.214.143.145)
2024-05-11 21:20:03 +0200emad(~emad@156.214.143.145) (Remote host closed the connection)
2024-05-11 21:20:12 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-11 21:23:40 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-11 21:24:46 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-11 21:27:10 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-05-11 21:28:50 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 21:29:55 +0200yin(~yin@user/zero)
2024-05-11 21:34:06 +0200euphores(~SASL_euph@user/euphores)
2024-05-11 21:34:06 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Remote host closed the connection)
2024-05-11 21:35:31 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551)
2024-05-11 21:35:40 +0200billchenchina(~billchenc@103.152.35.21) (Remote host closed the connection)
2024-05-11 21:45:03 +0200Square(~Square@user/square)
2024-05-11 21:46:08 +0200philopsos1(~caecilius@user/philopsos)
2024-05-11 21:54:34 +0200euleritian(~euleritia@dynamic-176-007-197-091.176.7.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-05-11 21:59:07 +0200euleritian(~euleritia@dynamic-176-001-002-149.176.1.pool.telefonica.de)
2024-05-11 22:00:23 +0200mailman(~mailman@103.166.150.118)
2024-05-11 22:12:59 +0200mailman(~mailman@103.166.150.118) (Ping timeout: 250 seconds)
2024-05-11 22:15:20 +0200yin(~yin@user/zero) (Ping timeout: 256 seconds)
2024-05-11 22:24:18 +0200stef204(~stef204@user/stef204)
2024-05-11 22:27:46 +0200zetef(~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Remote host closed the connection)
2024-05-11 22:29:17 +0200gawen(~gawen@user/gawen) (Quit: cya)
2024-05-11 22:30:40 +0200gawen(~gawen@user/gawen)
2024-05-11 22:50:48 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-11 23:02:55 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-11 23:03:14 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-11 23:04:35 +0200mailman(~mailman@103.166.150.118)
2024-05-11 23:07:03 +0200Sgeo_(~Sgeo@user/sgeo)
2024-05-11 23:07:11 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-11 23:08:45 +0200mailman(~mailman@103.166.150.118) (Client Quit)
2024-05-11 23:09:26 +0200mailman(~mailman@103.166.150.118)
2024-05-11 23:11:35 +0200mailman(~mailman@103.166.150.118) (Client Quit)
2024-05-11 23:13:02 +0200Volt_(~Volt_@72.252.192.240) (Quit: )
2024-05-11 23:13:24 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2024-05-11 23:13:42 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.2)
2024-05-11 23:14:25 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-11 23:14:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-11 23:16:05 +0200mailman(~mailman@103.166.150.118)
2024-05-11 23:17:29 +0200[exa](~exa@user/exa/x-3587197) (Quit: WeeChat 4.2.1)
2024-05-11 23:18:11 +0200mailman(~mailman@103.166.150.118) (Client Quit)
2024-05-11 23:19:13 +0200mailman(~mailman@103.166.150.118)
2024-05-11 23:22:47 +0200stef204(~stef204@user/stef204)
2024-05-11 23:27:22 +0200yin(~yin@user/zero)
2024-05-11 23:27:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-11 23:28:41 +0200mailman(~mailman@103.166.150.118) (Quit: Client closed)
2024-05-11 23:28:58 +0200ocra8(ocra8@user/ocra8)
2024-05-11 23:29:55 +0200mailman(~mailman@103.166.150.118)
2024-05-11 23:33:31 +0200yin(~yin@user/zero) (Quit: Lost terminal)
2024-05-11 23:37:54 +0200mailman78(~mailman@103.166.150.118)
2024-05-11 23:44:12 +0200stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.2)
2024-05-11 23:46:34 +0200yin(~yin@user/zero)
2024-05-11 23:46:35 +0200mailman(~mailman@103.166.150.118) (Ping timeout: 250 seconds)
2024-05-11 23:51:05 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2024-05-11 23:52:39 +0200mailman78(~mailman@103.166.150.118) (Ping timeout: 250 seconds)
2024-05-11 23:54:24 +0200mailman(~mailman@103.166.150.118)