| 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 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-11 00:09:28 +0200 | son0p | (~ff@152.203.77.121) |
| 2024-05-11 00:09:33 +0200 | mankanor | (~mankanor@2001:4455:20b:1d00:2153:5fb:f743:bfa3) |
| 2024-05-11 00:09:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-11 00:10:28 +0200 | mankanor | (~mankanor@2001:4455:20b:1d00:2153:5fb:f743:bfa3) (Read error: Connection reset by peer) |
| 2024-05-11 00:15:56 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-11 00:16:26 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2024-05-11 00:17:13 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-05-11 00:22:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 2024-05-11 00:23:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-11 00:36:37 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-05-11 01:08:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-11 01:15:56 +0200 | Ryan86 | (~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 +0200 | mima | (~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 +0200 | acidjnk_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 +0200 | kayvank | (~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 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-05-11 01:46:20 +0200 | dolio | (~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 +0200 | phma_ | (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 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-11 01:50:32 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-05-11 01:50:44 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-11 01:51:55 +0200 | phma | (phma@2001:5b0:211f:3048:6a1a:6f68:3864:d84f) (Ping timeout: 255 seconds) |
| 2024-05-11 01:53:42 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-11 01:57:14 +0200 | phma_ | phma |
| 2024-05-11 02:01:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-11 02:10:05 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-11 02:12:49 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
| 2024-05-11 02:35:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-05-11 02:47:16 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 2024-05-11 02:59:30 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-05-11 03:01:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0) (Ping timeout: 256 seconds) |
| 2024-05-11 03:02:07 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-11 03:04:59 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 260 seconds) |
| 2024-05-11 03:05:16 +0200 | foul_owl | (~kerry@185.216.231.180) (Ping timeout: 255 seconds) |
| 2024-05-11 03:15:56 +0200 | otto_s | (~user@p4ff273b9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-05-11 03:17:19 +0200 | otto_s | (~user@p5de2f4b0.dip0.t-ipconnect.de) |
| 2024-05-11 03:17:48 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-05-11 03:19:29 +0200 | foul_owl | (~kerry@71.212.149.206) |
| 2024-05-11 03:23:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:b7f1:8627:ae1f:1fb0) |
| 2024-05-11 03:34:25 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-11 03:47:07 +0200 | Ryan86 | (~Ryan@2601:602:8b00:b0f0:8dcb:b30d:2976:cb47) (Ping timeout: 250 seconds) |
| 2024-05-11 03:52:30 +0200 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 2024-05-11 04:08:15 +0200 | mima | (~mmh@aftr-62-216-211-22.dynamic.mnet-online.de) (Ping timeout: 255 seconds) |
| 2024-05-11 04:17:23 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-11 04:18:19 +0200 | hippoid | (~hippoid@user/hippoid) (Ping timeout: 268 seconds) |
| 2024-05-11 04:19:16 +0200 | madariaga | (~madariaga@user/madariaga) |
| 2024-05-11 04:19:22 +0200 | td_ | (~td@i53870939.versanet.de) |
| 2024-05-11 04:25:48 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-11 04:28:46 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2024-05-11 04:29:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-11 04:30:45 +0200 | foul_owl | (~kerry@71.212.149.206) (Ping timeout: 255 seconds) |
| 2024-05-11 04:31:37 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
| 2024-05-11 04:33:18 +0200 | systemhalted | (~systemhal@130.51.137.77) |
| 2024-05-11 04:34:51 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2024-05-11 04:45:15 +0200 | foul_owl | (~kerry@185.219.141.164) |
| 2024-05-11 05:58:55 +0200 | aforemny | (~aforemny@2001:9e8:6cd6:3600:97b7:283e:1ab8:36b5) |
| 2024-05-11 05:59:26 +0200 | tram | (~tram@2a02:586:7e3a:cb96:c7d7:78d4:c6de:913a) (Quit: Leaving.) |
| 2024-05-11 06:00:12 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf2:cc00:4716:28bd:787d:4b08) (Ping timeout: 260 seconds) |
| 2024-05-11 06:36:32 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-05-11 06:37:55 +0200 | gawen | (~gawen@user/gawen) |
| 2024-05-11 06:51:23 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 252 seconds) |
| 2024-05-11 06:53:08 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-05-11 06:55:55 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-11 06:57:25 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:55f8:739e:3296:6d3) (Ping timeout: 268 seconds) |
| 2024-05-11 06:58:20 +0200 | mei | (~mei@user/mei) |
| 2024-05-11 07:14:13 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-11 07:28:53 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-05-11 07:49:47 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-11 07:50:16 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-11 07:55:54 +0200 | spamonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-11 08:07:59 +0200 | kimiamania | (~76637481@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2024-05-11 08:08:28 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2024-05-11 08:08:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-11 08:08:46 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2024-05-11 08:08:58 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2024-05-11 08:09:15 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2024-05-11 08:11:42 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-05-11 08:17:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 08:20:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-05-11 08:20:23 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-11 08:20:36 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-05-11 08:22:41 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 2024-05-11 08:22:59 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2024-05-11 08:27:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-11 08:28:45 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-11 08:29:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-11 08:30:22 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-05-11 08:30:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-05-11 08:31:42 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-11 08:35:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-11 08:36:34 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-11 08:39:46 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-05-11 08:43:46 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-05-11 08:50:49 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:6e37:aef9:1702:5bd0) |
| 2024-05-11 09:05:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-05-11 09:13:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-11 09:14:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-11 09:15:46 +0200 | darius9 | (~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 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-11 09:24:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-11 09:25:54 +0200 | darius35 | (~darius@91.232.101.125) |
| 2024-05-11 09:25:55 +0200 | darius9 | (~darius@93.126.130.110) (Quit: Client closed) |
| 2024-05-11 09:27:36 +0200 | todi | (~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 +0200 | madariaga | (~madariaga@user/madariaga) (Quit: madariaga) |
| 2024-05-11 09:52:14 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc4619a20da439ab254b.dip0.t-ipconnect.de) |
| 2024-05-11 09:54:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-05-11 09:58:21 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-11 09:59:50 +0200 | sprout_ | sprout |
| 2024-05-11 10:14:12 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-11 10:21:47 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-11 10:22:07 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-11 10:24:53 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-05-11 10:28:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 10:28:42 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) |
| 2024-05-11 10:32:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-11 10:42:50 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-11 10:43:36 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-11 10:43:42 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-11 11:14:34 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-05-11 11:19:57 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-11 11:22:33 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Read error: Connection reset by peer) |
| 2024-05-11 11:23:50 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) |
| 2024-05-11 11:25:14 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-11 11:28:11 +0200 | darius35 | (~darius@91.232.101.125) (Ping timeout: 250 seconds) |
| 2024-05-11 11:51:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 11:59:56 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-11 12:02:40 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-05-11 12:07:13 +0200 | mima | (~mmh@aftr-62-216-211-203.dynamic.mnet-online.de) |
| 2024-05-11 12:07:41 +0200 | tram | (~tram@athedsl-225869.home.otenet.gr) |
| 2024-05-11 12:20:49 +0200 | danza | (~francesco@an-19-189-125.service.infuturo.it) |
| 2024-05-11 12:27:24 +0200 | tram | (~tram@athedsl-225869.home.otenet.gr) (Quit: Leaving.) |
| 2024-05-11 12:48:18 +0200 | y-koj | (~yk@2404:7a81:c840:5e00:e654:e8ff:fee1:ca92) |
| 2024-05-11 12:48:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-11 12:49:19 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-11 12:54:01 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-11 12:55:48 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-11 12:57:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-05-11 12:58:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-11 13:00:36 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-11 13:06:29 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-11 13:08:55 +0200 | tram | (~tram@athedsl-225869.home.otenet.gr) |
| 2024-05-11 13:09:08 +0200 | tram | (~tram@athedsl-225869.home.otenet.gr) (Client Quit) |
| 2024-05-11 13:20:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 13:38:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-11 13:41:20 +0200 | danza_ | (~francesco@151.47.175.243) |
| 2024-05-11 13:41:53 +0200 | danza | (~francesco@an-19-189-125.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-05-11 13:44:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 13:54:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 13:58:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 14:09:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 14:17:06 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-05-11 14:18:53 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 240 seconds) |
| 2024-05-11 14:22:41 +0200 | danza_ | (~francesco@151.47.175.243) (Ping timeout: 272 seconds) |
| 2024-05-11 14:27:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 14:38:35 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Changing host) |
| 2024-05-11 14:38:35 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2024-05-11 14:42:01 +0200 | tremon | (~tremon@83.80.159.219) |
| 2024-05-11 14:55:36 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-05-11 14:57:56 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 2024-05-11 15:02:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-05-11 15:02:30 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) (Read error: Connection reset by peer) |
| 2024-05-11 15:07:03 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 268 seconds) |
| 2024-05-11 15:07:15 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-11 15:11:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 15:17:36 +0200 | mankanor | (~mankanor@210.185.176.242) |
| 2024-05-11 15:17:57 +0200 | mankanor | (~mankanor@210.185.176.242) (Remote host closed the connection) |
| 2024-05-11 15:19:24 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Remote host closed the connection) |
| 2024-05-11 15:19:52 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-11 15:23:18 +0200 | random-jellyfish | (~developer@ip4-89-238-215-238.euroweb.ro) |
| 2024-05-11 15:23:18 +0200 | random-jellyfish | (~developer@ip4-89-238-215-238.euroweb.ro) (Changing host) |
| 2024-05-11 15:23:18 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-05-11 15:24:53 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2024-05-11 15:28:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 15:28:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-11 15:38:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 15:47:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 15:56:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-11 15:59:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-11 16:11:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-11 16:15:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-11 16:16:03 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 272 seconds) |
| 2024-05-11 16:22:39 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 2024-05-11 16:24:56 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Quit: ZNC - http://znc.in) |
| 2024-05-11 16:31:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 16:47:43 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-05-11 17:03:07 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-11 17:06:29 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-11 17:12:53 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 240 seconds) |
| 2024-05-11 17:20:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 17:27:04 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-11 17:29:56 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-05-11 17:35:54 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-11 17:39:56 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-11 17:40:26 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-11 17:53:13 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-11 17:56:49 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-11 18:00:46 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-11 18:01:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-05-11 18:04:15 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-11 18:09:41 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2024-05-11 18:11:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 18:34:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 18:40:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-11 18:46:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 18:47:02 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-11 18:47:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 18:49:26 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:df0b:9c52:7feb:3551) |
| 2024-05-11 18:49:51 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-11 19:00:48 +0200 | jespada_ | (~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 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-11 19:01:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-05-11 19:01:43 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-11 19:02:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-11 19:03:15 +0200 | euleritian | (~euleritia@dynamic-176-007-197-091.176.7.pool.telefonica.de) |
| 2024-05-11 19:07:15 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-11 19:07:54 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-11 19:09:00 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-05-11 19:12:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-11 19:13:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-11 19:13:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-11 19:14:51 +0200 | justsomeguy | (~justsomeg@2603-9000-d101-2757-558d-e014-6af5-563d.inf6.spectrum.com) |
| 2024-05-11 19:15:19 +0200 | justsomeguy | (~justsomeg@2603-9000-d101-2757-558d-e014-6af5-563d.inf6.spectrum.com) (Read error: Connection reset by peer) |
| 2024-05-11 19:18:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-11 19:21:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-11 19:23:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-11 19:28:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-11 19:28:26 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-11 19:33:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-11 19:34:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-11 19:34:40 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Read error: Connection reset by peer) |
| 2024-05-11 19:36:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-11 19:44:47 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-05-11 19:45:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |