| 2024-04-10 00:00:26 +0200 | poollovernathan | (~u0_a408@108.145.176.161) (Remote host closed the connection) |
| 2024-04-10 00:06:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 00:06:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-10 00:11:21 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 2024-04-10 00:11:38 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:511c:3f91:59de:5f1f) |
| 2024-04-10 00:11:38 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:511c:3f91:59de:5f1f) (Changing host) |
| 2024-04-10 00:11:38 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 00:20:08 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-04-10 00:20:23 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-04-10 00:23:17 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-04-10 00:29:29 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-10 00:30:28 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 00:35:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-10 00:38:03 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2024-04-10 00:38:57 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-04-10 00:41:46 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-10 00:53:24 +0200 | <energizer> | in this exercise https://i.imgur.com/nEoruJW.png what can "implement the expressions from the laws" mean |
| 2024-04-10 00:55:01 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-04-10 00:56:00 +0200 | <geekosaur> | the laws are the bullet points; the expressions are contained within them |
| 2024-04-10 00:56:10 +0200 | <ski> | give values of this `data' type, that represents the expressions on both sides of the given laws |
| 2024-04-10 00:56:55 +0200 | <ski> | (i guess three's three expressions listed, for the neutral element and absorption laws) |
| 2024-04-10 00:57:10 +0200 | <energizer> | what does implement the expressions mean? |
| 2024-04-10 00:57:24 +0200 | <ski> | see what i just said above |
| 2024-04-10 00:57:58 +0200 | <energizer> | what you mean like `9`? |
| 2024-04-10 00:59:25 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-04-10 01:00:04 +0200 | <energizer> | i'm afraid i dont follow |
| 2024-04-10 01:02:07 +0200 | <ski> | e.g. in the law ⌜a ⋅ (b + c) = (a + b) ⋅ (a + c)⌝, the two expression sides would be ⌜a ⋅ (b + c)⌝ and ⌜(a + b) ⋅ (a + c)⌝, which you could represent as value of the type `SR v', for some type `v' of variables/parameters/unknowns/indeterminates (maybe `String') |
| 2024-04-10 01:03:06 +0200 | <ski> | er, that would be ⌜a ⋅ (b + c) = (a ⋅ b) + (a ⋅ c)⌝, resp the expressions ⌜a ⋅ (b + c)⌝ and ⌜(a ⋅ b) + (a ⋅ c)⌝ |
| 2024-04-10 01:04:29 +0200 | Square | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-04-10 01:08:28 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:6ed0:8db9:7da:c050) |
| 2024-04-10 01:08:28 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:6ed0:8db9:7da:c050) (Changing host) |
| 2024-04-10 01:08:28 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 01:14:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc64d0e49d55bdfde17a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-04-10 01:18:49 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-10 01:20:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 01:26:27 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-04-10 01:26:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2024-04-10 01:26:59 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2024-04-10 01:26:59 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-04-10 01:28:41 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-04-10 01:32:19 +0200 | <energizer> | ski: as in, i'm supposed to just give some examples of such expressions, like this? https://bpa.st/CLGA |
| 2024-04-10 01:40:52 +0200 | vnogueira_ | (~vnogueira@user/vnogueira) |
| 2024-04-10 01:41:10 +0200 | vnogueira | (~vnogueira@user/vnogueira) (Ping timeout: 260 seconds) |
| 2024-04-10 01:41:23 +0200 | <energizer> | like, i understand that and/or/t/f are mul/add/0/1 for the boolean semiring i just dont understand what implement means |
| 2024-04-10 02:13:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-10 02:15:22 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-10 02:15:37 +0200 | nullobject | (~josh@user/nullobject) (Quit: WeeChat 3.5) |
| 2024-04-10 02:15:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-10 02:19:38 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-10 02:34:13 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-04-10 02:36:17 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Quit: WeeChat 4.2.1) |
| 2024-04-10 02:38:34 +0200 | phma | (phma@2001:5b0:211c:1c38:cf4e:d6e:98f0:9ef7) (Read error: Connection reset by peer) |
| 2024-04-10 02:39:01 +0200 | phma | (phma@2001:5b0:211c:1c38:d0a3:2736:ae8b:8902) |
| 2024-04-10 02:39:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-10 02:43:49 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-10 02:44:07 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
| 2024-04-10 02:46:47 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-10 03:02:31 +0200 | pointlessslippe- | (~pointless@212.82.82.3) (Ping timeout: 256 seconds) |
| 2024-04-10 03:02:35 +0200 | TonyStone31 | (~TonyStone@user/TonyStone) (Remote host closed the connection) |
| 2024-04-10 03:04:24 +0200 | TonyStone | (~TonyStone@user/TonyStone) |
| 2024-04-10 03:05:58 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-04-10 03:33:44 +0200 | xff0x | (~xff0x@2405:6580:b080:900:847:f391:691d:6dc4) (Ping timeout: 260 seconds) |
| 2024-04-10 03:34:35 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-10 03:36:27 +0200 | <Axman6> | I also find those instructions quite confusing - so they want data SR v = Add (SR v) (SR v) | Mul (SR v) (SR v) | Aid | Mid | V v? |
| 2024-04-10 03:36:31 +0200 | <Axman6> | do* |
| 2024-04-10 03:41:22 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2024-04-10 03:45:18 +0200 | sadie_ | (~sadie@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-04-10 03:47:29 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-04-10 03:48:46 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-10 03:53:59 +0200 | otto_s | (~user@p5b044870.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-04-10 03:55:21 +0200 | otto_s | (~user@p5de2f4c0.dip0.t-ipconnect.de) |
| 2024-04-10 04:14:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-04-10 04:21:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-10 04:25:20 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-10 04:45:57 +0200 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-04-10 04:51:33 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Quit: emergence) |
| 2024-04-10 04:52:29 +0200 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 240 seconds) |
| 2024-04-10 04:54:26 +0200 | td_ | (~td@i53870930.versanet.de) |
| 2024-04-10 04:55:32 +0200 | <jcarpenter2> | Is there a function that's like fmap, but with state? I'm looking for a type signature like: (a -> b -> (a, c)) -> a -> f b -> f c |
| 2024-04-10 04:56:30 +0200 | <jcarpenter2> | So you pass in a function that takes the "state" a, an instance b, and returns new state and an output (a, c); an initial state; and a container, and get back the mapped container |
| 2024-04-10 04:56:54 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc00c12ceadbd6a85e80.dip0.t-ipconnect.de) |
| 2024-04-10 04:56:57 +0200 | <jcarpenter2> | like a fold, but maps instead of reduces |
| 2024-04-10 04:58:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 04:59:59 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-10 05:01:08 +0200 | <geekosaur> | :t mapAccumL |
| 2024-04-10 05:01:10 +0200 | <lambdabot> | Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
| 2024-04-10 05:01:27 +0200 | <geekosaur> | same thing except you also get back the final state |
| 2024-04-10 05:01:52 +0200 | <jcarpenter2> | oh my gosh, thank you |
| 2024-04-10 05:03:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc00c12ceadbd6a85e80.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-04-10 05:06:41 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-04-10 05:15:45 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2024-04-10 05:18:54 +0200 | <jackdk> | You could probably also do it with `traverse` using `State s` as your `Applicative`, but `mapAccumL` is going to be easier |
| 2024-04-10 05:21:03 +0200 | <jcarpenter2> | that makes sense |
| 2024-04-10 05:21:35 +0200 | <jcarpenter2> | boy, I haven't written Haskell in years, and now my brain is getting warped (un-warped?) |
| 2024-04-10 05:27:04 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-10 05:29:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-10 05:30:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-10 05:38:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-10 05:39:16 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-10 05:45:09 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-10 05:47:32 +0200 | hsw_ | (~hsw@112-104-87-22.adsl.dynamic.seed.net.tw) |
| 2024-04-10 05:48:59 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 256 seconds) |
| 2024-04-10 05:49:38 +0200 | <EvanR> | I didn't know about mapAccumL for a long time |
| 2024-04-10 05:50:22 +0200 | <EvanR> | @src mapAccumL |
| 2024-04-10 05:50:22 +0200 | <lambdabot> | mapAccumL _ s [] = (s, []) |
| 2024-04-10 05:50:22 +0200 | <lambdabot> | mapAccumL f s (x:xs) = (s'',y:ys) |
| 2024-04-10 05:50:23 +0200 | <lambdabot> | where (s', y ) = f s x |
| 2024-04-10 05:50:23 +0200 | <lambdabot> | (s'',ys) = mapAccumL f s' xs |
| 2024-04-10 05:50:35 +0200 | <EvanR> | cmon nothing involving scanl? |
| 2024-04-10 05:51:28 +0200 | poollovernathan | (~u0_a408@108.145.176.65) |
| 2024-04-10 05:51:45 +0200 | aforemny | (~aforemny@2001:9e8:6ce2:e300:a070:17b7:ef89:325a) |
| 2024-04-10 05:52:54 +0200 | aforemny_ | (~aforemny@i59F516D1.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-10 05:53:08 +0200 | <Axman6> | jcarpenter2: welcome back :) |
| 2024-04-10 05:53:38 +0200 | <jcarpenter2> | thanks :) |
| 2024-04-10 05:54:18 +0200 | <mauke> | :t (runState .) . traverse . (state .) |
| 2024-04-10 05:54:19 +0200 | <lambdabot> | Traversable t => (a -> s -> (b, s)) -> t a -> s -> (t b, s) |
| 2024-04-10 05:54:34 +0200 | <jcarpenter2> | It's rare things in life that genuinely give me the feeling of getting smarter. Haskell is one, The Witness was another |
| 2024-04-10 05:54:48 +0200 | <poollovernathan> | is there a way to ‘switch’ monads during a do-block? I'm playing with linear types (purely for fun/excercise) and want to make a linear-compatible State and I think I can do this by taking a `Maybe *` as a type parameter and making `get` switch from a `State (Just t) a` to a `State Nothing a`. I think the best way I can think of so far would be to use RebindableSyntax and change (>>=) to do |
| 2024-04-10 05:54:54 +0200 | <poollovernathan> | this; does anyone have ideas for other possibilities? |
| 2024-04-10 05:55:41 +0200 | <Axman6> | hmm, the first thing that comes to mind is indexed monads |
| 2024-04-10 05:56:57 +0200 | <Axman6> | https://wespiser.com/posts/2020-05-06-IxMonad.html |
| 2024-04-10 05:57:12 +0200 | <Axman6> | (an arbitrary post that looks relevant after skimming it) |
| 2024-04-10 05:57:53 +0200 | <poollovernathan> | those seem interesting! they seem simultaneously more general and concrete than my half-baked idea |
| 2024-04-10 05:59:54 +0200 | <Axman6> | and also https://kseo.github.io/posts/2017-01-12-indexed-monads.html which seems very close to your usecase |
| 2024-04-10 06:00:34 +0200 | <Axman6> | so rather than having a state of Maybe *, you'd just use the type or () |
| 2024-04-10 06:01:08 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-10 06:02:57 +0200 | <poollovernathan> | so I could make a `class IxMonad (s ∷ ★) (m ∷ s → s → ★ → ★) where (>>=) ∷ m p i a → (a → m i f b) → m p f b` and rewrite the standard library? |
| 2024-04-10 06:03:39 +0200 | <poollovernathan> | (if I had a nickel for every time I've had to rewrite a language's stdlib for a slightly different use case, I'd have two nickels) |
| 2024-04-10 06:05:41 +0200 | <Axman6> | perhaps, I'm not sure I understand the example, but it looks about right |
| 2024-04-10 06:07:37 +0200 | <poollovernathan> | oh, for example purposes I'd `instance IxMonad (Maybe ★) StateL where (>>=) = _` |
| 2024-04-10 06:09:19 +0200 | <poollovernathan> | then I'd define `get ∷ StateL (Just a) Nothing a` and `put ∷ a ⊸ StateL Nothing (Just a) ()` |
| 2024-04-10 06:09:43 +0200 | <Axman6> | Oh nice - type level MVars :p |
| 2024-04-10 06:10:06 +0200 | <Axman6> | that feels very much like linear types indeed |
| 2024-04-10 06:10:11 +0200 | <poollovernathan> | yeah, my main goal was to get this checking (no `get` twice in a row) at compile-time |
| 2024-04-10 06:11:38 +0200 | <poollovernathan> | time to make a working example… |
| 2024-04-10 06:12:03 +0200 | <poollovernathan> | or even some form of working code that appears useful when quickly glanced at |
| 2024-04-10 06:14:11 +0200 | <jackdk> | Most stuff I've read about Indexed Monads predates the QualifiedDo extension, which means you can ergonomically use them without RebindableSyntax |
| 2024-04-10 06:15:40 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 256 seconds) |
| 2024-04-10 06:16:46 +0200 | <c_wraith> | QualifiedDo is a fantastic extension for enabling not-quite-monads to work pleasantly without really heavy stuff |
| 2024-04-10 06:17:01 +0200 | <Axman6> | https://wickstrom.tech/2017-10-27-motor-finite-state-machines-haskell.html looks interesting and possibly related |
| 2024-04-10 06:20:32 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-10 06:21:51 +0200 | <Axman6> | I miss Oskar's work, I remember he had a really good video series on Haskell on youtube and his haskell-at-work website (which appears to now be all spam) |
| 2024-04-10 06:22:16 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-04-10 06:22:19 +0200 | <EvanR> | QualifiedDo |
| 2024-04-10 06:22:22 +0200 | <EvanR> | wwwwwhat |
| 2024-04-10 06:22:28 +0200 | <poollovernathan> | got Functor, IxApplicative, and IxMonad defined in session 2's ghci instance; time to see how much catches fire actually implenting them |
| 2024-04-10 06:22:37 +0200 | <poollovernathan> | oh! qualifieddo exists |
| 2024-04-10 06:26:48 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-10 06:32:30 +0200 | michalz | (~michalz@185.246.207.201) |
| 2024-04-10 06:43:57 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 2024-04-10 06:52:29 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-10 07:04:45 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-04-10 07:08:16 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-04-10 07:09:26 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-04-10 07:12:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-04-10 07:13:40 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-10 07:14:51 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2024-04-10 07:16:37 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-10 07:24:08 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-04-10 07:27:35 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-04-10 07:27:54 +0200 | euleritian | (~euleritia@dynamic-176-006-199-030.176.6.pool.telefonica.de) |
| 2024-04-10 07:29:42 +0200 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-10 07:29:52 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Read error: Connection reset by peer) |
| 2024-04-10 07:29:52 +0200 | ht_ | _ht |
| 2024-04-10 07:35:01 +0200 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-10 07:46:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-10 07:49:15 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-04-10 07:52:19 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-10 07:55:01 +0200 | danza | (~francesco@an-19-170-7.service.infuturo.it) |
| 2024-04-10 08:00:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-10 08:02:28 +0200 | danza_ | (~francesco@fi-19-203-251.service.infuturo.it) |
| 2024-04-10 08:04:03 +0200 | danza | (~francesco@an-19-170-7.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-04-10 08:07:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 08:08:07 +0200 | puke | (~puke@user/puke) (Ping timeout: 255 seconds) |
| 2024-04-10 08:10:33 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-04-10 08:10:54 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-10 08:15:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-10 08:16:47 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-04-10 08:17:01 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-04-10 08:19:21 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-10 08:24:02 +0200 | akegalj | (~akegalj@89-164-104-236.dsl.iskon.hr) |
| 2024-04-10 08:28:17 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-10 08:50:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-10 08:50:41 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-10 08:50:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-10 08:51:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-10 08:54:03 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-10 08:54:36 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-10 08:58:35 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-10 08:59:31 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-04-10 09:02:26 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-10 09:03:55 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-10 09:05:01 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-10 09:06:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 09:07:51 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-10 09:09:31 +0200 | danza_ | (~francesco@fi-19-203-251.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-04-10 09:10:32 +0200 | puke | (~puke@user/puke) |
| 2024-04-10 09:11:59 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-04-10 09:19:10 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-04-10 09:19:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc00c12ceadbd6a85e80.dip0.t-ipconnect.de) |
| 2024-04-10 09:20:05 +0200 | sudden | (~cat@user/sudden) (Ping timeout: 272 seconds) |
| 2024-04-10 09:21:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-04-10 09:22:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-10 09:24:55 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-10 09:28:47 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 264 seconds) |
| 2024-04-10 09:30:51 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-10 09:32:30 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-04-10 09:32:59 +0200 | euleritian | (~euleritia@dynamic-176-006-199-030.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-10 09:34:46 +0200 | sudden | (~cat@user/sudden) |
| 2024-04-10 09:35:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 09:40:04 +0200 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-04-10 09:41:47 +0200 | crvs | (~crvs@185.147.238.3) |
| 2024-04-10 09:44:52 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-04-10 09:47:58 +0200 | kenran | (~user@user/kenran) |
| 2024-04-10 09:55:20 +0200 | danse-nr3 | (~danse-nr3@fi-19-203-251.service.infuturo.it) |
| 2024-04-10 09:55:54 +0200 | danse-nr3 | (~danse-nr3@fi-19-203-251.service.infuturo.it) (Remote host closed the connection) |
| 2024-04-10 09:56:19 +0200 | danse-nr3 | (~danse-nr3@fi-19-203-251.service.infuturo.it) |
| 2024-04-10 09:56:48 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-10 09:59:56 +0200 | tertek | (~tertek@user/tertek) (Quit: %quit%) |
| 2024-04-10 10:06:15 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-10 10:09:52 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-10 10:11:02 +0200 | tertek | (~tertek@user/tertek) |
| 2024-04-10 10:11:23 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-04-10 10:14:14 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 256 seconds) |
| 2024-04-10 10:14:28 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-10 10:14:50 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) |
| 2024-04-10 10:15:59 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-10 10:16:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 10:16:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-04-10 10:17:42 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-10 10:21:04 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-10 10:23:33 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-10 10:23:49 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-10 10:23:51 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-10 10:27:19 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2.50)) |
| 2024-04-10 10:28:05 +0200 | chele | (~chele@user/chele) |
| 2024-04-10 10:36:11 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:c420:b928:a6e:e519) (Read error: Connection reset by peer) |
| 2024-04-10 10:43:22 +0200 | dcoutts | (~duncan@82.13.254.239) (Ping timeout: 255 seconds) |
| 2024-04-10 10:46:18 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2024-04-10 10:49:27 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-10 10:52:11 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-04-10 10:52:12 +0200 | danse-nr3 | (~danse-nr3@fi-19-203-251.service.infuturo.it) (Ping timeout: 256 seconds) |
| 2024-04-10 10:55:11 +0200 | danse-nr3 | (~danse-nr3@fi-19-203-251.service.infuturo.it) |
| 2024-04-10 10:59:46 +0200 | meltedbrain2000a | (~meltedbra@47.61.135.12) |
| 2024-04-10 11:04:01 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:6204:3278:f8ee:2deb) |
| 2024-04-10 11:19:50 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-10 11:22:16 +0200 | hugo- | (znc@quicksilver.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2024-04-10 11:23:44 +0200 | MajorBiscuit | (~MajorBisc@2001:610:450:a0::5:3) |
| 2024-04-10 11:28:58 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-10 11:35:35 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-04-10 11:41:39 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-10 11:42:11 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-10 11:51:21 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-10 12:03:37 +0200 | danse-nr3 | (~danse-nr3@fi-19-203-251.service.infuturo.it) (Read error: Connection reset by peer) |
| 2024-04-10 12:04:14 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-10 12:04:31 +0200 | danse-nr3 | (~danse-nr3@151.47.176.108) |
| 2024-04-10 12:07:23 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-04-10 12:08:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-04-10 12:08:04 +0200 | hugo- | (znc@quicksilver.lysator.liu.se) |
| 2024-04-10 12:10:28 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-10 12:10:49 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-10 12:17:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-10 12:18:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 12:22:29 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) (Ping timeout: 272 seconds) |
| 2024-04-10 12:23:07 +0200 | Square | (~Square4@user/square) |
| 2024-04-10 12:24:42 +0200 | meltedbrain2000a | (~meltedbra@47.61.135.12) (Ping timeout: 250 seconds) |
| 2024-04-10 12:27:43 +0200 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-10 12:31:17 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-10 12:31:25 +0200 | mei | (~mei@user/mei) |
| 2024-04-10 12:32:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-04-10 12:33:01 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:5410:fc52:e418:506d) |
| 2024-04-10 12:33:01 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:5410:fc52:e418:506d) (Changing host) |
| 2024-04-10 12:33:01 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 12:33:31 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-04-10 12:35:24 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-10 12:36:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-04-10 12:36:46 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-10 12:42:22 +0200 | amjoseph | (~amjoseph@static-198-44-128-146.cust.tzulo.com) |
| 2024-04-10 12:44:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-10 12:45:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 12:47:07 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 255 seconds) |
| 2024-04-10 12:55:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2024-04-10 12:56:46 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-04-10 12:59:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 13:03:49 +0200 | visilii | (~visilii@188.254.110.118) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-04-10 13:04:39 +0200 | visilii | (~visilii@188.254.110.118) |
| 2024-04-10 13:07:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8f14:ae0b:51f2:7dcb) |
| 2024-04-10 13:08:42 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 255 seconds) |
| 2024-04-10 13:11:17 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) |
| 2024-04-10 13:14:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-10 13:16:08 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) (Ping timeout: 260 seconds) |
| 2024-04-10 13:17:09 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) |
| 2024-04-10 13:17:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 13:18:26 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) |
| 2024-04-10 13:19:09 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Client Quit) |
| 2024-04-10 13:21:48 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) (Ping timeout: 256 seconds) |
| 2024-04-10 13:23:08 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) |
| 2024-04-10 13:24:53 +0200 | MajorBiscuit | (~MajorBisc@2001:610:450:a0::5:3) (Ping timeout: 240 seconds) |
| 2024-04-10 13:25:28 +0200 | yeitrafferin | (~user@2a04:4540:7215:3000:5e2b:485e:c52:a866) |
| 2024-04-10 13:27:20 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-04-10 13:27:38 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-10 13:31:56 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-04-10 13:35:48 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-10 13:39:56 +0200 | danse-nr3 | (~danse-nr3@151.47.176.108) (Ping timeout: 256 seconds) |
| 2024-04-10 13:45:07 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-10 13:46:13 +0200 | notzmv | (~daniel@user/notzmv) |
| 2024-04-10 13:46:23 +0200 | yeitrafferin | (~user@2a04:4540:7215:3000:5e2b:485e:c52:a866) (Remote host closed the connection) |
| 2024-04-10 13:49:56 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 13:51:19 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 268 seconds) |
| 2024-04-10 13:52:07 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Remote host closed the connection) |
| 2024-04-10 13:52:25 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 13:57:06 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-04-10 14:02:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 14:03:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-04-10 14:05:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 14:09:34 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 14:11:21 +0200 | MajorBiscuit | (~MajorBisc@2001:610:450:a0::5:3) |
| 2024-04-10 14:11:55 +0200 | liamzy__ | (~Inst@user/Inst) |
| 2024-04-10 14:14:28 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 260 seconds) |
| 2024-04-10 14:15:18 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-10 14:15:41 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-10 14:17:22 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Remote host closed the connection) |
| 2024-04-10 14:17:45 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 14:24:05 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 240 seconds) |
| 2024-04-10 14:26:56 +0200 | danse-nr3 | (~danse-nr3@151.47.176.108) |
| 2024-04-10 14:27:25 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Quit: reboot mise à jour du noyau) |
| 2024-04-10 14:28:11 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Ping timeout: 264 seconds) |
| 2024-04-10 14:28:21 +0200 | danse-nr3 | (~danse-nr3@151.47.176.108) (Remote host closed the connection) |
| 2024-04-10 14:28:45 +0200 | danse-nr3 | (~danse-nr3@151.47.176.108) |
| 2024-04-10 14:30:53 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 14:36:51 +0200 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2024-04-10 14:37:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-04-10 14:39:49 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:8c4:718b:9124:5ae4) |
| 2024-04-10 14:39:49 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:8c4:718b:9124:5ae4) (Changing host) |
| 2024-04-10 14:39:49 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 14:40:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-10 14:45:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 14:53:12 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 2024-04-10 14:53:45 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-04-10 14:56:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-04-10 14:59:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 15:00:42 +0200 | ksqsf | (~user@2409:8a70:3c10:a520:176:3882:ab3:70d1) (Ping timeout: 268 seconds) |
| 2024-04-10 15:01:15 +0200 | woffs | (3cd46299b2@woffs.de) (Quit: Gateway shutdown) |
| 2024-04-10 15:01:52 +0200 | woffs | (3cd46299b2@woffs.de) |
| 2024-04-10 15:07:03 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-04-10 15:16:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-10 15:17:38 +0200 | euleritian | (~euleritia@dynamic-176-006-187-042.176.6.pool.telefonica.de) |
| 2024-04-10 15:23:18 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 15:27:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 15:30:21 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 15:34:59 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-10 15:38:41 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-04-10 15:40:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-10 15:47:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-10 15:57:28 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 255 seconds) |
| 2024-04-10 16:00:02 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-10 16:04:58 +0200 | danse-nr3 | (~danse-nr3@151.47.176.108) (Ping timeout: 256 seconds) |
| 2024-04-10 16:05:12 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-10 16:05:54 +0200 | danse-nr3 | (~danse-nr3@151.43.44.121) |
| 2024-04-10 16:06:29 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-10 16:10:41 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 16:14:56 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-10 16:17:54 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-04-10 16:23:48 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:3051:a3eb:ad4f:f66) |
| 2024-04-10 16:24:38 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2024-04-10 16:24:44 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Client Quit) |
| 2024-04-10 16:25:06 +0200 | akegalj | (~akegalj@89-164-104-236.dsl.iskon.hr) (Quit: leaving) |
| 2024-04-10 16:26:54 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 16:27:34 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-10 16:29:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 16:38:24 +0200 | barzo | (~hd@2a02:ff0:220:8248:52f4:9bb7:16c8:c90e) |
| 2024-04-10 16:45:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 16:46:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-04-10 16:48:02 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
| 2024-04-10 16:57:35 +0200 | danse-nr3 | (~danse-nr3@151.43.44.121) (Ping timeout: 264 seconds) |
| 2024-04-10 16:58:16 +0200 | remmie | (ianremsen@tilde.team) (Ping timeout: 256 seconds) |
| 2024-04-10 16:58:48 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) |
| 2024-04-10 17:02:45 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds) |
| 2024-04-10 17:05:18 +0200 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-04-10 17:09:51 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-10 17:11:47 +0200 | barzo | (~hd@2a02:ff0:220:8248:52f4:9bb7:16c8:c90e) (Quit: Leaving) |
| 2024-04-10 17:16:52 +0200 | euleritian | (~euleritia@dynamic-176-006-187-042.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-10 17:17:10 +0200 | MajorBiscuit | (~MajorBisc@2001:610:450:a0::5:3) (Quit: WeeChat 4.2.1) |
| 2024-04-10 17:17:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 17:18:50 +0200 | remmie | (ianremsen@tilde.team) |
| 2024-04-10 17:19:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 17:22:21 +0200 | igemnace | (~ian@user/igemnace) |
| 2024-04-10 17:22:57 +0200 | zer0bitz_ | zer0bitz |
| 2024-04-10 17:34:02 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2024-04-10 17:37:59 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Remote host closed the connection) |
| 2024-04-10 17:38:27 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 17:41:40 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 260 seconds) |
| 2024-04-10 17:44:28 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Ping timeout: 260 seconds) |
| 2024-04-10 17:52:37 +0200 | <jcarpenter2> | So I'm writin' an AST in Haskell (big surprise /s) |
| 2024-04-10 17:53:30 +0200 | <jcarpenter2> | Not really sure how best to do it. I could do a regular expression tree like `data Expr = Const Int | Sum Expr Expr | ...`. Or I could use some kind free monad. |
| 2024-04-10 17:54:17 +0200 | <jcarpenter2> | I'd like to be able to map over this thing, reduce over it, and do all sorts of interesting things. As if `Expr` implements `Functor Expr`, `Traversable Expr`, and so on. |
| 2024-04-10 17:54:31 +0200 | crvs | (~crvs@185.147.238.3) (Read error: Connection reset by peer) |
| 2024-04-10 17:54:38 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-04-10 17:55:49 +0200 | <jcarpenter2> | Right now I'm just writing a regular ADT, but I might try switching to something else |
| 2024-04-10 17:56:52 +0200 | <ski> | `Functor Expr' presupposes `Expr :: * -> *' |
| 2024-04-10 17:57:06 +0200 | <jcarpenter2> | Oh I'm sorry, you're right. I mis-phrased that. |
| 2024-04-10 17:59:51 +0200 | <probie> | I've found that simply adding an annotation to each node `data Expr a = Const Int a | Sum (Expr a) (Expr a) a | ...` strikes a good balance between "simple" and "extensible" |
| 2024-04-10 18:00:36 +0200 | <jcarpenter2> | I mean, it's like a functor with the contained type also fixed as itself. So you could write a function that recurses through the tree, and replacing sub-expressions with other sub-expressions. |
| 2024-04-10 18:01:52 +0200 | <jcarpenter2> | I was assuming Int as the type of values, not `a`. |
| 2024-04-10 18:03:04 +0200 | <jcarpenter2> | I think if I wanted to move away from an ADT, it would be to a monad. I want a sort of fixed point of `Expr (Expr (Expr ...))` |
| 2024-04-10 18:03:16 +0200 | <jcarpenter2> | to a *free monad. |
| 2024-04-10 18:03:40 +0200 | <ncf> | probie: isn't that the same as (Expr, a) |
| 2024-04-10 18:03:49 +0200 | <ncf> | oh no nvm |
| 2024-04-10 18:03:58 +0200 | <ski> | @where DecoratingStructures |
| 2024-04-10 18:03:58 +0200 | <lambdabot> | <http://web.archive.org/web/20051126143527/http://haskell.org/hawiki/DecoratingStructures> |
| 2024-04-10 18:04:07 +0200 | <ski> | @where IndirectComposite |
| 2024-04-10 18:04:07 +0200 | <lambdabot> | <http://web.archive.org/web/20051126141834/http://haskell.org/hawiki/IndirectComposite> |
| 2024-04-10 18:06:34 +0200 | <ski> | "it's like a functor with the contained type also fixed as itself" -- `fmap :: forall a b. (a -> b) -> (f a -> f b)' in `Functor f' is declared to be polymorphic in `a' and `b', you can't "fix those to be any particular types". there is a `MonoFunctor' class in some package, though .. |
| 2024-04-10 18:06:36 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 255 seconds) |
| 2024-04-10 18:08:04 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 18:10:08 +0200 | <jcarpenter2> | Thanks for the ideas ski ! |
| 2024-04-10 18:10:37 +0200 | <jcarpenter2> | I should mention, I'm still playing, I'm not even really sure what I want. I'm hoping I'll discover what I want as I write some code. |
| 2024-04-10 18:11:04 +0200 | <ski> | @hackage mono-traversable |
| 2024-04-10 18:11:04 +0200 | <lambdabot> | https://hackage.haskell.org/package/mono-traversable |
| 2024-04-10 18:11:27 +0200 | <ski> | class MonoFunctor mono |
| 2024-04-10 18:11:29 +0200 | <ski> | where |
| 2024-04-10 18:11:31 +0200 | <ski> | omap :: (Element mono -> Element mono) -> mono -> mono |
| 2024-04-10 18:11:37 +0200 | <ski> | type family Element mono |
| 2024-04-10 18:19:18 +0200 | danse-nr3 | (~danse-nr3@151.43.44.121) |
| 2024-04-10 18:19:21 +0200 | danse-nr3 | (~danse-nr3@151.43.44.121) (Remote host closed the connection) |
| 2024-04-10 18:19:46 +0200 | danse-nr3 | (~danse-nr3@151.43.44.121) |
| 2024-04-10 18:21:21 +0200 | <probie> | In my own personal code, I'm a big fan of `data Expr r = Const Int | Sum r r | ...` and then annotating via my choice of "fixed point" (e.g. `Fix Expr` `Fix (Compose ((,) SourceLoc) Expr)`), but I think that's a harder sell, and you hit issues if your type is mutually recursive |
| 2024-04-10 18:21:23 +0200 | zetef | (~quassel@5.2.182.99) (Read error: Connection reset by peer) |
| 2024-04-10 18:21:51 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-10 18:21:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-10 18:22:25 +0200 | <jcarpenter2> | Interesting |
| 2024-04-10 18:23:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 18:24:01 +0200 | <ski> | yea, that's IndirectComposite |
| 2024-04-10 18:25:31 +0200 | <ski> | probie : you can encode a record of types, all of the same kind, say `*', by parameterizing over a tag kind, like `Tag -> *', stuffing all the `data' constructors into the same declaration |
| 2024-04-10 18:27:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-10 18:28:08 +0200 | <ski> | data AST (ast :: Tag -> *) :: Tag -> * |
| 2024-04-10 18:28:09 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-04-10 18:28:10 +0200 | <ski> | where |
| 2024-04-10 18:28:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 18:28:43 +0200 | <ncf> | hmm... i don't like this "mono functor" terminology at all |
| 2024-04-10 18:28:55 +0200 | <ncf> | this is more like a "thing equipped with a setter" |
| 2024-04-10 18:29:08 +0200 | <ski> | Assign :: ast RValue -> ast RValue -> AST ast Command |
| 2024-04-10 18:29:14 +0200 | <ski> | &c. |
| 2024-04-10 18:29:47 +0200 | <ski> | er, s/ast RValue/ast LValue/ for the first one |
| 2024-04-10 18:32:21 +0200 | danse-nr3 | (~danse-nr3@151.43.44.121) (Ping timeout: 272 seconds) |
| 2024-04-10 18:39:54 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-10 18:41:04 +0200 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) |
| 2024-04-10 18:44:29 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Ping timeout: 240 seconds) |
| 2024-04-10 18:46:06 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:6204:3278:f8ee:2deb) (Quit: ubert) |
| 2024-04-10 18:54:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 19:00:45 +0200 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2024-04-10 19:01:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-04-10 19:02:54 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-10 19:03:00 +0200 | euleritian | (~euleritia@dynamic-176-006-187-042.176.6.pool.telefonica.de) |
| 2024-04-10 19:05:41 +0200 | biberu | (~biberu@user/biberu) |
| 2024-04-10 19:07:11 +0200 | hallucinagen | (~prodmezha@123.63.203.210) |
| 2024-04-10 19:08:31 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-10 19:10:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-10 19:10:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 19:12:31 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-04-10 19:16:09 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-10 19:19:19 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-10 19:21:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-10 19:27:08 +0200 | CiaoSen | (~Jura@2a05:5800:29e:cd00:e6b9:7aff:fe80:3d03) |
| 2024-04-10 19:28:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-10 19:29:49 +0200 | euleritian | (~euleritia@dynamic-176-006-187-042.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-10 19:30:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-10 19:31:26 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 19:32:27 +0200 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2024-04-10 19:34:36 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-10 19:37:46 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-04-10 19:52:01 +0200 | pentanol | (~pentanol@185.57.29.142) |
| 2024-04-10 20:00:10 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-10 20:01:24 +0200 | pentanol72 | (~pentanol@185.57.29.142) |
| 2024-04-10 20:03:01 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-10 20:04:03 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-10 20:04:39 +0200 | simendsjo | (~user@84.209.170.3) |
| 2024-04-10 20:05:20 +0200 | pentanol | (~pentanol@185.57.29.142) (Ping timeout: 250 seconds) |
| 2024-04-10 20:16:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-10 20:24:25 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-04-10 20:25:45 +0200 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-10 20:27:13 +0200 | liamzy__ | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
| 2024-04-10 20:32:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-10 20:32:25 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 20:33:27 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-10 20:33:59 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 20:35:51 +0200 | CiaoSen | (~Jura@2a05:5800:29e:cd00:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-04-10 20:38:14 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-10 20:38:26 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 20:42:42 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-10 20:58:13 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-04-10 20:58:23 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-10 20:58:29 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:fb64:bd82:5e40:c390) |
| 2024-04-10 20:58:30 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:fb64:bd82:5e40:c390) (Changing host) |
| 2024-04-10 20:58:30 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 20:58:58 +0200 | hallucinagen | (~prodmezha@123.63.203.210) (Read error: Connection reset by peer) |
| 2024-04-10 21:00:47 +0200 | mei | (~mei@user/mei) |
| 2024-04-10 21:08:32 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-04-10 21:08:46 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-10 21:10:49 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-10 21:11:21 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-10 21:12:56 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-10 21:17:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-10 21:18:35 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 2024-04-10 21:26:25 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-10 21:26:51 +0200 | <raehik> | Is there a way to attach Haddock descriptions to type arguments in type families? The regular `-- ^ bla bla` syntax in the kind signature doesn't seem to work. |
| 2024-04-10 21:27:30 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-10 21:29:42 +0200 | <raehik> | reworded, can I do the same Haddock docs for kind signatures as in type signatures |
| 2024-04-10 21:32:47 +0200 | Square | (~Square4@user/square) |
| 2024-04-10 21:36:55 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:d3de:7f3b:ff:6065) |
| 2024-04-10 21:36:56 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:d3de:7f3b:ff:6065) (Changing host) |
| 2024-04-10 21:36:56 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 21:39:49 +0200 | <jle`> | jcarpenter2: btw i think you're looking for something more like a fixed point than a free monad |
| 2024-04-10 21:40:15 +0200 | <jle`> | jcarpenter2: an Expr type like that is actually a common "tutorial" toy type for recursion-schemes |
| 2024-04-10 21:40:39 +0200 | <jle`> | jcarpenter2: ie https://blog.sumtypeofway.com/posts/introduction-to-recursion-schemes.html |
| 2024-04-10 21:41:01 +0200 | <jle`> | a lot of introductions to recursion schemes in different languages use an ADT like that as a tutorial |
| 2024-04-10 21:45:12 +0200 | pentanol72 | (~pentanol@185.57.29.142) (Quit: Client closed) |
| 2024-04-10 21:46:24 +0200 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) |
| 2024-04-10 21:50:22 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-10 21:52:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-10 21:53:53 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Remote host closed the connection) |
| 2024-04-10 21:55:42 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 2024-04-10 21:55:52 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-10 22:03:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-10 22:08:08 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-10 22:09:10 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 255 seconds) |
| 2024-04-10 22:09:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-04-10 22:11:55 +0200 | poollovernathan | (~u0_a408@108.145.176.65) (Read error: Connection reset by peer) |
| 2024-04-10 22:13:55 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-10 22:15:29 +0200 | poollovernathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) |
| 2024-04-10 22:27:55 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-10 22:28:26 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
| 2024-04-10 22:28:27 +0200 | hammond | (proscan@user/hammond2) |
| 2024-04-10 22:28:31 +0200 | poollovernathan | (~u0_a408@pool-100-7-100-131.rcmdva.fios.verizon.net) (Quit: Lost terminal) |
| 2024-04-10 22:29:09 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-04-10 22:29:27 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-10 22:29:30 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:d034:602e:6d2b:5c6e) |
| 2024-04-10 22:29:30 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:d034:602e:6d2b:5c6e) (Changing host) |
| 2024-04-10 22:29:30 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 22:46:46 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-10 22:49:10 +0200 | mei | (~mei@user/mei) |
| 2024-04-10 22:54:06 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-10 22:55:25 +0200 | liamzy__ | (~Inst@user/Inst) |
| 2024-04-10 22:58:06 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-04-10 22:59:48 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 256 seconds) |
| 2024-04-10 23:00:39 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-10 23:02:31 +0200 | destituion | (~destituio@84.208.69.255) |
| 2024-04-10 23:02:38 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-04-10 23:03:25 +0200 | simendsjo | (~user@84.209.170.3) (Ping timeout: 272 seconds) |
| 2024-04-10 23:10:11 +0200 | ania123 | (~ania123@94-43-231-47.dsl.utg.ge) (Quit: Client closed) |
| 2024-04-10 23:17:08 +0200 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-10 23:18:51 +0200 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-10 23:33:48 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-10 23:34:13 +0200 | berberman | (~berberman@user/berberman) |
| 2024-04-10 23:37:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-04-10 23:38:17 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-04-10 23:40:26 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-04-10 23:42:26 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Quit: WeeChat 4.2.1) |
| 2024-04-10 23:47:24 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
| 2024-04-10 23:47:36 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-10 23:53:09 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-10 23:54:40 +0200 | nuh^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-10 23:55:48 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
