Logs on 2023-08-19 (liberachat/#haskell)
| 00:00:50 | <Guest73> | So the part that I was missing was that (a ->) is the outer functor here |
| 00:01:04 | <Guest73> | But why is it a valid functor to begin with |
| 00:01:04 | <hpc> | ah yep, that'll do it |
| 00:01:13 | <hpc> | because fmap = (.) |
| 00:01:20 | <hpc> | making (fmap . fmap) extra fun :D |
| 00:01:26 | <hpc> | :t fmap fmap fmap |
| 00:01:27 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 00:01:35 | <hpc> | :t fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap |
| 00:01:36 | <lambdabot> | (Functor f1, Functor f2, Functor f3) => (a -> b) -> f1 (f2 (f3 a)) -> f1 (f2 (f3 b)) |
| 00:01:42 | <hpc> | :t fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap fmap |
| 00:01:43 | <lambdabot> | (Functor f1, Functor f2, Functor f3, Functor f4) => f1 (f2 (f3 (a -> b))) -> f1 (f2 (f3 (f4 a -> f4 b))) |
| 00:02:55 | <hpc> | as for why it's actually useful to have that generalization, it's because you need that Functor instance to have the Applicative instance to have the Monad instance to have Reader |
| 00:02:58 | <hpc> | @src Reader |
| 00:02:59 | <lambdabot> | type Reader r = ReaderT r Identity |
| 00:02:59 | <lambdabot> | --OR |
| 00:02:59 | <lambdabot> | data Reader r a = Reader { runReader :: r -> a } |
| 00:06:30 | <Guest73> | "To answer your original question about why (->) a is a valid functor: The (->) a type can be thought of as a container that holds functions from type a to some result type. Applying a function b -> c to a function a -> b inside this "container" corresponds to function composition, which is a valid operation and satisfies the functor laws." |
| 00:06:31 | <Guest73> | -ChatGPT |
| 00:06:38 | <Guest73> | So this is what you meant by fmap = (.) in this case? |
| 00:06:44 | <Guest73> | Thanks for pointing me in the right direction there |
| 00:06:59 | <Guest73> | The reader monad is the subject of the very next chapter in the book I'm reading so I'll take a look at that as well |
| 00:07:11 | × | Guest73 quits (~Guest73@c-73-158-239-55.hsd1.ca.comcast.net) (Quit: Client closed) |
| 00:08:39 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:09:07 | × | mima quits (~mmh@net-93-148-97-236.cust.dsl.teletu.it) (Ping timeout: 245 seconds) |
| 00:12:01 | → | ulysses4ever joins (~artem@73.145.240.54) |
| 00:15:26 | → | ski joins (~ski@ext-1-303.eduroam.chalmers.se) |
| 00:18:24 | × | ulysses4ever quits (~artem@73.145.240.54) (Ping timeout: 250 seconds) |
| 00:23:47 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 00:24:57 | × | oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 00:26:40 | → | ulysses4ever joins (~artem@73.145.240.54) |
| 00:30:05 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 00:34:11 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 00:36:40 | × | ulysses4ever quits (~artem@73.145.240.54) (Read error: Connection reset by peer) |
| 00:38:30 | × | NewtonTrendy quits (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
| 00:38:39 | × | shapr quits (~user@2600:1700:c640:3100:c5ff:3965:4f0:3341) (Remote host closed the connection) |
| 00:38:52 | → | shapr joins (~user@2600:1700:c640:3100:806c:53f5:75c9:d1ac) |
| 00:42:20 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 00:43:32 | → | Feuermagier_ joins (~Feuermagi@user/feuermagier) |
| 00:43:32 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Killed (silver.libera.chat (Nickname regained by services))) |
| 00:43:32 | Feuermagier_ | is now known as Feuermagier |
| 01:05:48 | × | BigKozlo_ quits (~BigKozlow@84.21.165.226) (Read error: Connection reset by peer) |
| 01:05:53 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 01:10:31 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:59 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:10:59 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:10:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:14:16 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 4.0.2) |
| 01:14:46 | → | jero98772 joins (~jero98772@2800:484:1d84:300::2) |
| 01:15:23 | → | hyvoid joins (~hyenavoid@222-0-178-69.static.gci.net) |
| 01:16:20 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 01:17:06 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:19:07 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 01:22:04 | × | caryhartline quits (~caryhartl@168.182.58.169) (Quit: caryhartline) |
| 01:22:54 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 01:24:51 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 01:26:51 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 01:27:27 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 01:29:37 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 01:34:12 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:38:13 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 01:39:24 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 01:41:50 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 01:42:54 | → | bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
| 01:45:33 | × | Buggys quits (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
| 01:51:08 | × | bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
| 01:53:17 | → | Buggys joins (Buggys@shelltalk.net) |
| 01:55:00 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 256 seconds) |
| 02:04:47 | → | zmt01 joins (~zmt00@user/zmt00) |
| 02:07:44 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 246 seconds) |
| 02:11:09 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 02:13:29 | <monochrom> | The problem with the "container" story is that you would be hard pressed to count the State monad as a "container". |
| 02:14:07 | × | td_ quits (~td@i5387092B.versanet.de) (Ping timeout: 246 seconds) |
| 02:15:14 | <monochrom> | At which point either you simply axiomatize "State is also a container, I don't care" therefore words mean nothing, or you accept that intuitions always unravel. |
| 02:16:05 | → | td_ joins (~td@i5387090E.versanet.de) |
| 02:16:15 | <dolio> | The pasted text doesn't make any sense. |
| 02:16:45 | <dolio> | Which is unsurprising, of course. |
| 02:17:19 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:17:41 | <monochrom> | 10 years before chatgpt I already predicted "express in your own words to show that you're making it up" :) |
| 02:17:42 | <dolio> | I mean, some of it is okay, but the "container" part is garbage. |
| 02:18:34 | <monochrom> | If it said "holds values of type b, using keys of type a for look up" I would not complain. |
| 02:18:51 | <dolio> | Yeah, but it didn't. |
| 02:18:57 | <monochrom> | But then I still haven't seen a good story that paints State as a container. |
| 02:19:17 | → | gastus joins (~gastus@185.6.123.210) |
| 02:22:46 | × | gastus_ quits (~gastus@5.83.191.16) (Ping timeout: 256 seconds) |
| 02:23:25 | → | mud joins (~mud@user/kadoban) |
| 02:33:00 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 02:34:28 | → | danza__ joins (~francesco@151.19.245.9) |
| 02:35:14 | → | merijn joins (~merijn@83.128.129.88) |
| 02:37:04 | × | danza_ quits (~francesco@151.37.240.1) (Ping timeout: 250 seconds) |
| 02:39:40 | × | merijn quits (~merijn@83.128.129.88) (Ping timeout: 248 seconds) |
| 02:40:37 | <EvanR> | @unmtl State |
| 02:40:37 | <lambdabot> | err: `State' is not applied to enough arguments, giving `/\A B. A -> (B, A)' |
| 02:43:11 | <EvanR> | i appreciate attributing that the quote is from chatgpt, but not presenting something from chatgpt as a justification for something from a position of ignorance. As if chatgpt is your lawyer who works for you and is responsible for knowledge |
| 02:46:36 | <EvanR> | and yeah you can and Cale has stretched container to apply to anything you want. A value of type State s a is a container that you put an s in, turn a crank, then find a different s and side a inside |
| 02:46:55 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 02:47:29 | <EvanR> | can't make heads or tails of (->) though |
| 02:48:27 | <EvanR> | a function is a container which has a possibly finite set of bs, one for each a |
| 02:48:33 | <EvanR> | possibly infinite |
| 02:51:32 | × | flounders quits (~flounders@24.246.133.1) (Ping timeout: 240 seconds) |
| 02:52:34 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:52:34 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:52:34 | finn_elija | is now known as FinnElija |
| 02:52:39 | <monochrom> | A reason why "A->B is a container of B indexed by A" is helpful is that it helps the equivalence between "data P a = P a a" and "Bool -> a". |
| 02:54:36 | <monochrom> | The most cunning aspect of that equivalence is that each bijection is a monad isomorphism too, i..e., it is not just a random bijection with no extra niceness. |
| 02:55:07 | <EvanR> | unrelated, equivalence between s -> (a, s) and (s -> a, s -> s) |
| 02:55:35 | <EvanR> | State is two containers |
| 03:01:18 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 03:08:54 | → | aforemny_ joins (~aforemny@89.245.22.230) |
| 03:09:46 | × | aforemny quits (~aforemny@2001:9e8:6cd7:8900:b425:74af:bd09:ff1c) (Ping timeout: 260 seconds) |
| 03:11:26 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 03:12:52 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 03:18:30 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 03:19:00 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:19:01 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:19:01 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:19:35 | × | jero98772 quits (~jero98772@2800:484:1d84:300::2) (Remote host closed the connection) |
| 03:37:29 | → | razetime joins (~quassel@117.254.37.199) |
| 03:37:50 | × | shapr quits (~user@2600:1700:c640:3100:806c:53f5:75c9:d1ac) (Remote host closed the connection) |
| 03:38:04 | → | shapr joins (~user@2600:1700:c640:3100:dfdf:cd4b:5fe0:16d3) |
| 03:40:00 | <probie> | I think "functors are containers" completely falls apart at things like `Const` |
| 03:41:23 | <probie> | well, that's a bit too container like, so why not `data Unit1 a = Unit1` |
| 03:42:00 | <probie> | s/that's a bit too/that's still a bit too/ |
| 03:42:06 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
| 03:42:39 | <probie> | `Unit1` is definitely a functor, but I don't think even ChatGPT can explain how it's a container |
| 03:46:11 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 03:46:11 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 03:46:11 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 03:47:54 | × | abrantesasf quits (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 03:48:24 | × | razetime quits (~quassel@117.254.37.199) (Ping timeout: 246 seconds) |
| 03:57:57 | <monochrom> | functor, monad : shoehorning into "container", "computation", "context" :: quantum field : shoehorning into "particle", "wave", "random" |
| 04:01:13 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 04:03:00 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 04:03:00 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 04:03:00 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 04:04:54 | <[Leary]> | EvanR: Fun fact: if you actually implement State that way, the monoidal structure of Applicative is revealed to arise from a semidirect product: `State sf g <*> State sx h = State (sf <*> (g >>> sx)) (g >>> h)`. :) |
| 04:09:07 | × | vglfr quits (~vglfr@188.239.201.89) (Ping timeout: 245 seconds) |
| 04:09:43 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:d189:f4be:247a:f4eb) |
| 04:12:07 | <wroathe> | Hey guys, I've got some code for parsing a TSV file that looks basically like parseFile = do; x <- parseRow; xs <- parseRemaining; pure (x : xs), and I'm seeing that it's taking an awful lot of memory. Is there a trick to reducing memory usage of code like this? |
| 04:13:23 | <wroathe> | If I understand the semantics here I think it must be waiting to reduce the entire thing until it gets to the terminating case that evaluates to the [] on the right hand side |
| 04:14:04 | <wroathe> | Or maybe one of you knows a trick to better isolate what the problem is? The report from --enabling-profiling is a bit cryptic to me |
| 04:16:39 | <wroathe> | Actually it's more like parseRows = do; atEnd < eof; if atEnd then [] else do; x <- parseRow; xs <- parseRows; pure (x : xs) |
| 04:17:03 | <wroathe> | atEnd <- eof* |
| 04:21:21 | <institor> | wroathe: you can compile your program with profiling to get an idea of the major allocation cost centers in your program |
| 04:21:46 | <institor> | but loosely speaking you might want to look at strict evaluation to avoid the buildup of thunks in memory |
| 04:22:07 | <institor> | oh, you've already enabled profiling |
| 04:22:19 | <institor> | what is the `COST CENTRE` with the largest %alloc? |
| 04:23:00 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 04:23:02 | <monochrom> | [Leary]: I didn't think of that. That looks nice. |
| 04:23:55 | <wroathe> | institor: one sec |
| 04:24:51 | <institor> | > let x = 2; let xs = [1, 0]; pure (x:xs) |
| 04:24:52 | <lambdabot> | <hint>:1:40: error: |
| 04:24:52 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 04:24:56 | <institor> | uhh... |
| 04:25:36 | <monochrom> | s/;/ in / |
| 04:25:38 | <mauke> | > do let {x = 2}; let {xs = [1, 0]}; pure (x : xs) |
| 04:25:40 | <lambdabot> | error: |
| 04:25:40 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M632240727658... |
| 04:25:40 | <lambdabot> | prevents the constraint ‘(Show (f0 [Integer]))’ from being solved. |
| 04:25:48 | <institor> | it's been a while |
| 04:25:52 | <wroathe> | institor: https://gist.github.com/JustinChristensen/962698a717c3cc5903a6453a17938bc9 |
| 04:26:08 | <monochrom> | In fact, s/pure// |
| 04:26:14 | <institor> | > do let {x = 2}; let {xs = [1, 0]}; pure ((x : xs) :: [Int]) |
| 04:26:15 | <lambdabot> | error: |
| 04:26:15 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘show_M781669833189... |
| 04:26:15 | <lambdabot> | prevents the constraint ‘(Show (f0 [Int]))’ from being solved. |
| 04:26:26 | <institor> | > do let {x = 2}; let {xs = [1, 0]}; pure ((x : xs) :: IO [Int]) |
| 04:26:28 | <lambdabot> | error: |
| 04:26:28 | <lambdabot> | • Couldn't match expected type ‘IO [Int]’ with actual type ‘[a0]’ |
| 04:26:28 | <lambdabot> | • In the first argument of ‘pure’, namely ‘((x : xs) :: IO [Int])’ |
| 04:27:01 | <mauke> | > do let {x = 2}; let {xs = [1, 0]}; pure (x : xs) :: Maybe [Int] |
| 04:27:02 | <lambdabot> | Just [2,1,0] |
| 04:27:13 | <institor> | > do let {x = 2}; let {xs = [1, 0]}; pure $! (x : xs) :: Maybe [Int] |
| 04:27:15 | <lambdabot> | Just [2,1,0] |
| 04:27:29 | <institor> | wroathe: as a quick experiment what if you replaced `pure (x : xs)` with `pure $! (x : xs)` |
| 04:27:35 | <mauke> | that does nothing |
| 04:27:45 | <institor> | no? |
| 04:28:00 | <mauke> | $! forces the RHS when the whole thing is evaluated |
| 04:28:12 | <mauke> | but this right-hand side is a call to a constructor |
| 04:28:18 | <mauke> | so it already is evaluated |
| 04:28:39 | <institor> | @t seq |
| 04:28:40 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 04:28:46 | <mauke> | :t seq |
| 04:28:46 | <lambdabot> | a -> b -> b |
| 04:29:24 | <wroathe> | does `seq` work for the a : b : c : ... : [] case too? the article I just read made it sound like a : b had to be reducable for that work |
| 04:29:26 | <monochrom> | "SYSTEM" can mean the stack. |
| 04:29:28 | <wroathe> | that to work* |
| 04:30:18 | <monochrom> | Also I have seen programs that run in O(1) space, but once you turn on space profiling, it takes linear space, and it's shown as "SYSTEM". |
| 04:31:33 | <monochrom> | To be sure, there are also programs for which space profiling is trustworthy. |
| 04:31:35 | × | Flow quits (~none@gentoo/developer/flow) (Ping timeout: 246 seconds) |
| 04:33:54 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 04:35:57 | <probie> | wroathe: Out of curiosity, do you get much different performance with `parseRows = go id where go appendRows = do { atEnd <- eof; if atEnd then appendRows [] else do { x <- parseRow; go (appendRows . (x:)) } }`? |
| 04:36:23 | → | Flow joins (~none@gentoo/developer/flow) |
| 04:36:58 | <monochrom> | > seq (undefined : undefined) () |
| 04:36:59 | <lambdabot> | () |
| 04:37:07 | <monochrom> | seq is very shallow. |
| 04:37:36 | <monochrom> | rnf and deepseq would be the one that can dig deeper. |
| 04:38:13 | <wroathe> | probie: I'll give that a shot, thanks |
| 04:38:22 | × | Marcel2 quits (~Midjak@82.66.147.146) (Quit: Leaving) |
| 04:39:21 | <monochrom> | But do not think that killing laziness saves space. It cuts both ways. "print [0..n]" stays in O(1) space because of laziness. |
| 04:43:10 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 04:45:11 | <mauke> | did you mean: O(log n) space |
| 04:45:47 | <monochrom> | :) |
| 04:46:54 | ← | wroathe parts (~wroathe@user/wroathe) () |
| 04:51:36 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 04:57:10 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 04:59:56 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 05:02:21 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 05:02:38 | → | gleostocha joins (~runic@2600:1700:3bdd:9810::3b) |
| 05:04:03 | × | shapr quits (~user@2600:1700:c640:3100:dfdf:cd4b:5fe0:16d3) (Remote host closed the connection) |
| 05:04:04 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 05:04:16 | → | shapr joins (~user@2600:1700:c640:3100:ab39:d2fb:a612:d413) |
| 05:04:24 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds) |
| 05:25:32 | → | mikoto-chan joins (~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi) |
| 05:27:22 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 05:31:57 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds) |
| 05:35:54 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 05:38:39 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 05:41:06 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 05:44:08 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:49:32 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 05:50:29 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 05:56:30 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 06:00:14 | × | Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Read error: Connection reset by peer) |
| 06:00:33 | → | Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen) |
| 06:09:50 | → | dean61 joins (~dean61@2603-8080-4900-cbb1-0000-0000-0000-1410.res6.spectrum.com) |
| 06:10:05 | <dean61> | hello |
| 06:10:28 | → | billchenchina joins (~billchenc@117.136.116.128) |
| 06:10:46 | <dean61> | I have this haskell code |
| 06:10:47 | <dean61> | https://pastebin.com/WChRQ1XW |
| 06:10:47 | → | Alleria joins (~JohnGalt@user/alleria) |
| 06:11:05 | <dean61> | it solves the problem "find/count pairs (p,q) such that p^2 + q^3 contains all digits exactly once" |
| 06:11:13 | <dean61> | is there a better way to do it |
| 06:11:16 | → | NewtonTrendy joins (uid282092@user/bopqod) |
| 06:11:42 | <dean61> | like maybe using an infinite list of primes and doing some sort of merge to get them ordered by p^2+q^3 |
| 06:11:52 | <dean61> | alternatively is there a way to speed up the computation |
| 06:12:18 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 06:13:54 | <dean61> | https://paste.tomsmeding.com/WgGMngkU |
| 06:14:20 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 06:17:09 | → | gmg joins (~user@user/gehmehgeh) |
| 06:18:46 | × | mikoto-chan quits (~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 06:21:37 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 06:23:49 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 06:26:09 | → | mikoto-chan joins (~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi) |
| 06:26:43 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 06:27:29 | <probie> | Where's the majority of time spent? |
| 06:28:45 | <probie> | `containsEveryDigitOnce` can be made quite a bit faster, but is that a bottleneck? |
| 06:30:58 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 06:34:06 | × | danza__ quits (~francesco@151.19.245.9) (Read error: Connection reset by peer) |
| 06:34:28 | → | danza__ joins (~francesco@151.19.224.6) |
| 06:34:51 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 06:35:13 | → | jonathan_ joins (~jonathan@193.203.13.30) |
| 06:36:24 | <dean61> | I get that it spends about 98% of the time in that function |
| 06:36:35 | <dean61> | probie |
| 06:37:02 | <dean61> | https://paste.tomsmeding.com/Qh3D5mnm |
| 06:38:48 | <dean61> | yes avoiding the sort speeds it up |
| 06:42:27 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 06:43:20 | → | ripspin joins (~chatzilla@1.145.156.21) |
| 06:44:31 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 06:44:56 | <probie> | When compiled with `-O2` https://paste.tomsmeding.com/YHCUENKK seems to make it about 3 times faster (on my computer), but it's about half the speed when run in GHCi |
| 06:46:48 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 06:47:43 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 06:48:18 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 06:49:09 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) |
| 06:49:16 | × | gleostocha quits (~runic@2600:1700:3bdd:9810::3b) (Ping timeout: 248 seconds) |
| 06:51:52 | → | acidjnk joins (~acidjnk@p200300d6e7072f5000828a9f1d7339ed.dip0.t-ipconnect.de) |
| 06:52:18 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds) |
| 06:52:48 | → | crazazy joins (~user@130.89.171.133) |
| 06:55:36 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 06:55:49 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 06:57:26 | × | dean61 quits (~dean61@2603-8080-4900-cbb1-0000-0000-0000-1410.res6.spectrum.com) (Quit: Client closed) |
| 06:58:59 | → | sm joins (~sm@plaintextaccounting/sm) |
| 07:00:02 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:01:20 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 07:03:32 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Client Quit) |
| 07:04:01 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 07:04:34 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:07:34 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 07:11:35 | → | fendor joins (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 07:12:27 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds) |
| 07:13:09 | → | Pickchea joins (~private@user/pickchea) |
| 07:15:24 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 07:15:59 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 07:16:48 | → | mima joins (~mmh@net-93-148-96-78.cust.dsl.teletu.it) |
| 07:18:45 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 07:19:17 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 07:19:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:20:16 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 07:21:13 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:21:41 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 07:22:20 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 248 seconds) |
| 07:24:13 | × | mikoto-chan quits (~mikoto-ch@85-76-21-194-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
| 07:24:24 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 07:25:21 | → | bilegeek joins (~bilegeek@2600:1008:b06f:9cf9:f684:76cd:d659:2987) |
| 07:26:49 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 07:28:41 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 07:29:15 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 07:29:31 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Quit: Leaving) |
| 07:30:47 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.0.3) |
| 07:32:03 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:d189:f4be:247a:f4eb) (Ping timeout: 246 seconds) |
| 07:32:56 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 07:33:33 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 07:37:38 | → | billchenchina- joins (~billchenc@210.28.139.54) |
| 07:38:38 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 07:40:06 | × | billchenchina quits (~billchenc@117.136.116.128) (Ping timeout: 246 seconds) |
| 07:43:26 | × | fendor quits (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 07:51:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:57:39 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 244 seconds) |
| 07:58:59 | → | notzmv joins (~zmv@user/notzmv) |
| 08:00:46 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 08:02:18 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 08:04:15 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 08:11:57 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:12:44 | × | shapr quits (~user@2600:1700:c640:3100:ab39:d2fb:a612:d413) (Remote host closed the connection) |
| 08:12:58 | → | shapr joins (~user@2600:1700:c640:3100:f56e:d924:65b8:b795) |
| 08:13:44 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 08:17:35 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Remote host closed the connection) |
| 08:17:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:24:21 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 08:24:58 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 08:31:06 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 08:33:05 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 08:33:48 | × | ursa-major quits (~ursa-majo@static-198-44-128-183.cust.tzulo.com) (Quit: WeeChat 4.0.3) |
| 08:36:30 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 08:45:19 | → | anandprabhu joins (~anandprab@185.65.135.224) |
| 08:46:35 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:48:21 | × | bilegeek quits (~bilegeek@2600:1008:b06f:9cf9:f684:76cd:d659:2987) (Quit: Leaving) |
| 08:49:47 | × | billchenchina- quits (~billchenc@210.28.139.54) (Remote host closed the connection) |
| 08:51:15 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:53:33 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Remote host closed the connection) |
| 09:00:21 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 09:01:20 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:07:22 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 09:18:15 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:18:28 | → | eggplantade joins (~Eggplanta@104.55.37.220) |
| 09:22:27 | → | Tuplanolla joins (~Tuplanoll@91.159.68.236) |
| 09:22:52 | × | eggplantade quits (~Eggplanta@104.55.37.220) (Ping timeout: 248 seconds) |
| 09:24:27 | × | anandprabhu quits (~anandprab@185.65.135.224) (Ping timeout: 244 seconds) |
| 09:27:05 | → | anandprabhu joins (~anandprab@94.201.237.158) |
| 09:27:24 | × | danza__ quits (~francesco@151.19.224.6) (Ping timeout: 246 seconds) |
| 09:30:21 | × | xff0x quits (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 246 seconds) |
| 09:32:31 | → | xff0x joins (~xff0x@178.255.149.135) |
| 09:34:31 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
| 09:37:22 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 09:38:11 | → | danza__ joins (~francesco@151.19.224.6) |
| 09:41:54 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 09:42:02 | × | crazazy quits (~user@130.89.171.133) (Ping timeout: 246 seconds) |
| 09:44:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:46:04 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 252 seconds) |
| 09:47:56 | → | bonz060 joins (~quassel@2001:bc8:640:f07::1) |
| 09:48:17 | → | xff0x joins (~xff0x@138.64.86.45) |
| 09:51:50 | → | tromp joins (~textual@92.110.219.57) |
| 09:53:26 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 09:54:22 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Ping timeout: 246 seconds) |
| 09:57:51 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 10:02:57 | × | actioninja6302 quits (~actioninj@user/actioninja) (Quit: see ya mane) |
| 10:03:20 | → | actioninja6302 joins (~actioninj@user/actioninja) |
| 10:03:21 | actioninja6302 | is now known as actioninja |
| 10:08:00 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 245 seconds) |
| 10:11:04 | × | ripspin quits (~chatzilla@1.145.156.21) (Remote host closed the connection) |
| 10:20:02 | → | oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 10:25:39 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:28:17 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 245 seconds) |
| 10:33:41 | → | misterfish joins (~misterfis@84.53.85.146) |
| 10:34:25 | × | danza__ quits (~francesco@151.19.224.6) (Read error: Connection reset by peer) |
| 10:35:04 | → | danza__ joins (~francesco@151.37.241.220) |
| 10:37:35 | → | npmania joins (~Thunderbi@45.8.223.243) |
| 10:42:50 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 10:46:49 | → | simikando joins (~simikando@bband-dyn179.95-103-254.t-com.sk) |
| 10:51:59 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Quit: leaving) |
| 10:54:31 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 10:56:10 | × | acidjnk quits (~acidjnk@p200300d6e7072f5000828a9f1d7339ed.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 11:05:16 | × | danza__ quits (~francesco@151.37.241.220) (Ping timeout: 248 seconds) |
| 11:06:05 | × | npmania quits (~Thunderbi@45.8.223.243) (Quit: npmania) |
| 11:07:18 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 11:08:33 | → | dcoutts joins (~duncan@188.164.224.156) |
| 11:15:47 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 11:23:31 | × | anandprabhu quits (~anandprab@94.201.237.158) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:24:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 11:24:36 | → | acidjnk joins (~acidjnk@p200300d6e7072f50fc6d50d58f49c7f1.dip0.t-ipconnect.de) |
| 11:27:40 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 11:34:57 | × | mima quits (~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 260 seconds) |
| 11:36:15 | × | tromp quits (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:37:26 | × | shapr quits (~user@2600:1700:c640:3100:f56e:d924:65b8:b795) (Remote host closed the connection) |
| 11:37:39 | → | shapr joins (~user@2600:1700:c640:3100:b729:84c1:96af:363e) |
| 11:47:24 | × | dcoutts quits (~duncan@188.164.224.156) (Ping timeout: 250 seconds) |
| 11:51:33 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 11:53:35 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:00:51 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 12:02:15 | × | phma quits (~phma@2001:5b0:210d:fa8:a608:8ba6:f080:fd9b) (Read error: Connection reset by peer) |
| 12:02:41 | → | phma joins (phma@2001:5b0:210d:fa8:9f82:cebd:52a4:eb8d) |
| 12:10:24 | → | fendor joins (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 12:10:56 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 12:14:13 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 12:15:33 | → | anandprabhu joins (~anandprab@94.201.237.158) |
| 12:18:50 | × | simikando quits (~simikando@bband-dyn179.95-103-254.t-com.sk) (Ping timeout: 246 seconds) |
| 12:18:55 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 12:21:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) |
| 12:25:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Ping timeout: 246 seconds) |
| 12:28:06 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:29:00 | × | hdggxin quits (~hdggxin@122.175.41.19) (Ping timeout: 248 seconds) |
| 12:31:22 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 12:31:43 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 12:38:15 | → | razetime joins (~quassel@117.254.37.116) |
| 12:42:22 | → | dextaa3 joins (~DV@user/dextaa) |
| 12:43:20 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 246 seconds) |
| 12:43:20 | dextaa3 | is now known as dextaa |
| 12:43:52 | → | merijn joins (~merijn@83.128.129.88) |
| 12:46:45 | × | dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 12:47:16 | → | dextaa joins (~DV@user/dextaa) |
| 12:49:37 | × | shapr quits (~user@2600:1700:c640:3100:b729:84c1:96af:363e) (Remote host closed the connection) |
| 12:49:47 | × | Alleria quits (~JohnGalt@user/alleria) (Read error: Connection reset by peer) |
| 12:49:51 | → | shapr joins (~user@2600:1700:c640:3100:3c58:3630:ffc6:7bdc) |
| 12:49:56 | → | codaraxis___ joins (~codaraxis@user/codaraxis) |
| 12:50:04 | → | AlexNoo_ joins (~AlexNoo@178.34.161.177) |
| 12:50:37 | × | AlexNoo quits (~AlexNoo@178.34.161.177) (Read error: Connection reset by peer) |
| 12:50:41 | → | Alleria joins (~JohnGalt@user/alleria) |
| 12:51:24 | × | merijn quits (~merijn@83.128.129.88) (Ping timeout: 248 seconds) |
| 12:51:47 | → | hdggxin joins (~hdggxin@122.175.41.19) |
| 12:53:28 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 13:07:50 | × | razetime quits (~quassel@117.254.37.116) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 13:08:26 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 13:18:06 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 13:27:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:35:22 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:fc05:5499:f77c:fbe5) (Remote host closed the connection) |
| 13:49:34 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 13:56:32 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 250 seconds) |
| 13:57:36 | × | travisb_ quits (~tabemann@2600:1700:7990:24e0:8106:70ee:7ed9:7eae) (Quit: Leaving) |
| 14:15:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:16:09 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 14:16:55 | → | Simikando joins (~Simikando@91.127.51.1) |
| 14:20:22 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:22:04 | × | Simikando quits (~Simikando@91.127.51.1) (Ping timeout: 248 seconds) |
| 14:25:16 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
| 14:27:43 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 14:29:27 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 246 seconds) |
| 14:32:27 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 14:34:45 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 14:36:50 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:40:53 | × | extor quits (~extor@ns3018124.ip-149-202-82.eu) (Remote host closed the connection) |
| 14:50:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:54:33 | → | mima joins (~mmh@93.148.96.78) |
| 14:58:18 | × | Buggys quits (Buggys@shelltalk.net) (Ping timeout: 246 seconds) |
| 14:59:47 | × | Alleria quits (~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:00:13 | → | Alleria joins (~JohnGalt@user/alleria) |
| 15:08:21 | → | artem joins (~artem@172.58.146.179) |
| 15:08:26 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 15:10:26 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 15:10:28 | × | artem quits (~artem@172.58.146.179) (Read error: Connection reset by peer) |
| 15:11:27 | × | fendor quits (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 15:11:41 | → | artem joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 15:11:42 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 15:16:36 | → | ulysses4ever joins (~artem@172.58.146.179) |
| 15:16:37 | × | artem quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 15:17:59 | → | artem joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 15:18:01 | × | ulysses4ever quits (~artem@172.58.146.179) (Read error: Connection reset by peer) |
| 15:18:19 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 15:19:23 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 15:19:24 | × | artem quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 15:23:19 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) |
| 15:27:02 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 15:27:36 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Ping timeout: 256 seconds) |
| 15:27:48 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 15:36:39 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection) |
| 15:37:00 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 15:38:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:40:14 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Tschüss) |
| 15:45:46 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:48:28 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 248 seconds) |
| 15:48:46 | → | Pickchea joins (~private@user/pickchea) |
| 15:49:43 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection) |
| 15:50:05 | → | Simikando joins (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
| 15:50:42 | → | Buggys joins (Buggys@Buggy.shelltalk.net) |
| 15:52:32 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 15:53:58 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 15:57:43 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) |
| 15:58:57 | → | crazazy joins (~user@130.89.171.133) |
| 15:59:33 | × | Simikando quits (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
| 16:00:20 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 16:02:54 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 16:05:42 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 16:08:06 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 16:13:02 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 16:13:36 | × | Alleria quits (~JohnGalt@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:16:19 | → | Alleria joins (~JohnGalt@user/alleria) |
| 16:23:13 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 16:24:00 | → | gabiruh joins (~gabiruh@191.252.222.55) |
| 16:27:20 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
| 16:31:23 | × | Alleria quits (~JohnGalt@user/alleria) (Quit: Textual IRC Client: www.textualapp.com) |
| 16:32:57 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 16:33:50 | × | crazazy quits (~user@130.89.171.133) (Ping timeout: 250 seconds) |
| 16:35:57 | × | doyougnu- quits (~doyougnu@45.46.170.68) (Ping timeout: 246 seconds) |
| 16:38:00 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 16:45:23 | → | ripspin joins (~chatzilla@1.145.161.50) |
| 16:46:20 | × | vglfr quits (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Ping timeout: 245 seconds) |
| 16:46:55 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c) |
| 16:49:06 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c) (Read error: Connection reset by peer) |
| 16:49:20 | → | vglfr joins (~vglfr@145.224.100.231) |
| 16:49:21 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 16:50:05 | → | vglfr joins (~vglfr@145.224.100.231) |
| 16:50:06 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 16:50:26 | → | vglfr joins (~vglfr@145.224.100.231) |
| 16:51:12 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 16:53:35 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 16:53:39 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 16:54:00 | → | vglfr joins (~vglfr@145.224.100.231) |
| 16:54:03 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 16:54:16 | → | vglfr joins (~vglfr@145.224.100.231) |
| 16:54:19 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 16:54:57 | → | vglfr joins (~vglfr@145.224.100.231) |
| 16:58:36 | × | vglfr quits (~vglfr@145.224.100.231) (Read error: Connection reset by peer) |
| 16:59:06 | → | vglfr joins (~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c) |
| 17:00:19 | × | shapr quits (~user@2600:1700:c640:3100:3c58:3630:ffc6:7bdc) (Remote host closed the connection) |
| 17:00:55 | → | shapr joins (~user@2600:1700:c640:3100:2cd6:c1ec:e956:309c) |
| 17:01:43 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 17:03:00 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:04:09 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 17:09:48 | × | vglfr quits (~vglfr@2a0d:3344:148d:7a00:5ee:83ed:dacf:8d0c) (Read error: Connection reset by peer) |
| 17:10:01 | → | vglfr joins (~vglfr@145.224.100.231) |
| 17:12:20 | → | Simikando joins (~Simikando@91.127.51.1) |
| 17:13:24 | → | crazazy joins (~user@130.89.171.133) |
| 17:17:53 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:20:56 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 17:23:49 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 17:25:30 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:26:45 | → | extor joins (~extor@ns3018124.ip-149-202-82.eu) |
| 17:28:17 | <albet70> | why there's no Data.ByteString.splitOn? for god's sake it's 2023! |
| 17:29:10 | <shapr> | I thought there was? |
| 17:29:32 | × | crazazy quits (~user@130.89.171.133) (Ping timeout: 240 seconds) |
| 17:29:46 | <shapr> | :t splitWith |
| 17:29:47 | <lambdabot> | error: |
| 17:29:47 | <lambdabot> | • Variable not in scope: splitWith |
| 17:29:47 | <lambdabot> | • Perhaps you meant one of these: |
| 17:30:01 | <shapr> | Oh, that's not really it |
| 17:30:40 | <geekosaur> | https://hackage.haskell.org/package/bytestring-0.12.0.2/docs/Data-ByteString.html#v:split |
| 17:31:26 | <shapr> | That splits on a single Word8 |
| 17:31:47 | <geekosaur> | for anything else you want a parser, see flatparse |
| 17:31:53 | <shapr> | I think albet70 wants `splitOn "abc" "123abcdef" -> ["123","def"]` |
| 17:32:24 | <geekosaur> | ByteString, not Text |
| 17:33:44 | <shapr> | Yeah, but split still takes one byte, and I think albet70 wants to split on and consume multiple byte separators. |
| 17:33:55 | <albet70> | for what reason, it doesn't exist yet? |
| 17:36:33 | × | tabaqui quits (~root@88.238.9.97) (Quit: WeeChat 4.0.2) |
| 17:38:52 | × | mima quits (~mmh@93.148.96.78) (Ping timeout: 248 seconds) |
| 17:39:23 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 17:42:20 | × | ripspin quits (~chatzilla@1.145.161.50) (Remote host closed the connection) |
| 17:43:42 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 17:44:22 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 17:45:29 | AlexNoo_ | is now known as AlexNoo |
| 17:46:32 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 17:50:51 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 17:51:32 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:55:03 | <EvanR> | back when I noticed there was no bytestring split, I found this on hackage https://hackage.haskell.org/package/stringsearch |
| 17:55:22 | <EvanR> | like the split package is comes with a bunch of other stuff than what you wanted |
| 17:55:57 | <EvanR> | albet70, ^ |
| 17:56:12 | <EvanR> | Fast overlapping Boyer-Moore search of strict ByteString values. Breaking, splitting and replacing using the Boyer-Moore algorithm. |
| 17:58:47 | × | chexum_ quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 17:59:02 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 17:59:51 | <EvanR> | other algorithms are included for tuning performance |
| 18:08:44 | × | Simikando quits (~Simikando@91.127.51.1) (Ping timeout: 248 seconds) |
| 18:11:56 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 18:15:08 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 18:15:54 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 256 seconds) |
| 18:16:49 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 18:18:52 | × | vglfr quits (~vglfr@145.224.100.231) (Ping timeout: 240 seconds) |
| 18:19:52 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 18:20:04 | → | vglfr joins (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 18:20:45 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
| 18:21:21 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 18:21:27 | → | ulysses4ever joins (~artem@73.145.241.63) |
| 18:21:59 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 18:23:14 | → | artem joins (~artem@73.145.241.63) |
| 18:23:15 | × | ulysses4ever quits (~artem@73.145.241.63) (Read error: Connection reset by peer) |
| 18:24:32 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 18:25:30 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 18:26:00 | → | sm joins (~sm@plaintextaccounting/sm) |
| 18:32:25 | → | Pickchea joins (~private@user/pickchea) |
| 18:33:39 | → | Techcable joins (~Techcable@user/Techcable) |
| 18:39:30 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 18:41:02 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 18:45:19 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 18:46:30 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 18:48:44 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 18:49:21 | × | anandprabhu quits (~anandprab@94.201.237.158) (Quit: Textual IRC Client: www.textualapp.com) |
| 18:49:34 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 18:50:28 | → | emma-underscores joins (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) |
| 18:53:20 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:54:12 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds) |
| 18:55:23 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 18:55:30 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Quit: Quit) |
| 18:57:22 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 19:01:25 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 19:02:47 | → | EvanR joins (~EvanR@user/evanr) |
| 19:04:41 | → | Marcel2 joins (~Midjak@82.66.147.146) |
| 19:07:33 | × | Marcel2 quits (~Midjak@82.66.147.146) (Client Quit) |
| 19:13:40 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:15:08 | <dsal> | I suddenly get `>>=` and `>=>` confused. I could just put them next to each other and stare, or I can keep doing one and then if it doesn't work do the other one because I'm tired. |
| 19:16:06 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 19:16:28 | <shapr> | :t (>=>) |
| 19:16:29 | <lambdabot> | Monad m => (a -> m b) -> (b -> m c) -> a -> m c |
| 19:16:39 | <shapr> | dsal: it's that the a and b are different |
| 19:16:58 | <geekosaur> | >=> is . for monads 😛 |
| 19:17:48 | <ncf> | (and >>= is & for monads) |
| 19:18:03 | <[Leary]> | >>>, technically, which ought to help you remember. |
| 19:18:28 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:18:55 | <dsal> | In particular, I was going the other direction, where I'd normally do something like `f =<< g a` and it was like, "nah" so I changed it to `f <=< g a` and decided I should probably sit down and think instead of just flailing. |
| 19:19:40 | <dsal> | I was flailing on a different thing, though… this just kind of floated off. |
| 19:20:19 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 19:20:26 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
| 19:20:57 | <dsal> | Someone sent me a PR doing `unsafeIOToSTM` which feels pretty dirty, but seems fine. I wanted to write some tests and the intersection of tasty, quickcheck, and IO was making the strategy a bit non-obvious. |
| 19:22:06 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 252 seconds) |
| 19:28:08 | <EvanR> | the difference between composition and application, gets em every time! |
| 19:28:46 | × | artem quits (~artem@73.145.241.63) (Ping timeout: 245 seconds) |
| 19:29:16 | <EvanR> | I noticed at elixir meet up they call both composition |
| 19:29:38 | <EvanR> | f $ g $ h x is composition |
| 19:29:58 | <davean> | dsal: I'd call that rather questionable. Why did they do that? |
| 19:30:33 | <dsal> | davean: It's a map that loses information over time. |
| 19:31:02 | <davean> | inside STM? ... questions |
| 19:31:12 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 19:31:45 | <dsal> | The inside STM part is that the map is updated in STM and records the time it updates. The effect is "get a timestamp." |
| 19:32:46 | <dsal> | I'm currently using it as an exercise for how to test such a thing. I think I have a better strategy in this app for that kind of thing, though. |
| 19:33:14 | <davean> | Thats ugly, it should get the timestamp at the return point of the atomic IMO |
| 19:34:29 | <dsal> | I might be able to get rid of it. Right now, it's just an interesting test exercise. :) |
| 19:34:40 | <davean> | Sure, sure |
| 19:34:45 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 19:35:07 | <davean> | I often times find difficulty testing is because the code is wrong and just fix the code :-p |
| 19:35:34 | <davean> | (what you're presenting here would definately be one of them given how I'd test it) |
| 19:36:47 | <dminuoso> | EvanR: To be fair, the lines are quite blurry. Given that (.) is in most scenarios (rightfully expected to be) inlined anyway, and also that composition with (.) is only useful if you eventually intend to apply it anyway. |
| 19:37:31 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 245 seconds) |
| 19:38:00 | <dsal> | davean: Yeah. I don't think, in general, it's wrong to write a property test that uses STM. I do it in another project with a slightly different arrangement of test frameworks. Right now, I'm just trying to figure out what this thing actually wants. |
| 19:38:14 | <EvanR> | unless it's category theory, then it's all point free |
| 19:39:12 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 19:42:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:57:54 | × | shapr quits (~user@2600:1700:c640:3100:2cd6:c1ec:e956:309c) (Remote host closed the connection) |
| 19:58:08 | → | shapr joins (~user@2600:1700:c640:3100:32f1:35fd:5274:796e) |
| 19:59:57 | × | emma-underscores quits (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Quit: emma-underscores) |
| 20:00:07 | → | emma-underscores joins (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) |
| 20:01:36 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 20:05:49 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 20:07:49 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 20:08:14 | → | edwtjo joins (~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) |
| 20:08:14 | × | edwtjo quits (~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) (Changing host) |
| 20:08:14 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 20:12:06 | × | jonathan_ quits (~jonathan@193.203.13.30) (Ping timeout: 246 seconds) |
| 20:18:23 | → | anselmschueler joins (~anselmsch@user/schuelermine) |
| 20:20:17 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 20:21:50 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
| 20:24:36 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 20:24:40 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
| 20:26:49 | → | jonathan_ joins (~jonathan@193.203.13.30) |
| 20:30:04 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:32:24 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 20:33:25 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 20:34:51 | → | ulysses4ever joins (~artem@2601:408:c405:6370:f474:e3f8:9806:671) |
| 20:36:33 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 20:38:16 | × | son0p quits (~ff@191.104.6.44) (Quit: Bye) |
| 20:47:07 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 20:48:20 | × | bramhaag quits (~bramhaag@134.195.121.39) (Quit: Ping timeout (120 seconds)) |
| 20:51:19 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 20:51:22 | → | bramhaag joins (~bramhaag@134.195.121.39) |
| 20:53:22 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 20:54:01 | → | Pickchea joins (~private@user/pickchea) |
| 20:54:36 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
| 20:54:47 | × | Pickchea quits (~private@user/pickchea) (Client Quit) |
| 21:01:28 | × | jonathan_ quits (~jonathan@193.203.13.30) (Ping timeout: 252 seconds) |
| 21:02:59 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:05:45 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 21:05:45 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 21:06:12 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 21:06:36 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:06:56 | → | dibblego joins (~dibblego@116-255-1-151.ip4.superloop.au) |
| 21:06:56 | × | dibblego quits (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 21:06:56 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 21:08:02 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 21:10:13 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds) |
| 21:14:38 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Read error: Connection reset by peer) |
| 21:15:14 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 21:15:45 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 21:20:52 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds) |
| 21:24:13 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 21:27:31 | × | emma-underscores quits (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 21:29:40 | × | anselmschueler quits (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 21:30:22 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 245 seconds) |
| 21:32:27 | → | pavonia joins (~user@user/siracusa) |
| 21:32:38 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 21:35:45 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 21:37:32 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds) |
| 21:39:24 | × | ulysses4ever quits (~artem@2601:408:c405:6370:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
| 21:39:45 | → | jargon joins (~jargon@174-22-213-62.phnx.qwest.net) |
| 21:40:28 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 21:48:42 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:50:22 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 21:51:03 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 21:55:22 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
| 21:59:19 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:02:00 | → | sm joins (~sm@plaintextaccounting/sm) |
| 22:03:58 | → | ursa-major joins (~ursa-majo@37.19.210.36) |
| 22:05:24 | × | YuutaW quits (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
| 22:06:53 | → | YuutaW joins (~YuutaW@mail.yuuta.moe) |
| 22:08:57 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:11:43 | → | titibandit joins (~titibandi@user/titibandit) |
| 22:13:00 | × | acidjnk quits (~acidjnk@p200300d6e7072f50fc6d50d58f49c7f1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 22:14:19 | → | emma-underscores joins (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) |
| 22:23:23 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 22:23:50 | → | mima joins (~mmh@net-93-148-96-78.cust.dsl.teletu.it) |
| 22:24:01 | → | merijn joins (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 22:25:13 | → | son0p joins (~ff@191.104.6.44) |
| 22:26:20 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 248 seconds) |
| 22:27:18 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 22:31:47 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds) |
| 22:35:39 | → | szkl joins (uid110435@2a03:5180:f:5::1:af63) |
| 22:44:22 | → | caryhartline joins (~caryhartl@168.182.58.169) |
| 22:46:54 | → | gleostocha joins (~runic@2600:1700:3bdd:9810::3b) |
| 22:48:13 | → | ulysses4ever joins (~artem@73.145.240.47) |
| 22:52:05 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:52:34 | × | ulysses4ever quits (~artem@73.145.240.47) (Ping timeout: 252 seconds) |
| 22:53:00 | × | mima quits (~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 256 seconds) |
| 22:53:05 | → | img joins (~img@user/img) |
| 22:53:08 | → | ulysses4ever joins (~artem@2601:408:c405:1b6f:f474:e3f8:9806:671) |
| 22:54:05 | × | gleostocha quits (~runic@2600:1700:3bdd:9810::3b) (Remote host closed the connection) |
| 22:58:06 | × | merijn quits (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 22:59:48 | × | ulysses4ever quits (~artem@2601:408:c405:1b6f:f474:e3f8:9806:671) (Ping timeout: 256 seconds) |
| 22:59:52 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 23:00:35 | → | falafel joins (~falafel@216.68.6.51.dyn.plus.net) |
| 23:02:14 | → | mikoto-chan joins (~mikoto-ch@85-76-165-132-nat.elisa-mobile.fi) |
| 23:03:47 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:04:21 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 23:05:54 | × | hippoid quits (~hippoid@user/hippoid) (Quit: WeeChat 4.0.1) |
| 23:08:39 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 23:13:25 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 23:14:54 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 23:15:58 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 23:17:50 | → | tabemann joins (~tabemann@74-33-195-2.dr02.glvv.ny.frontiernet.net) |
| 23:19:49 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 23:22:28 | × | emma-underscores quits (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 23:29:37 | → | tabemann_ joins (~tabemann@74-42-162-213.dsl2.nrwc.ny.frontiernet.net) |
| 23:31:05 | × | shapr quits (~user@2600:1700:c640:3100:32f1:35fd:5274:796e) (Remote host closed the connection) |
| 23:31:07 | → | emma-underscores joins (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) |
| 23:31:18 | → | shapr joins (~user@2600:1700:c640:3100:753c:594:e430:473e) |
| 23:31:32 | × | tabemann quits (~tabemann@74-33-195-2.dr02.glvv.ny.frontiernet.net) (Ping timeout: 256 seconds) |
| 23:32:22 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 23:36:31 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
| 23:41:37 | → | artem joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 23:41:38 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 23:41:52 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 23:42:28 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 23:43:11 | Lord_of_Life_ | is now known as Lord_of_Life |
| 23:44:29 | × | artem quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 23:44:32 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 23:48:29 | × | Tuplanolla quits (~Tuplanoll@91.159.68.236) (Quit: Leaving.) |
| 23:50:32 | → | artem joins (~artem@73.145.240.182) |
| 23:52:11 | × | emma-underscores quits (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 23:52:53 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
| 23:53:12 | → | ulysses4ever joins (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
| 23:54:20 | → | BigKozlowski joins (~BigKozlow@84.21.165.226) |
| 23:54:52 | × | artem quits (~artem@73.145.240.182) (Ping timeout: 248 seconds) |
| 23:55:30 | × | ulysses4ever quits (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
| 23:55:41 | → | ulysses4ever joins (~artem@172.58.147.22) |
| 23:58:14 | → | artem joins (~artem@73.145.240.182) |
| 23:58:26 | × | BigKozlowski quits (~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds) |
| 23:59:04 | → | jero98772 joins (~jero98772@2800:484:1d84:300::2) |
All times are in UTC on 2023-08-19.