| 2023-08-10 00:02:15 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-10 00:03:32 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) (Read error: Connection reset by peer) |
| 2023-08-10 00:03:56 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2023-08-10 00:06:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 00:08:27 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6b33:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-08-10 00:08:30 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) |
| 2023-08-10 00:09:08 +0200 | <yin> | > iterate pred (0 :: Int) !! 2^64+1 |
| 2023-08-10 00:09:10 +0200 | <lambdabot> | 1 |
| 2023-08-10 00:09:18 +0200 | <yin> | ohh this is super confusing |
| 2023-08-10 00:09:23 +0200 | <yin> | > iterate pred (0 :: Int) !! (2^64+1) |
| 2023-08-10 00:09:25 +0200 | <lambdabot> | -1 |
| 2023-08-10 00:10:04 +0200 | <c_wraith> | if either of those is terminating, it's not the way you think. |
| 2023-08-10 00:10:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-10 00:10:43 +0200 | <c_wraith> | I assure you lambdabot is not doing 2^64 iterations of anything. |
| 2023-08-10 00:11:11 +0200 | <c_wraith> | Oh. right. |
| 2023-08-10 00:11:17 +0200 | <c_wraith> | :t (!!) |
| 2023-08-10 00:11:18 +0200 | <lambdabot> | [a] -> Int -> a |
| 2023-08-10 00:11:28 +0200 | <c_wraith> | > (2^64 + 1) :: Int |
| 2023-08-10 00:11:29 +0200 | <lambdabot> | 1 |
| 2023-08-10 00:11:43 +0200 | <yin> | yes, it took me a while |
| 2023-08-10 00:11:55 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-10 00:14:09 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-08-10 00:15:01 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-10 00:15:25 +0200 | <monochrom> | Oh haha |
| 2023-08-10 00:16:37 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-10 00:16:42 +0200 | son0p | (~ff@181.32.134.99) (Remote host closed the connection) |
| 2023-08-10 00:17:08 +0200 | <Square> | What does tilde mean in a "let ~x = ..." ? |
| 2023-08-10 00:18:16 +0200 | <dolio> | It means that the pattern is irrefutable, but normally that would do nothing in that specific example. |
| 2023-08-10 00:18:21 +0200 | <yin> | c_wraith: monochrom: (!!) has fixity 9 , (^) has 8 and (+) has 6, so the first is (iterate pred (0 :: Int) !! 2) ^ 64 + 1 |
| 2023-08-10 00:19:15 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2023-08-10 00:19:48 +0200 | <monochrom> | "let ~(x,y) = foo" is lazier than "case foo of (x,y)" |
| 2023-08-10 00:20:21 +0200 | <dolio> | Irrefutable patterns always match, but if the scrutinee does not match the subpattern (x in this case), variables in the subpattern are bound to bottoms. |
| 2023-08-10 00:20:26 +0200 | <Square> | oh.. in the code I read its actuallt "let ~((a, f), w) = runWriter act" |
| 2023-08-10 00:20:36 +0200 | <Square> | actually* |
| 2023-08-10 00:20:38 +0200 | <yin> | monochrom: i was under the impression that let bindings were irrefutable? |
| 2023-08-10 00:21:05 +0200 | <monochrom> | Oh heh, yeah that ~ example is redundant. |
| 2023-08-10 00:21:34 +0200 | <dolio> | Yeah, both let bindings and variables are irrefutable normally. |
| 2023-08-10 00:21:48 +0200 | <Square> | thanks |
| 2023-08-10 00:21:57 +0200 | <c_wraith> | Square: that ~ seems to be redundant too, unless the module has -XStrict or something |
| 2023-08-10 00:22:09 +0200 | <Square> | ok |
| 2023-08-10 00:22:21 +0200 | <monochrom> | You start to have fun with "let (~(Just z), _)" or "case foo of ~(~(Just z), _)" |
| 2023-08-10 00:22:37 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-10 00:22:44 +0200 | <probie> | > (\(x,y) -> 1) undefined |
| 2023-08-10 00:22:45 +0200 | <lambdabot> | *Exception: Prelude.undefined |
| 2023-08-10 00:22:49 +0200 | <probie> | > (\ ~(x,y) -> 1) undefined |
| 2023-08-10 00:22:50 +0200 | <lambdabot> | 1 |
| 2023-08-10 00:23:02 +0200 | <dolio> | Yeah, you can come up with examples where it matters. |
| 2023-08-10 00:23:04 +0200 | <yin> | monochrom: if by fun you mean mental problems |
| 2023-08-10 00:24:28 +0200 | <dolio> | > let (Just _, x) = (Nothing, 5) ; (~(Just _), y) = (Nothing, 6) in (y,x) |
| 2023-08-10 00:24:29 +0200 | <lambdabot> | (6,*Exception: <interactive>:3:5-30: Non-exhaustive patterns in (Just _, x) |
| 2023-08-10 00:25:13 +0200 | <yin> | close |
| 2023-08-10 00:25:23 +0200 | <yin> | > (~(Just _), y) = (Nothing, 6) in (y,x) |
| 2023-08-10 00:25:24 +0200 | <lambdabot> | <hint>:1:2: error: Pattern syntax in expression context: ~(Just _) |
| 2023-08-10 00:25:24 +0200 | <lambdabot> | <hint>:1:16: error: parse error on input ‘=’ |
| 2023-08-10 00:25:35 +0200 | <yin> | > let (~(Just _), y) = (Nothing, 6) in (y,x) |
| 2023-08-10 00:25:37 +0200 | <lambdabot> | (6,x) |
| 2023-08-10 00:25:39 +0200 | <yin> | there we go |
| 2023-08-10 00:26:42 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 00:27:09 +0200 | <monochrom> | There is a long chain of rules from the Haskell Report that concludes that if you evaluate that x, then the whole pattern (Just _, x) is checked. |
| 2023-08-10 00:28:42 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-092-142.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-08-10 00:29:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 00:29:57 +0200 | <yin> | something something whnf? |
| 2023-08-10 00:29:58 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-08-10 00:31:06 +0200 | <monochrom> | The principle was that "~" is all-or-nothing: with "~pat", either pat is not checked at all or all of pat is checked (unless you add inner ~'s to block). |
| 2023-08-10 00:32:54 +0200 | <monochrom> | It is orthogonal to whnf. With nested patterns, whnf almost explains nothing. |
| 2023-08-10 00:33:12 +0200 | <monochrom> | seq is when whnf explains something. |
| 2023-08-10 00:34:39 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 00:35:37 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-10 00:35:48 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-10 00:37:29 +0200 | <probie> | I've seen it used from time to time when a function returns a tuple, but also needs the result during the computation |
| 2023-08-10 00:38:51 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 00:43:18 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 01:00:48 +0200 | <geekosaur> | @src partition |
| 2023-08-10 01:00:48 +0200 | <lambdabot> | partition p xs = foldr (select p) ([],[]) xs |
| 2023-08-10 01:00:48 +0200 | <lambdabot> | where select p x ~(ts,fs) | p x = (x:ts,fs) |
| 2023-08-10 01:00:48 +0200 | <lambdabot> | | otherwise = (ts, x:fs) |
| 2023-08-10 01:02:52 +0200 | toqueteos | (~toqueteos@228.red-81-35-152.dynamicip.rima-tde.net) (Quit: Client closed) |
| 2023-08-10 01:10:27 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-10 01:12:04 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-10 01:12:08 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 244 seconds) |
| 2023-08-10 01:12:08 +0200 | mauke_ | mauke |
| 2023-08-10 01:20:16 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-10 01:24:33 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-10 01:31:13 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) (Quit: Konversation terminated!) |
| 2023-08-10 01:34:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 01:36:45 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-10 01:38:33 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-10 01:40:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 01:43:02 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 246 seconds) |
| 2023-08-10 01:47:02 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 245 seconds) |
| 2023-08-10 01:47:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-10 01:49:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 01:49:58 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 01:49:58 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 01:50:05 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-10 01:50:17 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2023-08-10 01:50:17 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2023-08-10 01:50:17 +0200 | haritz | (~hrtz@user/haritz) |
| 2023-08-10 01:50:29 +0200 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) |
| 2023-08-10 01:50:52 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 01:51:32 +0200 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
| 2023-08-10 01:59:55 +0200 | niko | (niko@libera/staff/niko) (Ping timeout: 600 seconds) |
| 2023-08-10 02:01:30 +0200 | gry | (quasselcor@botters/gry) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-10 02:02:35 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 02:04:25 +0200 | tv | (~tv@user/tv) |
| 2023-08-10 02:04:51 +0200 | tabaqui | (~root@85.106.195.28) |
| 2023-08-10 02:05:02 +0200 | califax | (~califax@user/califx) |
| 2023-08-10 02:07:27 +0200 | niko | (niko@libera/staff/niko) |
| 2023-08-10 02:10:48 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-08-10 02:14:39 +0200 | tabaqui | (~root@85.106.195.28) (Quit: WeeChat 4.0.2) |
| 2023-08-10 02:15:02 +0200 | tabaqui | (~root@85.106.195.28) |
| 2023-08-10 02:15:42 +0200 | pavonia_ | (~user@user/siracusa) |
| 2023-08-10 02:17:52 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 2023-08-10 02:17:52 +0200 | pavonia_ | pavonia |
| 2023-08-10 02:20:36 +0200 | <tabaqui> | Hi, all! I have a question about kinds. Imagine, that I have "type family X a :: Type -> Type", and I want to create such instance of it: "type instance X Int = \a -> Int -> Maybe a". I know that Haskell currently has no type lambda types yet, but is it possible to use at least type composition like this: "type instance X Int = ((->) Int) . Maybe"? |
| 2023-08-10 02:22:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-10 02:26:56 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2023-08-10 02:28:41 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Remote host closed the connection) |
| 2023-08-10 02:32:27 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2023-08-10 02:34:26 +0200 | fbytez | (~uid@user/fbytez) (Quit: byte byte) |
| 2023-08-10 02:34:54 +0200 | fbytez | (~uid@user/fbytez) |
| 2023-08-10 02:36:37 +0200 | <[Leary]> | tabaqui: Only if you can accept a layer of newtype wrapping. Options include `Compose ((->) Int) Maybe` and `ReaderT Int Maybe`. |
| 2023-08-10 02:38:34 +0200 | <tabaqui> | [Leary]: Yeah, I've been considering this. I'd prefer more transparent interface |
| 2023-08-10 02:38:50 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2023-08-10 02:39:54 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-10 02:41:41 +0200 | razetime | (~quassel@117.254.36.178) |
| 2023-08-10 02:46:26 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-08-10 02:52:07 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-10 02:52:34 +0200 | <rselim> | @src seq |
| 2023-08-10 02:52:34 +0200 | <lambdabot> | Source not found. I feel much better now. |
| 2023-08-10 02:52:41 +0200 | <rselim> | can seq be implemented in pure Haskell? |
| 2023-08-10 02:53:32 +0200 | <geekosaur> | no |
| 2023-08-10 02:54:10 +0200 | <[Leary]> | Unless you count GHC2021 as "Haskell". |
| 2023-08-10 02:54:10 +0200 | <geekosaur> | in early versions of Haskell it was done via a typeclass; iirc functions didn't work right with that |
| 2023-08-10 02:54:56 +0200 | <EvanR> | seq = #seq |
| 2023-08-10 02:55:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 02:57:21 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 02:58:19 +0200 | <Square> | Im trying to use "class Monad m => MonadReader r m | m -> r where ..." for my "newtype MyReadF e a = MyReadF { runReadF :: e -> a } type. So I have "type MyRead = Free MyReadF". There is "instance [safe] (Functor m, MonadReader e m) => MonadReader e (Free m)". But that looks as if MyReadF needs to implement MonadReader, and the requires MyReadF to be a Monad. But only MyRead is a Monad. I'm confuesed. |
| 2023-08-10 02:59:03 +0200 | <Square> | s/and the requires/and it requires/ |
| 2023-08-10 02:59:12 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-10 03:00:48 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 2023-08-10 03:03:52 +0200 | <Square> | I mean "Free MyReadF" is a monad, but MyReadF isn't. But the instance "MonadReader e (Free f)" would require the latter, it looks like. |
| 2023-08-10 03:04:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 03:05:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-10 03:10:30 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-10 03:12:49 +0200 | <[Leary]> | Square: Don't you want `Free (MyReadF e)`? That could be a monad. |
| 2023-08-10 03:12:55 +0200 | Square2 | (~Square4@user/square) |
| 2023-08-10 03:13:07 +0200 | <rselim> | thanks, interesting |
| 2023-08-10 03:14:00 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-08-10 03:14:13 +0200 | <Square2> | (had to change computer, incase someone replied to my question) |
| 2023-08-10 03:15:35 +0200 | <[Leary]> | Check the logs. |
| 2023-08-10 03:15:49 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-08-10 03:15:50 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-08-10 03:16:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-10 03:16:44 +0200 | <Square2> | I'm afraid I might have missed it in that case, had 1-2 minutes of disconnect |
| 2023-08-10 03:20:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c273:dfcc:236d:9211) (Ping timeout: 240 seconds) |
| 2023-08-10 03:20:41 +0200 | razetime | (~quassel@117.254.36.178) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-10 03:30:16 +0200 | <EvanR> | public logs linked in the topic |
| 2023-08-10 03:34:21 +0200 | <Square2> | EvanR, thanks. [Leary], right exactly. Typo. |
| 2023-08-10 03:36:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-10 03:37:35 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-10 03:53:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-10 03:54:20 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-10 04:07:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 04:07:42 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-10 04:11:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-10 04:16:34 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 04:19:27 +0200 | ursa-major | (~ursa-majo@static-198-44-128-152.cust.tzulo.com) |
| 2023-08-10 04:23:03 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-10 04:31:54 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-10 04:33:48 +0200 | td_ | (~td@i5387092A.versanet.de) |
| 2023-08-10 04:34:46 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-10 04:38:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-10 04:49:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-10 04:52:31 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-10 04:57:01 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-10 04:57:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-10 04:57:01 +0200 | finn_elija | FinnElija |
| 2023-08-10 04:59:25 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-10 05:05:32 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-10 05:08:14 +0200 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) (Read error: Connection reset by peer) |
| 2023-08-10 05:08:38 +0200 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) |
| 2023-08-10 05:10:26 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-10 05:18:09 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc8:8b00:76c5:2645:7442:f0e7) |
| 2023-08-10 05:18:09 +0200 | aforemny | (~aforemny@i59F516C2.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-10 05:19:12 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-10 05:20:19 +0200 | ursa-major | (~ursa-majo@static-198-44-128-152.cust.tzulo.com) (Quit: WeeChat 4.0.2) |
| 2023-08-10 05:22:02 +0200 | ddellacosta | (~ddellacos@146.70.166.219) (Ping timeout: 256 seconds) |
| 2023-08-10 05:23:52 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-10 05:29:41 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2023-08-10 05:30:32 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-08-10 05:31:44 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 05:33:42 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 245 seconds) |
| 2023-08-10 05:33:42 +0200 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-08-10 05:33:44 +0200 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) (Read error: Connection reset by peer) |
| 2023-08-10 05:34:08 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2023-08-10 05:39:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 05:46:37 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 260 seconds) |
| 2023-08-10 05:58:59 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-10 06:05:34 +0200 | nick4 | (~nick@2600:8807:9084:7800:4d1:6f81:aa5b:f64) |
| 2023-08-10 06:08:10 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-10 06:08:23 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-10 06:18:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 06:18:12 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 06:18:12 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 06:25:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 06:30:06 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 06:38:02 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap237) |
| 2023-08-10 06:38:47 +0200 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2023-08-10 06:46:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 06:50:46 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 06:52:41 +0200 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-10 06:57:48 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-08-10 07:00:55 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 245 seconds) |
| 2023-08-10 07:01:45 +0200 | shapr | (~user@2600:1700:c640:3100:40c:ae4c:e272:f9ec) (Ping timeout: 245 seconds) |
| 2023-08-10 07:05:11 +0200 | <NewtonTrendy> | is haskell considered a general purpose language? |
| 2023-08-10 07:05:33 +0200 | <monochrom> | Yes. |
| 2023-08-10 07:06:10 +0200 | <NewtonTrendy> | also id like to know if theres a haskell package manager for libraries and if theres and interpreter i can go haskell filename |
| 2023-08-10 07:06:42 +0200 | <NewtonTrendy> | but i will go look this up i guess |
| 2023-08-10 07:06:44 +0200 | <NewtonTrendy> | thanks |
| 2023-08-10 07:08:41 +0200 | <NewtonTrendy> | https://www.reddit.com/r/haskell/comments/l9p8gz/piplike_package_management_for_haskell/ first answer only has 48 upvotes |
| 2023-08-10 07:08:52 +0200 | <NewtonTrendy> | answers both questions |
| 2023-08-10 07:09:17 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-08-10 07:10:42 +0200 | <probie> | NewtonTrendy: whilst that answer is relevant, be careful when googling with questions about Haskell tooling - a lot has changed (for the better) in the past 5 or so years |
| 2023-08-10 07:11:09 +0200 | <NewtonTrendy> | thanks for the heads up |
| 2023-08-10 07:11:46 +0200 | <NewtonTrendy> | if there is one thing that will make me more excited to learn haskell (coming from python exclusively) and make it simpler, what is it? |
| 2023-08-10 07:12:22 +0200 | <NewtonTrendy> | how does the term tooling mean in haskell in general, its not a term ive seen used frequently before |
| 2023-08-10 07:13:57 +0200 | <rselim> | is "liftA2 ($)" perfectly legitimate? i remember there being something *weird* about ($) |
| 2023-08-10 07:14:37 +0200 | <probie> | The only weird thing about `($)` is that its type is more general than what is shown when you |
| 2023-08-10 07:14:41 +0200 | <probie> | :t ($) |
| 2023-08-10 07:14:41 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-10 07:14:41 +0200 | <lambdabot> | (a -> b) -> a -> b |
| 2023-08-10 07:15:05 +0200 | <probie> | `liftA2` has already restricted the type to what is shown there, so you don't need to worry about it |
| 2023-08-10 07:17:03 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-10 07:17:09 +0200 | <probie> | `($)` is levity polymorphic in the second argument (i.e it can be something that isn't in `Type` like an unlifted type or an unboxed type) |
| 2023-08-10 07:18:24 +0200 | <Square2> | NewtonTrendy, build-tools, IDE's, documentation helpers, etc. |
| 2023-08-10 07:18:50 +0200 | <probie> | s/is levity polymorphic in the second argument/is levity polymorphic/ |
| 2023-08-10 07:20:35 +0200 | <probie> | Sorry, I'm half asleep (a constant state of mine it seems). In `(a -> b) -> a -> b`, the `b` is allowed to have any representation (more concretely `forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b`) |
| 2023-08-10 07:27:28 +0200 | <rselim> | thanks probie |
| 2023-08-10 07:28:35 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-10 07:44:14 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 07:48:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 08:05:19 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 08:07:58 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 08:11:58 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-08-10 08:15:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 08:16:05 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-10 08:17:48 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 08:18:23 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2023-08-10 08:35:35 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-10 08:36:09 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-10 08:37:32 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 260 seconds) |
| 2023-08-10 08:39:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 08:39:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:df3a:77b4:e1f:fb75) |
| 2023-08-10 08:41:31 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-08-10 08:41:39 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:3f9:96d9:976e:1fc6) (Remote host closed the connection) |
| 2023-08-10 08:42:04 +0200 | lottaquestions_ | (~nick@2607:fa49:503d:b200:a3d5:6082:acef:ed36) |
| 2023-08-10 08:43:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-10 08:46:29 +0200 | vpan | (~0@mail.elitnet.lt) |
| 2023-08-10 08:50:13 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) |
| 2023-08-10 08:51:21 +0200 | ursa-major | (~ursa-majo@37.19.210.37) |
| 2023-08-10 08:54:37 +0200 | trev | (~trev@user/trev) |
| 2023-08-10 08:58:51 +0200 | trev | (~trev@user/trev) (Ping timeout: 246 seconds) |
| 2023-08-10 09:04:32 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-08-10 09:11:50 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 09:14:22 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 256 seconds) |
| 2023-08-10 09:16:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 09:16:57 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-10 09:18:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-10 09:20:51 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-10 09:22:18 +0200 | haskl | (~haskl@user/haskl) (Ping timeout: 246 seconds) |
| 2023-08-10 09:22:27 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2023-08-10 09:22:59 +0200 | haskl | (~haskl@user/haskl) |
| 2023-08-10 09:23:14 +0200 | ubert | (~Thunderbi@178.165.167.228.wireless.dyn.drei.com) |
| 2023-08-10 09:24:31 +0200 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-08-10 09:27:47 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-10 09:27:58 +0200 | ubert | (~Thunderbi@178.165.167.228.wireless.dyn.drei.com) (Client Quit) |
| 2023-08-10 09:30:01 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Remote host closed the connection) |
| 2023-08-10 09:30:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 09:36:40 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-10 09:36:51 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-10 09:38:54 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-08-10 09:49:25 +0200 | chele | (~chele@user/chele) |
| 2023-08-10 09:50:06 +0200 | mmhat | (~mmh@p200300f1c73d19aeee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-10 09:50:22 +0200 | mauke | (~mauke@user/mauke) |
| 2023-08-10 09:58:18 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-10 10:04:04 +0200 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-10 10:07:21 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-10 10:12:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-10 10:13:22 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2023-08-10 10:25:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-10 10:45:13 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 10:45:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-10 10:49:34 +0200 | merijn | (~merijn@195.114.232.94) |
| 2023-08-10 10:49:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-10 11:01:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Remote host closed the connection) |
| 2023-08-10 11:01:41 +0200 | comerijn | (~merijn@185.143.104.11) |
| 2023-08-10 11:04:20 +0200 | merijn | (~merijn@195.114.232.94) (Ping timeout: 250 seconds) |
| 2023-08-10 11:05:04 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-10 11:10:07 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-10 11:10:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 11:11:54 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-10 11:13:09 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2023-08-10 11:15:55 +0200 | mention | (~mention@bcdcac82.skybroadband.com) (Ping timeout: 245 seconds) |
| 2023-08-10 11:19:39 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-10 11:24:07 +0200 | deviance | (~deviance@bcdcac82.skybroadband.com) |
| 2023-08-10 11:33:44 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-10 11:47:38 +0200 | comerijn | (~merijn@185.143.104.11) (Ping timeout: 244 seconds) |
| 2023-08-10 11:48:37 +0200 | nick4 | (~nick@2600:8807:9084:7800:4d1:6f81:aa5b:f64) (Ping timeout: 246 seconds) |
| 2023-08-10 11:50:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-08-10 11:51:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-10 11:51:55 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2023-08-10 11:53:08 +0200 | danse-nr3 | (~francesco@151.46.155.252) |
| 2023-08-10 11:53:09 +0200 | merijn | (~merijn@195.114.232.94) |
| 2023-08-10 11:55:03 +0200 | tabaqui | (~root@85.106.195.28) (Ping timeout: 246 seconds) |
| 2023-08-10 12:00:41 +0200 | danse-nr3 | (~francesco@151.46.155.252) (Remote host closed the connection) |
| 2023-08-10 12:01:04 +0200 | danse-nr3 | (~francesco@151.46.155.252) |
| 2023-08-10 12:01:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-10 12:03:38 +0200 | <lortabac> | I need to add an import to every module in my project. Is there a tool that I can use to automate the process? |
| 2023-08-10 12:04:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-10 12:07:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Ping timeout: 240 seconds) |
| 2023-08-10 12:11:54 +0200 | tabaqui | (~root@88.238.15.186) |
| 2023-08-10 12:13:20 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-10 12:13:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 12:15:13 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-08-10 12:15:13 +0200 | Katarushisu1 | Katarushisu |
| 2023-08-10 12:20:03 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-10 12:27:15 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-10 12:29:04 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-08-10 12:31:02 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b518:c278:2e70:5909) |
| 2023-08-10 12:34:16 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-10 12:35:47 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b518:c278:2e70:5909) (Ping timeout: 245 seconds) |
| 2023-08-10 12:37:56 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-10 12:38:16 +0200 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-10 12:50:50 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-10 12:51:32 +0200 | stef204 | (~stef204@user/stef204) |
| 2023-08-10 12:52:52 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 2023-08-10 12:58:58 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 246 seconds) |
| 2023-08-10 13:08:57 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-10 13:11:32 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 13:12:04 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-08-10 13:13:22 +0200 | libertyprime | (~libertypr@203.96.203.44) (Client Quit) |
| 2023-08-10 13:13:39 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-08-10 13:15:49 +0200 | <merijn> | lortabac: Not that I know off. I will usually have, like, a project-specific "prelude" that re-exports all such universal things and import that in every module, which simplifies that kinda thing, but that doesn't help you *now* :p |
| 2023-08-10 13:17:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 13:18:44 +0200 | <lortabac> | merijn: our custom prelude is called Prelude and we use base-noprelude to import it implicitly. I want to get rid of base-noprelude and import our prelude explicitly in every module |
| 2023-08-10 13:20:13 +0200 | <xerox> | sed/awk? :) |
| 2023-08-10 13:20:57 +0200 | <lortabac> | xerox: do you know how to write a Haskell parser in sed? :) |
| 2023-08-10 13:21:42 +0200 | <Hecate> | lortabac: backpack with Cabal's mixins should do it |
| 2023-08-10 13:22:02 +0200 | <lortabac> | Hecate: good idea! |
| 2023-08-10 13:22:07 +0200 | <Hecate> | lortabac: https://flora.pm/packages/@hackage/relude#mixins |
| 2023-08-10 13:22:10 +0200 | <Hecate> | check this out |
| 2023-08-10 13:22:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-10 13:23:57 +0200 | <lortabac> | Hecate: you saved me from editing 508 files manually |
| 2023-08-10 13:26:57 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-10 13:29:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 13:30:13 +0200 | <Hecate> | lortabac: buy me a beer next you're in Paris |
| 2023-08-10 13:30:14 +0200 | <Hecate> | :p |
| 2023-08-10 13:31:22 +0200 | <lortabac> | Hecate: deal :) |
| 2023-08-10 13:31:46 +0200 | <merijn> | Hecate: Do they even have beer in paris? ;) |
| 2023-08-10 13:32:25 +0200 | <Hecate> | merijn: the finest belgian beer |
| 2023-08-10 13:33:23 +0200 | <merijn> | Hecate: The finest Belgian beer goes north to NL ;) Last time I was skiing in France one of my colleagues got so frustrated by the inadequate beer tapping skills of the France stuff he ended up giving an impromptu "how to pour a beer" workshop :p |
| 2023-08-10 13:34:07 +0200 | <Hecate> | merijn: well the french-speaking immigrants of Belgium in Paris have also brought their beer ;) |
| 2023-08-10 13:34:14 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 13:34:41 +0200 | vpan | (~0@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-08-10 13:35:06 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-08-10 13:36:24 +0200 | <lortabac> | TBH my beer-drinking skills are extremely low, they can serve me fruit juice and I'd probably not even notice :) |
| 2023-08-10 13:37:06 +0200 | <merijn> | lortabac: That's called kriek ;) |
| 2023-08-10 13:37:23 +0200 | <merijn> | Or lambic :p |
| 2023-08-10 13:37:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-10 13:37:46 +0200 | <lortabac> | haha now I'm curious to taste it |
| 2023-08-10 13:37:55 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-10 13:38:37 +0200 | andreas808 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-08-10 13:38:47 +0200 | <merijn> | lortabac: It's essentially beer where fruit (usually some form of cherry, but apple, etc. works too) is mashed into the malt, so you get, like, co-fermentation of beer and some kind of cider. Great for hot summers |
| 2023-08-10 13:38:59 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-10 13:39:07 +0200 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 260 seconds) |
| 2023-08-10 13:41:04 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-08-10 13:41:47 +0200 | <gensyst> | Creating a Map k v is O(nlogn) as you know. Just to confirm, creating a nested map Map k1 (Map k2 v) is just O(n1*log(n1) + n2*log(n2)), right? |
| 2023-08-10 13:42:22 +0200 | <yin> | how does the implicit import of Prelude work exactly? if we locally verndor a library called "base" with a Prelude module what happens? |
| 2023-08-10 13:42:32 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-08-10 13:42:49 +0200 | <merijn> | yin: I would say "don't do that" :p |
| 2023-08-10 13:43:03 +0200 | yin | is doing thatr |
| 2023-08-10 13:43:11 +0200 | <c_wraith> | there's very little issue creating your own prelude. But try to avoid creating package name conflicts. |
| 2023-08-10 13:43:16 +0200 | <merijn> | When I say a "project specific prelude" I just explicitly import that module and don't mean "have it implicitly imported everywhere" |
| 2023-08-10 13:43:48 +0200 | <merijn> | c_wraith: I mean, the main thing is that you can get 99.99% of the benefit of a custom Prelude at 0 downsides if you just include one line in every module ;) |
| 2023-08-10 13:44:05 +0200 | <merijn> | So I would strongly recommend *that* over trying to get your own stuff implicitly loaded as Prelude |
| 2023-08-10 13:44:13 +0200 | <c_wraith> | you don't get exporting *less* than Prelude that way |
| 2023-08-10 13:44:39 +0200 | <merijn> | c_wraith: Easily solved by 1 extra line ;) |
| 2023-08-10 13:44:40 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-10 13:44:53 +0200 | <c_wraith> | a very very long line.... |
| 2023-08-10 13:45:03 +0200 | <merijn> | "import Prelude ()" should hide everything other than classes in Prelude |
| 2023-08-10 13:45:37 +0200 | <merijn> | And hiding the Prelude classes should, imo, be a niche thing |
| 2023-08-10 13:45:46 +0200 | <c_wraith> | instances, not classes. |
| 2023-08-10 13:46:05 +0200 | <c_wraith> | And anyway, I don't like NoImplicitPrelude. It gets weird. |
| 2023-08-10 13:46:07 +0200 | <merijn> | eh, yeah |
| 2023-08-10 13:46:13 +0200 | vglfr | (~vglfr@188.239.201.89) (Ping timeout: 246 seconds) |
| 2023-08-10 13:46:41 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:28fe:a97d:a506:64fb) |
| 2023-08-10 13:47:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 13:47:27 +0200 | <merijn> | ok, so explicitly importing a custom Prelude gets you 95% of the benefit and adding "import Prelude ()" get's you another 4.99% benefit. And if you need more than that, then I hope the gods have mercy on you for your foolishness ;) |
| 2023-08-10 13:47:53 +0200 | <c_wraith> | I mean, or you could get the exact same behavior with 0 lines per file |
| 2023-08-10 13:48:04 +0200 | <c_wraith> | So I don't know what "bad thing" you mean |
| 2023-08-10 13:51:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 13:53:07 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-08-10 13:56:29 +0200 | phma | (~phma@host-67-44-208-159.hnremote.net) |
| 2023-08-10 13:58:02 +0200 | <danse-nr3> | oops gensyst left before i could try an answer |
| 2023-08-10 14:00:25 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-10 14:01:56 +0200 | tenniscp25 | (~tenniscp2@cm-171-101-105-216.revip11.asianet.co.th) |
| 2023-08-10 14:02:14 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:28fe:a97d:a506:64fb) (Ping timeout: 256 seconds) |
| 2023-08-10 14:02:50 +0200 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-10 14:03:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-10 14:03:08 +0200 | tenniscp25 | (~tenniscp2@cm-171-101-105-216.revip11.asianet.co.th) (Client Quit) |
| 2023-08-10 14:07:02 +0200 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 245 seconds) |
| 2023-08-10 14:11:55 +0200 | danse-nr3 | (~francesco@151.46.155.252) (Ping timeout: 240 seconds) |
| 2023-08-10 14:14:07 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-08-10 14:14:19 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ece5:978b:e3a7:acd2) |
| 2023-08-10 14:14:27 +0200 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-10 14:16:10 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-10 14:19:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-10 14:24:20 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 256 seconds) |
| 2023-08-10 14:28:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:df3a:77b4:e1f:fb75) (Ping timeout: 256 seconds) |
| 2023-08-10 14:33:17 +0200 | stef204 | (~stef204@user/stef204) |
| 2023-08-10 14:38:41 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-08-10 14:40:20 +0200 | ulysses4ever | (~artem@155.33.133.49) |
| 2023-08-10 14:44:52 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-10 14:46:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 14:50:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 14:57:42 +0200 | danse-nr3 | (~francesco@151.35.148.181) |
| 2023-08-10 15:12:56 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-08-10 15:16:09 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-08-10 15:19:14 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-10 15:28:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-10 15:30:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 15:35:26 +0200 | ulysses4ever | (~artem@155.33.133.49) (Read error: Connection reset by peer) |
| 2023-08-10 15:35:30 +0200 | artem | (~artem@155.33.133.49) |
| 2023-08-10 15:36:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 15:36:04 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 15:36:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 15:36:43 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-10 15:37:06 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-10 15:37:30 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 15:37:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-10 15:38:23 +0200 | ystael | (~ystael@user/ystael) |
| 2023-08-10 15:39:52 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-10 15:39:56 +0200 | artem | (~artem@155.33.133.49) (Ping timeout: 250 seconds) |
| 2023-08-10 15:41:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 15:46:00 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-08-10 15:46:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 15:47:12 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-10 15:48:10 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 250 seconds) |
| 2023-08-10 15:48:16 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 15:52:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c1c2:633:c03:e500) |
| 2023-08-10 15:54:02 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 15:56:08 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-08-10 15:57:34 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-10 15:58:07 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 16:07:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:776f:7839:7989:d024) |
| 2023-08-10 16:07:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-10 16:09:15 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-10 16:09:55 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-08-10 16:10:10 +0200 | <gensyst> | Creating a Map k v is O(nlogn) as you know. Just to confirm, creating a nested map Map k1 (Map k2 v) is just O(n1*log(n1) + n2*log(n2)), right? |
| 2023-08-10 16:11:21 +0200 | <gensyst> | n1 number of keys in outer map, and n2 the usual number of keys in one of the inner maps |
| 2023-08-10 16:12:28 +0200 | <opqdonut> | more like O(n1*log(n1) + n1*n2*log(n2)) |
| 2023-08-10 16:12:36 +0200 | <opqdonut> | since there are n1 inner maps |
| 2023-08-10 16:13:04 +0200 | <opqdonut> | but yeah, the outer and inner maps are independent so you can just naively sum the big-O complexities |
| 2023-08-10 16:13:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 16:13:45 +0200 | <gensyst> | second question, would you say Float/Double keys would be quite a bit faster than ByteString (serialized Float/Double) keys? |
| 2023-08-10 16:13:58 +0200 | <geekosaur> | a lot less reliable though |
| 2023-08-10 16:13:59 +0200 | <gensyst> | i guess, so. but how much approx? orders of magnitude? |
| 2023-08-10 16:14:22 +0200 | <geekosaur> | FP inaccuracy will be poised to bite hard |
| 2023-08-10 16:14:50 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 16:14:58 +0200 | <merijn> | geekosaur: What? Why would they be less reliable than their bytestring serialised equivalent? |
| 2023-08-10 16:15:23 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-10 16:15:32 +0200 | <opqdonut> | gensyst: best to measure for your use case |
| 2023-08-10 16:15:39 +0200 | <opqdonut> | the difference won't be big, I think |
| 2023-08-10 16:15:42 +0200 | <geekosaur> | you can truncate the low bits off the bytestrings; try that with a Double |
| 2023-08-10 16:15:48 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 16:17:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 16:17:50 +0200 | <opqdonut> | Double keys are totally fine if you don't do arithmetic with them |
| 2023-08-10 16:17:53 +0200 | <merijn> | The question was "Double as key" vs "ByteString serialisation of a Double as key", no? |
| 2023-08-10 16:17:57 +0200 | <opqdonut> | I mean if you just use them as opaque identifiers |
| 2023-08-10 16:18:03 +0200 | <merijn> | In which case Double is obviously better |
| 2023-08-10 16:18:46 +0200 | <merijn> | There's nothing inherently unreliable about Double as key for a Map |
| 2023-08-10 16:19:05 +0200 | <opqdonut> | I guess even arithmetic is fine as long if you don't expect reliable lookup. Maybe you just want some objects sorted by their x position or something. |
| 2023-08-10 16:19:10 +0200 | <merijn> | well, maybe trying to insert/look up NaN will turns everything to shit, but "Just Don't Do That, Then" |
| 2023-08-10 16:19:35 +0200 | <gensyst> | merijn, "obviously better", how better? :) |
| 2023-08-10 16:19:44 +0200 | <merijn> | opqdonut: I mean, if your arithmetic is deterministic and you are willing to invest a bit of effort even that can work |
| 2023-08-10 16:19:50 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-08-10 16:19:56 +0200 | <merijn> | gensyst: Double takes up less space and I would assume the comparisons to be faster |
| 2023-08-10 16:20:46 +0200 | <gensyst> | merijn, the comparisons ought to be crazily faster right? as in just one CPU instruction or something, compared to byte-by-byte comparisons |
| 2023-08-10 16:20:55 +0200 | <opqdonut> | merijn: yeah, quite a bit of effort since you can't rely on associativity |
| 2023-08-10 16:21:15 +0200 | <opqdonut> | but for a niche use case it might be good |
| 2023-08-10 16:21:17 +0200 | <merijn> | opqdonut: Associativity is irrelevant if your computation is deterministic (i.e. same operations in same order) |
| 2023-08-10 16:21:23 +0200 | <merijn> | gensyst: yes |
| 2023-08-10 16:21:31 +0200 | <gensyst> | nice thanks |
| 2023-08-10 16:21:48 +0200 | <merijn> | opqdonut: You will have to fiddle with the FP configuration of the process, though. So that's some setup effort to deal with |
| 2023-08-10 16:22:11 +0200 | <opqdonut> | merijn: yeah I understood you, I was just thinking that having something like k1+(k2-k1)=k1 would be pretty useful in the cases I can imagine |
| 2023-08-10 16:22:22 +0200 | <merijn> | (since by default Intel machines use 80 bit FP that gets truncated on store |
| 2023-08-10 16:22:24 +0200 | <merijn> | ) |
| 2023-08-10 16:22:31 +0200 | <merijn> | So then your FP result depends on scheduling |
| 2023-08-10 16:22:41 +0200 | <merijn> | but in FP strict mode it is always deterministic |
| 2023-08-10 16:22:59 +0200 | <opqdonut> | right, I had actually forgotten about that |
| 2023-08-10 16:23:15 +0200 | <opqdonut> | such a weird design |
| 2023-08-10 16:23:51 +0200 | <merijn> | Knowing obscure minutiae like that is how you get the big bucks ;) |
| 2023-08-10 16:23:58 +0200 | <merijn> | (not that I get the big bucks...) |
| 2023-08-10 16:29:57 +0200 | <gensyst> | merijn, if you ask for a raise you'll get it. guaranteed. as in 2x salary overnight. mark my words. |
| 2023-08-10 16:30:04 +0200 | <gensyst> | your mad skills are rare imo |
| 2023-08-10 16:33:48 +0200 | <merijn> | gensyst: I start a new job next month, so I already did that ;) |
| 2023-08-10 16:39:55 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 240 seconds) |
| 2023-08-10 16:40:18 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) |
| 2023-08-10 16:40:37 +0200 | <int-e> | ...and then somebody uses SSE for floating point arithmetic and suddenly it's 64 bit floats :-/ |
| 2023-08-10 16:43:21 +0200 | <gensyst> | merijn, congrats man |
| 2023-08-10 16:43:29 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 16:45:47 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-10 16:48:00 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 2023-08-10 16:48:53 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-08-10 16:50:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 16:59:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-10 16:59:22 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-08-10 16:59:40 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-10 17:02:55 +0200 | shapr | (~user@2600:1700:c640:3100:9b5e:7ee6:45ac:8052) |
| 2023-08-10 17:03:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c1c2:633:c03:e500) (Ping timeout: 240 seconds) |
| 2023-08-10 17:05:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c1c2:633:c03:e500) |
| 2023-08-10 17:05:54 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-08-10 17:09:08 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 17:09:19 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 17:09:45 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 17:10:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-10 17:12:05 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-10 17:12:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-10 17:14:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-10 17:15:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-10 17:17:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:776f:7839:7989:d024) (Quit: WeeChat 2.8) |
| 2023-08-10 17:19:10 +0200 | jinsl | (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 2023-08-10 17:19:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 17:19:22 +0200 | jinsl | (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) |
| 2023-08-10 17:21:31 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-10 17:21:57 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-08-10 17:22:26 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-08-10 17:23:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-10 17:24:05 +0200 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ece5:978b:e3a7:acd2) (Read error: Connection reset by peer) |
| 2023-08-10 17:24:26 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-10 17:24:41 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-10 17:26:14 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-08-10 17:26:37 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) |
| 2023-08-10 17:26:45 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 245 seconds) |
| 2023-08-10 17:27:38 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-10 17:35:52 +0200 | comerijn | (~merijn@185.143.104.11) |
| 2023-08-10 17:38:21 +0200 | merijn | (~merijn@195.114.232.94) (Ping timeout: 245 seconds) |
| 2023-08-10 17:39:21 +0200 | razetime | (~quassel@117.254.36.178) |
| 2023-08-10 17:39:22 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 17:40:00 +0200 | comerijn | (~merijn@185.143.104.11) (Ping timeout: 244 seconds) |
| 2023-08-10 17:41:27 +0200 | razetime | (~quassel@117.254.36.178) (Client Quit) |
| 2023-08-10 17:44:13 +0200 | niko | (niko@libera/staff/niko) (Ping timeout: 615 seconds) |
| 2023-08-10 17:46:36 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-10 17:47:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 17:48:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 17:48:33 +0200 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-10 17:49:26 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 17:49:38 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-10 17:49:56 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-10 17:50:48 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-10 17:51:59 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-08-10 17:52:03 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 17:52:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-10 17:53:02 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-10 17:56:49 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-10 18:01:28 +0200 | <danse-nr3> | the new `mig` library looks very interesting, but the name is not precisely friendly :-/ |
| 2023-08-10 18:02:45 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-08-10 18:05:33 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 18:05:38 +0200 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-10 18:06:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-10 18:07:37 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-10 18:08:57 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2023-08-10 18:09:58 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 244 seconds) |
| 2023-08-10 18:14:07 +0200 | gensystt | (~gensyst@user/gensyst) |
| 2023-08-10 18:15:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-10 18:16:37 +0200 | gensyst | (~gensyst@user/gensyst) (Ping timeout: 245 seconds) |
| 2023-08-10 18:19:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 18:19:12 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-10 18:20:00 +0200 | gensystt | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-08-10 18:21:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 18:25:34 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-10 18:26:21 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 18:28:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 18:28:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 18:28:09 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 18:30:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 18:34:14 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-08-10 18:36:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-10 18:37:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-10 18:39:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-10 18:44:42 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-10 18:46:13 +0200 | danse-nr3 | (~francesco@151.35.148.181) (Read error: Connection reset by peer) |
| 2023-08-10 18:46:51 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-10 18:47:18 +0200 | danse-nr3 | (~francesco@151.46.130.189) |
| 2023-08-10 18:49:12 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 18:56:18 +0200 | mmhat | (~mmh@p200300f1c73d19aeee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-10 19:03:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 19:03:42 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2023-08-10 19:07:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 19:07:43 +0200 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-10 19:08:12 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-08-10 19:12:04 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 246 seconds) |
| 2023-08-10 19:16:22 +0200 | mmhat | (~mmh@p200300f1c73a3b84ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-10 19:21:53 +0200 | shapr | (~user@2600:1700:c640:3100:9b5e:7ee6:45ac:8052) (Remote host closed the connection) |
| 2023-08-10 19:22:07 +0200 | shapr | (~user@2600:1700:c640:3100:af84:e012:3f8e:af18) |
| 2023-08-10 19:23:16 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-10 19:24:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-08-10 19:25:20 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 19:25:47 +0200 | danse-nr3 | (~francesco@151.46.130.189) (Ping timeout: 245 seconds) |
| 2023-08-10 19:27:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 19:29:08 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 19:32:15 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-10 19:32:15 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 19:43:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-10 19:48:09 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 19:48:09 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 19:48:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 19:51:30 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-08-10 19:54:01 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-10 19:56:44 +0200 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 19:59:31 +0200 | gugu_ | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 19:59:58 +0200 | gugu_ | (~gugu256@162.87.95.79.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-10 20:00:15 +0200 | AlexNoo_ | AlexNoo |
| 2023-08-10 20:09:31 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-10 20:11:21 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 20:13:10 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-10 20:18:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 20:20:51 +0200 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-08-10 20:22:10 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-10 20:23:28 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-08-10 20:25:25 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 20:34:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 20:36:09 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-10 20:36:09 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 20:40:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 20:46:17 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-08-10 20:47:56 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-08-10 20:49:27 +0200 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-08-10 20:52:40 +0200 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 20:54:12 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2023-08-10 20:58:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-10 21:04:10 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-10 21:04:25 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) |
| 2023-08-10 21:04:53 +0200 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) |
| 2023-08-10 21:05:04 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 21:07:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-10 21:07:41 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-10 21:07:42 +0200 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) (Ping timeout: 244 seconds) |
| 2023-08-10 21:20:13 +0200 | trev | (~trev@user/trev) |
| 2023-08-10 21:20:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 21:21:58 +0200 | ursa-major | (~ursa-majo@37.19.210.37) (Ping timeout: 256 seconds) |
| 2023-08-10 21:22:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 21:23:45 +0200 | ursa-major | (~ursa-majo@37.19.210.24) |
| 2023-08-10 21:24:00 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-08-10 21:24:22 +0200 | trev | (~trev@user/trev) (Ping timeout: 246 seconds) |
| 2023-08-10 21:25:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-10 21:27:04 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 256 seconds) |
| 2023-08-10 21:33:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 21:37:31 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-10 21:42:48 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-08-10 21:46:48 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Remote host closed the connection) |
| 2023-08-10 21:48:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 21:48:59 +0200 | califax | (~califax@user/califx) |
| 2023-08-10 21:49:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 21:49:32 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 240 seconds) |
| 2023-08-10 21:51:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 21:52:08 +0200 | califax | (~califax@user/califx) |
| 2023-08-10 21:52:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 21:53:10 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-10 21:53:45 +0200 | califax | (~califax@user/califx) |
| 2023-08-10 21:54:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 21:55:27 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-10 21:55:54 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 22:00:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-10 22:01:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-08-10 22:03:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 22:05:18 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-10 22:07:37 +0200 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) (Quit: Client closed) |
| 2023-08-10 22:07:58 +0200 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 22:08:07 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 22:08:16 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 22:12:17 +0200 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 244 seconds) |
| 2023-08-10 22:14:38 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-10 22:18:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 22:20:26 +0200 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-08-10 22:21:33 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-08-10 22:21:53 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-08-10 22:23:24 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) |
| 2023-08-10 22:28:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 22:28:30 +0200 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-08-10 22:29:39 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-10 22:30:43 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2023-08-10 22:34:54 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 22:42:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-10 22:44:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-10 22:47:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:aca6:66d7:5365:1cde) |
| 2023-08-10 22:49:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 22:51:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:aca6:66d7:5365:1cde) (Ping timeout: 245 seconds) |
| 2023-08-10 22:52:39 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 22:55:54 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 22:56:27 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 22:57:10 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-10 22:57:10 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 23:00:11 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-10 23:01:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-10 23:02:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 23:07:16 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 23:07:16 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 23:07:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 23:17:34 +0200 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-10 23:17:56 +0200 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) (Read error: Connection reset by peer) |
| 2023-08-10 23:20:45 +0200 | artem | (~artem@38.42.227.237) |
| 2023-08-10 23:20:45 +0200 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 23:21:29 +0200 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
| 2023-08-10 23:21:29 +0200 | siers | (~ij@user/ij) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | cods_ | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | texasmynsted | (~username@99.96.221.112) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | actioninja6302 | (~actioninj@user/actioninja) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | kaskal | (~kaskal@213-147-167-98.nat.highway.webapn.at) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | dolio | (~dolio@130.44.134.54) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | foul_owl | (~kerry@157.97.134.164) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:b763:cbe:9422:537d) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | driib | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2023-08-10 23:21:30 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (*.net *.split) |
| 2023-08-10 23:21:35 +0200 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 23:21:38 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-08-10 23:21:42 +0200 | Teacup | (~teacup@user/teacup) |
| 2023-08-10 23:21:44 +0200 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-08-10 23:21:44 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-10 23:21:48 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 23:21:48 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:453f:7161:f0bd:5ace) |
| 2023-08-10 23:21:51 +0200 | texasmynsted | (~username@99.96.221.112) |
| 2023-08-10 23:22:06 +0200 | mmhat | (~mmh@p200300f1c73a3b84ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-10 23:22:07 +0200 | foul_owl | (~kerry@157.97.134.164) |
| 2023-08-10 23:22:23 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-08-10 23:22:32 +0200 | actioninja6302 | (~actioninj@user/actioninja) |
| 2023-08-10 23:22:35 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-08-10 23:22:47 +0200 | siers | (~ij@user/ij) |
| 2023-08-10 23:22:48 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-10 23:22:48 +0200 | kmein | (~weechat@user/kmein) |
| 2023-08-10 23:22:53 +0200 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-08-10 23:23:24 +0200 | Adran | (~adran@botters/adran) |
| 2023-08-10 23:23:35 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-10 23:23:43 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-10 23:23:48 +0200 | dolio | (~dolio@130.44.134.54) |
| 2023-08-10 23:28:07 +0200 | kaskal | (~kaskal@213-147-167-98.nat.highway.webapn.at) |
| 2023-08-10 23:34:10 +0200 | mmhat | (~mmh@p200300f1c73a3bafee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-10 23:41:56 +0200 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-10 23:43:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 23:49:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 23:52:07 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-10 23:53:51 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 23:56:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 23:56:17 +0200 | ursa-major | (~ursa-majo@37.19.210.24) (Ping timeout: 260 seconds) |
| 2023-08-10 23:57:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-10 23:58:15 +0200 | ursa-major | (~ursa-majo@static-198-44-128-152.cust.tzulo.com) |