| 2023-08-10 00:01:30 +0000 | gry | (quasselcor@botters/gry) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-10 00:02:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 00:04:25 +0000 | tv | (~tv@user/tv) |
| 2023-08-10 00:04:51 +0000 | tabaqui | (~root@85.106.195.28) |
| 2023-08-10 00:05:02 +0000 | califax | (~califax@user/califx) |
| 2023-08-10 00:07:27 +0000 | niko | (niko@libera/staff/niko) |
| 2023-08-10 00:10:48 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-08-10 00:14:39 +0000 | tabaqui | (~root@85.106.195.28) (Quit: WeeChat 4.0.2) |
| 2023-08-10 00:15:02 +0000 | tabaqui | (~root@85.106.195.28) |
| 2023-08-10 00:15:42 +0000 | pavonia_ | (~user@user/siracusa) |
| 2023-08-10 00:17:52 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 256 seconds) |
| 2023-08-10 00:17:52 +0000 | pavonia_ | pavonia |
| 2023-08-10 00:20:36 +0000 | <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 00:22:56 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-10 00:26:56 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 2023-08-10 00:28:41 +0000 | thegeekinside | (~thegeekin@189.180.79.225) (Remote host closed the connection) |
| 2023-08-10 00:32:27 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2023-08-10 00:34:26 +0000 | fbytez | (~uid@user/fbytez) (Quit: byte byte) |
| 2023-08-10 00:34:54 +0000 | fbytez | (~uid@user/fbytez) |
| 2023-08-10 00:36:37 +0000 | <[Leary]> | tabaqui: Only if you can accept a layer of newtype wrapping. Options include `Compose ((->) Int) Maybe` and `ReaderT Int Maybe`. |
| 2023-08-10 00:38:34 +0000 | <tabaqui> | [Leary]: Yeah, I've been considering this. I'd prefer more transparent interface |
| 2023-08-10 00:38:50 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 245 seconds) |
| 2023-08-10 00:39:54 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-10 00:41:41 +0000 | razetime | (~quassel@117.254.36.178) |
| 2023-08-10 00:46:26 +0000 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-08-10 00:52:07 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-10 00:52:34 +0000 | <rselim> | @src seq |
| 2023-08-10 00:52:34 +0000 | <lambdabot> | Source not found. I feel much better now. |
| 2023-08-10 00:52:41 +0000 | <rselim> | can seq be implemented in pure Haskell? |
| 2023-08-10 00:53:32 +0000 | <geekosaur> | no |
| 2023-08-10 00:54:10 +0000 | <[Leary]> | Unless you count GHC2021 as "Haskell". |
| 2023-08-10 00:54:10 +0000 | <geekosaur> | in early versions of Haskell it was done via a typeclass; iirc functions didn't work right with that |
| 2023-08-10 00:54:56 +0000 | <EvanR> | seq = #seq |
| 2023-08-10 00:55:46 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 00:57:21 +0000 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 00:58:19 +0000 | <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 00:59:03 +0000 | <Square> | s/and the requires/and it requires/ |
| 2023-08-10 00:59:12 +0000 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-10 01:00:48 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 2023-08-10 01:03:52 +0000 | <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 01:04:40 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 01:05:20 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-10 01:10:30 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-10 01:12:49 +0000 | <[Leary]> | Square: Don't you want `Free (MyReadF e)`? That could be a monad. |
| 2023-08-10 01:12:55 +0000 | Square2 | (~Square4@user/square) |
| 2023-08-10 01:13:07 +0000 | <rselim> | thanks, interesting |
| 2023-08-10 01:14:00 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2023-08-10 01:14:13 +0000 | <Square2> | (had to change computer, incase someone replied to my question) |
| 2023-08-10 01:15:35 +0000 | <[Leary]> | Check the logs. |
| 2023-08-10 01:15:49 +0000 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2023-08-10 01:15:50 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-08-10 01:16:37 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-10 01:16:44 +0000 | <Square2> | I'm afraid I might have missed it in that case, had 1-2 minutes of disconnect |
| 2023-08-10 01:20:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c273:dfcc:236d:9211) (Ping timeout: 240 seconds) |
| 2023-08-10 01:20:41 +0000 | razetime | (~quassel@117.254.36.178) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-10 01:30:16 +0000 | <EvanR> | public logs linked in the topic |
| 2023-08-10 01:34:21 +0000 | <Square2> | EvanR, thanks. [Leary], right exactly. Typo. |
| 2023-08-10 01:36:51 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-08-10 01:37:35 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-10 01:53:27 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-10 01:54:20 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-10 02:07:07 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 02:07:42 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-10 02:11:25 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-10 02:16:34 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 02:19:27 +0000 | ursa-major | (~ursa-majo@static-198-44-128-152.cust.tzulo.com) |
| 2023-08-10 02:23:03 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-10 02:31:54 +0000 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 260 seconds) |
| 2023-08-10 02:33:48 +0000 | td_ | (~td@i5387092A.versanet.de) |
| 2023-08-10 02:34:46 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2023-08-10 02:38:46 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-10 02:49:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-10 02:52:31 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-10 02:57:01 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-10 02:57:01 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-10 02:57:01 +0000 | finn_elija | FinnElija |
| 2023-08-10 02:59:25 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-10 03:05:32 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-10 03:08:14 +0000 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) (Read error: Connection reset by peer) |
| 2023-08-10 03:08:38 +0000 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) |
| 2023-08-10 03:10:26 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-10 03:18:09 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc8:8b00:76c5:2645:7442:f0e7) |
| 2023-08-10 03:18:09 +0000 | aforemny | (~aforemny@i59F516C2.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-10 03:19:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-10 03:20:19 +0000 | ursa-major | (~ursa-majo@static-198-44-128-152.cust.tzulo.com) (Quit: WeeChat 4.0.2) |
| 2023-08-10 03:22:02 +0000 | ddellacosta | (~ddellacos@146.70.166.219) (Ping timeout: 256 seconds) |
| 2023-08-10 03:23:52 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-08-10 03:29:41 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) |
| 2023-08-10 03:30:32 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2023-08-10 03:31:44 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 03:33:42 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 245 seconds) |
| 2023-08-10 03:33:42 +0000 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-08-10 03:33:44 +0000 | phma | (phma@2001:5b0:211c:e0c8:3513:b4f1:f37e:21ab) (Read error: Connection reset by peer) |
| 2023-08-10 03:34:08 +0000 | phma | (~phma@host-67-44-208-42.hnremote.net) |
| 2023-08-10 03:39:02 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 03:46:37 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 260 seconds) |
| 2023-08-10 03:58:59 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-10 04:05:34 +0000 | nick4 | (~nick@2600:8807:9084:7800:4d1:6f81:aa5b:f64) |
| 2023-08-10 04:08:10 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-10 04:08:23 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-10 04:18:11 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 04:18:12 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 04:18:12 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 04:25:48 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 04:30:06 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 04:38:02 +0000 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap237) |
| 2023-08-10 04:38:47 +0000 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2023-08-10 04:46:29 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 04:50:46 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 04:52:41 +0000 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-10 04:57:48 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2023-08-10 05:00:55 +0000 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 245 seconds) |
| 2023-08-10 05:01:45 +0000 | shapr | (~user@2600:1700:c640:3100:40c:ae4c:e272:f9ec) (Ping timeout: 245 seconds) |
| 2023-08-10 05:05:11 +0000 | <NewtonTrendy> | is haskell considered a general purpose language? |
| 2023-08-10 05:05:33 +0000 | <monochrom> | Yes. |
| 2023-08-10 05:06:10 +0000 | <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 05:06:42 +0000 | <NewtonTrendy> | but i will go look this up i guess |
| 2023-08-10 05:06:44 +0000 | <NewtonTrendy> | thanks |
| 2023-08-10 05:08:41 +0000 | <NewtonTrendy> | https://www.reddit.com/r/haskell/comments/l9p8gz/piplike_package_management_for_haskell/ first answer only has 48 upvotes |
| 2023-08-10 05:08:52 +0000 | <NewtonTrendy> | answers both questions |
| 2023-08-10 05:09:17 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-08-10 05:10:42 +0000 | <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 05:11:09 +0000 | <NewtonTrendy> | thanks for the heads up |
| 2023-08-10 05:11:46 +0000 | <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 05:12:22 +0000 | <NewtonTrendy> | how does the term tooling mean in haskell in general, its not a term ive seen used frequently before |
| 2023-08-10 05:13:57 +0000 | <rselim> | is "liftA2 ($)" perfectly legitimate? i remember there being something *weird* about ($) |
| 2023-08-10 05:14:37 +0000 | <probie> | The only weird thing about `($)` is that its type is more general than what is shown when you |
| 2023-08-10 05:14:41 +0000 | <probie> | :t ($) |
| 2023-08-10 05:14:41 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-10 05:14:41 +0000 | <lambdabot> | (a -> b) -> a -> b |
| 2023-08-10 05:15:05 +0000 | <probie> | `liftA2` has already restricted the type to what is shown there, so you don't need to worry about it |
| 2023-08-10 05:17:03 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-10 05:17:09 +0000 | <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 05:18:24 +0000 | <Square2> | NewtonTrendy, build-tools, IDE's, documentation helpers, etc. |
| 2023-08-10 05:18:50 +0000 | <probie> | s/is levity polymorphic in the second argument/is levity polymorphic/ |
| 2023-08-10 05:20:35 +0000 | <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 05:27:28 +0000 | <rselim> | thanks probie |
| 2023-08-10 05:28:35 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-10 05:44:14 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 05:48:52 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 06:05:19 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 06:07:58 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 06:11:58 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-08-10 06:15:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 06:16:05 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-10 06:17:48 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 06:18:23 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 244 seconds) |
| 2023-08-10 06:35:35 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-10 06:36:09 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-10 06:37:32 +0000 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 260 seconds) |
| 2023-08-10 06:39:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 06:39:28 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:df3a:77b4:e1f:fb75) |
| 2023-08-10 06:41:31 +0000 | michalz | (~michalz@185.246.207.221) |
| 2023-08-10 06:41:39 +0000 | lottaquestions_ | (~nick@2607:fa49:503d:b200:3f9:96d9:976e:1fc6) (Remote host closed the connection) |
| 2023-08-10 06:42:04 +0000 | lottaquestions_ | (~nick@2607:fa49:503d:b200:a3d5:6082:acef:ed36) |
| 2023-08-10 06:43:53 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-10 06:46:29 +0000 | vpan | (~0@mail.elitnet.lt) |
| 2023-08-10 06:50:13 +0000 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) |
| 2023-08-10 06:51:21 +0000 | ursa-major | (~ursa-majo@37.19.210.37) |
| 2023-08-10 06:54:37 +0000 | trev | (~trev@user/trev) |
| 2023-08-10 06:58:51 +0000 | trev | (~trev@user/trev) (Ping timeout: 246 seconds) |
| 2023-08-10 07:04:32 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-08-10 07:11:50 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 07:14:22 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 256 seconds) |
| 2023-08-10 07:16:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 07:16:57 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-10 07:18:38 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-10 07:20:51 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-10 07:22:18 +0000 | haskl | (~haskl@user/haskl) (Ping timeout: 246 seconds) |
| 2023-08-10 07:22:27 +0000 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2023-08-10 07:22:59 +0000 | haskl | (~haskl@user/haskl) |
| 2023-08-10 07:23:14 +0000 | ubert | (~Thunderbi@178.165.167.228.wireless.dyn.drei.com) |
| 2023-08-10 07:24:31 +0000 | ByronJohnson | (~bairyn@50-250-232-19-static.hfc.comcastbusiness.net) |
| 2023-08-10 07:27:47 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-10 07:27:58 +0000 | ubert | (~Thunderbi@178.165.167.228.wireless.dyn.drei.com) (Client Quit) |
| 2023-08-10 07:30:01 +0000 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Remote host closed the connection) |
| 2023-08-10 07:30:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 07:36:40 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-10 07:36:51 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-10 07:38:54 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-08-10 07:49:25 +0000 | chele | (~chele@user/chele) |
| 2023-08-10 07:50:06 +0000 | mmhat | (~mmh@p200300f1c73d19aeee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-10 07:50:22 +0000 | mauke | (~mauke@user/mauke) |
| 2023-08-10 07:58:18 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-10 08:04:04 +0000 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-10 08:07:21 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-10 08:12:52 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-10 08:13:22 +0000 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2023-08-10 08:25:21 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-10 08:45:13 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 08:45:34 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-10 08:49:34 +0000 | merijn | (~merijn@195.114.232.94) |
| 2023-08-10 08:49:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-10 09:01:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Remote host closed the connection) |
| 2023-08-10 09:01:41 +0000 | comerijn | (~merijn@185.143.104.11) |
| 2023-08-10 09:04:20 +0000 | merijn | (~merijn@195.114.232.94) (Ping timeout: 250 seconds) |
| 2023-08-10 09:05:04 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-10 09:10:07 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-10 09:10:25 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 09:11:54 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-10 09:13:09 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2023-08-10 09:15:55 +0000 | mention | (~mention@bcdcac82.skybroadband.com) (Ping timeout: 245 seconds) |
| 2023-08-10 09:19:39 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-10 09:24:07 +0000 | deviance | (~deviance@bcdcac82.skybroadband.com) |
| 2023-08-10 09:33:44 +0000 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-10 09:47:38 +0000 | comerijn | (~merijn@185.143.104.11) (Ping timeout: 244 seconds) |
| 2023-08-10 09:48:37 +0000 | nick4 | (~nick@2600:8807:9084:7800:4d1:6f81:aa5b:f64) (Ping timeout: 246 seconds) |
| 2023-08-10 09:50:30 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-08-10 09:51:02 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-10 09:51:55 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2023-08-10 09:53:08 +0000 | danse-nr3 | (~francesco@151.46.155.252) |
| 2023-08-10 09:53:09 +0000 | merijn | (~merijn@195.114.232.94) |
| 2023-08-10 09:55:03 +0000 | tabaqui | (~root@85.106.195.28) (Ping timeout: 246 seconds) |
| 2023-08-10 10:00:41 +0000 | danse-nr3 | (~francesco@151.46.155.252) (Remote host closed the connection) |
| 2023-08-10 10:01:04 +0000 | danse-nr3 | (~francesco@151.46.155.252) |
| 2023-08-10 10:01:59 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-10 10:03:38 +0000 | <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 10:04:37 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-10 10:07:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Ping timeout: 240 seconds) |
| 2023-08-10 10:11:54 +0000 | tabaqui | (~root@88.238.15.186) |
| 2023-08-10 10:13:20 +0000 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-10 10:13:25 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 10:15:13 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2023-08-10 10:15:13 +0000 | Katarushisu1 | Katarushisu |
| 2023-08-10 10:20:03 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-10 10:27:15 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-10 10:29:04 +0000 | 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 10:31:02 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b518:c278:2e70:5909) |
| 2023-08-10 10:34:16 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-10 10:35:47 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b518:c278:2e70:5909) (Ping timeout: 245 seconds) |
| 2023-08-10 10:37:56 +0000 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-10 10:38:16 +0000 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-08-10 10:50:50 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-10 10:51:32 +0000 | stef204 | (~stef204@user/stef204) |
| 2023-08-10 10:52:52 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 2023-08-10 10:58:58 +0000 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 246 seconds) |
| 2023-08-10 11:08:57 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-10 11:11:32 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 11:12:04 +0000 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 4.0.2) |
| 2023-08-10 11:13:22 +0000 | libertyprime | (~libertypr@203.96.203.44) (Client Quit) |
| 2023-08-10 11:13:39 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-08-10 11:15:49 +0000 | <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 11:17:43 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 11:18:44 +0000 | <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 11:20:13 +0000 | <xerox> | sed/awk? :) |
| 2023-08-10 11:20:57 +0000 | <lortabac> | xerox: do you know how to write a Haskell parser in sed? :) |
| 2023-08-10 11:21:42 +0000 | <Hecate> | lortabac: backpack with Cabal's mixins should do it |
| 2023-08-10 11:22:02 +0000 | <lortabac> | Hecate: good idea! |
| 2023-08-10 11:22:07 +0000 | <Hecate> | lortabac: https://flora.pm/packages/@hackage/relude#mixins |
| 2023-08-10 11:22:10 +0000 | <Hecate> | check this out |
| 2023-08-10 11:22:35 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-10 11:23:57 +0000 | <lortabac> | Hecate: you saved me from editing 508 files manually |
| 2023-08-10 11:26:57 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-10 11:29:18 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 11:30:13 +0000 | <Hecate> | lortabac: buy me a beer next you're in Paris |
| 2023-08-10 11:30:14 +0000 | <Hecate> | :p |
| 2023-08-10 11:31:22 +0000 | <lortabac> | Hecate: deal :) |
| 2023-08-10 11:31:46 +0000 | <merijn> | Hecate: Do they even have beer in paris? ;) |
| 2023-08-10 11:32:25 +0000 | <Hecate> | merijn: the finest belgian beer |
| 2023-08-10 11:33:23 +0000 | <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 11:34:07 +0000 | <Hecate> | merijn: well the french-speaking immigrants of Belgium in Paris have also brought their beer ;) |
| 2023-08-10 11:34:14 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 11:34:41 +0000 | vpan | (~0@mail.elitnet.lt) (Quit: Leaving.) |
| 2023-08-10 11:35:06 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-08-10 11:36:24 +0000 | <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 11:37:06 +0000 | <merijn> | lortabac: That's called kriek ;) |
| 2023-08-10 11:37:23 +0000 | <merijn> | Or lambic :p |
| 2023-08-10 11:37:35 +0000 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-10 11:37:46 +0000 | <lortabac> | haha now I'm curious to taste it |
| 2023-08-10 11:37:55 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-10 11:38:37 +0000 | andreas808 | (andreas303@is.drunk.and.ready-to.party) |
| 2023-08-10 11:38:47 +0000 | <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 11:38:59 +0000 | phma | (~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-10 11:39:07 +0000 | andreas303 | (andreas303@is.drunk.and.ready-to.party) (Ping timeout: 260 seconds) |
| 2023-08-10 11:41:04 +0000 | gensyst | (~gensyst@user/gensyst) |
| 2023-08-10 11:41:47 +0000 | <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 11:42:22 +0000 | <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 11:42:32 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-08-10 11:42:49 +0000 | <merijn> | yin: I would say "don't do that" :p |
| 2023-08-10 11:43:03 +0000 | yin | is doing thatr |
| 2023-08-10 11:43:11 +0000 | <c_wraith> | there's very little issue creating your own prelude. But try to avoid creating package name conflicts. |
| 2023-08-10 11:43:16 +0000 | <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 11:43:48 +0000 | <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 11:44:05 +0000 | <merijn> | So I would strongly recommend *that* over trying to get your own stuff implicitly loaded as Prelude |
| 2023-08-10 11:44:13 +0000 | <c_wraith> | you don't get exporting *less* than Prelude that way |
| 2023-08-10 11:44:39 +0000 | <merijn> | c_wraith: Easily solved by 1 extra line ;) |
| 2023-08-10 11:44:40 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-10 11:44:53 +0000 | <c_wraith> | a very very long line.... |
| 2023-08-10 11:45:03 +0000 | <merijn> | "import Prelude ()" should hide everything other than classes in Prelude |
| 2023-08-10 11:45:37 +0000 | <merijn> | And hiding the Prelude classes should, imo, be a niche thing |
| 2023-08-10 11:45:46 +0000 | <c_wraith> | instances, not classes. |
| 2023-08-10 11:46:05 +0000 | <c_wraith> | And anyway, I don't like NoImplicitPrelude. It gets weird. |
| 2023-08-10 11:46:07 +0000 | <merijn> | eh, yeah |
| 2023-08-10 11:46:13 +0000 | vglfr | (~vglfr@188.239.201.89) (Ping timeout: 246 seconds) |
| 2023-08-10 11:46:41 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:28fe:a97d:a506:64fb) |
| 2023-08-10 11:47:08 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 11:47:27 +0000 | <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 11:47:53 +0000 | <c_wraith> | I mean, or you could get the exact same behavior with 0 lines per file |
| 2023-08-10 11:48:04 +0000 | <c_wraith> | So I don't know what "bad thing" you mean |
| 2023-08-10 11:51:28 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 11:53:07 +0000 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-08-10 11:56:29 +0000 | phma | (~phma@host-67-44-208-159.hnremote.net) |
| 2023-08-10 11:58:02 +0000 | <danse-nr3> | oops gensyst left before i could try an answer |
| 2023-08-10 12:00:25 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-10 12:01:56 +0000 | tenniscp25 | (~tenniscp2@cm-171-101-105-216.revip11.asianet.co.th) |
| 2023-08-10 12:02:14 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:28fe:a97d:a506:64fb) (Ping timeout: 256 seconds) |
| 2023-08-10 12:02:50 +0000 | vglfr | (~vglfr@145.224.100.231) |
| 2023-08-10 12:03:00 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-10 12:03:08 +0000 | tenniscp25 | (~tenniscp2@cm-171-101-105-216.revip11.asianet.co.th) (Client Quit) |
| 2023-08-10 12:07:02 +0000 | vglfr | (~vglfr@145.224.100.231) (Ping timeout: 245 seconds) |
| 2023-08-10 12:11:55 +0000 | danse-nr3 | (~francesco@151.46.155.252) (Ping timeout: 240 seconds) |
| 2023-08-10 12:14:07 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-08-10 12:14:19 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ece5:978b:e3a7:acd2) |
| 2023-08-10 12:14:27 +0000 | NewtonTrendy | (uid282092@user/bopqod) |
| 2023-08-10 12:16:10 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-10 12:19:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-10 12:24:20 +0000 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 256 seconds) |
| 2023-08-10 12:28:52 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:df3a:77b4:e1f:fb75) (Ping timeout: 256 seconds) |
| 2023-08-10 12:33:17 +0000 | stef204 | (~stef204@user/stef204) |
| 2023-08-10 12:38:41 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-08-10 12:40:20 +0000 | ulysses4ever | (~artem@155.33.133.49) |
| 2023-08-10 12:44:52 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-10 12:46:35 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 12:50:37 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 12:57:42 +0000 | danse-nr3 | (~francesco@151.35.148.181) |
| 2023-08-10 13:12:56 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-08-10 13:16:09 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-08-10 13:19:14 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-10 13:28:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-10 13:30:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 13:35:26 +0000 | ulysses4ever | (~artem@155.33.133.49) (Read error: Connection reset by peer) |
| 2023-08-10 13:35:30 +0000 | artem | (~artem@155.33.133.49) |
| 2023-08-10 13:36:04 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 13:36:04 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 13:36:04 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 13:36:43 +0000 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-10 13:37:06 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-10 13:37:30 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 13:37:46 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2023-08-10 13:38:23 +0000 | ystael | (~ystael@user/ystael) |
| 2023-08-10 13:39:52 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-10 13:39:56 +0000 | artem | (~artem@155.33.133.49) (Ping timeout: 250 seconds) |
| 2023-08-10 13:41:17 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 13:46:00 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-08-10 13:46:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 13:47:12 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-10 13:48:10 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 250 seconds) |
| 2023-08-10 13:48:16 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 13:52:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1c2:633:c03:e500) |
| 2023-08-10 13:54:02 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 13:56:08 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2023-08-10 13:57:34 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-10 13:58:07 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 14:07:17 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:776f:7839:7989:d024) |
| 2023-08-10 14:07:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-10 14:09:15 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-10 14:09:55 +0000 | gensyst | (~gensyst@user/gensyst) |
| 2023-08-10 14:10:10 +0000 | <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 14:11:21 +0000 | <gensyst> | n1 number of keys in outer map, and n2 the usual number of keys in one of the inner maps |
| 2023-08-10 14:12:28 +0000 | <opqdonut> | more like O(n1*log(n1) + n1*n2*log(n2)) |
| 2023-08-10 14:12:36 +0000 | <opqdonut> | since there are n1 inner maps |
| 2023-08-10 14:13:04 +0000 | <opqdonut> | but yeah, the outer and inner maps are independent so you can just naively sum the big-O complexities |
| 2023-08-10 14:13:08 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 14:13:45 +0000 | <gensyst> | second question, would you say Float/Double keys would be quite a bit faster than ByteString (serialized Float/Double) keys? |
| 2023-08-10 14:13:58 +0000 | <geekosaur> | a lot less reliable though |
| 2023-08-10 14:13:59 +0000 | <gensyst> | i guess, so. but how much approx? orders of magnitude? |
| 2023-08-10 14:14:22 +0000 | <geekosaur> | FP inaccuracy will be poised to bite hard |
| 2023-08-10 14:14:50 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 14:14:58 +0000 | <merijn> | geekosaur: What? Why would they be less reliable than their bytestring serialised equivalent? |
| 2023-08-10 14:15:23 +0000 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-10 14:15:32 +0000 | <opqdonut> | gensyst: best to measure for your use case |
| 2023-08-10 14:15:39 +0000 | <opqdonut> | the difference won't be big, I think |
| 2023-08-10 14:15:42 +0000 | <geekosaur> | you can truncate the low bits off the bytestrings; try that with a Double |
| 2023-08-10 14:15:48 +0000 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 14:17:40 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 14:17:50 +0000 | <opqdonut> | Double keys are totally fine if you don't do arithmetic with them |
| 2023-08-10 14:17:53 +0000 | <merijn> | The question was "Double as key" vs "ByteString serialisation of a Double as key", no? |
| 2023-08-10 14:17:57 +0000 | <opqdonut> | I mean if you just use them as opaque identifiers |
| 2023-08-10 14:18:03 +0000 | <merijn> | In which case Double is obviously better |
| 2023-08-10 14:18:46 +0000 | <merijn> | There's nothing inherently unreliable about Double as key for a Map |
| 2023-08-10 14:19:05 +0000 | <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 14:19:10 +0000 | <merijn> | well, maybe trying to insert/look up NaN will turns everything to shit, but "Just Don't Do That, Then" |
| 2023-08-10 14:19:35 +0000 | <gensyst> | merijn, "obviously better", how better? :) |
| 2023-08-10 14:19:44 +0000 | <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 14:19:50 +0000 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-08-10 14:19:56 +0000 | <merijn> | gensyst: Double takes up less space and I would assume the comparisons to be faster |
| 2023-08-10 14:20:46 +0000 | <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 14:20:55 +0000 | <opqdonut> | merijn: yeah, quite a bit of effort since you can't rely on associativity |
| 2023-08-10 14:21:15 +0000 | <opqdonut> | but for a niche use case it might be good |
| 2023-08-10 14:21:17 +0000 | <merijn> | opqdonut: Associativity is irrelevant if your computation is deterministic (i.e. same operations in same order) |
| 2023-08-10 14:21:23 +0000 | <merijn> | gensyst: yes |
| 2023-08-10 14:21:31 +0000 | <gensyst> | nice thanks |
| 2023-08-10 14:21:48 +0000 | <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 14:22:11 +0000 | <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 14:22:22 +0000 | <merijn> | (since by default Intel machines use 80 bit FP that gets truncated on store |
| 2023-08-10 14:22:24 +0000 | <merijn> | ) |
| 2023-08-10 14:22:31 +0000 | <merijn> | So then your FP result depends on scheduling |
| 2023-08-10 14:22:41 +0000 | <merijn> | but in FP strict mode it is always deterministic |
| 2023-08-10 14:22:59 +0000 | <opqdonut> | right, I had actually forgotten about that |
| 2023-08-10 14:23:15 +0000 | <opqdonut> | such a weird design |
| 2023-08-10 14:23:51 +0000 | <merijn> | Knowing obscure minutiae like that is how you get the big bucks ;) |
| 2023-08-10 14:23:58 +0000 | <merijn> | (not that I get the big bucks...) |
| 2023-08-10 14:29:57 +0000 | <gensyst> | merijn, if you ask for a raise you'll get it. guaranteed. as in 2x salary overnight. mark my words. |
| 2023-08-10 14:30:04 +0000 | <gensyst> | your mad skills are rare imo |
| 2023-08-10 14:33:48 +0000 | <merijn> | gensyst: I start a new job next month, so I already did that ;) |
| 2023-08-10 14:39:55 +0000 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (Ping timeout: 240 seconds) |
| 2023-08-10 14:40:18 +0000 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) |
| 2023-08-10 14:40:37 +0000 | <int-e> | ...and then somebody uses SSE for floating point arithmetic and suddenly it's 64 bit floats :-/ |
| 2023-08-10 14:43:21 +0000 | <gensyst> | merijn, congrats man |
| 2023-08-10 14:43:29 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 14:45:47 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-10 14:48:00 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 2023-08-10 14:48:53 +0000 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-08-10 14:50:51 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 14:59:12 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-10 14:59:22 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2023-08-10 14:59:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-10 15:02:55 +0000 | shapr | (~user@2600:1700:c640:3100:9b5e:7ee6:45ac:8052) |
| 2023-08-10 15:03:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1c2:633:c03:e500) (Ping timeout: 240 seconds) |
| 2023-08-10 15:05:39 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1c2:633:c03:e500) |
| 2023-08-10 15:05:54 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-08-10 15:09:08 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 15:09:19 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 15:09:45 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 15:10:54 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-10 15:12:05 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-10 15:12:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) |
| 2023-08-10 15:14:25 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-10 15:15:48 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-10 15:17:07 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:776f:7839:7989:d024) (Quit: WeeChat 2.8) |
| 2023-08-10 15:19:10 +0000 | jinsl | (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 2023-08-10 15:19:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 15:19:22 +0000 | jinsl | (~jinsl@2408:8207:2550:b730:211:32ff:fec8:6aea) |
| 2023-08-10 15:21:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-10 15:21:57 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-08-10 15:22:26 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-08-10 15:23:46 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-10 15:24:05 +0000 | vglfr | (~vglfr@2a0d:3344:148d:7a00:ece5:978b:e3a7:acd2) (Read error: Connection reset by peer) |
| 2023-08-10 15:24:26 +0000 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-10 15:24:41 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-10 15:26:14 +0000 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-08-10 15:26:37 +0000 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) |
| 2023-08-10 15:26:45 +0000 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 245 seconds) |
| 2023-08-10 15:27:38 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-10 15:35:52 +0000 | comerijn | (~merijn@185.143.104.11) |
| 2023-08-10 15:38:21 +0000 | merijn | (~merijn@195.114.232.94) (Ping timeout: 245 seconds) |
| 2023-08-10 15:39:21 +0000 | razetime | (~quassel@117.254.36.178) |
| 2023-08-10 15:39:22 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 15:40:00 +0000 | comerijn | (~merijn@185.143.104.11) (Ping timeout: 244 seconds) |
| 2023-08-10 15:41:27 +0000 | razetime | (~quassel@117.254.36.178) (Client Quit) |
| 2023-08-10 15:44:13 +0000 | niko | (niko@libera/staff/niko) (Ping timeout: 615 seconds) |
| 2023-08-10 15:46:36 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-10 15:47:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 15:48:00 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 15:48:33 +0000 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-10 15:49:26 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 15:49:38 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-10 15:49:56 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-10 15:50:48 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-10 15:51:59 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-08-10 15:52:03 +0000 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 15:52:35 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-10 15:53:02 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-10 15:56:49 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-10 16:01:28 +0000 | <danse-nr3> | the new `mig` library looks very interesting, but the name is not precisely friendly :-/ |
| 2023-08-10 16:02:45 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-08-10 16:05:33 +0000 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 16:05:38 +0000 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 2023-08-10 16:06:48 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-10 16:07:37 +0000 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-10 16:08:57 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2023-08-10 16:09:58 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 244 seconds) |
| 2023-08-10 16:14:07 +0000 | gensystt | (~gensyst@user/gensyst) |
| 2023-08-10 16:15:01 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-10 16:16:37 +0000 | gensyst | (~gensyst@user/gensyst) (Ping timeout: 245 seconds) |
| 2023-08-10 16:19:10 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 16:19:12 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2023-08-10 16:20:00 +0000 | gensystt | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-08-10 16:21:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 16:25:34 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-10 16:26:21 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-10 16:28:09 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-10 16:28:09 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-10 16:28:09 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 16:30:29 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 16:34:14 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-08-10 16:36:51 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-10 16:37:10 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-10 16:39:53 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-10 16:44:42 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-10 16:46:13 +0000 | danse-nr3 | (~francesco@151.35.148.181) (Read error: Connection reset by peer) |
| 2023-08-10 16:46:51 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-10 16:47:18 +0000 | danse-nr3 | (~francesco@151.46.130.189) |
| 2023-08-10 16:49:12 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 16:56:18 +0000 | mmhat | (~mmh@p200300f1c73d19aeee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-10 17:03:05 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 17:03:42 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2023-08-10 17:07:40 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2023-08-10 17:07:43 +0000 | johnw_ | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-10 17:08:12 +0000 | johnw | (~johnw@69.62.242.138) |
| 2023-08-10 17:12:04 +0000 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 246 seconds) |
| 2023-08-10 17:16:22 +0000 | mmhat | (~mmh@p200300f1c73a3b84ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-10 17:21:53 +0000 | shapr | (~user@2600:1700:c640:3100:9b5e:7ee6:45ac:8052) (Remote host closed the connection) |
| 2023-08-10 17:22:07 +0000 | shapr | (~user@2600:1700:c640:3100:af84:e012:3f8e:af18) |
| 2023-08-10 17:23:16 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 246 seconds) |
| 2023-08-10 17:24:06 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-08-10 17:25:20 +0000 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 17:25:47 +0000 | danse-nr3 | (~francesco@151.46.130.189) (Ping timeout: 245 seconds) |
| 2023-08-10 17:27:37 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 17:29:08 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 17:32:15 +0000 | artem | (~artem@38.42.227.237) |
| 2023-08-10 17:32:15 +0000 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 17:43:48 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-10 17:48:09 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 17:48:09 +0000 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 17:48:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 17:51:30 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2023-08-10 17:54:01 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-10 17:56:44 +0000 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 17:59:31 +0000 | gugu_ | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 17:59:58 +0000 | gugu_ | (~gugu256@162.87.95.79.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-10 18:00:15 +0000 | AlexNoo_ | AlexNoo |
| 2023-08-10 18:09:31 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-08-10 18:11:21 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-10 18:13:10 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-10 18:18:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 18:20:51 +0000 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-08-10 18:22:10 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 245 seconds) |
| 2023-08-10 18:23:28 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-08-10 18:25:25 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-10 18:34:05 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 18:36:09 +0000 | artem | (~artem@38.42.227.237) |
| 2023-08-10 18:36:09 +0000 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 18:40:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 18:46:17 +0000 | 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 18:47:56 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-08-10 18:49:27 +0000 | kraftwerk28_ | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-08-10 18:52:40 +0000 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 18:54:12 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds) |
| 2023-08-10 18:58:34 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-08-10 19:04:10 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-10 19:04:25 +0000 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) |
| 2023-08-10 19:04:53 +0000 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) |
| 2023-08-10 19:05:04 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 19:07:25 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-10 19:07:41 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-10 19:07:42 +0000 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) (Ping timeout: 244 seconds) |
| 2023-08-10 19:20:13 +0000 | trev | (~trev@user/trev) |
| 2023-08-10 19:20:42 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 19:21:58 +0000 | ursa-major | (~ursa-majo@37.19.210.37) (Ping timeout: 256 seconds) |
| 2023-08-10 19:22:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 19:23:45 +0000 | ursa-major | (~ursa-majo@37.19.210.24) |
| 2023-08-10 19:24:00 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-08-10 19:24:22 +0000 | trev | (~trev@user/trev) (Ping timeout: 246 seconds) |
| 2023-08-10 19:25:24 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-10 19:27:04 +0000 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 256 seconds) |
| 2023-08-10 19:33:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 19:37:31 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-10 19:42:48 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-08-10 19:46:48 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:71bf:cb71:be4e:b077) (Remote host closed the connection) |
| 2023-08-10 19:48:01 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 19:48:59 +0000 | califax | (~califax@user/califx) |
| 2023-08-10 19:49:28 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 19:49:32 +0000 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 240 seconds) |
| 2023-08-10 19:51:10 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 19:52:08 +0000 | califax | (~califax@user/califx) |
| 2023-08-10 19:52:45 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2023-08-10 19:53:10 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-10 19:53:45 +0000 | califax | (~califax@user/califx) |
| 2023-08-10 19:54:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 19:55:27 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) |
| 2023-08-10 19:55:54 +0000 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-10 20:00:30 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-10 20:01:12 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2023-08-10 20:03:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 20:05:18 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-10 20:07:37 +0000 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) (Quit: Client closed) |
| 2023-08-10 20:07:58 +0000 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) |
| 2023-08-10 20:08:07 +0000 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 20:08:16 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 20:12:17 +0000 | ulysses4ever | (~artem@38.42.227.237) (Ping timeout: 244 seconds) |
| 2023-08-10 20:14:38 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-10 20:18:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 20:20:26 +0000 | kraftwerk28 | (~kraftwerk@178.62.210.83) (Quit: *disconnects*) |
| 2023-08-10 20:21:33 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-08-10 20:21:53 +0000 | EvanR | (~EvanR@user/evanr) |
| 2023-08-10 20:23:24 +0000 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) |
| 2023-08-10 20:28:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 20:28:30 +0000 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-08-10 20:29:39 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-10 20:30:43 +0000 | hippoid | (~hippoid@user/hippoid) |
| 2023-08-10 20:34:54 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 20:42:51 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-10 20:44:40 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-10 20:47:19 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:aca6:66d7:5365:1cde) |
| 2023-08-10 20:49:03 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 20:51:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:aca6:66d7:5365:1cde) (Ping timeout: 245 seconds) |
| 2023-08-10 20:52:39 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-10 20:55:54 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-10 20:56:27 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 20:57:10 +0000 | artem | (~artem@38.42.227.237) |
| 2023-08-10 20:57:10 +0000 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 21:00:11 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-10 21:01:34 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-10 21:02:06 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 21:07:16 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 21:07:16 +0000 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 21:07:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 21:17:34 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2023-08-10 21:17:56 +0000 | gugu256 | (~gugu256@162.87.95.79.rev.sfr.net) (Read error: Connection reset by peer) |
| 2023-08-10 21:20:45 +0000 | artem | (~artem@38.42.227.237) |
| 2023-08-10 21:20:45 +0000 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 21:21:29 +0000 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split) |
| 2023-08-10 21:21:29 +0000 | siers | (~ij@user/ij) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | cods_ | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | texasmynsted | (~username@99.96.221.112) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | actioninja6302 | (~actioninj@user/actioninja) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | kaskal | (~kaskal@213-147-167-98.nat.highway.webapn.at) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | dolio | (~dolio@130.44.134.54) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | foul_owl | (~kerry@157.97.134.164) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | travisb_ | (~travisb@2600:1700:7990:24e0:b763:cbe:9422:537d) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | driib | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | Adran | (~adran@botters/adran) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) (*.net *.split) |
| 2023-08-10 21:21:30 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) (*.net *.split) |
| 2023-08-10 21:21:35 +0000 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 21:21:38 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-08-10 21:21:42 +0000 | Teacup | (~teacup@user/teacup) |
| 2023-08-10 21:21:44 +0000 | neptun | (neptun@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2023-08-10 21:21:44 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-10 21:21:48 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 21:21:48 +0000 | travisb_ | (~travisb@2600:1700:7990:24e0:453f:7161:f0bd:5ace) |
| 2023-08-10 21:21:51 +0000 | texasmynsted | (~username@99.96.221.112) |
| 2023-08-10 21:22:06 +0000 | mmhat | (~mmh@p200300f1c73a3b84ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-10 21:22:07 +0000 | foul_owl | (~kerry@157.97.134.164) |
| 2023-08-10 21:22:23 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-08-10 21:22:32 +0000 | actioninja6302 | (~actioninj@user/actioninja) |
| 2023-08-10 21:22:35 +0000 | Aleksejs | (~Aleksejs@107.170.21.106) |
| 2023-08-10 21:22:47 +0000 | siers | (~ij@user/ij) |
| 2023-08-10 21:22:48 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-10 21:22:48 +0000 | kmein | (~weechat@user/kmein) |
| 2023-08-10 21:22:53 +0000 | remedan | (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 2023-08-10 21:23:24 +0000 | Adran | (~adran@botters/adran) |
| 2023-08-10 21:23:35 +0000 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-10 21:23:43 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-10 21:23:48 +0000 | dolio | (~dolio@130.44.134.54) |
| 2023-08-10 21:28:07 +0000 | kaskal | (~kaskal@213-147-167-98.nat.highway.webapn.at) |
| 2023-08-10 21:34:10 +0000 | mmhat | (~mmh@p200300f1c73a3bafee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-10 21:41:56 +0000 | acidjnk | (~acidjnk@p200300d6e7072f3800c1c762cc1f65ab.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-08-10 21:43:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 21:49:18 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-10 21:52:07 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-10 21:53:51 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-10 21:56:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-10 21:56:17 +0000 | ursa-major | (~ursa-majo@37.19.210.24) (Ping timeout: 260 seconds) |
| 2023-08-10 21:57:36 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-10 21:58:15 +0000 | ursa-major | (~ursa-majo@static-198-44-128-152.cust.tzulo.com) |
| 2023-08-10 22:01:40 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-10 22:04:05 +0000 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-08-10 22:04:55 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-08-10 22:08:50 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-10 22:09:42 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-10 22:12:32 +0000 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
| 2023-08-10 22:12:32 +0000 | hammond | (proscan@user/hammond2) |
| 2023-08-10 22:13:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-10 22:14:14 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-10 22:14:32 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 2023-08-10 22:14:43 +0000 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) (Quit: Konversation terminated!) |
| 2023-08-10 22:16:32 +0000 | victor | (mirc-rockc@179.152.251.228) |
| 2023-08-10 22:16:39 +0000 | victor | (mirc-rockc@179.152.251.228) () |
| 2023-08-10 22:24:42 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-08-10 22:25:03 +0000 | acidjnk | (~acidjnk@p200300d6e7072f86688b70278123b2bd.dip0.t-ipconnect.de) |
| 2023-08-10 22:27:45 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-10 22:37:29 +0000 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) |
| 2023-08-10 22:38:57 +0000 | Square | (~Square@user/square) |
| 2023-08-10 22:40:18 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2023-08-10 22:41:15 +0000 | artem | (~artem@38.42.227.237) |
| 2023-08-10 22:41:15 +0000 | ulysses4ever | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 22:42:14 +0000 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-10 22:42:14 +0000 | artem | (~artem@38.42.227.237) (Read error: Connection reset by peer) |
| 2023-08-10 22:43:47 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-10 22:45:30 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-10 22:48:47 +0000 | grnman_ | (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-10 23:05:59 +0000 | Guest|93 | (~Guest|93@157.100.171.44) |
| 2023-08-10 23:06:26 +0000 | Guest|93 | (~Guest|93@157.100.171.44) (Client Quit) |
| 2023-08-10 23:09:01 +0000 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-08-10 23:09:36 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-08-10 23:09:58 +0000 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-08-10 23:11:09 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-10 23:11:09 +0000 | mauke_ | mauke |
| 2023-08-10 23:14:21 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-10 23:21:02 +0000 | neuroevolutus | (~neuroevol@2606:2e00:8007:1::a31e) (Quit: Client closed) |
| 2023-08-10 23:22:13 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-10 23:26:04 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-10 23:26:54 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-10 23:35:16 +0000 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2023-08-10 23:35:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-10 23:36:45 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-10 23:38:34 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-10 23:40:00 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-08-10 23:42:06 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-10 23:48:31 +0000 | mmhat | (~mmh@p200300f1c73a3bafee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-08-10 23:48:40 +0000 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-08-10 23:53:32 +0000 | jobhdez | (~jobhdez@2601:601:d00:f30::c0ac) |
| 2023-08-10 23:54:15 +0000 | shapr | (~user@2600:1700:c640:3100:af84:e012:3f8e:af18) (Ping timeout: 245 seconds) |
| 2023-08-10 23:54:57 +0000 | <jobhdez> | hello you all; hope all is well. is servant the way to go if i want to build restful apis, full stack web apps with a js frontend and haskell backend? |