| 2022-10-05 00:00:26 +0000 | <moonsheep> | maybe one day the GHC internals and all this magic sauce will stop being a mystery to me |
| 2022-10-05 00:00:32 +0000 | <dminuoso> | Heh |
| 2022-10-05 00:00:58 +0000 | <dminuoso> | I recall a talk by Simon Peyton Jones, where he explained that nobody really knows much about *why* the simplifier works so good. It' |
| 2022-10-05 00:01:17 +0000 | <dminuoso> | It's mostly just tweaking, observing core, and tweaking some more, turning knobs, until it produces better output than before. |
| 2022-10-05 00:01:19 +0000 | <dminuoso> | :p |
| 2022-10-05 00:01:29 +0000 | <moonsheep> | engineering in a nutshell |
| 2022-10-05 00:01:35 +0000 | <EvanR> | The simplifier. It's evolving |
| 2022-10-05 00:01:39 +0000 | <dminuoso> | No that's neural network development in a nutshell. |
| 2022-10-05 00:01:57 +0000 | <moonsheep> | well neural network development is just a very extreme case |
| 2022-10-05 00:02:03 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-05 00:02:20 +0000 | <moonsheep> | and an incredibly cumbersome one too, since every time you slightly tweak a hyperparameter you have to wait 2 hours for the results |
| 2022-10-05 00:02:38 +0000 | <dminuoso> | I mean yeah, most of the simplifier passes are based on published work and very well understood, but each simplifier pass turns code around, which can undo chances for other things (like RULES or inlining) to fire, or set them up. |
| 2022-10-05 00:02:47 +0000 | <dminuoso> | And its a very delicate balancing based mostly on trial |
| 2022-10-05 00:03:19 +0000 | <dminuoso> | So one simplifier might, by itself, do very good things, but maybe ruin inlining opportunities |
| 2022-10-05 00:04:05 +0000 | <moonsheep> | jesus that sounds like a nightmare |
| 2022-10-05 00:06:48 +0000 | <dminuoso> | https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/compiler/opt-ordering#3-want-full-laziness-b… |
| 2022-10-05 00:07:08 +0000 | fmgornick | (~fmgornick@2607:ea00:107:3c07:5923:76a4:72ae:d74d) |
| 2022-10-05 00:07:16 +0000 | <fmgornick> | ?src >>= |
| 2022-10-05 00:07:16 +0000 | <lambdabot> | Source not found. You speak an infinite deal of nothing. |
| 2022-10-05 00:07:33 +0000 | <fmgornick> | ?src (>>=) |
| 2022-10-05 00:07:34 +0000 | <lambdabot> | Source not found. My brain just exploded |
| 2022-10-05 00:07:44 +0000 | fmgornick | (~fmgornick@2607:ea00:107:3c07:5923:76a4:72ae:d74d) (Client Quit) |
| 2022-10-05 00:07:45 +0000 | <EvanR> | (>>=) is a class method |
| 2022-10-05 00:07:56 +0000 | <EvanR> | he's gone already |
| 2022-10-05 00:08:42 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 00:12:16 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 260 seconds) |
| 2022-10-05 00:12:29 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-10-05 00:13:22 +0000 | <zero> | ?src Monad |
| 2022-10-05 00:13:22 +0000 | <lambdabot> | class Applicative m => Monad m where |
| 2022-10-05 00:13:22 +0000 | <lambdabot> | -- Note: Applicative wasn't a superclass before GHC 7.10 |
| 2022-10-05 00:13:22 +0000 | <lambdabot> | (>>=) :: m a -> (a -> m b) -> m b |
| 2022-10-05 00:13:22 +0000 | <lambdabot> | (>>) :: m a -> m b -> m b |
| 2022-10-05 00:13:22 +0000 | <lambdabot> | return :: a -> m a |
| 2022-10-05 00:13:24 +0000 | <lambdabot> | fail :: String -> m a |
| 2022-10-05 00:13:36 +0000 | <zero> | eew fail |
| 2022-10-05 00:14:29 +0000 | <dminuoso> | monochrom: Okay I think I know why I said "it was removed". join was bound to be included in the AMP, but was abolished due to the fundamental GND interaction. |
| 2022-10-05 00:14:48 +0000 | <dminuoso> | Maybe I had that in mind. |
| 2022-10-05 00:15:19 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5451:f081:9268:d7a) (Ping timeout: 250 seconds) |
| 2022-10-05 00:15:41 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-05 00:15:56 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-10-05 00:17:12 +0000 | <monochrom> | OK yeah. |
| 2022-10-05 00:17:27 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-10-05 00:17:40 +0000 | <monochrom> | join wanted to join but was returned at the last minute. |
| 2022-10-05 00:18:13 +0000 | <EvanR> | return is still in the Monad class? |
| 2022-10-05 00:18:20 +0000 | <monochrom> | meanwhile, >>= binds tightly as ever. |
| 2022-10-05 00:18:28 +0000 | <Axman6> | If that were me, I would've felt pretty bound up inside |
| 2022-10-05 00:18:29 +0000 | <monochrom> | Yes. |
| 2022-10-05 00:19:24 +0000 | <EvanR> | is return there for compatibility or is there a performance reason |
| 2022-10-05 00:19:49 +0000 | <monochrom> | Your heart would feel like flattened |
| 2022-10-05 00:20:09 +0000 | <jackdk> | If you move return out, you break code. |
| 2022-10-05 00:20:11 +0000 | <dminuoso> | It was kept for pure intensions. |
| 2022-10-05 00:21:07 +0000 | <geekosaur> | the problem is that when Applicative was added as a "superclass", a lot of programs backformed their Applicative instances as { pure - return; <*> = ap } |
| 2022-10-05 00:21:20 +0000 | <dminuoso> | You ruined a streak of puns there, geekosaur. |
| 2022-10-05 00:21:34 +0000 | <Axman6> | fail |
| 2022-10-05 00:21:53 +0000 | <geekosaur> | no, fail's gone :þ |
| 2022-10-05 00:21:53 +0000 | <dminuoso> | Maybe we can fix it? |
| 2022-10-05 00:22:42 +0000 | <geekosaur> | the Monad of no `return` proposal is still out there somewhere, though |
| 2022-10-05 00:23:16 +0000 | <geekosaur> | but I think it may have run into a brick wall of "too many code-breaking changes" |
| 2022-10-05 00:23:48 +0000 | <geekosaur> | there was a near-revolt over that recently |
| 2022-10-05 00:23:56 +0000 | <geekosaur> | (like, past year or so) |
| 2022-10-05 00:25:07 +0000 | <dminuoso> | Its bizarre, JavaScript developers get breaking code so often, they just ship broken code into production without testing. |
| 2022-10-05 00:25:13 +0000 | <dminuoso> | It's the norm for them. |
| 2022-10-05 00:25:45 +0000 | <monochrom> | It is OK because everyone blocks javascript anyway. |
| 2022-10-05 00:26:08 +0000 | <monochrom> | Right? "Javascript has no side effects because the code is not run." >:) |
| 2022-10-05 00:26:36 +0000 | <dminuoso> | By the way, what really surprises me about javascript, is how NPM do not compute a coherent build plan. So you can and frequently have multiple versions of the same library around. |
| 2022-10-05 00:26:39 +0000 | <dminuoso> | And this rarely causes problems |
| 2022-10-05 00:26:47 +0000 | <dminuoso> | I've never been able to understand why its not a big problem for them. |
| 2022-10-05 00:27:17 +0000 | <Axman6> | > ('a':) |
| 2022-10-05 00:27:19 +0000 | <lambdabot> | <[Char] -> [Char]> |
| 2022-10-05 00:27:21 +0000 | <Axman6> | > do fix it |
| 2022-10-05 00:27:23 +0000 | <lambdabot> | error: |
| 2022-10-05 00:27:23 +0000 | <lambdabot> | • Variable not in scope: it :: a -> a |
| 2022-10-05 00:27:23 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2022-10-05 00:27:28 +0000 | <geekosaur> | because everyone ignores the errors anyway |
| 2022-10-05 00:27:31 +0000 | <Axman6> | y u no GHCi |
| 2022-10-05 00:27:42 +0000 | <geekosaur> | (do yourself a favor and never open the JS console in your browser) |
| 2022-10-05 00:27:45 +0000 | hays | (rootvegeta@fsf/member/hays) |
| 2022-10-05 00:27:51 +0000 | <geekosaur> | % do fix it |
| 2022-10-05 00:27:52 +0000 | <yahb2> | <interactive>:262:8: error: ; • Couldn't match expected type ‘a -> a’ with actual type ‘[a0]’ ; • In the first argument of ‘fix’, namely ‘it’ ; In a stmt of a 'do' block: fix it ; ... |
| 2022-10-05 00:27:59 +0000 | <dminuoso> | I regularly do, and honestly for the most part web sites do function. |
| 2022-10-05 00:28:04 +0000 | <jackdk> | % fix error |
| 2022-10-05 00:28:05 +0000 | <yahb2> | "*** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *** Exception: *... |
| 2022-10-05 00:28:16 +0000 | <moonsheep> | dminuoso: I guess it's not a problem for them because errors pass silently- worse they're gonna get is a bunch of errors in the browser console, which no one ever bothers to check anyway |
| 2022-10-05 00:28:43 +0000 | <dminuoso> | Or maybe these errors do get caught in testing/staging *shrugs* |
| 2022-10-05 00:29:00 +0000 | <dminuoso> | Maybe JavaScript developers spend a day of their week fixing incoherent build plan bugs *shrugs* |
| 2022-10-05 00:29:16 +0000 | bgamari | (~bgamari@64.223.130.138) |
| 2022-10-05 00:29:45 +0000 | <monochrom> | If errors don't abort program execution, then you can always monkey-patch moar code after the error-raising code to get things done. |
| 2022-10-05 00:29:58 +0000 | <moonsheep> | if you open the console on *any* webpage and wait a bit you're gonna see a bunch of errors and warings pop up |
| 2022-10-05 00:30:15 +0000 | <geekosaur> | and most of the time there's like a 1-line difference between those versions anyway |
| 2022-10-05 00:30:48 +0000 | <moonsheep> | hell even google search seems to do a CORS request to play.google.com (for some reason?) |
| 2022-10-05 00:31:08 +0000 | <dminuoso> | Or maybe its just uncommon to pass data around-as-they-are? Do JavaScriptees perhaps always destructure library data? |
| 2022-10-05 00:31:14 +0000 | <monochrom> | The result is consistent with your observation: The web page functions as advertised, but inefficiently. |
| 2022-10-05 00:31:35 +0000 | <moonsheep> | "The web page functions as advertised" yeah, like 90% of the time |
| 2022-10-05 00:31:47 +0000 | <moonsheep> | sometimes you'll just click buttons and they'll randomly decide to not work |
| 2022-10-05 00:31:55 +0000 | <moonsheep> | or to play the fancy click animation and then hang |
| 2022-10-05 00:32:08 +0000 | <moonsheep> | ¯\_(ツ)_/¯ |
| 2022-10-05 00:33:16 +0000 | <moonsheep> | whatever, javascript was one big hack since the very beginning, and at this point in time it's just a huge amorphous mass of kludges, JIT and bizarre weak typing hijinks |
| 2022-10-05 00:33:25 +0000 | <moonsheep> | I really do pity the v8 developeers |
| 2022-10-05 00:34:27 +0000 | <geekosaur> | actually I think the very first version wasn't a hack. it was also mostly a lisp dialect. then netscape decided they needed to ride java's coattails |
| 2022-10-05 00:34:43 +0000 | <EvanR> | computers became too powerful and fast. The web was invented to balance us out |
| 2022-10-05 00:35:06 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2022-10-05 00:35:08 +0000 | <dminuoso> | geekosaur: the first version was a hack |
| 2022-10-05 00:35:09 +0000 | <geekosaur> | software bloats to overfill the available infrastructure |
| 2022-10-05 00:35:26 +0000 | <dminuoso> | When you're tasked to write a scripting engine for a browser in 10 days |
| 2022-10-05 00:35:28 +0000 | <dminuoso> | This is what you get. |
| 2022-10-05 00:36:12 +0000 | <EvanR> | so the legend goes, and it continues to evolve xD |
| 2022-10-05 00:36:28 +0000 | <dminuoso> | It's not a legend though. |
| 2022-10-05 00:36:30 +0000 | <moonsheep> | honestly, I would've much rather they just had put java applets in a sandbox than whatever happened |
| 2022-10-05 00:36:35 +0000 | <dminuoso> | That is its actual history |
| 2022-10-05 00:37:00 +0000 | <dminuoso> | Its why you have only float and no integral numbers. It was a simple time saving decision since two numeric types take more time than just one. |
| 2022-10-05 00:37:02 +0000 | <moonsheep> | at least thought was put into the design of java |
| 2022-10-05 00:37:03 +0000 | <EvanR> | the javascript guy was asked to write a scripting engine, so he spent the entire weekend in a desert high on peyote and javascript was the result |
| 2022-10-05 00:37:16 +0000 | <probie> | There's a usable language inside JS, the problem is that other people keep using things outside that when they write JS |
| 2022-10-05 00:37:26 +0000 | <monochrom> | Maybe it was inspired by Applesoft BASIC? >:) |
| 2022-10-05 00:37:56 +0000 | <probie> | s/inside JS/inside ES6/ |
| 2022-10-05 00:37:58 +0000 | <EvanR> | apparently javascript now has a for each construct, I am told |
| 2022-10-05 00:38:03 +0000 | <dminuoso> | probie: https://i.redd.it/h7nt4keyd7oy.jpg |
| 2022-10-05 00:38:05 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-10-05 00:38:13 +0000 | <EvanR> | it only too 30 years |
| 2022-10-05 00:38:17 +0000 | <monochrom> | hahaha |
| 2022-10-05 00:38:18 +0000 | <dminuoso> | That picture captures is better than a thousand words. |
| 2022-10-05 00:38:50 +0000 | <EvanR> | Flanagan JS, Crockford JS |
| 2022-10-05 00:38:56 +0000 | <moonsheep> | dminuoso: damn I was looking for that picture |
| 2022-10-05 00:39:40 +0000 | <moonsheep> | has anyone actually read javascript: the good parts? |
| 2022-10-05 00:40:04 +0000 | <EvanR> | that it has good parts is the implication I got |
| 2022-10-05 00:40:17 +0000 | <dminuoso> | Honestly even the good parts sit on a rotten core. |
| 2022-10-05 00:40:35 +0000 | <dminuoso> | The absolutely absurd equality triangles are just one example. |
| 2022-10-05 00:40:55 +0000 | <probie> | I like that the result of `new Boolean(false)` is a truthy value |
| 2022-10-05 00:41:02 +0000 | <dminuoso> | It's quite literally PHP-levels of ergonomics when equality is so bad, that instead of fixing equality you get a different operator you should be using instead. |
| 2022-10-05 00:41:33 +0000 | <moonsheep> | anyway, good night folks |
| 2022-10-05 00:41:51 +0000 | moonsheep | (~user@user/moonsheep) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2022-10-05 00:42:16 +0000 | <probie> | dminuoso: so just don't use it outside of `== null` for when you want it to be true for both `null` and `undefined`. Of course, why is there both `null` and `undefined`... |
| 2022-10-05 00:43:31 +0000 | <Clinton[m]> | I'm pretty sure this is a function (or at least a relatively simple composition of functions) but I'm not sure what it is:... (full message at <https://libera.ems.host/_matrix/media/r0/download/libera.chat/a6a4b14a44af6f5199c262e753f8037e9f67…>) |
| 2022-10-05 00:44:14 +0000 | <Clinton[m]> | Is it some fold over the state monad shrugs |
| 2022-10-05 00:44:36 +0000 | <monochrom> | I am not sure you don't mean (s -> a -> (s, a)) -> s -> a -> [a] |
| 2022-10-05 00:44:53 +0000 | <dminuoso> | :t mapAccumL |
| 2022-10-05 00:44:54 +0000 | <lambdabot> | Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
| 2022-10-05 00:45:27 +0000 | <dminuoso> | It's a variant of this Clinton[m] |
| 2022-10-05 00:45:39 +0000 | <Clinton[m]> | dminuoso: Oh that's beautiful perfect thanks! |
| 2022-10-05 00:45:47 +0000 | <Clinton[m]> | Thought I had saw it somewhere |
| 2022-10-05 00:48:05 +0000 | euandreh | (~euandreh@179.214.113.107) (Remote host closed the connection) |
| 2022-10-05 00:49:37 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2022-10-05 00:50:23 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-10-05 00:51:04 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Quit: xff0x) |
| 2022-10-05 00:53:18 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bf74:abfd:4cfe:d90f) |
| 2022-10-05 00:56:06 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-05 00:56:07 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-05 00:56:07 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-05 00:56:07 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-05 01:00:29 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-10-05 01:01:17 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-05 01:01:52 +0000 | vglfr | (~vglfr@145.224.100.190) (Ping timeout: 246 seconds) |
| 2022-10-05 01:04:40 +0000 | andreabedini | (~andreabed@8s8kj681vht2qj3xkwc5.ip6.superloop.com) |
| 2022-10-05 01:05:56 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2022-10-05 01:06:48 +0000 | sympt | (~sympt@user/sympt) (Ping timeout: 265 seconds) |
| 2022-10-05 01:07:24 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 01:07:54 +0000 | dcoutts__ | (~duncan@host86-170-66-8.range86-170.btcentralplus.com) |
| 2022-10-05 01:08:57 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds) |
| 2022-10-05 01:09:08 +0000 | Guest1698 | jbayardo |
| 2022-10-05 01:10:36 +0000 | dcoutts_ | (~duncan@host86-177-125-45.range86-177.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-10-05 01:10:51 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-10-05 01:14:03 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-10-05 01:15:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:bf74:abfd:4cfe:d90f) (Ping timeout: 268 seconds) |
| 2022-10-05 01:16:58 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-10-05 01:17:01 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 260 seconds) |
| 2022-10-05 01:18:46 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 260 seconds) |
| 2022-10-05 01:18:53 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-05 01:19:02 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 01:19:35 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-05 01:20:40 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer) |
| 2022-10-05 01:21:48 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-05 01:23:15 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-05 01:24:33 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2022-10-05 01:25:00 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-10-05 01:26:05 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 01:28:40 +0000 | andreabedini | (~andreabed@8s8kj681vht2qj3xkwc5.ip6.superloop.com) (Quit: WeeChat 3.6) |
| 2022-10-05 01:29:38 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-10-05 01:30:20 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 01:31:27 +0000 | off^ | (~off@c-76-17-6-165.hsd1.ga.comcast.net) |
| 2022-10-05 01:38:48 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) (Ping timeout: 264 seconds) |
| 2022-10-05 01:47:27 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-10-05 01:48:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-05 01:58:23 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-10-05 01:59:33 +0000 | vglfr | (~vglfr@145.224.100.190) |
| 2022-10-05 02:01:18 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-10-05 02:01:40 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-10-05 02:04:38 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-10-05 02:05:46 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 265 seconds) |
| 2022-10-05 02:06:53 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-05 02:08:33 +0000 | td_ | (~td@muedsl-82-207-238-106.citykom.de) (Ping timeout: 252 seconds) |
| 2022-10-05 02:10:18 +0000 | td_ | (~td@94.134.91.45) |
| 2022-10-05 02:15:31 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 02:15:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-10-05 02:15:52 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-10-05 02:15:52 +0000 | finn_elija | FinnElija |
| 2022-10-05 02:26:32 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-05 02:28:21 +0000 | jbayardo | (~Guest1698@20.83.116.49) (Quit: https://convos.chat) |
| 2022-10-05 02:28:45 +0000 | jbayardo | (~jbayardo@20.83.116.49) |
| 2022-10-05 02:29:45 +0000 | lagash_ | (lagash@lagash.shelltalk.net) (Remote host closed the connection) |
| 2022-10-05 02:30:16 +0000 | lagash | (lagash@lagash.shelltalk.net) |
| 2022-10-05 02:30:31 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 02:33:07 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-05 02:36:13 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-05 02:37:16 +0000 | Guest26 | (~Guest26@202.119.42.88) |
| 2022-10-05 02:38:06 +0000 | Guest26 | (~Guest26@202.119.42.88) (Client Quit) |
| 2022-10-05 02:41:42 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-10-05 02:45:54 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 02:46:29 +0000 | darkstardevx | (~darkstard@50.126.124.156) |
| 2022-10-05 02:47:50 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 02:48:27 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-05 02:50:22 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2022-10-05 02:52:05 +0000 | argento | (~argent0@168-227-97-34.ptr.westnet.com.ar) (Remote host closed the connection) |
| 2022-10-05 02:55:02 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) |
| 2022-10-05 02:55:26 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) (Remote host closed the connection) |
| 2022-10-05 02:55:42 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-05 02:56:01 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) |
| 2022-10-05 02:56:58 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 02:58:19 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-10-05 03:00:24 +0000 | rekahsoft | (~rekahsoft@142.189.68.220) (Ping timeout: 264 seconds) |
| 2022-10-05 03:01:36 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2022-10-05 03:03:19 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 03:04:41 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 03:05:43 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.5) |
| 2022-10-05 03:08:40 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-10-05 03:08:53 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 03:09:45 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-05 03:10:00 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 03:10:10 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-10-05 03:13:30 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-05 03:13:30 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-05 03:13:30 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-05 03:22:55 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 03:35:40 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-05 03:37:55 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-10-05 03:40:22 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-10-05 03:41:39 +0000 | califax | (~califax@user/califx) |
| 2022-10-05 03:45:25 +0000 | k8yun | (~k8yun@user/k8yun) |
| 2022-10-05 03:50:34 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-05 03:50:42 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-05 03:50:52 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-05 03:52:35 +0000 | inversed | (~inversed@90.209.137.56) (Ping timeout: 268 seconds) |
| 2022-10-05 03:53:10 +0000 | inversed | (~inversed@90.209.137.56) |
| 2022-10-05 04:02:53 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-05 04:04:04 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-05 04:05:53 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-05 04:06:07 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 268 seconds) |
| 2022-10-05 04:07:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-05 04:07:49 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-05 04:13:23 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-05 04:19:51 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 04:24:58 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-05 04:37:12 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) |
| 2022-10-05 04:37:50 +0000 | off^ | (~off@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-10-05 04:42:36 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-10-05 04:52:15 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-05 04:53:12 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 04:54:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-05 04:57:25 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2022-10-05 04:57:50 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 265 seconds) |
| 2022-10-05 04:59:34 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-10-05 05:07:30 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2022-10-05 05:10:47 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 05:12:35 +0000 | arkeet | (~arkeet@moriya.ca) (Ping timeout: 248 seconds) |
| 2022-10-05 05:13:08 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-10-05 05:13:47 +0000 | arkeet | (~arkeet@moriya.ca) |
| 2022-10-05 05:15:14 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-05 05:15:20 +0000 | k8yun | (~k8yun@user/k8yun) (Quit: Leaving) |
| 2022-10-05 05:20:20 +0000 | Infinite | (~Infinite@106.51.13.146) |
| 2022-10-05 05:21:00 +0000 | ksu | (~ksu@user/prtr) |
| 2022-10-05 05:21:44 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:668b:b8eb:ac49:50a6) |
| 2022-10-05 05:22:38 +0000 | <Infinite> | How do I add a shared library in cabal file to do the equivalent of ghc -ldice.so Main.hs |
| 2022-10-05 05:26:41 +0000 | <jackdk> | extra-libraries: https://cabal.readthedocs.io/en/latest/cabal-package.html#pkg-field-extra-libraries |
| 2022-10-05 05:26:46 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 05:27:09 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-05 05:27:25 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-05 05:27:52 +0000 | andreabedini | (~andreabed@8s8kj681vht2qj3xkwc5.ip6.superloop.com) |
| 2022-10-05 05:29:03 +0000 | drlkf | (~drlkf@chat.drlkf.net) |
| 2022-10-05 05:30:03 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-10-05 05:31:13 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 05:32:29 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-05 05:33:04 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-05 05:35:59 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-05 05:37:47 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 05:41:15 +0000 | <Infinite> | I'm able to build using ghc-options flag with a hardcoded path to the .so file. It doesn't work with the extra-libraries key |
| 2022-10-05 05:41:57 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 05:42:23 +0000 | <Infinite> | Sorry, it's fixed. Needed to add absolute path. |
| 2022-10-05 05:43:39 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 05:44:33 +0000 | coot | (~coot@213.134.171.3) |
| 2022-10-05 05:47:54 +0000 | twb | (~twb@2403:5804:c6::add) (rcirc on GNU Emacs 28.1) |
| 2022-10-05 05:51:07 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 05:54:04 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 05:55:54 +0000 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-10-05 05:56:08 +0000 | AlexZenon_2 | (~alzenon@94.233.240.222) |
| 2022-10-05 05:56:14 +0000 | Infinite | (~Infinite@106.51.13.146) (Quit: Client closed) |
| 2022-10-05 05:57:43 +0000 | AlexZenon | (~alzenon@94.233.240.222) (Ping timeout: 252 seconds) |
| 2022-10-05 06:00:49 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 06:04:12 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-10-05 06:05:36 +0000 | kenran | (~user@user/kenran) |
| 2022-10-05 06:05:55 +0000 | Typedfern | (~Typedfern@216.red-83-37-34.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2022-10-05 06:06:55 +0000 | zeenk | (~zeenk@2a02:2f04:a20a:3e00:5712:52b0:ca1d:bc63) |
| 2022-10-05 06:07:44 +0000 | Typedfern | (~Typedfern@216.red-83-37-34.dynamicip.rima-tde.net) |
| 2022-10-05 06:16:18 +0000 | Typedfern | (~Typedfern@216.red-83-37-34.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-10-05 06:16:21 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-05 06:17:35 +0000 | Typedfern | (~Typedfern@216.red-83-37-34.dynamicip.rima-tde.net) |
| 2022-10-05 06:17:55 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 06:18:43 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:7d30:7520:23f1:4838) |
| 2022-10-05 06:28:37 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-10-05 06:30:29 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2022-10-05 06:32:37 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) (Ping timeout: 246 seconds) |
| 2022-10-05 06:35:01 +0000 | goig | (~goig@202.91.42.7) |
| 2022-10-05 06:35:23 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 06:37:49 +0000 | jargon | (~jargon@174-22-201-96.phnx.qwest.net) (Remote host closed the connection) |
| 2022-10-05 06:41:14 +0000 | ccapndave | (~ccapndave@xcpe-62-167-164-44.cgn.res.adslplus.ch) |
| 2022-10-05 06:47:49 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-05 06:48:16 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-10-05 06:48:36 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt juan@acm.org) |
| 2022-10-05 06:49:01 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-05 06:49:36 +0000 | <goig> | Basically. Both `\mu` and `\eta` take in an object and put out an object. However, in their definition they include the exact object. |
| 2022-10-05 06:49:37 +0000 | <goig> | Thus, if we assume M to be 1 and I to be 0 (illustrative purposes only) |
| 2022-10-05 06:49:37 +0000 | <goig> | `\mu`(a b) = 1 |
| 2022-10-05 06:49:38 +0000 | <goig> | `\eta`(c) = 1 |
| 2022-10-05 06:49:38 +0000 | <goig> | We can only pass 1 1 to \mu, and only 0 to \eta.Thus they make no sense. |
| 2022-10-05 06:49:55 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 06:50:05 +0000 | <goig> | This ofc is the same for everything, not just numbers. \eta just gives you the endofunctor M for the identity endofunctor. \mu just gives you the endofunctor M |
| 2022-10-05 06:50:06 +0000 | <goig> | (For the monoids in the monoidal category of endofunctors with functor composition as product, aka monads) |
| 2022-10-05 06:50:21 +0000 | <Axman6> | what is going on... |
| 2022-10-05 06:52:23 +0000 | <goig> | wat was their name cant recall properly.. you perhaps? dminuoso |
| 2022-10-05 06:54:28 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-05 06:55:15 +0000 | mncheck | (~mncheck@193.224.205.254) |
| 2022-10-05 06:55:36 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-05 06:56:06 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-05 06:56:21 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:668b:b8eb:ac49:50a6) (Ping timeout: 268 seconds) |
| 2022-10-05 07:04:11 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8898:dd29:29bf:fbd8) |
| 2022-10-05 07:05:00 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-05 07:10:35 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-05 07:10:49 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Client Quit) |
| 2022-10-05 07:13:08 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a8379ab296f9eafb66f.dip0.t-ipconnect.de) |
| 2022-10-05 07:13:25 +0000 | dsrt^ | (~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) |
| 2022-10-05 07:17:15 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 07:20:05 +0000 | michalz | (~michalz@185.246.207.203) |
| 2022-10-05 07:21:33 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 258 seconds) |
| 2022-10-05 07:21:41 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-05 07:21:45 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a36a:c8e2:2dbf:bfd5) |
| 2022-10-05 07:22:06 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-05 07:24:27 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a36a:c8e2:2dbf:bfd5) (Remote host closed the connection) |
| 2022-10-05 07:24:44 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:d53b:b7dd:b89c:482e) |
| 2022-10-05 07:28:30 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-10-05 07:31:50 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-05 07:32:41 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-10-05 07:33:25 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 07:38:29 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-10-05 07:48:05 +0000 | m5zs7k | (aquares@web10.mydevil.net) (Ping timeout: 252 seconds) |
| 2022-10-05 07:49:04 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-05 07:50:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 2022-10-05 07:51:14 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 07:52:39 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-10-05 07:53:11 +0000 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-10-05 07:53:47 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-05 07:57:34 +0000 | ccapndave | (~ccapndave@xcpe-62-167-164-44.cgn.res.adslplus.ch) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-10-05 07:58:19 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-10-05 08:04:53 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-10-05 08:05:43 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 08:05:46 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-10-05 08:06:43 +0000 | kdaishi | (~Thunderbi@dyn3135-159.wlan.ic.ac.uk) |
| 2022-10-05 08:10:41 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-05 08:11:09 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-10-05 08:15:51 +0000 | kdaishi | (~Thunderbi@dyn3135-159.wlan.ic.ac.uk) (Ping timeout: 260 seconds) |
| 2022-10-05 08:19:36 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-10-05 08:21:59 +0000 | kdaishi | (~Thunderbi@2a0c:5bc0:40:2e2f:b6bb:664c:380b:dc65) |
| 2022-10-05 08:24:21 +0000 | mihaiadrian | (~mihaiadri@82.76.223.244) |
| 2022-10-05 08:27:01 +0000 | <mihaiadrian> | hi |
| 2022-10-05 08:27:42 +0000 | <mihaiadrian> | given the following function: https://pastebin.com/raw/gHc97b0a |
| 2022-10-05 08:27:48 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-05 08:28:14 +0000 | <mihaiadrian> | if i want to replace computeArea |
| 2022-10-05 08:28:15 +0000 | <mihaiadrian> | computeArea = (/ 2.0) . fromIntegral . trapezoidalArea |
| 2022-10-05 08:28:19 +0000 | <mihaiadrian> | i get the following error |
| 2022-10-05 08:28:42 +0000 | <mihaiadrian> | https://pastebin.com/raw/mqZzscTx |
| 2022-10-05 08:29:15 +0000 | <Hecate> | your usage of point-free style hides the fact that you're trying to divide a what seems to be a partially-applied function |
| 2022-10-05 08:29:20 +0000 | <Hecate> | and not a value |
| 2022-10-05 08:29:48 +0000 | <Hecate> | you want to operate on the Float but haven't applied to the two GridPoints that are required :) |
| 2022-10-05 08:29:52 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 08:29:53 +0000 | <Hecate> | mihaiadrian: does that make sense? |
| 2022-10-05 08:30:01 +0000 | <mihaiadrian> | hm, yes |
| 2022-10-05 08:30:21 +0000 | <Hecate> | mihaiadrian: use a very explicit style first, it's always easier to simplify to point-free later |
| 2022-10-05 08:33:16 +0000 | kuribas | (~user@ptr-17d51eoey8zgtxv1hcd.18120a2.ip6.access.telenet.be) |
| 2022-10-05 08:34:05 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2022-10-05 08:34:22 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-10-05 08:34:30 +0000 | frost | (~frost@user/frost) |
| 2022-10-05 08:38:33 +0000 | <Axman6> | @src (.) |
| 2022-10-05 08:38:33 +0000 | <lambdabot> | (f . g) x = f (g x) |
| 2022-10-05 08:40:46 +0000 | <Axman6> | mihaiadrian: try substituting the definition of (.) into your attempt to make computeArea point-free, so (/ 2.0) . fromIntegral . trapezoidalArea => (\x -> (/ 2.0) (fromIntegral x)) . trapezoidalArea etc |
| 2022-10-05 08:41:14 +0000 | andreabedini | (~andreabed@8s8kj681vht2qj3xkwc5.ip6.superloop.com) (Quit: WeeChat 3.6) |
| 2022-10-05 08:41:24 +0000 | chele | (~chele@user/chele) |
| 2022-10-05 08:41:28 +0000 | <Axman6> | (it's a bit easier if you use the definition: f . g = \x -> f (g x) |
| 2022-10-05 08:41:30 +0000 | <Axman6> | ) |
| 2022-10-05 08:43:55 +0000 | ubert | (~Thunderbi@178.165.179.119.wireless.dyn.drei.com) |
| 2022-10-05 08:46:39 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 250 seconds) |
| 2022-10-05 08:52:01 +0000 | burnsidesLlama | (~burnsides@client-8-79.eduroam.oxuni.org.uk) |
| 2022-10-05 08:54:50 +0000 | MajorBiscuit | (~MajorBisc@145.94.167.158) |
| 2022-10-05 08:58:30 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-10-05 09:00:11 +0000 | komikat[m] | (~komikatma@2001:470:69fc:105::1:c71e) (Quit: You have been kicked for being idle) |
| 2022-10-05 09:00:22 +0000 | goig | (~goig@202.91.42.7) (Ping timeout: 252 seconds) |
| 2022-10-05 09:00:46 +0000 | kdaishi | (~Thunderbi@2a0c:5bc0:40:2e2f:b6bb:664c:380b:dc65) (Ping timeout: 260 seconds) |
| 2022-10-05 09:02:57 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 09:04:02 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 09:07:46 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2022-10-05 09:10:22 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 09:11:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-10-05 09:12:16 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: leaving) |
| 2022-10-05 09:12:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-10-05 09:12:47 +0000 | mikoto-chan | (~mikoto-ch@nat1.panoulu.net) |
| 2022-10-05 09:19:49 +0000 | titibandit | (~titibandi@xdsl-89-0-65-2.nc.de) |
| 2022-10-05 09:19:54 +0000 | kdaishi | (~Thunderbi@2a0c:5bc0:40:2e2f:b6bb:664c:380b:dc65) |
| 2022-10-05 09:20:35 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 248 seconds) |
| 2022-10-05 09:22:27 +0000 | mikoto-chan | (~mikoto-ch@nat1.panoulu.net) (Read error: Connection reset by peer) |
| 2022-10-05 09:29:15 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:463c:6245:cbff:fe9f:48b1) |
| 2022-10-05 09:31:29 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-10-05 09:33:10 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 09:41:19 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:9a07:c8cf:2f0:185c) |
| 2022-10-05 09:49:57 +0000 | kdaishi | (~Thunderbi@2a0c:5bc0:40:2e2f:b6bb:664c:380b:dc65) (Quit: kdaishi) |
| 2022-10-05 09:50:11 +0000 | kdaishi | (~Thunderbi@dyn3143-57.wlan.ic.ac.uk) |
| 2022-10-05 09:51:48 +0000 | beteigeuze | (~Thunderbi@2001:8a0:61b5:6101:f0c:e4e3:bfdc:91df) |
| 2022-10-05 09:54:47 +0000 | kdaishi | (~Thunderbi@dyn3143-57.wlan.ic.ac.uk) (Client Quit) |
| 2022-10-05 09:55:04 +0000 | kdaishi | (~Thunderbi@dyn3143-57.wlan.ic.ac.uk) |
| 2022-10-05 09:58:51 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-10-05 09:58:57 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2888:9a07:52ef:e042) |
| 2022-10-05 10:02:24 +0000 | vglfr | (~vglfr@145.224.100.190) (Remote host closed the connection) |
| 2022-10-05 10:02:31 +0000 | fjMSX | (~hypni2p@2.92.213.55) (Remote host closed the connection) |
| 2022-10-05 10:03:08 +0000 | vglfr | (~vglfr@145.224.100.190) |
| 2022-10-05 10:03:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2888:9a07:52ef:e042) (Ping timeout: 260 seconds) |
| 2022-10-05 10:04:17 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-10-05 10:05:48 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a8379ab296f9eafb66f.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-05 10:05:56 +0000 | carlosming | (~carlosmin@182.1.91.10) |
| 2022-10-05 10:06:14 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-05 10:08:15 +0000 | kuribas | (~user@ptr-17d51eoey8zgtxv1hcd.18120a2.ip6.access.telenet.be) (Ping timeout: 268 seconds) |
| 2022-10-05 10:08:44 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:9a07:c8cf:2f0:185c) (Quit: bye) |
| 2022-10-05 10:11:08 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 10:12:22 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:5407:9f9e:afb1:b17e) |
| 2022-10-05 10:17:32 +0000 | carlosming | (~carlosmin@182.1.91.10) (Quit: On my way jerking to /r/programmingcirclejerk) |
| 2022-10-05 10:18:05 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) |
| 2022-10-05 10:23:55 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 10:25:10 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-10-05 10:25:57 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:463c:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2022-10-05 10:26:51 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 2022-10-05 10:34:31 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-10-05 10:36:21 +0000 | vglfr | (~vglfr@145.224.100.190) (Read error: Connection reset by peer) |
| 2022-10-05 10:37:14 +0000 | vglfr | (~vglfr@145.224.100.190) |
| 2022-10-05 10:38:34 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-05 10:42:51 +0000 | Unode | (~Unode@194.94.44.220) (Ping timeout: 260 seconds) |
| 2022-10-05 10:44:43 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 258 seconds) |
| 2022-10-05 10:45:56 +0000 | kenran | (~user@user/kenran) |
| 2022-10-05 10:48:09 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) |
| 2022-10-05 10:50:17 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a8379ab296f9eafb66f.dip0.t-ipconnect.de) |
| 2022-10-05 10:58:07 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-10-05 11:00:41 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-10-05 11:01:43 +0000 | Unode | (~Unode@194.94.44.220) |
| 2022-10-05 11:16:33 +0000 | burnsidesLlama | (~burnsides@client-8-79.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-05 11:17:43 +0000 | potash | (~foghorn@user/foghorn) (Excess Flood) |
| 2022-10-05 11:17:59 +0000 | potash | (~foghorn@user/foghorn) |
| 2022-10-05 11:18:59 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) |
| 2022-10-05 11:19:36 +0000 | fef | (~thedawn@user/thedawn) (Ping timeout: 258 seconds) |
| 2022-10-05 11:19:36 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 264 seconds) |
| 2022-10-05 11:23:53 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-10-05 11:28:05 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-10-05 11:31:59 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-10-05 11:32:05 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-10-05 11:32:05 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 11:32:40 +0000 | fef | (~thedawn@user/thedawn) |
| 2022-10-05 11:33:38 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-10-05 11:33:51 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:7d30:7520:23f1:4838) (Ping timeout: 268 seconds) |
| 2022-10-05 11:34:00 +0000 | frost | (~frost@user/frost) |
| 2022-10-05 11:36:54 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-05 11:39:23 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-05 11:46:47 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-05 11:47:05 +0000 | mihaiadrian | (~mihaiadri@82.76.223.244) (Quit: Client closed) |
| 2022-10-05 11:47:13 +0000 | nschoe | (~quassel@141.101.51.197) |
| 2022-10-05 11:49:22 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-10-05 11:50:28 +0000 | kevinsjoberg | (sid499516@id-499516.lymington.irccloud.com) () |
| 2022-10-05 11:55:20 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-10-05 12:00:13 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 12:00:33 +0000 | luffy | (~chenqisu1@183.217.200.18) |
| 2022-10-05 12:00:53 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-10-05 12:03:43 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-05 12:07:12 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 12:07:26 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2022-10-05 12:08:20 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:5407:9f9e:afb1:b17e) (Quit: bye) |
| 2022-10-05 12:10:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-10-05 12:11:12 +0000 | mihaiadrian | (~mihaiadri@82.76.223.244) |
| 2022-10-05 12:12:37 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-10-05 12:15:04 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 12:15:04 +0000 | lambdap237 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2022-10-05 12:18:17 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 12:19:31 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-05 12:22:26 +0000 | fef | (~thedawn@user/thedawn) (Leaving) |
| 2022-10-05 12:22:59 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2022-10-05 12:27:34 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 12:32:37 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 12:37:32 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-10-05 12:38:33 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-10-05 12:41:22 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 12:43:22 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-05 12:44:02 +0000 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-10-05 12:44:38 +0000 | luffy | (~chenqisu1@183.217.200.18) (Remote host closed the connection) |
| 2022-10-05 12:44:49 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 12:46:30 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-05 12:49:44 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-05 12:50:17 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 13:00:48 +0000 | kdaishi | (~Thunderbi@dyn3143-57.wlan.ic.ac.uk) (Ping timeout: 268 seconds) |
| 2022-10-05 13:03:22 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 13:03:50 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 13:04:19 +0000 | AlexZenon_2 | AlexZenon |
| 2022-10-05 13:06:29 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2022-10-05 13:08:51 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 2022-10-05 13:09:16 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-10-05 13:10:26 +0000 | vglfr | (~vglfr@145.224.100.190) (Ping timeout: 260 seconds) |
| 2022-10-05 13:10:27 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a8379ab296f9eafb66f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-05 13:10:48 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-10-05 13:10:59 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-10-05 13:13:42 +0000 | <ski> | computeArea = (((/ 2.0) . fromIntegral .) .) . trapezoidalArea -- mihaiadrian, the correct pointless |
| 2022-10-05 13:15:22 +0000 | <chreekat> | pointlessly correct! |
| 2022-10-05 13:16:43 +0000 | ski | nods |
| 2022-10-05 13:17:54 +0000 | <chreekat> | :) |
| 2022-10-05 13:20:15 +0000 | <mihaiadrian> | thanks ski |
| 2022-10-05 13:21:24 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 13:22:04 +0000 | draz | (~aorti@89.40.74.126) |
| 2022-10-05 13:25:14 +0000 | vglfr | (~vglfr@145.224.100.190) |
| 2022-10-05 13:26:19 +0000 | <ski> | it would be possible to reformulate it as |
| 2022-10-05 13:27:21 +0000 | <ski> | computeArea = ((/ 2.0) . fromIntegral) .:: trapezoidalArea |
| 2022-10-05 13:27:24 +0000 | <ski> | if you define |
| 2022-10-05 13:27:27 +0000 | frost | (~frost@user/frost) |
| 2022-10-05 13:27:32 +0000 | <ski> | infixr 9 .:: |
| 2022-10-05 13:27:51 +0000 | <ski> | (.::) :: (c0 -> c1) -> (a -> b -> c0) -> (a -> b -> c1) |
| 2022-10-05 13:28:01 +0000 | <ski> | (.::) = (.) . (.) . (.) |
| 2022-10-05 13:28:29 +0000 | <ski> | (f .:: g) x y z = f (g x y z) -- which is the same as this |
| 2022-10-05 13:28:41 +0000 | <ski> | oh, sorry, the signature should be |
| 2022-10-05 13:28:43 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 13:28:58 +0000 | <ski> | (.:::) :: (d0 -> d1) -> (a -> b -> c -> d0) -> (a -> b -> c -> d1) |
| 2022-10-05 13:29:14 +0000 | ski | sighs |
| 2022-10-05 13:30:31 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2022-10-05 13:32:47 +0000 | mihaiadrian | (~mihaiadri@82.76.223.244) (Quit: Client closed) |
| 2022-10-05 13:34:16 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-10-05 13:42:05 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 13:46:36 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 260 seconds) |
| 2022-10-05 13:47:16 +0000 | razetime | (~quassel@117.193.2.107) |
| 2022-10-05 13:47:47 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 13:48:34 +0000 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2022-10-05 13:49:00 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Ping timeout: 264 seconds) |
| 2022-10-05 13:50:00 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:7427:e421:29b4:3f4e) |
| 2022-10-05 13:50:43 +0000 | draz | (~aorti@89.40.74.126) (Quit: Konversation terminated!) |
| 2022-10-05 13:51:12 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-10-05 13:52:10 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 13:52:30 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-10-05 13:52:30 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-10-05 13:52:30 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-10-05 13:54:20 +0000 | zebrag | (~chris@user/zebrag) |
| 2022-10-05 13:56:48 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 264 seconds) |
| 2022-10-05 13:57:00 +0000 | titibandit | (~titibandi@xdsl-89-0-65-2.nc.de) (Quit: Leaving.) |
| 2022-10-05 13:58:07 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-10-05 13:59:10 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-10-05 14:02:10 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Quit: WeeChat 3.6) |
| 2022-10-05 14:02:13 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-10-05 14:02:14 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 14:02:37 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2888:9a07:52ef:e042) |
| 2022-10-05 14:03:28 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 14:03:45 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-05 14:04:14 +0000 | nightbreak | (~nightbrea@2600:4040:5416:c000:89ef:7927:9e8f:36c6) |
| 2022-10-05 14:05:04 +0000 | kdaishi | (~Thunderbi@94.191.153.178) |
| 2022-10-05 14:06:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2888:9a07:52ef:e042) (Ping timeout: 246 seconds) |
| 2022-10-05 14:07:37 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2022-10-05 14:07:52 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-05 14:10:31 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-10-05 14:12:20 +0000 | nightbreak | nightbreak[Away] |
| 2022-10-05 14:15:24 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2022-10-05 14:18:51 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-10-05 14:20:23 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 14:22:13 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 14:22:27 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-10-05 14:24:18 +0000 | nschoe | (~quassel@141.101.51.197) (Ping timeout: 265 seconds) |
| 2022-10-05 14:24:21 +0000 | nschoe_ | (~quassel@141.101.51.197) |
| 2022-10-05 14:25:37 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-10-05 14:25:54 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 14:26:39 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2022-10-05 14:30:28 +0000 | silky[m] | (~noonvande@2001:470:69fc:105::2:943c) |
| 2022-10-05 14:34:09 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:8816:b288:20c9:6a7a) |
| 2022-10-05 14:34:54 +0000 | mncheck | (~mncheck@193.224.205.254) (Read error: Connection reset by peer) |
| 2022-10-05 14:36:12 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 14:39:58 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-10-05 14:40:50 +0000 | mihaiadrian | (~mihaiadri@82.76.223.244) |
| 2022-10-05 14:41:10 +0000 | <mihaiadrian> | ski, Axman6, Hecate: thank you all! sorry for responding so late. |
| 2022-10-05 14:41:12 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-10-05 14:41:33 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 250 seconds) |
| 2022-10-05 14:41:44 +0000 | <Hecate> | nae worries |
| 2022-10-05 14:44:13 +0000 | loras | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-05 14:44:35 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 14:46:26 +0000 | nschoe_ | (~quassel@141.101.51.197) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-05 14:46:40 +0000 | nschoe | (~quassel@141.101.51.197) |
| 2022-10-05 14:53:02 +0000 | <silky[m]> | <Hecate> "nae worries" <- are you scottish?! |
| 2022-10-05 14:55:14 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-05 14:55:35 +0000 | littlefinger | (~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) |
| 2022-10-05 14:58:11 +0000 | mihaiadrian | (~mihaiadri@82.76.223.244) (Quit: Client closed) |
| 2022-10-05 14:58:47 +0000 | titibandit | (~titibandi@xdsl-89-0-65-2.nc.de) |
| 2022-10-05 14:59:48 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 15:08:05 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 15:09:50 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-05 15:10:35 +0000 | <Hecate> | silky[m]: no and you know it :') |
| 2022-10-05 15:10:56 +0000 | <EvanR> | so if you have a state record where one field is supposed to be a list that you incrementally append to |
| 2022-10-05 15:11:44 +0000 | <EvanR> | I know two ways: build the list backwards then reverse it, or use "prefix function" and compose them instead of using a list |
| 2022-10-05 15:12:29 +0000 | <EvanR> | 1. is there another way 2. is there any benefit here of using the function composition approach |
| 2022-10-05 15:13:23 +0000 | <EvanR> | maybe Data.Sequence? |
| 2022-10-05 15:13:26 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 15:13:42 +0000 | <lortabac> | EvanR: DList |
| 2022-10-05 15:13:59 +0000 | <EvanR> | that's the same thing as function composition I mentioned |
| 2022-10-05 15:14:02 +0000 | <lortabac> | yes |
| 2022-10-05 15:14:14 +0000 | <lortabac> | but it's wrapped in a newtype |
| 2022-10-05 15:14:41 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 15:14:43 +0000 | <lortabac> | Data.Sequence may be useful if you need indexing |
| 2022-10-05 15:14:53 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-05 15:15:24 +0000 | littlefinger | (~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) (Quit: Client closed) |
| 2022-10-05 15:15:30 +0000 | <lortabac> | otherwise I think DList is the best way to build the list |
| 2022-10-05 15:15:52 +0000 | <EvanR> | is there any benefit over just using the list |
| 2022-10-05 15:16:02 +0000 | <EvanR> | for that particular problem |
| 2022-10-05 15:16:17 +0000 | <lortabac> | benefit of Data.Sequence? |
| 2022-10-05 15:16:28 +0000 | littlefinger | (~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) |
| 2022-10-05 15:16:32 +0000 | <lortabac> | I don't think so (if it's just for incremental building) |
| 2022-10-05 15:16:36 +0000 | <EvanR> | DList |
| 2022-10-05 15:16:54 +0000 | <lortabac> | DList compared to what? |
| 2022-10-05 15:16:57 +0000 | <EvanR> | ok! |
| 2022-10-05 15:17:15 +0000 | <EvanR> | not addressing my original question lol |
| 2022-10-05 15:17:23 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) |
| 2022-10-05 15:18:03 +0000 | <lortabac> | sorry maybe I misunderstood the question then |
| 2022-10-05 15:20:05 +0000 | <EvanR> | there are two main ways to implement the append within the context of this state thing, build the list backwards reverse it at the end, and compose prefixing functions. DList isn't another fundamentally different way yes I know about it. Is there any benefit other than cool factor to not just use a dumb list |
| 2022-10-05 15:22:00 +0000 | <EvanR> | because a dumb list is less code, it has that going for it |
| 2022-10-05 15:22:49 +0000 | <lortabac> | probably with a reversed list you depend on compiler optimizations, whereas function composition is always efficient |
| 2022-10-05 15:24:20 +0000 | <[Leary]> | DList (or other function embeddings like foldr lists) will be the fastest if you only consume the list once. Something that builds a real data structure may be faster if you need to consume the list several times, as you can leverage sharing. Note the `SnocBuilder` data type (internal to Data.List) and related comments. |
| 2022-10-05 15:24:48 +0000 | dsrt^ | (~dsrt@c-76-17-6-165.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-10-05 15:25:03 +0000 | <EvanR> | checking that out |
| 2022-10-05 15:29:42 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) |
| 2022-10-05 15:32:02 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-10-05 15:33:06 +0000 | littlefinger | (~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) (Quit: Client closed) |
| 2022-10-05 15:33:57 +0000 | <EvanR> | SnocBuilder seems to be like a dumb backwards list but you spread the reversing work out instead of waiting until the end |
| 2022-10-05 15:35:21 +0000 | <EvanR> | it's doubling down on reversing xD |
| 2022-10-05 15:35:22 +0000 | <lortabac> | why wouldn't a list built with function composition be shared? |
| 2022-10-05 15:36:03 +0000 | <lortabac> | I mean, if you do 'let list = DList.toList dlist' isn't 'list' shared? |
| 2022-10-05 15:36:57 +0000 | <lortabac> | I don't understand how the way the list is built changes anything regarding sharing |
| 2022-10-05 15:38:22 +0000 | <EvanR> | if you only consume the final list once, no nothing is shared and you might never even have the list in memory really |
| 2022-10-05 15:38:42 +0000 | mixphix | (~cigsender@cpe9050ca1782b3-cm9050ca1782b0.sdns.net.rogers.com) |
| 2022-10-05 15:38:49 +0000 | <EvanR> | during construction there's no sharing since there's no list yet |
| 2022-10-05 15:39:49 +0000 | <[Leary]> | My wording was imprecise; the issue is that you can't benefit from sharing when consuming the function-list at distinct stages of its construction. |
| 2022-10-05 15:39:49 +0000 | <EvanR> | the comments mention "heavily persistent settings", which I take to mean you want the data materialized and reused as much as possible over time |
| 2022-10-05 15:40:32 +0000 | <[Leary]> | The list is in state; you might want to modify it, consume it, modify it, consume it again, etc. |
| 2022-10-05 15:40:46 +0000 | <lortabac> | ok I see what you mean |
| 2022-10-05 15:40:48 +0000 | <[Leary]> | You'll have to rebuild the list completely to do so. |
| 2022-10-05 15:41:35 +0000 | <lortabac> | in that case something like Data.Sequence would definitely make sense |
| 2022-10-05 15:41:35 +0000 | <EvanR> | yeah if you want to do various things other than just append one item to the end, I can see DList being better |
| 2022-10-05 15:41:52 +0000 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2022-10-05 15:41:54 +0000 | <EvanR> | or Sequence depending |
| 2022-10-05 15:42:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:8898:dd29:29bf:fbd8) (Quit: WeeChat 2.8) |
| 2022-10-05 15:42:40 +0000 | waleee | (~waleee@192.165.44.49) |
| 2022-10-05 15:43:15 +0000 | <EvanR> | SnocBuilder appears to have been removed from Data.List in the meantime |
| 2022-10-05 15:43:17 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-10-05 15:43:39 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 252 seconds) |
| 2022-10-05 15:45:22 +0000 | <[Leary]> | Oh yeah, looks like 4.17 has it in Data.OldList. I was looking as 4.16. |
| 2022-10-05 15:45:49 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-05 15:45:56 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-05 15:46:02 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 15:46:22 +0000 | <EvanR> | SnocList is interesting on the surface because it goes to some effort to make sure your backwards doesn't get too long |
| 2022-10-05 15:46:23 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-10-05 15:46:33 +0000 | <EvanR> | backwards list |
| 2022-10-05 15:47:15 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2888:9a07:52ef:e042) |
| 2022-10-05 15:48:13 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-10-05 15:50:49 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 265 seconds) |
| 2022-10-05 16:01:15 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-10-05 16:03:27 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-10-05 16:04:23 +0000 | mastarija | (~mastarija@2a05:4f46:e03:6000:7427:e421:29b4:3f4e) (Quit: WeeChat 3.5) |
| 2022-10-05 16:04:38 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 16:08:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:2888:9a07:52ef:e042) (Remote host closed the connection) |
| 2022-10-05 16:08:43 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 16:08:56 +0000 | son0p | (~ff@181.136.122.143) |
| 2022-10-05 16:09:10 +0000 | nschoe | (~quassel@141.101.51.197) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-05 16:11:52 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |
| 2022-10-05 16:13:39 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 16:13:49 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-10-05 16:18:39 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 16:29:55 +0000 | Erez | (~Erez@155.4.187.85) |
| 2022-10-05 16:32:23 +0000 | econo | (uid147250@user/econo) |
| 2022-10-05 16:39:41 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 16:45:15 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 252 seconds) |
| 2022-10-05 16:45:26 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 265 seconds) |
| 2022-10-05 16:50:07 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-05 16:54:08 +0000 | MajorBiscuit | (~MajorBisc@145.94.167.158) (Ping timeout: 265 seconds) |
| 2022-10-05 16:54:25 +0000 | Erez | (~Erez@155.4.187.85) (Remote host closed the connection) |
| 2022-10-05 16:54:42 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 16:55:47 +0000 | <dminuoso> | Is there an known efficient construction for a tree, in which each node is indexed say by an Int, such that [Int] represents a path along that tree? Currently Im using a recursive IntMap construction, but that's not particularly efficient to construct, because I have to alterF every IntMap along the way for each inserted node. |
| 2022-10-05 16:56:28 +0000 | <dminuoso> | A variant Ive been pondering is to wrap each layer in an IORef, such that an insertion is rather just a lookup and then alter of the merge node |
| 2022-10-05 16:56:37 +0000 | <dminuoso> | But Ive been wondering about some pure functional construction |
| 2022-10-05 16:57:13 +0000 | goig | (~goig@202.91.42.7) |
| 2022-10-05 16:58:46 +0000 | <goig> | dminuoso you there bud? |
| 2022-10-05 16:59:10 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-05 16:59:10 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Client Quit) |
| 2022-10-05 16:59:14 +0000 | <dminuoso> | goig: Yes. |
| 2022-10-05 16:59:25 +0000 | waleee | (~waleee@192.165.44.49) (Ping timeout: 268 seconds) |
| 2022-10-05 17:00:28 +0000 | <goig> | dminuoso |
| 2022-10-05 17:00:41 +0000 | <goig> | Basically. Both \mu and \eta take in an object and put out an object. However, in their definition they include the exact object. Thus, if we assume M to be 1 and I to be 0 (illustrative purposes only) |
| 2022-10-05 17:00:41 +0000 | <goig> | \mu(a b) = 1 |
| 2022-10-05 17:00:42 +0000 | <goig> | \eta(c) = 1 |
| 2022-10-05 17:00:42 +0000 | <goig> | We can only pass 1 1 to \mu, and only 0 to \eta. Thus they make no sense. |
| 2022-10-05 17:00:58 +0000 | <goig> | This ofc is the same for everything, not just numbers. \eta just gives you the endofunctor M for the identity endofunctor. \mu just gives you the endofunctor M |
| 2022-10-05 17:00:59 +0000 | <goig> | (For the monoids in the monoidal category of endofunctors with functor composition as product, aka monads) |
| 2022-10-05 17:01:29 +0000 | <dminuoso> | goig: μ and η are first, for the matter of this discussion, natural transformations. |
| 2022-10-05 17:01:43 +0000 | <dminuoso> | Do you know what a natural transformation is? |
| 2022-10-05 17:02:01 +0000 | <ski> | goig : "we assume M to be 1 and I to be 0" -- what do you mean by `1' and `0' here ? |
| 2022-10-05 17:02:24 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2022-10-05 17:02:40 +0000 | <goig> | dminuoso Wait. But wikipedia defines them as morphisms... |
| 2022-10-05 17:02:50 +0000 | <c_wraith> | dminuoso: If the Int are dense, you can't really do better. |
| 2022-10-05 17:02:52 +0000 | <dminuoso> | goig: Well yes, they are morphisms in a category. |
| 2022-10-05 17:03:02 +0000 | <c_wraith> | dminuoso: err. if they aren't dense |
| 2022-10-05 17:03:04 +0000 | <goig> | Do you know what a natural transformation is? Mapping between functors |
| 2022-10-05 17:03:06 +0000 | <dminuoso> | Our category is the category of endofunctors, in which objects are endofunctors, and morphisms between endofunctors are natural transformations. |
| 2022-10-05 17:03:31 +0000 | <dminuoso> | So in that category, every morphism is a natural transformation. |
| 2022-10-05 17:04:39 +0000 | <goig> | Ooo |
| 2022-10-05 17:05:01 +0000 | <dminuoso> | There's a bit of inception here of course. |
| 2022-10-05 17:05:38 +0000 | <goig> | Still, my question hold.. |
| 2022-10-05 17:05:51 +0000 | <goig> | \infty-Category /s |
| 2022-10-05 17:05:56 +0000 | <goig> | A natural transformation is still a transformation/morphism |
| 2022-10-05 17:06:17 +0000 | <EvanR> | category theory is the study of patterns/interfaces which are optimized for talking about its own damn self |
| 2022-10-05 17:06:34 +0000 | <dminuoso> | Even the study of itself. :) |
| 2022-10-05 17:06:34 +0000 | kdaishi | (~Thunderbi@94.191.153.178) (Read error: Connection reset by peer) |
| 2022-10-05 17:06:34 +0000 | <goig> | If we define the morphism as giving us a defined endofunctor included in is definition |
| 2022-10-05 17:06:34 +0000 | <goig> | It's the same case as with the numbers |
| 2022-10-05 17:06:45 +0000 | <dminuoso> | What do you mean "we define the morphism"? |
| 2022-10-05 17:06:48 +0000 | <dminuoso> | We dont define morphisms. |
| 2022-10-05 17:06:51 +0000 | <dminuoso> | They simply exist. |
| 2022-10-05 17:07:00 +0000 | <EvanR> | that's not very constructive |
| 2022-10-05 17:07:35 +0000 | <goig> | well. What is the wikipedia article saying then? |
| 2022-10-05 17:07:48 +0000 | <dminuoso> | Can you give me a link to the article, and a pointer where you are looking at? |
| 2022-10-05 17:07:50 +0000 | <ski> | goig : "\eta just gives you the endofunctor M for the identity endofunctor. \mu just gives you the endofunctor M" makes no sense to me |
| 2022-10-05 17:09:07 +0000 | <goig> | dminuoso https://en.wikipedia.org/wiki/Monoid_(category_theory) |
| 2022-10-05 17:10:07 +0000 | <ski> | goig : what do you mean by `\eta(c) = 1',`\mu(a b) = 1' ? |
| 2022-10-05 17:11:11 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 17:11:34 +0000 | <sm> | g'day all. A slight mystery.. does nub require first sorting the list to be reliable ? I thought so, but today it seems unnecessary |
| 2022-10-05 17:12:00 +0000 | <ski> | > nub "aba" |
| 2022-10-05 17:12:02 +0000 | <lambdabot> | "ab" |
| 2022-10-05 17:12:13 +0000 | <ski> | it compares every element to every element. it's quadratic |
| 2022-10-05 17:12:33 +0000 | <ski> | (or, "triangular", if you prefer) |
| 2022-10-05 17:12:34 +0000 | <dminuoso> | sm: You were probably thinking of `group` and friends |
| 2022-10-05 17:12:44 +0000 | <dminuoso> | These may behave unexpectedly on unsorted lists. |
| 2022-10-05 17:13:05 +0000 | <ski> | > group "mississippi" |
| 2022-10-05 17:13:06 +0000 | <lambdabot> | ["m","i","ss","i","ss","i","pp","i"] |
| 2022-10-05 17:13:26 +0000 | <dminuoso> | Huh! |
| 2022-10-05 17:13:38 +0000 | <dminuoso> | I think `group` is just what I need to greatly simplify my IPv6 pretty printing algorith,/ |
| 2022-10-05 17:13:45 +0000 | <dminuoso> | Thanks for that. |
| 2022-10-05 17:14:16 +0000 | sm | is puzzled.. nubSort was created for a reason.. now their haddocks are about the same though |
| 2022-10-05 17:14:31 +0000 | <dminuoso> | sm: Different complexity |
| 2022-10-05 17:14:38 +0000 | <geekosaur> | because sorted lists are much, much faster and lower memory to nub |
| 2022-10-05 17:14:45 +0000 | <ski> | @src nub |
| 2022-10-05 17:14:45 +0000 | <lambdabot> | nub = nubBy (==) |
| 2022-10-05 17:14:45 +0000 | <lambdabot> | --OR |
| 2022-10-05 17:14:46 +0000 | <lambdabot> | nub l = go l [] |
| 2022-10-05 17:14:46 +0000 | <lambdabot> | where go [] _ = [] |
| 2022-10-05 17:14:46 +0000 | <lambdabot> | go (x:xs) ls |
| 2022-10-05 17:14:46 +0000 | <sm> | ok |
| 2022-10-05 17:14:47 +0000 | <lambdabot> | | x `elem` ls = go xs ls |
| 2022-10-05 17:14:48 +0000 | <dminuoso> | One is O(n^2), the other is O(n*log n) |
| 2022-10-05 17:14:49 +0000 | <lambdabot> | | otherwise = x : go xs (x:ls) |
| 2022-10-05 17:15:02 +0000 | <ski> | @src nubBy |
| 2022-10-05 17:15:03 +0000 | <lambdabot> | nubBy eq [] = [] |
| 2022-10-05 17:15:03 +0000 | <lambdabot> | nubBy eq (x:xs) = x : nubBy eq (filter (\ y -> not (eq x y)) xs) |
| 2022-10-05 17:15:16 +0000 | <dminuoso> | And technically you could do ordNub it in O(n) |
| 2022-10-05 17:15:17 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Quit: Leaving) |
| 2022-10-05 17:16:06 +0000 | <dminuoso> | Alternatively you can just handroll the thing, and scan characters with a Set remembering which characters you have seen already |
| 2022-10-05 17:16:31 +0000 | <EvanR> | yeah nub does what it says on the tin |
| 2022-10-05 17:16:44 +0000 | <EvanR> | ok maybe not, but there are no gotchas like group |
| 2022-10-05 17:17:11 +0000 | kdaishi | (~Thunderbi@94.191.153.178.mobile.tre.se) |
| 2022-10-05 17:17:16 +0000 | <EvanR> | I appreciate nub not using a word you probably want to use at some point |
| 2022-10-05 17:17:30 +0000 | <sm> | thanks, I must have been confused |
| 2022-10-05 17:17:30 +0000 | <sm> | so if I don't mind it getting sorted, nubSort is always more efficient eh |
| 2022-10-05 17:17:35 +0000 | goig | (~goig@202.91.42.7) (Quit: Client closed) |
| 2022-10-05 17:17:45 +0000 | <geekosaur> | not always |
| 2022-10-05 17:17:51 +0000 | <dminuoso> | It also sorts first |
| 2022-10-05 17:17:55 +0000 | zaquest | (~notzaques@5.130.79.72) (Ping timeout: 268 seconds) |
| 2022-10-05 17:17:57 +0000 | <dminuoso> | That may not be desirable |
| 2022-10-05 17:18:09 +0000 | <geekosaur> | we use nub in xmonad because if the list in question has more than 3 items in it, you;re making much worse mistakes than using nub 🙂 |
| 2022-10-05 17:18:12 +0000 | <sm> | nub also sorts ? |
| 2022-10-05 17:18:15 +0000 | <dminuoso> | But honestly, you can also just nub via a Set *directly* then |
| 2022-10-05 17:18:17 +0000 | <geekosaur> | and nubOrd would cost more to use |
| 2022-10-05 17:18:22 +0000 | <dminuoso> | Which is likely faster than nubOrd |
| 2022-10-05 17:18:27 +0000 | <geekosaur> | nubOrd does |
| 2022-10-05 17:18:41 +0000 | <geekosaur> | nub doesn;t and that;s why it's O(n*2) |
| 2022-10-05 17:18:42 +0000 | <dminuoso> | that is `Data.Set.toList . Data.Set.fromList` is very available |
| 2022-10-05 17:18:50 +0000 | <dminuoso> | If you dont care about being ordered along the way |
| 2022-10-05 17:18:54 +0000 | <geekosaur> | er n*n |
| 2022-10-05 17:19:11 +0000 | <geekosaur> | er something, I'm tired and not straight thinking |
| 2022-10-05 17:20:34 +0000 | <geekosaur> | n^2, bleh |
| 2022-10-05 17:20:57 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 17:20:58 +0000 | <sm> | I think nubSort is always more efficient than nub because O(n log n) < O(n^2) ? |
| 2022-10-05 17:21:14 +0000 | <dminuoso> | sm: again not necessarily |
| 2022-10-05 17:21:21 +0000 | <sm> | how so ? |
| 2022-10-05 17:21:41 +0000 | <dminuoso> | You have different complexities. worst case, best case, average case |
| 2022-10-05 17:21:47 +0000 | <sm> | oh because O is just a rough order-of ? |
| 2022-10-05 17:21:49 +0000 | <dminuoso> | On haddock you generally only see worst case |
| 2022-10-05 17:21:59 +0000 | <geekosaur> | yes, and ignores constant factors |
| 2022-10-05 17:22:00 +0000 | <dminuoso> | And also, complexity does not directly tell you whether its faster |
| 2022-10-05 17:22:02 +0000 | <dminuoso> | just how they scale |
| 2022-10-05 17:22:10 +0000 | <dminuoso> | https://gist.github.com/dminuoso/672f3e167ddce78be6945977ce9239ba |
| 2022-10-05 17:22:11 +0000 | <geekosaur> | the constant factor for nubOrd is larger than for nub |
| 2022-10-05 17:22:23 +0000 | <sm> | good, that helps.. thanks all |
| 2022-10-05 17:22:24 +0000 | <geekosaur> | hence my n>3 comment earlier |
| 2022-10-05 17:22:32 +0000 | <dminuoso> | sm: ^- I reckon this will generally perform best for unsorted, and for sorted I would expect roundtripping through Set to be fastest. |
| 2022-10-05 17:23:05 +0000 | <dminuoso> | On average data |
| 2022-10-05 17:23:35 +0000 | <dminuoso> | For nubSort you'd have to analyze the particular choice of a sorting algorithm |
| 2022-10-05 17:24:05 +0000 | <dminuoso> | Ah heh |
| 2022-10-05 17:24:06 +0000 | mixphix | (~cigsender@cpe9050ca1782b3-cm9050ca1782b0.sdns.net.rogers.com) (Ping timeout: 265 seconds) |
| 2022-10-05 17:24:11 +0000 | <dminuoso> | ordNub and ordNubOn are exactly that implementation |
| 2022-10-05 17:24:24 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-10-05 17:24:34 +0000 | razetime | (~quassel@117.193.2.107) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-10-05 17:24:36 +0000 | <dminuoso> | And nubSort (both from GHC.Utils.Misc) is roundtripping via Set. |
| 2022-10-05 17:25:17 +0000 | <dminuoso> | sm: regarding sorting, it may not be well known that you can actually sort in linear time. |
| 2022-10-05 17:25:37 +0000 | darkstarx | (~darkstard@50.126.124.156) |
| 2022-10-05 17:25:52 +0000 | <EvanR> | citation needed |
| 2022-10-05 17:26:06 +0000 | <dminuoso> | https://hackage.haskell.org/package/discrimination |
| 2022-10-05 17:26:12 +0000 | <dminuoso> | https://di.ku.dk/hjemmesider/ansatte/henglein/papers/henglein2011a.pdf |
| 2022-10-05 17:26:15 +0000 | <EvanR> | (rather necessary prereqs needed) |
| 2022-10-05 17:26:44 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 17:26:48 +0000 | darkstardevx | (~darkstard@50.126.124.156) (Ping timeout: 264 seconds) |
| 2022-10-05 17:28:24 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-10-05 17:29:20 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-10-05 17:29:30 +0000 | <dminuoso> | https://www.youtube.com/watch?v=cB8DapKQz-I is also a nice presentation by edward |
| 2022-10-05 17:30:17 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-10-05 17:32:53 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a468d2ea4a9a1bd9f4b.dip0.t-ipconnect.de) |
| 2022-10-05 17:33:09 +0000 | <sm> | not well known by me, impressive! |
| 2022-10-05 17:33:23 +0000 | <sm> | they'll be sorting in constant time next |
| 2022-10-05 17:34:35 +0000 | <EvanR> | sorting in constant time is feasible, you just need the necessary prereqs |
| 2022-10-05 17:34:42 +0000 | <EvanR> | like, already sorted xD |
| 2022-10-05 17:37:44 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 17:38:15 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) |
| 2022-10-05 17:38:17 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-10-05 17:41:25 +0000 | <tdammers> | requirements engineering at its finest |
| 2022-10-05 17:42:05 +0000 | littlefinger | (~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) |
| 2022-10-05 17:42:27 +0000 | ltlefnger | (~ltlefnger@pool-100-15-237-121.washdc.fios.verizon.net) |
| 2022-10-05 17:43:17 +0000 | zns | (~zns@c-24-56-246-176.customer.broadstripe.net) |
| 2022-10-05 17:44:46 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-10-05 17:48:01 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-10-05 17:49:58 +0000 | ltlefnger | (~ltlefnger@pool-100-15-237-121.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2022-10-05 17:51:15 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 252 seconds) |
| 2022-10-05 17:51:40 +0000 | goig | (~goig@202.91.42.7) |
| 2022-10-05 17:51:57 +0000 | <goig> | ski "what do you mean by \eta(c) = 1',\mu(a b) = 1' ?" By taking the definition from Wikipedia |
| 2022-10-05 17:51:58 +0000 | <goig> | \eta : I \rightarrow M. \mu : M \otimes M \rightarrow M |
| 2022-10-05 17:54:30 +0000 | <dminuoso> | Okay, GHC is only able to produce around 3000 lines of diagnostics per second. This is too slow. |
| 2022-10-05 17:55:01 +0000 | <dminuoso> | Is there a way to make GHC stop on the first diagnostic for a given module? |
| 2022-10-05 17:55:27 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-05 17:55:40 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 17:56:21 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-10-05 17:57:22 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-10-05 17:57:56 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-10-05 17:58:24 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:19c6:ba20:2cd3:1ae7) |
| 2022-10-05 17:59:48 +0000 | <goig> | dminuoso Diagnostics? |
| 2022-10-05 18:00:06 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 18:00:34 +0000 | kenran | (~user@user/kenran) |
| 2022-10-05 18:00:47 +0000 | doyougnu | (~doyougnu@cpe-74-69-132-225.stny.res.rr.com) (Ping timeout: 252 seconds) |
| 2022-10-05 18:01:38 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) |
| 2022-10-05 18:02:12 +0000 | zns | (~zns@c-24-56-246-176.customer.broadstripe.net) (Remote host closed the connection) |
| 2022-10-05 18:02:45 +0000 | zns | (~zns@c-24-56-246-176.customer.broadstripe.net) |
| 2022-10-05 18:03:06 +0000 | kenran` | (~user@user/kenran) |
| 2022-10-05 18:05:54 +0000 | goig | (~goig@202.91.42.7) (Quit: Client closed) |
| 2022-10-05 18:05:55 +0000 | kenran` | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-05 18:06:57 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 18:07:21 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-10-05 18:08:31 +0000 | king_gs | (~Thunderbi@2806:103e:29:5a6:d0be:f9c4:80c9:e8c5) (Remote host closed the connection) |
| 2022-10-05 18:11:14 +0000 | <ski> | @tell goig but if `M' is a monad (which is an endofunctor, with some more stuff), then what does it mean to say `1' is an element of `M' ? and in this case, your `M \otimes M' is not a cartesian product, but a composition, so what sense could `\mu(a b)' possibly make ? |
| 2022-10-05 18:11:14 +0000 | <lambdabot> | Consider it noted. |
| 2022-10-05 18:11:53 +0000 | <zns> | is learn you a haskell still the top recommended entry point to haskell coming from a C background? |
| 2022-10-05 18:12:33 +0000 | <ski> | probably not .. or at least not on its own |
| 2022-10-05 18:13:08 +0000 | <ski> | (it has no exercises. and people have described it as a "four-hour long trailer", saying it doesn't go in-depth enough) |
| 2022-10-05 18:13:20 +0000 | <ski> | @where CIS194 |
| 2022-10-05 18:13:21 +0000 | <lambdabot> | https://www.seas.upenn.edu/~cis194/spring13/lectures.html |
| 2022-10-05 18:13:24 +0000 | <ski> | has exercises |
| 2022-10-05 18:13:27 +0000 | <zns> | ah ok, good to know - what's a common alternative |
| 2022-10-05 18:13:34 +0000 | <zns> | ah sweet |
| 2022-10-05 18:13:46 +0000 | <ski> | a real textbook might be nice |
| 2022-10-05 18:13:51 +0000 | <[exa]> | wiwinwlh is super useful |
| 2022-10-05 18:13:56 +0000 | <[exa]> | zns: https://github.com/sdiehl/wiwinwlh |
| 2022-10-05 18:14:12 +0000 | <ski> | like "Programming in Haskell", by Graham Hutton. or "Haskell: The Craft of Functional Programming", by Simon Thompson |
| 2022-10-05 18:14:31 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) |
| 2022-10-05 18:14:40 +0000 | <zns> | ski: is the age of CIS194 going to be a problem? |
| 2022-10-05 18:14:49 +0000 | <ski> | i don't think so |
| 2022-10-05 18:15:13 +0000 | <ski> | (i think some people have said they prefer that specific year of the course to at least some later years) |
| 2022-10-05 18:15:32 +0000 | <ski> | RWH has probably aged less well |
| 2022-10-05 18:15:41 +0000 | <ski> | @where wikibook |
| 2022-10-05 18:15:42 +0000 | <lambdabot> | http://en.wikibooks.org/wiki/Haskell |
| 2022-10-05 18:15:47 +0000 | <ski> | @where HTaC |
| 2022-10-05 18:15:47 +0000 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2022-10-05 18:15:51 +0000 | <ski> | might also be useful |
| 2022-10-05 18:16:00 +0000 | <EvanR> | @where gentle |
| 2022-10-05 18:16:01 +0000 | <lambdabot> | http://www.haskell.org/tutorial/ |
| 2022-10-05 18:16:11 +0000 | <EvanR> | can't beat that URL |
| 2022-10-05 18:16:31 +0000 | <ski> | the "Gentle" one assumes you already know some principles of functional programming, say coming from Scheme or one of the MLs |
| 2022-10-05 18:16:44 +0000 | <EvanR> | though you could beat that style sheet |
| 2022-10-05 18:17:19 +0000 | <zns> | yeah this shall be my first real intro to FP stuff, i'm mostly in the realm of embedded c / asm |
| 2022-10-05 18:17:27 +0000 | <ski> | zns : it also helps to ask e.g. in here, when you've got questions, or want advice or go stuck on something |
| 2022-10-05 18:17:49 +0000 | <ski> | nice :) |
| 2022-10-05 18:17:56 +0000 | <zns> | yeah already I've noticed how more active and helpful #haskell is than some channels for other languages lol |
| 2022-10-05 18:18:41 +0000 | <dminuoso> | zns: Note, that a few CIS194 2016 code bits dont work anymore because the underlying library has been updated. Its nothing minor, this place should be able to help you out. |
| 2022-10-05 18:18:48 +0000 | <dminuoso> | *it nothing major! |
| 2022-10-05 18:19:09 +0000 | <dminuoso> | Probably should poke Joachim to get some updates in |
| 2022-10-05 18:19:22 +0000 | <dminuoso> | Maybe when I meet him at Haskell eXchange |
| 2022-10-05 18:19:24 +0000 | <ski> | (there's also a #haskell-beginners channel. but beginners questions are also welcome in here. the main difference between the channels is that in here it's sometimes more noisy (and so you might then prefer the other one, to have a more focused conversation), while the other one doesn't have as many people, so you're commonly more likely to get someone responding sooner, in here) |
| 2022-10-05 18:19:34 +0000 | <zns> | this wiwinwlh looks like a pretty nice resource, seems like I'll need to make html it myself though |
| 2022-10-05 18:19:53 +0000 | <zns> | ah good to know ski, ill make sure to add that to my alias |
| 2022-10-05 18:20:31 +0000 | <[exa]> | zns: oh noes the site is down |
| 2022-10-05 18:20:42 +0000 | <[exa]> | zns: you might archive.org it |
| 2022-10-05 18:21:37 +0000 | <[exa]> | actually lemme build that |
| 2022-10-05 18:21:49 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-10-05 18:21:55 +0000 | <zns> | yeah i was just going to make it myself since they got the makefile all setup |
| 2022-10-05 18:24:09 +0000 | <ski> | zns : oh .. you should expect to have to unlearn and relearn quite a bit. learning a different programming paradigm is a bit like learning to program from scratch, all over again |
| 2022-10-05 18:24:43 +0000 | <ski> | obviously things do carry over. but it's better to come at it from a mindset not expecting it to be like learning yet another imperative language |
| 2022-10-05 18:26:27 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-05 18:26:59 +0000 | AlexZenon | (~alzenon@94.233.240.222) (Ping timeout: 268 seconds) |
| 2022-10-05 18:27:25 +0000 | zns | (~zns@c-24-56-246-176.customer.broadstripe.net) (Quit: ) |
| 2022-10-05 18:27:55 +0000 | Alex_test | (~al_test@94.233.240.222) (Ping timeout: 252 seconds) |
| 2022-10-05 18:28:26 +0000 | <[exa]> | btw is sdiehl taking care of the repo anymore or did it evolve towards another maintainer? |
| 2022-10-05 18:28:36 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a468d2ea4a9a1bd9f4b.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-10-05 18:29:56 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-10-05 18:30:40 +0000 | AlexZenon | (~alzenon@94.233.240.222) |
| 2022-10-05 18:32:32 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-10-05 18:32:39 +0000 | zane_ | (~zane@c-24-56-246-176.customer.broadstripe.net) |
| 2022-10-05 18:32:41 +0000 | Alex_test | (~al_test@94.233.240.222) |
| 2022-10-05 18:32:42 +0000 | <zane_> | quit |
| 2022-10-05 18:32:45 +0000 | zane_ | (~zane@c-24-56-246-176.customer.broadstripe.net) (Client Quit) |
| 2022-10-05 18:34:00 +0000 | zns | (~zns@c-24-56-246-176.customer.broadstripe.net) |
| 2022-10-05 18:38:36 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 18:39:05 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2022-10-05 18:39:16 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-10-05 18:43:01 +0000 | vglfr | (~vglfr@145.224.100.190) (Read error: Connection reset by peer) |
| 2022-10-05 18:43:25 +0000 | vglfr | (~vglfr@145.224.100.190) |
| 2022-10-05 18:44:37 +0000 | zns | (~zns@c-24-56-246-176.customer.broadstripe.net) (Changing host) |
| 2022-10-05 18:44:37 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 18:44:56 +0000 | <dminuoso> | Realistically, how portable will using "/" as a path separator be? |
| 2022-10-05 18:45:25 +0000 | <dminuoso> | It seems like Linux, *BSD, macOS should be fine. So what about WindowS? |
| 2022-10-05 18:47:41 +0000 | <geekosaur> | windows appears to still support it in function calls. not at the command line though |
| 2022-10-05 18:47:57 +0000 | <geekosaur> | and I don't know what guarantees there are on it continuing to work |
| 2022-10-05 18:48:17 +0000 | simendsjo | (~user@84.211.91.241) |
| 2022-10-05 18:50:25 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 18:51:17 +0000 | <EvanR> | how many battle ships would halt and catch fire, or missiles explode early if suddenly a windows update came in which invalidated / in paths |
| 2022-10-05 18:51:24 +0000 | <sm> | I would expect it to always work when using the directory/filepath libs ? |
| 2022-10-05 18:51:39 +0000 | <dminuoso> | Yes, and I dont want to use them. |
| 2022-10-05 18:51:57 +0000 | <dminuoso> | Im trying very hard to completely minimize the build-depends footprint here |
| 2022-10-05 18:52:17 +0000 | <sm> | I see. I thought it did work find at windows command prompts also |
| 2022-10-05 18:52:41 +0000 | <sm> | fine |
| 2022-10-05 18:53:00 +0000 | <dminuoso> | What if they run via services.msc? |
| 2022-10-05 18:53:39 +0000 | pavonia | (~user@user/siracusa) |
| 2022-10-05 18:53:41 +0000 | <geekosaur> | hm. trawling the windows online docs, only \ is documented as a path component separator, but / is still a reserved character according to https://learn.microsoft.com/en-us/windows/win32/intl/character-sets-used-in-file-names?source=reco… |
| 2022-10-05 18:53:50 +0000 | <zns> | is there a preference between stack & cabal? or are they used for different purposes? |
| 2022-10-05 18:54:11 +0000 | <zns> | i was going to build wiwinwlh and it seems you can either stack install or cabal install it |
| 2022-10-05 18:54:11 +0000 | <geekosaur> | they both do pretty much the same thing these days, just in slightly different ways |
| 2022-10-05 18:54:24 +0000 | <geekosaur> | some of us prefer cabal, others stack |
| 2022-10-05 18:54:39 +0000 | <geekosaur> | but these days it doesn't really matter a whole lot |
| 2022-10-05 18:54:50 +0000 | <zns> | hm, interesting..and confusing haha |
| 2022-10-05 18:55:02 +0000 | <sm> | some things are a little easier with stack. Some projects will be easier to get building with one or the other |
| 2022-10-05 18:55:16 +0000 | <dminuoso> | Im going to just take a chance here, its only a list of hard-wired paths executed at TH time, relative to the build directory. |
| 2022-10-05 18:55:20 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-10-05 18:55:33 +0000 | <zns> | I assume they probably worked it out so they don't conflict if you have both installed? |
| 2022-10-05 18:55:36 +0000 | <dminuoso> | So Ill just blindly assume `BS.readFile foo/bar` will work, given that it should work at the prompt |
| 2022-10-05 18:55:49 +0000 | <dminuoso> | Hooray, no need for `filepath` :) |
| 2022-10-05 18:55:51 +0000 | <sm> | zns, yes |
| 2022-10-05 18:56:36 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-10-05 18:57:10 +0000 | <zns> | ah I see theres a rustup-adjacent sort of tool ghcup |
| 2022-10-05 18:57:11 +0000 | coot | (~coot@213.134.171.3) (Quit: coot) |
| 2022-10-05 18:57:26 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-10-05 18:58:47 +0000 | <EvanR> | ghcup rocks |
| 2022-10-05 18:59:08 +0000 | <EvanR> | screw distro package managers |
| 2022-10-05 19:00:22 +0000 | <telser_> | I definitely want package managers |
| 2022-10-05 19:00:38 +0000 | infinity0 | (~infinity0@185.112.146.113) (Remote host closed the connection) |
| 2022-10-05 19:01:01 +0000 | <sm> | zns: looking at https://github.com/sdiehl/wiwinwlh, personally I would try cabal first as it will use your currently installed default ghc and things might just build. If they don't, the you could stack which will install the old GHC version specified in stack.yaml - filling up your disk a bit but relatively sure to just work |
| 2022-10-05 19:01:10 +0000 | <telser_> | Does anyone know why hls doesn't have an ubuntu20.04 flavor like ghc does? |
| 2022-10-05 19:02:42 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 19:02:45 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:880f:f8ae:6077:ffec) |
| 2022-10-05 19:02:58 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-10-05 19:03:44 +0000 | califax | (~califax@user/califx) |
| 2022-10-05 19:04:49 +0000 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-10-05 19:04:54 +0000 | ulvarrefr | (~user@188.124.56.153) |
| 2022-10-05 19:05:44 +0000 | littlefinger | (~littlefin@pool-100-15-237-121.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-10-05 19:06:10 +0000 | <ski> | zns : <https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07> might be interesting |
| 2022-10-05 19:06:27 +0000 | <zns> | just read through that! thanks though ski |
| 2022-10-05 19:09:20 +0000 | <zns> | thoughts on https://github.com/haskell-beginners-2022/course-plan ? |
| 2022-10-05 19:09:47 +0000 | RosarioPulella[m | (~rosariopu@2001:470:69fc:105::a57) |
| 2022-10-05 19:10:56 +0000 | titibandit | (~titibandi@xdsl-89-0-65-2.nc.de) (Ping timeout: 260 seconds) |
| 2022-10-05 19:12:20 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 19:13:13 +0000 | titibandit | (~titibandi@xdsl-89-0-65-2.nc.de) |
| 2022-10-05 19:15:50 +0000 | zns | (~zns@user/zns) (Quit: zzz) |
| 2022-10-05 19:17:26 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-05 19:17:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-10-05 19:18:01 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-10-05 19:18:04 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-10-05 19:18:57 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-10-05 19:18:58 +0000 | kuribas | (~user@ptr-17d51eouflh02xad3po.18120a2.ip6.access.telenet.be) |
| 2022-10-05 19:20:24 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-10-05 19:22:22 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a468d2ea4a9a1bd9f4b.dip0.t-ipconnect.de) |
| 2022-10-05 19:23:37 +0000 | ubert | (~Thunderbi@178.165.179.119.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-10-05 19:28:00 +0000 | lottaquestions | (~nick@2607:fa49:503e:7100:aef6:98d:3d4f:a599) |
| 2022-10-05 19:31:38 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 19:46:53 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2022-10-05 19:48:12 +0000 | zns | (~zns@user/zns) (Quit: zzz) |
| 2022-10-05 19:49:16 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-10-05 19:51:10 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2022-10-05 19:53:28 +0000 | loras | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) (Quit: Leaving) |
| 2022-10-05 19:53:47 +0000 | Guest112009 | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-05 19:54:13 +0000 | Guest112009 | loras |
| 2022-10-05 19:56:29 +0000 | bc_ | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-05 19:56:51 +0000 | loras | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) (Client Quit) |
| 2022-10-05 19:56:51 +0000 | bc_ | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) (Client Quit) |
| 2022-10-05 19:57:10 +0000 | loras | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) |
| 2022-10-05 19:58:23 +0000 | loras | (~bc@c-73-139-125-125.hsd1.fl.comcast.net) (Client Quit) |
| 2022-10-05 19:59:05 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-10-05 20:08:54 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-10-05 20:09:10 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 20:09:28 +0000 | Erez | (~Erez@155.4.187.85) |
| 2022-10-05 20:10:16 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 20:10:54 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-10-05 20:11:30 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-10-05 20:13:56 +0000 | Erez | (~Erez@155.4.187.85) (Ping timeout: 252 seconds) |
| 2022-10-05 20:14:59 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-05 20:16:10 +0000 | mixphix | (~cigsender@bras-base-otwaon237cw-grc-11-174-91-129-69.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2022-10-05 20:17:02 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 20:18:45 +0000 | zns | (~zns@user/zns) (Client Quit) |
| 2022-10-05 20:21:31 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 260 seconds) |
| 2022-10-05 20:22:32 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 20:26:58 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-10-05 20:28:31 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 260 seconds) |
| 2022-10-05 20:32:58 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-10-05 20:34:47 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 20:35:16 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:880f:f8ae:6077:ffec) (Remote host closed the connection) |
| 2022-10-05 20:35:52 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-10-05 20:40:52 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:880f:f8ae:6077:ffec) |
| 2022-10-05 20:44:41 +0000 | simendsjo | (~user@84.211.91.241) (Ping timeout: 252 seconds) |
| 2022-10-05 20:48:19 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-10-05 20:49:36 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 20:49:54 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 20:51:44 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-10-05 20:52:41 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-10-05 20:53:33 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-10-05 20:54:07 +0000 | rockystone | (~rocky@user/rockymarine) |
| 2022-10-05 20:55:10 +0000 | gqplox | (~textual@97e654ef.skybroadband.com) |
| 2022-10-05 20:56:55 +0000 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-10-05 21:00:05 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-10-05 21:00:33 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-10-05 21:01:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-10-05 21:02:15 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 21:05:30 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:d53b:b7dd:b89c:482e) (Ping timeout: 268 seconds) |
| 2022-10-05 21:06:48 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 21:07:38 +0000 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:8816:b288:20c9:6a7a) (Read error: Connection reset by peer) |
| 2022-10-05 21:08:57 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:463c:6245:cbff:fe9f:48b1) |
| 2022-10-05 21:11:12 +0000 | justache | justHaunted |
| 2022-10-05 21:12:25 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 250 seconds) |
| 2022-10-05 21:15:29 +0000 | zns | (~zns@user/zns) (Quit: zzz) |
| 2022-10-05 21:15:40 +0000 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-10-05 21:16:01 +0000 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 246 seconds) |
| 2022-10-05 21:16:42 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 21:17:09 +0000 | euandreh | (~euandreh@179.214.113.107) |
| 2022-10-05 21:17:23 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a468d2ea4a9a1bd9f4b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-10-05 21:20:49 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 21:21:59 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 21:26:10 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 21:31:15 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-10-05 21:31:27 +0000 | zns | (~zns@user/zns) (Quit: zzz) |
| 2022-10-05 21:33:18 +0000 | kmein | (~weechat@user/kmein) |
| 2022-10-05 21:38:04 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 21:42:26 +0000 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-10-05 21:42:27 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-10-05 21:43:09 +0000 | talismanick | (~talismani@2601:200:c100:c9e0::24ac) (Ping timeout: 268 seconds) |
| 2022-10-05 21:43:35 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2022-10-05 21:48:35 +0000 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-10-05 21:50:53 +0000 | michalz | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2022-10-05 21:53:46 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 21:54:25 +0000 | titibandit | (~titibandi@xdsl-89-0-65-2.nc.de) (Remote host closed the connection) |
| 2022-10-05 21:55:24 +0000 | ddellacosta | (~ddellacos@143.244.47.86) |
| 2022-10-05 21:56:36 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 22:03:57 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-10-05 22:04:32 +0000 | zeenk | (~zeenk@2a02:2f04:a20a:3e00:5712:52b0:ca1d:bc63) (Quit: Konversation terminated!) |
| 2022-10-05 22:04:40 +0000 | talismanick | (~talismani@c-73-41-86-39.hsd1.ca.comcast.net) |
| 2022-10-05 22:04:40 +0000 | kdaishi | (~Thunderbi@94.191.153.178.mobile.tre.se) (Read error: Connection reset by peer) |
| 2022-10-05 22:05:40 +0000 | vorpuni | (~pvorp@2001:861:3881:c690:19c6:ba20:2cd3:1ae7) (Quit: bye) |
| 2022-10-05 22:08:03 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:463c:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2022-10-05 22:08:10 +0000 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-10-05 22:08:36 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 22:10:41 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 22:11:46 +0000 | CiaoSen | (~Jura@p200300c95700eb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-10-05 22:16:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:880f:f8ae:6077:ffec) (Remote host closed the connection) |
| 2022-10-05 22:17:46 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-10-05 22:19:09 +0000 | `2jt | (~jtomas@90.red-88-17-81.dynamicip.rima-tde.net) (Ping timeout: 250 seconds) |
| 2022-10-05 22:19:56 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 22:24:18 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 22:26:08 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 22:30:20 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 22:33:16 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 22:39:03 +0000 | kuribas | (~user@ptr-17d51eouflh02xad3po.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-10-05 22:39:56 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-10-05 22:41:02 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-10-05 22:43:26 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 22:43:32 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-10-05 22:47:25 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 22:49:16 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-10-05 22:55:51 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-10-05 23:00:02 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 23:02:01 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) (Ping timeout: 268 seconds) |
| 2022-10-05 23:04:26 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 23:10:00 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-05 23:11:21 +0000 | nate1 | (~nate@98.45.169.16) |
| 2022-10-05 23:12:41 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-05 23:13:11 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2022-10-05 23:14:27 +0000 | zns | (~zns@user/zns) (Quit: nyaa~) |
| 2022-10-05 23:14:37 +0000 | zane_ | (~zane@c-24-56-246-176.customer.broadstripe.net) |
| 2022-10-05 23:15:26 +0000 | zane_ | (~zane@c-24-56-246-176.customer.broadstripe.net) (Client Quit) |
| 2022-10-05 23:16:03 +0000 | zns | (~zns@user/zns) |
| 2022-10-05 23:16:07 +0000 | nate1 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-10-05 23:16:14 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 23:17:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:880f:f8ae:6077:ffec) |
| 2022-10-05 23:18:59 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2022-10-05 23:19:40 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-10-05 23:20:01 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds) |
| 2022-10-05 23:20:08 +0000 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-05 23:20:34 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 23:22:51 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:880f:f8ae:6077:ffec) (Ping timeout: 250 seconds) |
| 2022-10-05 23:22:55 +0000 | finsternis | (~X@23.226.237.192) |
| 2022-10-05 23:22:55 +0000 | wonko | (~wjc@2a0e:1c80:11::50) (Ping timeout: 268 seconds) |
| 2022-10-05 23:26:26 +0000 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2022-10-05 23:31:53 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:4dd:6d68:f3a8:33c3) |
| 2022-10-05 23:31:55 +0000 | zns | (~zns@user/zns) (Ping timeout: 265 seconds) |
| 2022-10-05 23:31:56 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 23:31:57 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-10-05 23:33:37 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-10-05 23:36:45 +0000 | rockystone | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-10-05 23:38:43 +0000 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 248 seconds) |
| 2022-10-05 23:40:27 +0000 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-10-05 23:45:35 +0000 | burnsidesLlama | (~burnsides@client-8-86.eduroam.oxuni.org.uk) |
| 2022-10-05 23:47:42 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) |
| 2022-10-05 23:48:49 +0000 | lottaquestions | (~nick@2607:fa49:503e:7100:aef6:98d:3d4f:a599) (Ping timeout: 268 seconds) |
| 2022-10-05 23:49:41 +0000 | wonko | (~wjc@2a0e:1c80:11::50) |
| 2022-10-05 23:52:28 +0000 | Erez | (~Erez@h-155-4-187-85.A980.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-10-05 23:59:27 +0000 | lottaquestions | (~nick@2607:fa49:503e:7100:dcba:436c:887:a9eb) |
