Logs on 2021-03-05 (freenode/#haskell)
| 00:00:07 | <monochrom> | I.e., in C++, you have <> all over the place. Remember? |
| 00:00:17 | <koz_> | .... lol. |
| 00:00:28 | <heck-to-the-gnom> | I'm saving this, that was freaking hilarious |
| 00:00:44 | <koz_> | But yeah, how _do_ you pronounce <>? |
| 00:00:48 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 00:00:59 | <monochrom> | I'm sorry I'm working on LLVM "write an analysis/optimization pass" assignments, C++ is very much in my working memory. |
| 00:01:19 | <koz_> | monochrom: I am so sorry. |
| 00:01:23 | <koz_> | You deserve kittens. |
| 00:01:41 | <heck-to-the-gnom> | C-lt-gt |
| 00:01:55 | <monochrom> | It's alright. It's how I saw the double pun. |
| 00:03:20 | <__minoru__shirae> | koz_: "The problem is that array and list are not synonymous in literally any other context." And to add to the confusion we have ArrayList in Java. |
| 00:04:42 | <heck-to-the-gnom> | I shun Java, just because of its horrid sister-language javascript. I've never actually tried it, but geez, JS is so, so, so horrible. |
| 00:05:16 | <int-e> | the languages have nothing in common beyond the name and a bit of C ancestry |
| 00:05:17 | <koz_> | __minoru__shirae: Yeah, that's a dynamic array. I don't think it's as bad. |
| 00:05:24 | <koz_> | And also what int-e said. |
| 00:05:55 | <__minoru__shirae> | heck-to-the-gnom: Java and JS aren't more related then any pair of C-based languages |
| 00:06:00 | <heck-to-the-gnom> | Not to mention the horrendous mess that I hear Java imports are, where in every code linter it yells at you for not being way-overly specific with them. |
| 00:06:03 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:48e7:a60f:4556:52a3) |
| 00:06:16 | <koz_> | Also, what's the opposite of 'inlining'? I'd normally say 'de-inlining', but wouldn't that be 'outlining'? |
| 00:06:20 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 00:06:53 | <heck-to-the-gnom> | un-inlining, or outlining both sound right to me |
| 00:08:44 | <__minoru__shirae> | and I don't understand why people say that JS is horrible, one example is implicit conversions, but in a dynamically typed language you are supposed to use explicit conversion anyway, seems to me. |
| 00:10:11 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:10:33 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 00:10:42 | → | pfurla joins (~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) |
| 00:10:45 | <__minoru__shirae> | koz_, "lists are never, ever, ever, arrays." in Java world they have a List interface that is implemented by LinkedList and ArrayList. I guess you're saying that LinkedList is never an ArrayList in Java terms. |
| 00:10:53 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 00:14:27 | → | xwvvvvwx- joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 00:14:30 | × | CrabMan quits (phi-matrix@gateway/shell/matrix.org/x-qnflepxzbgoiepgi) (Ping timeout: 246 seconds) |
| 00:14:30 | × | heck-to-the-gnom quits (heck-to-th@gateway/shell/matrix.org/x-dkqfwxrpalpplgbl) (Ping timeout: 246 seconds) |
| 00:14:36 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Remote host closed the connection) |
| 00:14:39 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst) |
| 00:14:47 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 00:14:52 | → | omnitrogen_ joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 00:14:54 | → | ArsenArsen_ joins (~Arsen@fsf/member/ArsenArsen) |
| 00:15:02 | × | beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-gbhtxxezlpitjror) (Ping timeout: 265 seconds) |
| 00:15:04 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 245 seconds) |
| 00:15:04 | xwvvvvwx- | is now known as xwvvvvwx |
| 00:15:04 | × | ArsenArsen quits (~Arsen@fsf/member/ArsenArsen) (Ping timeout: 245 seconds) |
| 00:15:04 | × | deu quits (de@uio.re) (Ping timeout: 245 seconds) |
| 00:15:12 | × | JaakkoLuttinen[m quits (jluttinema@gateway/shell/matrix.org/x-jxffrgesqwkjiyek) (Ping timeout: 246 seconds) |
| 00:15:18 | → | CrabMan joins (phi-matrix@gateway/shell/matrix.org/x-ncflvngxohdcpaqc) |
| 00:15:26 | <heck-to-the-gnom> | And, as far as script languages, it's not all that great in performance. Python really went down the right route with that, where anything that can be converted to pure C, is done automatically, then cached, for further executions. But I digress, |
| 00:15:29 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (Ping timeout: 245 seconds) |
| 00:15:30 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 00:15:31 | × | kadoban quits (kadobanemp@gateway/shell/matrix.org/x-psvjfqyhnjjfvaqu) (Ping timeout: 265 seconds) |
| 00:15:31 | × | pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-qaosueuqeqkwbwhe) (Ping timeout: 265 seconds) |
| 00:15:33 | × | invent[m] quits (inventmatr@gateway/shell/matrix.org/x-jrwragskqrfqezvh) (Ping timeout: 246 seconds) |
| 00:15:33 | × | the_1_[m] quits (the1matrix@gateway/shell/matrix.org/x-jjrqmrcdxkntsvvj) (Ping timeout: 246 seconds) |
| 00:15:34 | × | my_name_is_not_j quits (mynameisno@gateway/shell/matrix.org/x-lnbatcivvyyktlgd) (Ping timeout: 246 seconds) |
| 00:15:34 | × | mly[m] quits (mlydisenco@gateway/shell/matrix.org/x-shgeeswzywjapwlt) (Ping timeout: 246 seconds) |
| 00:15:35 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-sjihgudtvzpwpord) (Ping timeout: 246 seconds) |
| 00:15:41 | omnitrogen_ | is now known as omnitrogen |
| 00:15:48 | → | nf joins (~n@monade.li) |
| 00:15:54 | × | pharaun quits (~pharaun@static.88-198-62-245.clients.your-server.de) (Ping timeout: 245 seconds) |
| 00:15:54 | × | comboy quits (~quassel@tesuji.pl) (Ping timeout: 245 seconds) |
| 00:15:54 | × | jeffcasavant[m]1 quits (jeffcasava@gateway/shell/matrix.org/x-zocdvhbwqljgjspp) (Ping timeout: 246 seconds) |
| 00:15:54 | × | lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-ehmcpjxutoidauup) (Ping timeout: 246 seconds) |
| 00:16:08 | <koz_> | __minoru__shirae: I am not gonna argue nomenclature with the language that gives us DriverApplicationFlyweightProtypeInterfaceObjectHandlers. |
| 00:16:10 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:16:19 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 245 seconds) |
| 00:16:25 | <koz_> | Plus, note my distinct lack of capitalization in that sentence. |
| 00:17:22 | → | comboy joins (~quassel@tesuji.pl) |
| 00:17:34 | × | theDon quits (~td@94.134.91.49) (Ping timeout: 245 seconds) |
| 00:17:48 | <koz_> | heck-to-the-gnom: Or, if we're gonna talk scriptlang perf, we can look at LuaJIT, which is that and then some. |
| 00:17:57 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-exzquzvqtvnlmwnw) |
| 00:18:42 | → | pharaun joins (~pharaun@static.88-198-62-245.clients.your-server.de) |
| 00:18:58 | → | theDon joins (~td@94.134.91.49) |
| 00:19:13 | <koz_> | But aaaanyway. |
| 00:19:19 | <koz_> | This is #haskell, not #languagegripes. |
| 00:19:35 | <heck-to-the-gnom> | True that |
| 00:20:09 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 260 seconds) |
| 00:20:32 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-grojhtohdxnxeeyc) |
| 00:20:33 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-yrzeqqovfcgynlys) |
| 00:20:41 | <alexfmpe> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/lang.html <-this page is gone or just down? |
| 00:20:55 | <alexfmpe> | used to have the extension descriptions on it |
| 00:20:55 | <__minoru__shirae> | koz_, seems like the term "list" is too overloaded, maybe you should say "cons list"? |
| 00:20:58 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 00:21:10 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-orwvobvmsxoskufi) |
| 00:21:18 | <koz_> | __minoru__shirae: In the data structures world it is not. And I am firmly there. |
| 00:21:22 | <koz_> | You can do what you like. |
| 00:22:49 | × | ByteEater quits (57cd846a@gateway/web/cgi-irc/kiwiirc.com/ip.87.205.132.106) (Quit: Connection closed) |
| 00:23:03 | → | deu joins (de@uio.re) |
| 00:23:23 | → | mly[m] joins (mlydisenco@gateway/shell/matrix.org/x-qjhvevhpltpfoqbc) |
| 00:23:25 | → | the_1_[m] joins (the1matrix@gateway/shell/matrix.org/x-omadakojgvgseqgu) |
| 00:23:25 | → | invent[m] joins (inventmatr@gateway/shell/matrix.org/x-vckgemxonksixvml) |
| 00:23:32 | <__minoru__shirae> | but anyway, in list vs array discussions people typically figure out the semantics anyway |
| 00:23:44 | → | my_name_is_not_j joins (mynameisno@gateway/shell/matrix.org/x-cikestsovlfgskzl) |
| 00:24:18 | <__minoru__shirae> | it's like a mini-wave of confusion that later dissolves |
| 00:24:34 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-bkpxgefkheugtalm) |
| 00:24:46 | <int-e> | alexfmpe: a deep link into the documentation, hmm. the chapter was renamed, it seems: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts.html |
| 00:24:57 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-kbuniydwnivkskyv) |
| 00:25:04 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 245 seconds) |
| 00:25:27 | ← | f-a parts (~f-a@151.68.209.64) () |
| 00:25:52 | → | jeffcasavant[m]1 joins (jeffcasava@gateway/shell/matrix.org/x-cfnhfidvuebvhzpm) |
| 00:25:59 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds) |
| 00:27:21 | × | ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Quit: Leaving) |
| 00:27:51 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 00:30:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) |
| 00:30:39 | × | kibo quits (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) (Ping timeout: 260 seconds) |
| 00:31:09 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds) |
| 00:31:22 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Read error: Connection reset by peer) |
| 00:32:10 | → | qih__ joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 00:32:33 | <Axman6> | Is Java's ArrayList implemented as a list of arrays, like Lazy ByteString/Text? |
| 00:32:41 | <koz_> | Axman6: Dynamic array. |
| 00:32:47 | <koz_> | With resizing at 1.5 I think? |
| 00:32:47 | <Axman6> | :'( |
| 00:33:00 | <monochrom> | The "List" part refers to its API. |
| 00:33:35 | <monochrom> | class ArrayList<T> implements List<T> etc |
| 00:33:54 | qih__ | keeps forgetting that his Desktop is a RPiv3 *not* the 8 Core AMD4 >8-/ |
| 00:34:06 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 00:34:17 | <Axman6> | I've thought for a while I wouldn't mind having a lazy vector type, which can give some of the advantages of lists' sharing, and possibly faster algorithms when contiguous memory is useful |
| 00:34:24 | <monochrom> | Where is your 8 core AMD then? :) |
| 00:34:29 | <qih__> | Stupid @medium, and their monstrous page bloat |
| 00:34:34 | <koz_> | Axman6: I _believe_ massiv has something like that? |
| 00:34:38 | <qih__> | monochrom: Dead, mobo failed. |
| 00:34:39 | <koz_> | (I could be wrong though) |
| 00:34:47 | <Axman6> | interesting, I need to look at massiv more |
| 00:34:56 | <infinisil> | alexfmpe: int-e: The new page is pretty bad for discovering extensions.. |
| 00:35:15 | <qih__> | monochrom: New one en-route today. |
| 00:35:24 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:35:57 | <infinisil> | alexfmpe: I'm gonna keep using the slightly older version for now: https://downloads.haskell.org/ghc/8.8.4/docs/html/users_guide/glasgow_exts.html |
| 00:36:14 | <monochrom> | Yes this is why I said that webdevs should be confined to OLPC laptops. |
| 00:36:31 | <koz_> | monochrom: Agreed. |
| 00:36:38 | <koz_> | One Laptop Per Webdev. |
| 00:36:47 | → | softwarm joins (44695313@ip68-105-83-19.sd.sd.cox.net) |
| 00:37:07 | <qih__> | koz_: To make them understand their $users pain? Agree. |
| 00:37:41 | × | softwarm quits (44695313@ip68-105-83-19.sd.sd.cox.net) (Client Quit) |
| 00:39:21 | <qih__> | I couldn't imagine being in the global South and having to view the WWW/Internet via mobile-only, that'd be torture. |
| 00:39:36 | × | michalz quits (~user@185.246.204.47) (Remote host closed the connection) |
| 00:39:41 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-nrzgwioszwcozpng) (Quit: Connection closed for inactivity) |
| 00:41:08 | <monochrom> | https://danluu.com/web-bloat/ is a good take and critique on this. It is pretty bad even for rural parts of US. |
| 00:41:24 | <qih__> | monochrom: Ta. |
| 00:41:26 | <koz_> | Yeah - internet provision even within countries can vary a lot. |
| 00:42:08 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 00:42:53 | <monochrom> | The most heart-breaking part is that very trivial, no-brainer improvement techniques exist. |
| 00:44:31 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:48e7:a60f:4556:52a3) (Remote host closed the connection) |
| 00:46:09 | × | redmp quits (~redmp@172.58.35.111) (Ping timeout: 264 seconds) |
| 00:49:04 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 00:49:17 | <qih__> | It blows my little mind, that the US, the origin of the WWW/Internet actually has crap fraudband outside the major Urban locales. I thought us colonials were all alone in that. |
| 00:49:35 | <koz_> | qih__: Yeah. I knew a few folks in that particular predicament. |
| 00:49:44 | <koz_> | ('knew' in the sense 'they are no longer') |
| 00:50:23 | <qih__> | koz_: Right, lucky them. So much for all the NBN (AU) and UFB (NZ) efforts, eh? |
| 00:51:05 | <koz_> | qih__: I know of NBN woes. I dunno of fibre issues here. But then again, I live in a really good area and have hilarious speeds. |
| 00:51:41 | <qih__> | Nice. |
| 00:52:02 | <koz_> | (in fact I just realized my ISP is offering to make mine even more hilariously fast) |
| 00:52:11 | <koz_> | (to the point where I can just become a data center) |
| 00:54:40 | <qih__> | koz_: You are in AU, right? |
| 00:54:45 | <koz_> | NZ |
| 00:56:26 | <qih__> | Ah right, der. Nice one. In theory I have Gigabit but I suspect that due to over-scribing or network 'shaping' our speeds are now about 300Mbps max, used to be 900Mbps +/- 50 <= true story, it was awesome. |
| 00:56:57 | <koz_> | I mean... yeah, that's not ideal, but it's still 'hilariously fast' by any real measure IMHO, |
| 00:57:13 | <koz_> | Unless you wanna cosplay as a data center. |
| 00:57:57 | <qih__> | Where was Fibre when BitTorrent was all the rage, eh? <= not that breaching copyright restrictions is to be countenanced in any way! |
| 00:58:17 | <koz_> | Meanwhile here I am compiling GHC again. |
| 01:00:25 | <qih__> | I was reading in Graham Huttons 2 Edition on Haskell and noted "you cannot assign a value to a variable, then reassign another value to that variable", paraphrased. But I am sure I could. I made a quick Acceleration equation in the REPL, then could reassign the VAR ACCEL new arbitray values. Or am I mistaken? |
| 01:01:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 01:02:27 | × | theelous3 quits (~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer) |
| 01:02:47 | <dolio> | Variables aren't assigned. The ones in e.g. a let are defined to be the value of some expression. They can shadow other variables with the same name, though. |
| 01:03:46 | → | kibo joins (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) |
| 01:03:47 | <koz_> | Yeah, you'd have the equivalent of 'let x = whatever in let x = whateverElse in doMyThing x'. |
| 01:04:03 | <qih__> | dolio: Ah I get that now, thanks. |
| 01:04:06 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 01:06:28 | <qih__> | Like Python & Erlang, I did have to assign Velocity Final (vf) = something, etc, so it was quite friendly to work with, then just call the result using 'accel'. |
| 01:06:40 | × | usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 01:07:16 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:07:44 | × | gitgood quits (~gitgood@82-132-217-85.dab.02.net) (Read error: Connection reset by peer) |
| 01:09:16 | → | conal_ joins (~conal@64.71.133.70) |
| 01:09:42 | × | conal_ quits (~conal@64.71.133.70) (Client Quit) |
| 01:10:47 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:10:54 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 260 seconds) |
| 01:11:53 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:11:56 | <monochrom> | Here is a short experiment to find out that the semantics is shadowing, not changing. |
| 01:12:01 | <monochrom> | (in the REPL) |
| 01:12:14 | <monochrom> | You first have, say, x=0. |
| 01:12:27 | <monochrom> | Then have f n = n + x |
| 01:12:38 | <monochrom> | Then you have x=1. |
| 01:12:51 | <qih__> | k |
| 01:12:53 | <monochrom> | Now you test what happens to f 5 for example. |
| 01:13:06 | <monochrom> | This shows which version of x f uses. |
| 01:13:54 | → | stree joins (~stree@68.36.8.116) |
| 01:15:03 | <koz_> | Is there some way to write 'foo :: (Functor f) => (a -> b, a -> c) -> f a -> f (b, c)'? |
| 01:15:25 | <qih__> | if x = 0, f 5 gives 5, but if x = 1, f 5, gives 6 |
| 01:15:41 | <monochrom> | I think you convert (a->b, a->c) to (a -> (b,c)), then you can use fmap. |
| 01:15:56 | <qih__> | So f will use the latest version of x, so this is called 'shadowing'? |
| 01:16:22 | <koz_> | qih__: If by 'latest' you mean 'bound in the innermost scope', then yes. |
| 01:16:26 | <monochrom> | But f uses the old version. |
| 01:16:57 | <Axman6> | f uses the x which was in scope when it was defined |
| 01:17:17 | <monochrom> | "shadowing" refers to if you ask about x now, you get 1, but there is an old version of x, out of reach from your latest POV but f still has it. |
| 01:17:37 | <Axman6> | if you then redefine x, f will still point to the old one, but then if you redefine f too it will point to the new x |
| 01:17:40 | <qih__> | but isn't x = 0, defining x? |
| 01:18:18 | <Axman6> | yes, but it's not redefining all the previous uses of x |
| 01:18:23 | <qih__> | Get a result, assign x = 1, get a new result. That's how it worked out. |
| 01:18:33 | <monochrom> | The wording is "the new x shadows the old x". The subtext is "the old x is still around, just eclipsed" |
| 01:18:37 | <qih__> | Axman6: Oh, it's not. Why not? |
| 01:18:56 | <Axman6> | > let x = 0; f n = n + x in let x = 2 in f 0 |
| 01:18:58 | <lambdabot> | 0 |
| 01:19:16 | <Axman6> | that is reoughly equivalent to running... |
| 01:19:19 | <Axman6> | x = 0 |
| 01:19:24 | <Axman6> | f n = n + x |
| 01:19:29 | <Axman6> | x = 2 |
| 01:19:31 | <Axman6> | f 0 |
| 01:19:37 | <Axman6> | -> 0 |
| 01:19:40 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-zfdimwsiaqqzwwly) |
| 01:19:42 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds) |
| 01:20:01 | <koz_> | @pl \x y -> (,) <$> x <*> y |
| 01:20:02 | <lambdabot> | (((,) <$>) .) . (<*>) |
| 01:20:06 | <monochrom> | "x = 0" is "define x to be 0", yes. |
| 01:20:16 | <Axman6> | after the x = 2, any new definition which references x will reference the x which is 2 |
| 01:20:36 | <Axman6> | but anything defined before the x = 2 is referring to the value 0, which was named x at the time |
| 01:20:54 | <Axman6> | qih__: unrelated but this seemed relevant to you: https://jaylittle.com/post/view/2021/3/goodbye-small-server-hello-150-watt-office |
| 01:21:09 | × | pfurla quits (~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…) |
| 01:22:30 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 01:23:04 | <qih__> | Axman6: Thanks for the explanation, I'll read more on it but I get it (Tentatively) |
| 01:23:16 | <qih__> | And thanks for that link, nice one. |
| 01:24:11 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:9416:7f26:bb22:cc55) (Remote host closed the connection) |
| 01:25:41 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 01:25:54 | <qih__> | Axman6: That's a nice setup and personal goal he has. I'd not take a job if I *had* to use Windows, sorry. |
| 01:26:34 | <monochrom> | What if the "job" is e-sport? >:) |
| 01:27:03 | <monochrom> | "Your job is to compete in AoE2DE tournaments so you have to use Windows" |
| 01:27:27 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-ztatnfztaowajlyf) (Quit: Connection closed for inactivity) |
| 01:27:39 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 01:28:43 | <qih__> | monochrom: I'm a lamer gamer, that'd never happen. I am awesome on Minecraft but FPS not anymore. |
| 01:29:10 | <monochrom> | But AoE2DE is RTS not FPS. |
| 01:29:53 | <monochrom> | OK, "But I play its Regicide mode so it's FPS. It's always personal!" >:) |
| 01:30:22 | slack1256 | is thinking on a AoE2DE tournament for #haskell |
| 01:30:30 | <monochrom> | onoes |
| 01:30:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 01:32:04 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:32:43 | <qih__> | monochrom: OK fair point, just highlighting my lameness. |
| 01:32:57 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 01:33:10 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 01:34:19 | <qih__> | A really smart guy I know made an excellent Starcraft-in-concept game based on Erlang. Should bother him and see where it is at. I'd play a cool, console-based (CLI) game that was interactive and interesting. |
| 01:34:39 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 01:36:33 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 01:36:47 | <qih__> | I started a CLI-based game in Python (Sorry) but I will port it to Haskell when I can do more than >> :l lame_program.hs 8-) |
| 01:38:23 | × | jneira quits (501e6551@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.81) (Ping timeout: 245 seconds) |
| 01:42:23 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 01:43:36 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 01:44:09 | → | dcoutts_ joins (~dcoutts@unaffiliated/dcoutts) |
| 01:44:49 | × | dcoutts__ quits (~duncan@85.186.125.91.dyn.plus.net) (Read error: Connection reset by peer) |
| 01:45:25 | × | themsay[m] quits (themsaymat@gateway/shell/matrix.org/x-ljaenuxzhfzsbgci) (Ping timeout: 265 seconds) |
| 01:45:34 | → | dcoutts__ joins (~duncan@85.186.125.91.dyn.plus.net) |
| 01:45:54 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-bkpxgefkheugtalm) (Ping timeout: 265 seconds) |
| 01:45:54 | × | VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-kxjsrbtdhgrazfgo) (Ping timeout: 265 seconds) |
| 01:46:03 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 01:46:05 | × | speakerspivakeem quits (speakerdea@gateway/shell/matrix.org/x-turkzvpwerbcobxw) (Ping timeout: 240 seconds) |
| 01:46:05 | × | oreoking[m] quits (oreokingma@gateway/shell/matrix.org/x-thhdqxzqtsmuurkl) (Ping timeout: 240 seconds) |
| 01:46:06 | × | toasty_avocado[m quits (toastyavoc@gateway/shell/matrix.org/x-juhwyrkxyxnxfauu) (Ping timeout: 240 seconds) |
| 01:46:06 | × | domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Ping timeout: 240 seconds) |
| 01:46:12 | × | the_1_[m] quits (the1matrix@gateway/shell/matrix.org/x-omadakojgvgseqgu) (Ping timeout: 246 seconds) |
| 01:46:25 | × | Hanma[m] quits (hanmamatri@gateway/shell/matrix.org/x-iwqqtahhpodcbjeb) (Ping timeout: 240 seconds) |
| 01:46:26 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-ipvngrvyhnqhbylj) (Ping timeout: 240 seconds) |
| 01:46:27 | × | boistordu quits (boistordum@gateway/shell/matrix.org/x-zehlrpuclgbsmcgb) (Ping timeout: 240 seconds) |
| 01:46:27 | × | ManofLetters[m] quits (manoflette@gateway/shell/matrix.org/x-sdtdldljvtpokfgv) (Ping timeout: 240 seconds) |
| 01:46:27 | × | Lurkki[m] quits (lurkkipriv@gateway/shell/matrix.org/x-psmnesknsmvebscb) (Ping timeout: 240 seconds) |
| 01:46:27 | × | alecs[m] quits (malumorema@gateway/shell/matrix.org/x-gkhumeppsvrovowp) (Ping timeout: 240 seconds) |
| 01:46:33 | × | JaakkoLuttinen[m quits (jluttinema@gateway/shell/matrix.org/x-grojhtohdxnxeeyc) (Ping timeout: 246 seconds) |
| 01:46:41 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 01:46:45 | × | mjlbach quits (atriusmatr@gateway/shell/matrix.org/x-jbujsgkzleiuowmd) (Ping timeout: 240 seconds) |
| 01:46:51 | × | hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-ivzwdsjrvmnmdqmv) (Ping timeout: 264 seconds) |
| 01:47:04 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (Ping timeout: 260 seconds) |
| 01:47:55 | × | freeman42x[m]1 quits (freeman42x@gateway/shell/matrix.org/x-qxkxelsgcvmbsqlb) (Ping timeout: 240 seconds) |
| 01:47:55 | × | brightly-salty[m quits (brightly-s@gateway/shell/matrix.org/x-cporoyepggngxrys) (Ping timeout: 240 seconds) |
| 01:47:55 | × | meff[m]1 quits (meffsunado@gateway/shell/matrix.org/x-qllhwgzchqvotood) (Ping timeout: 240 seconds) |
| 01:48:14 | × | statusfailed quits (~statusfai@statusfailed.com) (Ping timeout: 260 seconds) |
| 01:48:14 | × | mud quits (kadobanmat@gateway/shell/matrix.org/x-apivwpznfnnlclpi) (Ping timeout: 258 seconds) |
| 01:48:15 | × | jeffcasavant[m]1 quits (jeffcasava@gateway/shell/matrix.org/x-cfnhfidvuebvhzpm) (Ping timeout: 240 seconds) |
| 01:48:15 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-eaqrdmjzoipzuify) (Ping timeout: 240 seconds) |
| 01:48:18 | × | beardhatcode quits (robbertbea@gateway/shell/matrix.org/x-yrzeqqovfcgynlys) (Ping timeout: 244 seconds) |
| 01:48:18 | × | simara[m] quits (simaramatr@gateway/shell/matrix.org/x-ndigbuadzruuzard) (Ping timeout: 244 seconds) |
| 01:48:19 | × | immae quits (immaematri@gateway/shell/matrix.org/x-mtnokboauunjkgre) (Ping timeout: 244 seconds) |
| 01:48:19 | × | pineapples[m] quits (pineapples@gateway/shell/matrix.org/x-rjnrgqpwuytdhsrb) (Ping timeout: 244 seconds) |
| 01:48:19 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-mpucxcqvuxckqpcu) (Ping timeout: 244 seconds) |
| 01:48:19 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-xacrdmjnxhrqsrnd) (Ping timeout: 244 seconds) |
| 01:48:19 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-yxejhfyxkpgpcjvz) (Ping timeout: 244 seconds) |
| 01:48:26 | × | bitonic quits (bitonicmat@gateway/shell/matrix.org/x-tcjvcnippiduczse) (Ping timeout: 240 seconds) |
| 01:48:26 | × | MichaelHoffmannb quits (brisadmozi@gateway/shell/matrix.org/x-semsqtjqhulgolab) (Ping timeout: 240 seconds) |
| 01:48:26 | × | a-tsioh[m] quits (a-tsiohmat@gateway/shell/matrix.org/x-vxvzeinnodmgkchc) (Ping timeout: 240 seconds) |
| 01:48:26 | × | sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-agbisjcyekothkzz) (Ping timeout: 240 seconds) |
| 01:48:26 | × | rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-welbcejgukwlyvmz) (Ping timeout: 240 seconds) |
| 01:48:27 | × | AbtractSingleton quits (rasurumatr@gateway/shell/matrix.org/x-cptnkbgcmbcsygri) (Ping timeout: 240 seconds) |
| 01:48:31 | × | ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-pcdsttlbmkuhuhxo) (Ping timeout: 272 seconds) |
| 01:48:36 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-niomjibmmrgwzzyy) (Ping timeout: 258 seconds) |
| 01:48:36 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-smorkrdiwycaaxbo) (Ping timeout: 258 seconds) |
| 01:48:36 | × | joe[m]3 quits (joemonoida@gateway/shell/matrix.org/x-zrgraxvdmbpvqofd) (Ping timeout: 258 seconds) |
| 01:48:37 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-tqwhdmxbxpfopxbc) (Ping timeout: 258 seconds) |
| 01:48:37 | × | Liyang[m] quits (liyangmatr@gateway/shell/matrix.org/x-pppuhernsulwjyww) (Ping timeout: 258 seconds) |
| 01:48:37 | × | darkcodi[m] quits (darkcodima@gateway/shell/matrix.org/x-yuxcrrjvakxjaoby) (Ping timeout: 258 seconds) |
| 01:48:37 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-taasofpihtwizvlh) (Ping timeout: 258 seconds) |
| 01:48:48 | × | luigy quits (~luigy@104.236.106.229) (Ping timeout: 246 seconds) |
| 01:48:52 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 01:48:55 | × | pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-exzquzvqtvnlmwnw) (Ping timeout: 240 seconds) |
| 01:49:09 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-czdrujrqwwwimmbe) (Ping timeout: 264 seconds) |
| 01:49:09 | × | alar[m] quits (alarmxalat@gateway/shell/matrix.org/x-bpvylpwwtlcejjwj) (Ping timeout: 272 seconds) |
| 01:49:09 | × | MrMuffles[m] quits (mrmufflesm@gateway/shell/matrix.org/x-cbeqjcjrdmhenexl) (Ping timeout: 272 seconds) |
| 01:49:15 | × | mly[m] quits (mlydisenco@gateway/shell/matrix.org/x-qjhvevhpltpfoqbc) (Ping timeout: 240 seconds) |
| 01:49:20 | × | alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-girzcdcudxbpysje) (Ping timeout: 244 seconds) |
| 01:49:20 | × | maerwald[m] quits (maerwaldma@gateway/shell/matrix.org/x-bjunztlamgbiqsmk) (Ping timeout: 244 seconds) |
| 01:49:22 | × | kadoban quits (kadobanemp@gateway/shell/matrix.org/x-orwvobvmsxoskufi) (Ping timeout: 258 seconds) |
| 01:49:26 | × | invent[m] quits (inventmatr@gateway/shell/matrix.org/x-vckgemxonksixvml) (Ping timeout: 240 seconds) |
| 01:49:26 | × | heck-to-the-gnom quits (heck-to-th@gateway/shell/matrix.org/x-lpqeckkflomaivst) (Ping timeout: 240 seconds) |
| 01:49:45 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-altyhdajrdgkwiga) (Ping timeout: 258 seconds) |
| 01:50:01 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:50:11 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-vzlleahqqgvhcqsg) |
| 01:51:07 | → | luigy joins (~luigy@104.236.106.229) |
| 01:51:38 | × | Guest74820 quits (~tristan@luna.whatbox.ca) (Ping timeout: 260 seconds) |
| 01:52:12 | → | Tristan joins (~tristan@luna.whatbox.ca) |
| 01:52:36 | Tristan | is now known as Guest41116 |
| 01:53:29 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-mlrllmnzmzixcljr) |
| 01:56:38 | → | gitgood joins (~gitgood@82-132-217-85.dab.02.net) |
| 01:56:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:57:20 | <ezzieyguywuf> | can I set ghc-options in cabal.project so it applies to all packages? |
| 01:57:31 | <ezzieyguywuf> | or do I have to set it in each cabal file separately |
| 01:58:31 | → | hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-ziqtfceeiaptadfr) |
| 01:59:22 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-pwtjczbvhoktmglx) |
| 01:59:23 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 01:59:39 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 01:59:47 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 01:59:47 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Client Quit) |
| 01:59:51 | <infinisil> | ezzieyguywuf: You can specify `package <package>\nghc-options: ...` in cabal.project for it to apply to all *components* of that package at least |
| 02:00:18 | → | conal joins (~conal@64.71.133.70) |
| 02:00:22 | <monochrom> | "package *" is legal and is a wildcard. |
| 02:00:31 | <infinisil> | Oh nice |
| 02:00:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 02:00:33 | <ezzieyguywuf> | I could do the same with a `common` stanza in the packages cabal file though, and if I have to do it once per package anyway this is probably the more correct way |
| 02:00:40 | <ezzieyguywuf> | hrm.... |
| 02:01:35 | <ezzieyguywuf> | is it `package *\n` or `package *:\n`? |
| 02:01:36 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 02:01:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 02:02:07 | <infinisil> | You'll get an error if you use the wrong one :) |
| 02:02:16 | → | jespada joins (~jespada@90.254.243.187) |
| 02:02:40 | <ezzieyguywuf> | lol |
| 02:02:52 | <ezzieyguywuf> | indeed I did |
| 02:04:10 | <ezzieyguywuf> | hrm, why do only my test-suit stanzas have "ghc-options: -threaded -rtsopts -with-rtsopts=-N", I have a feeling this came from `cabal init` but I don't knw what they do |
| 02:05:08 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 02:05:26 | <Clint> | so that they'll break on all platforms without -N |
| 02:05:55 | <ezzieyguywuf> | so that's a good thing? |
| 02:06:15 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:42a8:8650:90d4:54bc) (Ping timeout: 240 seconds) |
| 02:06:25 | <monochrom> | No colon. Just newline. |
| 02:06:32 | <ezzieyguywuf> | is there a reason it's only needed on the test-suite though? |
| 02:06:42 | <monochrom> | I mean for "package foo" and "package *" |
| 02:06:42 | <Clint> | it's not needed at all, it's largely an annoyance |
| 02:06:59 | <MarcelineVQ> | Which 'it'? |
| 02:07:00 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds) |
| 02:07:20 | → | SupaYoshii joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 02:07:26 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 265 seconds) |
| 02:07:36 | <monochrom> | I don't think "cabal init" auto-gens any ghc-options at all. |
| 02:07:42 | <ezzieyguywuf> | Clint: great, I'll get rid of it. |
| 02:07:51 | <ezzieyguywuf> | monochrom: I must have gotten it from the interwebs then |
| 02:07:55 | <MarcelineVQ> | those particular options are standard with new stack projects however |
| 02:08:02 | <ezzieyguywuf> | I STARTED WITH STACK! |
| 02:08:04 | × | SupaYoshi quits (~supayoshi@213.10.140.13) (Ping timeout: 260 seconds) |
| 02:08:04 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Ping timeout: 260 seconds) |
| 02:08:05 | <ezzieyguywuf> | so that's probably why |
| 02:08:42 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 02:08:45 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-jksqnlfrjzjlkhlm) |
| 02:08:54 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 02:10:11 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) |
| 02:11:22 | <MarcelineVQ> | -threaded uses the threaded (as opposed to non-threaded) rts, -rtsopts allows extra rts options to be specifies at runtime you wouldn't be able to otherwise, -with-rtsopts=-N passes the rts the -N flag which says to create as many capabilities as the pc has cores available, one per core. capabilities are little virtual machines that manage ghc's threads |
| 02:11:31 | → | themsay[m] joins (themsaymat@gateway/shell/matrix.org/x-hbatkioaxwxoyeob) |
| 02:12:05 | <MarcelineVQ> | I'm unsure what Clint is referring to about platform breaking or which particular annoyances |
| 02:12:09 | <ezzieyguywuf> | hrm, that all sounds actually useful |
| 02:12:18 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-sallzvkvkldcgkut) |
| 02:12:46 | <waleee-cl> | I'm trying to apply this https://github.com/llvm-hs/llvm-hs/issues/315#issuecomment-755229982 in a stack.yaml , but during the build it seems to be parsed as xx=-std=c++11 instead of -optcxx=-std=c++11 . Is it malformed in some way ? |
| 02:13:02 | <MarcelineVQ> | it's useful if your progam uses libs that take advantage of threads, common libs such as async for example |
| 02:13:14 | → | the_1_[m] joins (the1matrix@gateway/shell/matrix.org/x-ydnkooibksztllyy) |
| 02:13:14 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-naqkszpohzlsbubr) |
| 02:13:53 | <Clint> | MarcelineVQ: if you're on a platform where ghc doesn't "Support SMP" it will fail to build and most testsuites don't actually seem to take advantage of threading |
| 02:14:13 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-uuniqtfysevxnvsh) () |
| 02:14:41 | → | boistordu joins (boistordum@gateway/shell/matrix.org/x-epqhlcgltbmupbxi) |
| 02:14:57 | → | JaakkoLuttinen[m joins (jluttinema@gateway/shell/matrix.org/x-sivibcbidnslmvhv) |
| 02:15:20 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-grrchxbekhuqojog) |
| 02:15:21 | <infinisil> | Hmm, why is -N not the default? |
| 02:15:22 | → | oreoking[m] joins (oreokingma@gateway/shell/matrix.org/x-sfbsvckrwskkmqtb) |
| 02:15:36 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 02:15:46 | → | Lurkki[m] joins (lurkkipriv@gateway/shell/matrix.org/x-xzyglswxynebzkit) |
| 02:15:50 | → | alecs[m] joins (malumorema@gateway/shell/matrix.org/x-dlpnoymfcpnetnsl) |
| 02:16:05 | <shapr> | infinisil: I think there's a ghc proposal to make it the default |
| 02:16:07 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 02:16:14 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-jgikxfrvozhpbsoi) |
| 02:16:15 | → | ManofLetters[m] joins (manoflette@gateway/shell/matrix.org/x-ntjjesgcogujguzg) |
| 02:16:30 | → | toasty_avocado[m joins (toastyavoc@gateway/shell/matrix.org/x-wkhjyjmxecrptsuj) |
| 02:17:17 | → | mjlbach joins (atriusmatr@gateway/shell/matrix.org/x-ietoxhbonvcmpxmf) |
| 02:17:50 | <infinisil> | Oh there's https://github.com/ghc-proposals/ghc-proposals/pull/240 |
| 02:18:08 | <infinisil> | Though it's only -threaded by default, not -N (and gives a reason why, because of bad performance) |
| 02:18:15 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) |
| 02:18:37 | <monochrom> | For most of the years since -N was first invented, people found that it performs worse than, say, -N($ncpus - constant). |
| 02:19:56 | <infinisil> | Is there an outlook for improving multithreading? |
| 02:20:21 | <monochrom> | Yes, IIRC the culprit is GC, and it's worked on. Maybe even already solved. |
| 02:20:22 | <infinisil> | Or is it a matter of carefully optimizing the code and GC |
| 02:20:50 | <infinisil> | Nice |
| 02:21:35 | <monochrom> | I think either 8.10 or 9.0 is better, I forgot which, I saw something along that line in a release note. |
| 02:22:18 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:dc3c) |
| 02:22:25 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:22:31 | → | darkcodi[m] joins (darkcodima@gateway/shell/matrix.org/x-npqntjjhuhxltvgw) |
| 02:22:48 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 02:22:49 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-bnvsoeizanvczqdz) |
| 02:23:05 | <infinisil> | monochrom: Maybe https://downloads.haskell.org/ghc/8.10.1/docs/html/users_guide/runtime_control.html#rts-flag---nonmoving-gc? |
| 02:23:06 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-fomxwbukrzfljorj) |
| 02:23:13 | → | mly[m] joins (mlydisenco@gateway/shell/matrix.org/x-cntmtcfjpjgfyemu) |
| 02:23:23 | <MarcelineVQ> | Clint: I see surprising, thank you |
| 02:23:32 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Client Quit) |
| 02:23:51 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 02:24:55 | → | brightly-salty[m joins (brightly-s@gateway/shell/matrix.org/x-buliqctfxktasemp) |
| 02:24:59 | → | meff[m]1 joins (meffsunado@gateway/shell/matrix.org/x-buufiutwpfhtkcfl) |
| 02:25:04 | → | freeman42x[m]1 joins (freeman42x@gateway/shell/matrix.org/x-lzazrkeobggmslyf) |
| 02:25:09 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 02:25:41 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 02:25:53 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-owxvktbultetirdz) |
| 02:25:55 | <monochrom> | Yeah, infinisil. |
| 02:26:56 | <infinisil> | Now reading https://well-typed.com/blog/2019/10/nonmoving-gc-merge/ |
| 02:27:09 | → | jeffcasavant[m]1 joins (jeffcasava@gateway/shell/matrix.org/x-zuesfmusebgxexbx) |
| 02:27:10 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-axvntgkvdisfemal) |
| 02:28:54 | → | gitgoood joins (~gitgood@82-132-217-137.dab.02.net) |
| 02:28:57 | → | immae joins (immaematri@gateway/shell/matrix.org/x-aohzbgtnvkvkxgyu) |
| 02:29:38 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 260 seconds) |
| 02:29:43 | → | invent[m] joins (inventmatr@gateway/shell/matrix.org/x-pjnyshafozlreedo) |
| 02:31:12 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-emhptsxdqutjjoxk) |
| 02:31:13 | → | maerwald[m] joins (maerwaldma@gateway/shell/matrix.org/x-uhnhkfwqbcavnxpt) |
| 02:31:48 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-knksglsfyyacjpqp) |
| 02:32:05 | × | gitgood quits (~gitgood@82-132-217-85.dab.02.net) (Read error: Connection reset by peer) |
| 02:32:06 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-lkhxesooszpdtuzd) |
| 02:32:28 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:32:37 | × | kiweun quits (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 02:32:57 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-mqkrcevpalnehvqb) |
| 02:33:00 | <swarmcollective> | monochrom: myShaggoth spent some time today reviewing the GC on stream. |
| 02:33:18 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 02:33:33 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-adbxucyaclkjrrut) |
| 02:34:28 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) |
| 02:34:32 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:35:01 | → | MrMuffles[m] joins (mrmufflesm@gateway/shell/matrix.org/x-esnxvkbmvtiuhuxs) |
| 02:35:03 | <monochrom> | Did they find out some SMP-friendly improvements? |
| 02:35:22 | × | slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 02:35:50 | → | mud joins (kadobanmat@gateway/shell/matrix.org/x-vshgkgtjqjjszdqu) |
| 02:35:56 | → | conal joins (~conal@64.71.133.70) |
| 02:36:21 | → | AbtractSingleton joins (rasurumatr@gateway/shell/matrix.org/x-fubfwjnqfyqisvqw) |
| 02:37:06 | <swarmcollective> | Just review at this point. Good collaboration, though. I learned a lot from watching. |
| 02:37:31 | → | simara[m] joins (simaramatr@gateway/shell/matrix.org/x-anbvmsbvavejhojm) |
| 02:37:33 | <infinisil> | Oh nice, ImpredicativeTypes in 9.2.1: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/9.2.1-notes.html |
| 02:37:56 | → | MichaelHoffmannb joins (brisadmozi@gateway/shell/matrix.org/x-bxwoulfwiwwtdyhj) |
| 02:38:06 | → | a-tsioh[m] joins (a-tsiohmat@gateway/shell/matrix.org/x-rrcleclrzigajexo) |
| 02:38:28 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-ykeglgztelluebmc) |
| 02:39:03 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 02:39:11 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-vqjrvuxpfudllnzv) |
| 02:39:45 | → | sigmacool[m] joins (sigmacoolm@gateway/shell/matrix.org/x-vtxmfxjoeekeagds) |
| 02:40:07 | → | alar[m] joins (alarmxalat@gateway/shell/matrix.org/x-cktkugutuxvtjihl) |
| 02:40:58 | → | pineapples[m] joins (pineapples@gateway/shell/matrix.org/x-fntvhpevrfdituay) |
| 02:41:06 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-cxfwanztfqrqbbdt) |
| 02:41:12 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-dbwjulyjscwdxosr) |
| 02:41:21 | <c_wraith> | infinisil: it's there already. It will just do something meaningful in 9.2 :P |
| 02:41:23 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:41:31 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-bbtyofnilpeshbbz) |
| 02:41:53 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 260 seconds) |
| 02:42:06 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 02:42:08 | <infinisil> | Hehe yea |
| 02:42:17 | infinisil | checks what ImpredicativeTypes does currently |
| 02:42:44 | → | Liyang[m] joins (liyangmatr@gateway/shell/matrix.org/x-khhkarelngwsexgr) |
| 02:42:45 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-utkhqzitnbcyceql) |
| 02:43:16 | → | joe[m]3 joins (joemonoida@gateway/shell/matrix.org/x-wrdyeabcrguvhelc) |
| 02:43:33 | → | beardhatcode joins (robbertbea@gateway/shell/matrix.org/x-yblxynzepndwlzrx) |
| 02:44:14 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 02:44:14 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:44:46 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 02:44:59 | <infinisil> | Ah right, very flaky and unreliable |
| 02:45:02 | → | kadoban joins (kadobanemp@gateway/shell/matrix.org/x-iaialaudtoihlpte) |
| 02:46:49 | → | drbean joins (~drbean@TC210-63-209-34.static.apol.com.tw) |
| 02:47:34 | → | dtuveson joins (4c6311c2@76.99.17.194) |
| 02:48:51 | → | zaquest joins (~notzaques@5.128.210.178) |
| 02:49:15 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 02:56:31 | <monochrom> | Yeah I'm looking forward to impredicativity. |
| 02:56:55 | × | xff0x quits (~xff0x@2001:1a81:5237:bb00:c7c4:8fca:bda7:8993) (Ping timeout: 272 seconds) |
| 02:58:07 | → | xff0x joins (~xff0x@2001:1a81:5278:3000:6caf:8f38:636e:aa55) |
| 02:58:07 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 02:58:24 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 03:05:54 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:06:30 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:06:42 | × | alx741 quits (~alx741@186.178.108.237) (Quit: alx741) |
| 03:07:14 | × | carlomagno quits (~cararell@148.87.23.4) (Ping timeout: 260 seconds) |
| 03:07:33 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 03:07:33 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 03:07:41 | → | notzmv- joins (~zmv@unaffiliated/zmv) |
| 03:07:54 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 03:10:03 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 03:10:08 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) |
| 03:10:58 | → | carlomagno joins (~cararell@148.87.23.4) |
| 03:13:22 | <cheater> | more like impredictivetypes |
| 03:13:43 | notzmv- | is now known as notzmv |
| 03:14:20 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 03:14:28 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 03:14:28 | finn_elija | is now known as Guest77264 |
| 03:14:28 | FinnElija | is now known as finn_elija |
| 03:15:38 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 03:17:44 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:dc3c) |
| 03:17:59 | × | kibo quits (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) (Ping timeout: 245 seconds) |
| 03:18:34 | × | Guest77264 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 03:18:36 | × | gitgoood quits (~gitgood@82-132-217-137.dab.02.net) (Read error: Connection reset by peer) |
| 03:19:38 | × | MasseR quits (~MasseR@51.15.143.128) (Quit: Ping timeout (120 seconds)) |
| 03:20:00 | → | MasseR joins (~MasseR@51.15.143.128) |
| 03:20:39 | × | mawk quits (mawk@serveur.io) (Remote host closed the connection) |
| 03:21:04 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 03:21:40 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1ce2:2887:c755:496a) |
| 03:21:55 | → | mawk joins (mawk@serveur.io) |
| 03:23:59 | → | plutoniix joins (~q@184.82.205.61) |
| 03:24:30 | × | __minoru__shirae quits (~shiraeesh@109.166.56.118) (Ping timeout: 260 seconds) |
| 03:25:00 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 03:25:04 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 03:25:28 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 245 seconds) |
| 03:25:49 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 03:25:54 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 245 seconds) |
| 03:26:26 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1ce2:2887:c755:496a) (Ping timeout: 264 seconds) |
| 03:31:50 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) |
| 03:32:48 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 03:33:17 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 03:34:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:37:46 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:38:09 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 03:38:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 03:38:29 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
| 03:39:37 | → | nineonine joins (~nineonine@50.216.62.2) |
| 03:39:40 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 03:40:49 | → | Tario joins (~Tario@201.192.165.173) |
| 03:41:02 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 03:41:19 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Client Quit) |
| 03:41:21 | → | __minoru__shirae joins (~shiraeesh@109.166.56.118) |
| 03:43:09 | × | theDon quits (~td@94.134.91.49) (Ping timeout: 264 seconds) |
| 03:43:14 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 03:43:45 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 264 seconds) |
| 03:44:29 | → | theDon joins (~td@muedsl-82-207-238-191.citykom.de) |
| 03:44:56 | × | dtuveson quits (4c6311c2@76.99.17.194) (Quit: Connection closed) |
| 03:50:12 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 03:51:19 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:51:48 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 03:52:34 | → | Tario joins (~Tario@201.192.165.173) |
| 03:52:48 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 03:55:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 03:59:46 | × | tabemann quits (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 276 seconds) |
| 04:00:12 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:02:53 | → | travisb joins (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 04:02:56 | × | cartwright quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 04:04:35 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-bgmkvjlbzdbxvlqi) (Quit: Connection closed for inactivity) |
| 04:04:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds) |
| 04:05:10 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 04:05:16 | → | cartwright joins (~chatting@gateway/tor-sasl/cantstanya) |
| 04:07:11 | → | redmp joins (~redmp@172.58.35.185) |
| 04:07:42 | travisb | is now known as tabemann |
| 04:07:55 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 04:08:18 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-pzxcaoxvyukwyhjx) |
| 04:10:59 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 04:11:53 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 04:12:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:12:20 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 04:15:06 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 04:20:56 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:21:16 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:21:52 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 04:24:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:24:28 | × | totte quits (~totte@chakra/totte) (Ping timeout: 276 seconds) |
| 04:24:42 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:27:24 | → | totte joins (~totte@chakra/totte) |
| 04:28:03 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 04:37:04 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 04:37:33 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 04:39:20 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:dc3c) |
| 04:39:27 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:40:15 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:154f:4e40:6da2:bc2f) (Ping timeout: 240 seconds) |
| 04:40:36 | → | forgottenone joins (~forgotten@176.88.30.190) |
| 04:44:37 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds) |
| 04:46:13 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:44c1:48d2:bcfb:ac55) |
| 04:47:54 | × | __minoru__shirae quits (~shiraeesh@109.166.56.118) (Ping timeout: 260 seconds) |
| 04:51:46 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 276 seconds) |
| 04:53:13 | → | conal joins (~conal@64.71.133.70) |
| 04:53:48 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:54:48 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 04:58:23 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 05:00:54 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 05:05:00 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) (Remote host closed the connection) |
| 05:05:45 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) |
| 05:05:47 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 05:08:48 | <nshepperd2> | what's so great about ImpredicativeTypes |
| 05:09:28 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 05:10:02 | <dolio> | They're so great that there's a special case to make ($) impredicative. But it only works with ($). |
| 05:10:50 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:9418:5902:a549:750a) (Ping timeout: 264 seconds) |
| 05:11:00 | <dolio> | Once the new type checking method is in, it will hopefully work for other things, too, like (.). |
| 05:11:09 | <monochrom> | You can have [forall r. (Int -> r -> r) -> r -> r]. |
| 05:11:12 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:5cf2:2052:1645:5a49) |
| 05:12:01 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ad70:b790:2132:9c51) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:12:17 | <nshepperd2> | the ($) special case is nice but doesn't really seem like a killer app for a whole new type inference |
| 05:12:39 | <dolio> | It's not that different. |
| 05:13:24 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 05:18:05 | <heck-to-the-gnom> | I'm curious, how practical is it to use something like HOUSE (low-level haskell OS - 1.44mb!!!) on an embedded system, or a smaller board? |
| 05:18:54 | <heck-to-the-gnom> | Certainly it's not going to replace something like Linux, at least not until it gets a major rewrite and lots of attention, but I'm curious |
| 05:20:28 | <Lycurgus> | depends on what you mean by embedded system |
| 05:20:51 | <Lycurgus> | typically the kind of u ctl based thing would be impractical |
| 05:21:04 | <Lycurgus> | *u ctlr |
| 05:21:43 | <Lycurgus> | also the very idea of hs at that hdw level is imho, daft |
| 05:22:28 | <Lycurgus> | though you are sure to find differing opinions on that here |
| 05:23:45 | <Lycurgus> | sometimes, 'embedded' means just inside something without scale implications, then that could be quite different |
| 05:24:45 | → | KeithAdams joins (~KeithAdam@cpe-76-88-2-16.san.res.rr.com) |
| 05:24:56 | <Lycurgus> | also hs talking to a convention u ctrl based system / net of devices would work |
| 05:24:57 | <heck-to-the-gnom> | I mean small chips like arduino, and smaller boards like rasberry pis |
| 05:25:16 | <Lycurgus> | yeah that's what I meant |
| 05:25:51 | <Lycurgus> | atmel, for example, which I worked with a couple of ya, are often like 32K |
| 05:25:58 | <heck-to-the-gnom> | Well, it's certainly no easy task, but I think that could be a fun hobby project one summer |
| 05:26:03 | <Lycurgus> | the device I worked with was anyway |
| 05:26:05 | <heck-to-the-gnom> | making one myself that is |
| 05:26:37 | ← | KeithAdams parts (~KeithAdam@cpe-76-88-2-16.san.res.rr.com) () |
| 05:26:38 | <Lycurgus> | yeah there's surely existing projects, and ghcjs |
| 05:28:25 | <heck-to-the-gnom> | Woah, I just had a crazy idea, and I'd have to do more research, but ghcjs is either exactly this, or similar: WASM Haskell. If I ever have to do web dev, that's what I'm doing, everything else be damned |
| 05:28:49 | × | redmp quits (~redmp@172.58.35.185) (Ping timeout: 276 seconds) |
| 05:29:26 | <Lycurgus> | *conventional |
| 05:30:26 | × | jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao) |
| 05:30:43 | → | jrm joins (~jrm@freebsd/developer/jrm) |
| 05:30:46 | <heck-to-the-gnom> | Oh, GHCJS is a bit different, but aside from performance, the same thing |
| 05:35:21 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 05:38:24 | × | ezrakilty quits (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 05:41:28 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:43:39 | × | forgottenone quits (~forgotten@176.88.30.190) (Quit: Konversation terminated!) |
| 05:49:10 | × | carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.) |
| 05:51:23 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 05:51:26 | → | bmuller joins (~brent@168.103.131.108) |
| 05:56:46 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 05:58:32 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 06:02:04 | <ephemient> | heck-to-the-gnom: I've never used https://github.com/tweag/asterius but it is apparently haskell→wasm. they have some web demos |
| 06:04:19 | qih__ | is now known as qih |
| 06:08:38 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 06:10:21 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:5cf2:2052:1645:5a49) () |
| 06:11:20 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1479:545e:89b1:d1b9) |
| 06:13:24 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 06:14:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:15:18 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 06:15:22 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 06:15:27 | → | nineonin_ joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 06:15:57 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:19:29 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 06:19:44 | × | bmuller quits (~brent@168.103.131.108) (Quit: Leaving.) |
| 06:20:49 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 276 seconds) |
| 06:22:12 | → | bmuller joins (~brent@168.103.131.108) |
| 06:25:16 | × | nineonin_ quits (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Remote host closed the connection) |
| 06:25:58 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 06:30:02 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:30:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 06:30:46 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 06:31:13 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:31:37 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 06:32:57 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 06:35:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 06:38:21 | <Aleksejs_Home> | hey, can someone explain why the first one works but the second one fails? http://vpaste.net/OR9Zk |
| 06:39:40 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-mlrllmnzmzixcljr) (Quit: Connection closed for inactivity) |
| 06:40:52 | → | toblorone joins (4c674b05@gateway/web/cgi-irc/kiwiirc.com/ip.76.103.75.5) |
| 06:41:19 | × | jess quits (jess@freenode/staff/jess) (Quit: K-Lined) |
| 06:47:29 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 06:47:46 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 06:48:57 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds) |
| 06:49:09 | <mniip> | Aleksejs_Home, because x and 100 have different types here |
| 06:49:31 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:51:06 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:51:06 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 06:51:21 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 06:51:29 | <mniip> | x :: (RealFrac a, Floating a) => a |
| 06:51:34 | <mniip> | 100 :: Integral a => a |
| 06:52:09 | <mniip> | there's no type that inhabits both |
| 06:52:20 | <mniip> | in more concrete terms, your x is probably a Double, and your 100 is probably an Integer |
| 06:52:43 | <mniip> | er, I'm talking about the 100 in (100 `mod` n) |
| 06:52:53 | <mniip> | the other 100 has the same type as x |
| 06:53:22 | <mniip> | so in the former piece of code you have two 100's that have different types |
| 06:53:24 | <mniip> | ;) |
| 06:54:09 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:55:10 | <Aleksejs_Home> | so, sqrt defines the type of x there? |
| 06:58:36 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1479:545e:89b1:d1b9) (Remote host closed the connection) |
| 07:00:34 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 07:00:36 | ← | bmuller parts (~brent@168.103.131.108) () |
| 07:01:08 | <mniip> | Aleksejs_Home, yes |
| 07:01:19 | <mniip> | sqrt has the same input and output type |
| 07:01:37 | <mniip> | notably, haskell doesn't do subtyping in arithmetic like you would see in most other languages |
| 07:01:50 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 07:01:50 | <mniip> | if you have x :: Int, you can't do `sqrt x` |
| 07:01:58 | → | psutcliffe joins (~psutcliff@m83-185-90-134.cust.tele2.se) |
| 07:02:13 | <mniip> | and if you do \x -> (sqrt x, x `mod` 2) |
| 07:02:23 | <mniip> | that fixes x to be an Integral, and is a type error |
| 07:02:27 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection) |
| 07:03:08 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 07:05:06 | Aleksejs_Home | is now known as Aleksejs |
| 07:05:38 | → | maier joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 07:05:51 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 07:05:59 | × | maier quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Client Quit) |
| 07:06:39 | → | maier joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 07:07:53 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 07:08:24 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0.1) |
| 07:08:28 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:10:35 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-jksqnlfrjzjlkhlm) (Quit: Connection closed for inactivity) |
| 07:11:07 | → | malumore joins (~malumore@151.62.119.233) |
| 07:15:37 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:17:53 | × | shatriff quits (~vitaliish@protective.remission.volia.net) () |
| 07:18:30 | × | pounce quits (~pounce@ns379743.ip-5-196-70.eu) (Ping timeout: 246 seconds) |
| 07:18:35 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 07:19:56 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-ssredrjhlcuuejnr) (Ping timeout: 240 seconds) |
| 07:20:49 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-yldlxzypsmfoijoc) |
| 07:22:29 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 07:22:30 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:29e9:2902:ad9b:c01d) |
| 07:25:50 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 07:26:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 07:27:02 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:29e9:2902:ad9b:c01d) (Ping timeout: 264 seconds) |
| 07:28:01 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-pzxcaoxvyukwyhjx) (Quit: Connection closed for inactivity) |
| 07:30:32 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 07:30:52 | → | michalz joins (~user@185.246.204.60) |
| 07:31:42 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 07:35:45 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 07:37:46 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 07:37:49 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 07:38:11 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 07:39:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Remote host closed the connection) |
| 07:40:17 | × | dexterlb_ quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 07:40:32 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 07:40:55 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 07:41:15 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-fmtgknnmutdddngm) |
| 07:41:55 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:43:09 | × | average quits (uid473595@gateway/web/irccloud.com/x-xflnwfcmhqvolkuk) (Quit: Connection closed for inactivity) |
| 07:45:02 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds) |
| 07:48:15 | × | thonkpod_ quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Ping timeout: 240 seconds) |
| 07:48:44 | → | thonkpod_ joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 07:52:16 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 07:52:42 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-jznxrcvykoijbcuj) |
| 07:55:00 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 07:56:20 | → | jess joins (jess@freenode/staff/jess) |
| 07:57:33 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 07:57:56 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 07:58:48 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 07:59:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 08:00:01 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:02:00 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 08:04:14 | × | Ferdiran1 quits (~max@2001:4c78:2012:5000::2) (Ping timeout: 264 seconds) |
| 08:05:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:08:48 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 08:08:59 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:10:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit) |
| 08:10:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:13:45 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 264 seconds) |
| 08:15:20 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 08:15:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:16:58 | → | rnons joins (~Thunderbi@i118-21-18-9.s41.a014.ap.plala.or.jp) |
| 08:19:51 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:20:03 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 08:20:29 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Remote host closed the connection) |
| 08:20:35 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 08:20:35 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 08:20:35 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 08:23:48 | × | oleks_ quits (~oleks@188.166.34.97) (Quit: leaving) |
| 08:24:04 | → | oleks joins (~oleks@188.166.34.97) |
| 08:31:06 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds) |
| 08:32:46 | → | o1lo01ol_ joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 08:33:59 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:34:49 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 08:36:10 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 08:36:27 | × | Wolfy87 quits (~Wolfy87@178.239.168.171) (Remote host closed the connection) |
| 08:37:23 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds) |
| 08:37:23 | vgtw_ | is now known as vgtw |
| 08:38:22 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 08:38:58 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 08:39:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 08:39:46 | → | ubert joins (~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de) |
| 08:42:02 | × | thunderrd quits (~thunderrd@183.182.112.145) (Ping timeout: 272 seconds) |
| 08:44:54 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) (Ping timeout: 258 seconds) |
| 08:45:16 | × | drbean quits (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 08:46:28 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 08:47:24 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Remote host closed the connection) |
| 08:50:14 | × | rnons quits (~Thunderbi@i118-21-18-9.s41.a014.ap.plala.or.jp) (Quit: rnons) |
| 08:51:17 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Read error: Connection reset by peer) |
| 08:53:10 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 08:53:21 | → | agander joins (~agander@193.46.28.55) |
| 08:55:31 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:56:07 | → | thunderrd joins (~thunderrd@183.182.115.72) |
| 08:57:26 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) |
| 08:59:54 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:fb20:8ab0:b390:4058) |
| 09:00:15 | × | Liyang[m] quits (liyangmatr@gateway/shell/matrix.org/x-khhkarelngwsexgr) (Quit: Idle for 30+ days) |
| 09:00:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:00:26 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 09:04:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 09:16:10 | → | kam1 joins (~kam1@37.129.37.106) |
| 09:19:16 | → | sheepfleece joins (~sheep@46.53.248.142) |
| 09:21:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 09:23:21 | × | kam1 quits (~kam1@37.129.37.106) (Ping timeout: 264 seconds) |
| 09:25:18 | → | hrdl joins (~ef24a0e6@unaffiliated/hrdl) |
| 09:25:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds) |
| 09:27:31 | <CrabMan> | https://wiki.haskell.org/Typeclassopedia#Functor gives an exercise "Implement Functor instances for `Either e` and `((->) e).`" How do I hide the default implementation for in `Data.Either` so that ghci doesn't complain about duplicate instance declaration? |
| 09:28:18 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 09:28:42 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 246 seconds) |
| 09:30:49 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 09:31:41 | <merijn> | CrabMan: Well, for stuff like either you can always define your own version "data MyEither a b = MyLeft a | MyRight b", but that doesn't work for (->) |
| 09:32:06 | <merijn> | I don't really know a good solution for (->) tbh |
| 09:32:21 | <opqdonut> | the functor instance for (->) isn't in scope by default though, right? |
| 09:32:35 | <opqdonut> | oh, it is these days |
| 09:32:45 | <opqdonut> | I'm pretty sure it used to not be |
| 09:33:34 | <merijn> | opqdonut: Pretty sure it always was? |
| 09:33:58 | <merijn> | opqdonut: Unless you're suggesting it was an orphan instance at some point, but that seems unlikely |
| 09:34:45 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:34:49 | <opqdonut> | yeah that's what I mean, but I'm probably mistaken |
| 09:35:33 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 09:40:44 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 260 seconds) |
| 09:41:14 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 09:43:02 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 09:43:54 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 09:44:09 | × | lambda quits (~xiretza@mail.xiretza.xyz) (Ping timeout: 272 seconds) |
| 09:44:34 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 09:45:32 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Client Quit) |
| 09:45:38 | → | kibo joins (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) |
| 09:47:00 | → | lambda joins (~xiretza@mail.xiretza.xyz) |
| 09:48:10 | × | psutcliffe quits (~psutcliff@m83-185-90-134.cust.tele2.se) (Remote host closed the connection) |
| 09:48:32 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 09:49:46 | → | kuribas joins (~user@ptr-25vy0i8rv5mx3gpgnrc.18120a2.ip6.access.telenet.be) |
| 09:50:15 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 09:52:24 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 09:53:31 | × | pjb quits (~t@2a01cb04063ec5007ce20f826557de89.ipv6.abo.wanadoo.fr) (Ping timeout: 258 seconds) |
| 09:55:33 | → | Amico joins (~Raul@host-79-36-96-189.retail.telecomitalia.it) |
| 09:55:39 | <Amico> | !request |
| 09:57:24 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:58:41 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 10:04:28 | → | pfurla_ joins (~pfurla@ool-3f8fc8f0.dyn.optonline.net) |
| 10:04:40 | → | zar joins (~zar@fw1.ciirc.cvut.cz) |
| 10:05:30 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-sggshpbcjtfntjhq) (Quit: Connection closed for inactivity) |
| 10:05:55 | × | Amico quits (~Raul@host-79-36-96-189.retail.telecomitalia.it) (Quit: over35 la mia scelta! http://chatover35.altervista.org/) |
| 10:06:26 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 10:07:34 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 10:11:08 | → | Tops2 joins (~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) |
| 10:11:14 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 10:12:31 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 10:12:50 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Client Quit) |
| 10:13:39 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 10:15:44 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Client Quit) |
| 10:19:25 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 10:27:32 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 10:27:34 | → | pjb joins (~t@2a01cb04063ec5009532626e850365ce.ipv6.abo.wanadoo.fr) |
| 10:27:40 | <CrabMan> | Consider a kind data UnfunctorableType a. For any type a, it produces an empty type. Do I understand correctly that UnfunctorableType can't be made into a functor? |
| 10:30:36 | → | Ferdirand joins (~max@2001:4c78:2012:5000::2) |
| 10:30:36 | → | ixlun joins (~user@213.205.241.12) |
| 10:30:40 | <CrabMan> | * Consider the kind data UnfunctorableType a. For any type a, it produces an empty type. Do I understand correctly that UnfunctorableType can't be made into a functor? |
| 10:32:08 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 10:37:09 | <Uniaika> | does anyone know why Text has an offset field? |
| 10:41:02 | × | kibo quits (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) () |
| 10:41:18 | <[exa]> | Uniaika: so that popping/pushing from the beginning doesn't take O(n) ? |
| 10:43:18 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 10:46:50 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: leaving) |
| 10:49:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds) |
| 10:49:27 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 10:49:37 | <Uniaika> | [exa]: ah, thanks :) |
| 10:53:27 | dcoutts_ | is now known as dcoutts |
| 10:53:33 | → | d1rges joins (~d1rges@2001-b011-8011-1df2-f7f3-676d-97d1-8a64.dynamic-ip6.hinet.net) |
| 10:55:09 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds) |
| 10:59:56 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 11:00:27 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit) |
| 11:01:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 11:01:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 11:03:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:05:55 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 11:06:21 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 11:07:22 | → | knupfer joins (~Thunderbi@200116b82c486300788a86fd57e0c237.dip.versatel-1u1.de) |
| 11:08:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 11:09:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:10:09 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 11:10:35 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 11:10:36 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 11:11:00 | Alleria | is now known as Guest84398 |
| 11:11:57 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 11:17:38 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-chfbleysvpyzerwt) |
| 11:19:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:19:43 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 11:20:29 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 11:20:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:22:38 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 11:24:15 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds) |
| 11:26:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:26:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:26:51 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 11:27:09 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Bye!) |
| 11:27:09 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 11:27:15 | × | ArsenArsen_ quits (~Arsen@fsf/member/ArsenArsen) (Remote host closed the connection) |
| 11:27:19 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 11:27:36 | → | ArsenArsen joins (~Arsen@fsf/member/ArsenArsen) |
| 11:27:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds) |
| 11:28:03 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 11:28:12 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 11:28:47 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 11:31:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 11:32:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 11:32:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:32:38 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 11:32:39 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 11:32:40 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 11:32:46 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 11:33:19 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 11:34:41 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 11:36:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 11:37:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 11:37:37 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Bye!) |
| 11:37:37 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 11:38:00 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 11:38:01 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 11:38:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:43:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:43:56 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 11:44:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:49:34 | × | d1rges quits (~d1rges@2001-b011-8011-1df2-f7f3-676d-97d1-8a64.dynamic-ip6.hinet.net) (Quit: Leaving) |
| 11:49:37 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 11:49:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:49:54 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 11:50:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:53:12 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 11:53:24 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 11:54:35 | × | kunsttyv quits (~kunsttyv@195.93.234.11) (Read error: Connection reset by peer) |
| 12:00:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 12:00:54 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 12:01:26 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 12:01:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:01:48 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 12:02:10 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 12:02:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 12:04:14 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 245 seconds) |
| 12:04:36 | → | alx741 joins (~alx741@186.178.108.237) |
| 12:04:40 | <tromp> | int-e: the current March Ponder This is the kind of puzzle i love |
| 12:04:48 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 12:05:09 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 12:05:39 | <tromp> | and love to solve in Haskell |
| 12:06:12 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds) |
| 12:07:21 | × | pfurla_ quits (~pfurla@ool-3f8fc8f0.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 12:07:23 | <int-e> | Oh I haven't looked yet. |
| 12:07:43 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 12:07:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 12:07:58 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving) |
| 12:08:03 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 12:08:43 | → | cheater joins (~user@unaffiliated/cheater) |
| 12:10:12 | × | plutoniix quits (~q@184.82.205.61) (Quit: Leaving) |
| 12:13:30 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 12:13:31 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 12:14:52 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 12:15:19 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 260 seconds) |
| 12:15:27 | cheater1 | is now known as cheater |
| 12:16:19 | × | lemmih quits (~lemmih@2406:3003:2072:44:d8ed:96e9:a19d:e53b) (Remote host closed the connection) |
| 12:16:40 | → | lemmih joins (~lemmih@2406:3003:2072:44:5504:1a40:9c9:89a5) |
| 12:16:46 | → | drbean joins (~drbean@TC210-63-209-31.static.apol.com.tw) |
| 12:19:18 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 12:19:32 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 12:21:13 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 12:21:52 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 12:23:27 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 12:24:13 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 12:24:35 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 12:25:33 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) |
| 12:34:41 | → | CodeAlways joins (uid272474@gateway/web/irccloud.com/x-wgpichfqkyzhegjl) |
| 12:35:56 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 12:36:21 | <tromp> | just submitted my solution |
| 12:40:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:43:00 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 12:46:04 | → | astroanax joins (astroanax@gateway/shell/ircnow/x-tmpmjymczmbdbrbq) |
| 12:47:05 | → | gitgood joins (~gitgood@82-132-218-13.dab.02.net) |
| 12:50:18 | → | average joins (uid473595@gateway/web/irccloud.com/x-omskghvgbfvcepam) |
| 12:52:03 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) (Ping timeout: 260 seconds) |
| 12:53:15 | → | dunj3 joins (~dunj3@2001:16b8:30a0:1e00:e916:763f:8b57:452f) |
| 12:55:49 | → | mayleesia joins (4db762ff@x4db762ff.dyn.telefonica.de) |
| 12:57:50 | → | __minoru__shirae joins (~shiraeesh@109.166.56.141) |
| 13:01:30 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 13:03:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:03:52 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a) |
| 13:06:13 | → | forgottenone joins (~forgotten@176.42.24.161) |
| 13:07:16 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 13:08:07 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 13:08:31 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 13:08:58 | × | knupfer quits (~Thunderbi@200116b82c486300788a86fd57e0c237.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 13:10:04 | × | __minoru__shirae quits (~shiraeesh@109.166.56.141) (Ping timeout: 245 seconds) |
| 13:18:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) |
| 13:19:29 | × | kunsttyv quits (~kunsttyv@195.93.234.11) (Read error: Connection reset by peer) |
| 13:19:31 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 13:19:36 | × | jespada quits (~jespada@90.254.243.187) (Read error: Connection reset by peer) |
| 13:20:03 | → | jespada joins (~jespada@90.254.243.187) |
| 13:20:10 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) |
| 13:24:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 13:26:05 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 13:26:10 | × | gitgood quits (~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer) |
| 13:26:44 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 13:27:36 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 13:28:35 | × | forgottenone quits (~forgotten@176.42.24.161) (Remote host closed the connection) |
| 13:28:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds) |
| 13:29:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 13:30:38 | → | Tario joins (~Tario@201.192.165.173) |
| 13:33:15 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 13:33:49 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 13:34:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 13:36:17 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:37:29 | → | forgottenone joins (~forgotten@176.42.24.161) |
| 13:38:34 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:39:21 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 13:43:11 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) |
| 13:45:53 | → | lokesh1197 joins (dfb0619e@223.176.97.158) |
| 13:46:12 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:fb20:8ab0:b390:4058) (Ping timeout: 258 seconds) |
| 13:53:53 | × | drbean quits (~drbean@TC210-63-209-31.static.apol.com.tw) (Ping timeout: 256 seconds) |
| 13:54:25 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:f550:dcf6:fda8:5a8e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:56:47 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 13:57:09 | <tomjaguarpaw> | Does anyone have a recommendation for lens tutorial that I can give to experienced programmers with only a small amount of functional programming knowledge? |
| 13:59:23 | × | lokesh1197 quits (dfb0619e@223.176.97.158) (Ping timeout: 240 seconds) |
| 13:59:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 13:59:42 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer) |
| 14:00:04 | <swarmcollective> | tomjaguarpaw: I do not know of one directly, but Chiroptical did a video series going over the "Optics by Example" by Chris Penner ... Here's a list to the series: https://www.youtube.com/playlist?list=PLW_sOzxD_4gSyP92J-K4AwfR9Fvi6WCuV |
| 14:00:22 | → | hahalps joins (34e59cb0@52.229.156.176) |
| 14:00:24 | <swarmcollective> | (With permission and participation from the author) |
| 14:00:41 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 14:00:44 | <SIben> | tomjaguarpaw: I don't know if I can recommend that, but we have been building up to lenses in our Haskell seminar: https://nextjournal.com/uib-types/haskell-sessions/ |
| 14:00:55 | <SIben> | I think it is digestible? |
| 14:00:59 | <__monty__> | Maybe the docs for one of the simpler lens libraries, like microlens or lens-simple? |
| 14:02:29 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:05:30 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 14:05:41 | × | hahalps quits (34e59cb0@52.229.156.176) (Quit: Connection closed) |
| 14:06:13 | → | Tops21 joins (~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) |
| 14:08:07 | <merijn> | tomjaguarpaw: "none of them"? *ducks* |
| 14:09:33 | × | Tops2 quits (~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) (Ping timeout: 264 seconds) |
| 14:09:42 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 14:11:06 | <tomjaguarpaw> | I'm trying to find one based on the optics abstract interface rather than van-Laarhoven lenses |
| 14:11:21 | <tomjaguarpaw> | I will have a look around. Maybe I will write one :D |
| 14:12:08 | → | carlomagno joins (~cararell@148.87.23.13) |
| 14:13:14 | <tomjaguarpaw> | I guess the problem with VL based libraries is that the implementation leaks everywhere so every tutorial has to address the implementation from very early on |
| 14:13:24 | <[exa]> | tomjaguarpaw: I kindof suspect that non-functional programmers won't get much excitement from the goodies there, like "traverse is a traversal lol!" |
| 14:13:38 | <swarmcollective> | tomjaguarpaw: For those like me lacking sufficient understanding, what would you say the key differences are? |
| 14:13:53 | <tomjaguarpaw> | swarmcollective: Do you mean between optics and lens? |
| 14:13:57 | × | agander quits (~agander@193.46.28.55) (Ping timeout: 246 seconds) |
| 14:14:16 | <tomjaguarpaw> | [exa]: They don't need to have excitement, they just have to be able to understand what I wrote :D |
| 14:14:39 | <[exa]> | tomjaguarpaw: anyway if you don't want to overwhelm them by functors, it's best to go for many useful examples first, lenses are much more intuitive from that side |
| 14:14:52 | <swarmcollective> | Referring to your statement: "optics abstract interface rather than van-Laarhoven lenses", which I guess means "between optics and lens". :) |
| 14:15:47 | <tomjaguarpaw> | swarmcollective: In optics a lens is an abstract type rather than a function '(a -> f b) -> s -> f t' so the error messages are much better |
| 14:16:04 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 260 seconds) |
| 14:16:25 | <tomjaguarpaw> | The abstract type is a bit less flexible, but a lot more easy to use, in my opinion |
| 14:16:37 | <swarmcollective> | tomjaguarpaw: thank you. Optics are on my to-do / to-learn list for this year. |
| 14:18:24 | <tomjaguarpaw> | Cool. I recommend starting with optics rather than lens. There's a nice introduction (but not tutorial) at https://hackage.haskell.org/package/optics-0.4/docs/Optics.html |
| 14:19:38 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 14:21:47 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:23:27 | <swarmcollective> | tomjaguarpaw: I've had the Subtype Hierarchy image from that page bookmarked for some time. :) Thanks for the link to the page itself! It is a good resource. |
| 14:24:38 | → | gitgood joins (~gitgood@82-132-218-13.dab.02.net) |
| 14:24:52 | × | kunsttyv quits (~kunsttyv@195.93.234.11) (Read error: Connection reset by peer) |
| 14:26:10 | × | nemesit|znc_ quits (~nemesit@myriadvisuals.com) (Quit: ZNC 1.6.3+deb1ubuntu0.2 - http://znc.in) |
| 14:26:24 | → | nemesit|znc joins (~nemesit@myriadvisuals.com) |
| 14:30:02 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 14:30:54 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 14:32:03 | <merijn> | [exa]: tbh, I don't get much excitement from that and I *am* a functional programmer ;) |
| 14:32:28 | <merijn> | I think I have like 5 lines of (micro)lens code and that's mostly view/set on existing APIs :p |
| 14:32:53 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 14:33:23 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 14:36:54 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-anorpmpasvncoxvb) |
| 14:41:31 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 14:43:59 | × | gitgood quits (~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer) |
| 14:47:45 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 14:47:46 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 14:47:58 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 14:48:09 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 14:48:14 | → | gitgood joins (~gitgood@82-132-218-13.dab.02.net) |
| 14:51:44 | <ADG1089__> | I am trying to find \{x\mid x\in\Pi_iX_i, x\le L\} given that AB=\{ab\mid a\in A,b\in B\} . Currently I am using recusive function that runs in 33 sec for L=10^12 and X1, X2, ... X543 for |Xi| = 2. I tried to profile it and it spends 35% time in GC |
| 14:52:05 | <merijn> | ADG1089__: Code? :p |
| 14:54:43 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 14:55:44 | <ADG1089__> | https://paste.tomsmeding.com/58Gtzt5r |
| 14:58:13 | <[exa]> | ADG1089__: are you sure that you can filter it by factorizations when your integers are not a finite field? |
| 14:58:42 | <[exa]> | (or are they?) |
| 14:59:39 | <[exa]> | btw I guess this is euler problem 516 right? |
| 14:59:41 | × | ixlun quits (~user@213.205.241.12) (Ping timeout: 256 seconds) |
| 14:59:49 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 15:00:48 | <ADG1089__> | yeah |
| 15:01:04 | <[exa]> | (in that case the 2^32 is probably not needed directly in the code, but whatevs) |
| 15:02:00 | <ADG1089__> | i am guessing i can start by making fold strict |
| 15:03:38 | <[exa]> | I'm guessing that this might be more of a math task than a programming task |
| 15:04:21 | <ADG1089__> | yeah let me try binary search and prefix sums |
| 15:04:29 | <ADG1089__> | @t foldl1' |
| 15:04:29 | <lambdabot> | Maybe you meant: tell thank you thanks thesaurus thx tic-tac-toe ticker time todo todo-add todo-delete type v @ ? . |
| 15:05:03 | <swarmcollective> | :t foldl1' |
| 15:05:04 | <lambdabot> | (a -> a -> a) -> [a] -> a |
| 15:06:49 | <[exa]> | ADG1089__: what about using the multiplicative formula for φ(n) (first one on wiki) and just summing that up straight up? |
| 15:06:50 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 15:07:23 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:73f8:36f6:d6d6:24a) (Ping timeout: 260 seconds) |
| 15:11:26 | → | Deide joins (~Deide@217.155.19.23) |
| 15:15:01 | <ADG1089__> | [exa]: I'm not sure how infinite field creates a problem? I am actually doing phi inverse of elements in hamming |
| 15:15:27 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 15:15:43 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 15:16:24 | → | ixlun joins (~user@213.205.241.12) |
| 15:16:49 | <[exa]> | ADG1089__: I thought you were actually computing over integers modulo something, where the multiplications would kindof always overflow to become <10^12 |
| 15:17:00 | <[exa]> | which is not valid, sorry :] |
| 15:17:16 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection) |
| 15:17:36 | × | totoro2021 quits (~t@unaffiliated/totoro2021) (Ping timeout: 240 seconds) |
| 15:18:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 15:18:23 | × | Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 256 seconds) |
| 15:18:56 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 15:19:04 | → | totoro2021 joins (~t@unaffiliated/totoro2021) |
| 15:20:10 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133) |
| 15:20:13 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 260 seconds) |
| 15:20:14 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 15:20:40 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 15:21:39 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 15:21:39 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 15:21:39 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 15:22:08 | × | ozataman quits (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) (Client Quit) |
| 15:22:24 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 15:22:43 | → | jrqc joins (~rofl@96.78.87.197) |
| 15:22:44 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 15:23:08 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 15:23:29 | × | maier quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 265 seconds) |
| 15:23:45 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 15:24:30 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 15:26:07 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 15:27:48 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 15:28:53 | → | gitgoood joins (~gitgood@82-132-218-124.dab.02.net) |
| 15:29:56 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) (Remote host closed the connection) |
| 15:30:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 240 seconds) |
| 15:30:34 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:f50e:8a4c:76f4:c2b8) |
| 15:31:00 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 15:31:40 | × | gitgood quits (~gitgood@82-132-218-13.dab.02.net) (Read error: Connection reset by peer) |
| 15:32:12 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 15:33:24 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 15:33:24 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 15:33:24 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 15:33:37 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Client Quit) |
| 15:33:54 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 15:33:57 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Client Quit) |
| 15:35:22 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 15:36:28 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 15:37:20 | × | sz0 quits (uid110435@gateway/web/irccloud.com/x-gudvzeidxnskkkra) (Quit: Connection closed for inactivity) |
| 15:40:09 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds) |
| 15:46:44 | → | Pressyware[m] joins (pressyware@gateway/shell/matrix.org/x-cypbqfareuipwdxl) |
| 15:49:19 | <ADG1089__> | I'm only upset that there is a <0.06 sec version |
| 15:49:33 | <ADG1089__> | and I am still stuck at 32 sec |
| 15:49:42 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 15:50:04 | × | xff0x quits (~xff0x@2001:1a81:5278:3000:6caf:8f38:636e:aa55) (Remote host closed the connection) |
| 15:50:23 | → | xff0x joins (~xff0x@2001:1a81:5278:3000:57ba:9247:ce34:6483) |
| 15:50:54 | <merijn> | ADG1089__: I see you using foldl1 |
| 15:51:00 | <merijn> | Pretty sure that isn't strict |
| 15:51:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 15:52:08 | <merijn> | ADG1089__: What happens if you replace it with: https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-List.html#v:foldl1-39- ? |
| 15:53:37 | <maerwald> | am I the only one constantly getting confused by the use of :: for kind signatures? |
| 15:54:11 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 15:54:36 | → | stree joins (~stree@68.36.8.116) |
| 15:54:58 | <ADG1089__> | merijn: 1-2 sec improvement |
| 15:55:08 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 15:56:56 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 240 seconds) |
| 15:57:18 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 15:57:30 | → | Waifod joins (~Waifod@91.106.123.186) |
| 15:57:50 | → | ADG1089 joins (~adg1089@106.214.235.119) |
| 15:58:40 | × | jlamothe quits (~jlamothe@198.251.55.207) (Ping timeout: 276 seconds) |
| 16:00:54 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 16:02:09 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 16:02:23 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 16:03:07 | → | conal_ joins (~conal@192.145.118.163) |
| 16:03:22 | × | conal_ quits (~conal@192.145.118.163) (Client Quit) |
| 16:03:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:08:23 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 16:08:38 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:09:31 | × | gitgoood quits (~gitgood@82-132-218-124.dab.02.net) (Read error: Connection reset by peer) |
| 16:09:38 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 16:10:54 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:11:01 | × | o1lo01ol_ quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection) |
| 16:12:09 | → | tinhatcat joins (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) |
| 16:12:09 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:14:45 | → | loyon joins (loyonmatri@gateway/shell/matrix.org/x-pibcmanmmawjsdlg) |
| 16:16:24 | <loyon> | I'm looking for an auto-formatter, I see there is different one around, which one do you use and would recommend? |
| 16:17:07 | <Uniaika> | I use stylish-haskell, very satisfied with it |
| 16:17:13 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 16:17:21 | <maerwald> | I don't like any of them... brittany looked most promising, but it has a habit of doing excessive newlining... ormolu is just awful |
| 16:17:29 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:17:58 | <shapr> | I like ormolu because it formats the most things in the most opinionated way |
| 16:18:12 | <shapr> | and I really just want a formatter |
| 16:18:38 | <shapr> | The formatters in other languages often don't handle spaces inside parens and all sorts of other picky details, I want *everything* formatted |
| 16:19:31 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 16:20:21 | <maerwald> | I found formatters in other languages generally work better than in haskell |
| 16:20:32 | <maerwald> | haskell formatters can't even deal correctly with CPP |
| 16:20:36 | <loyon> | thanks everyone, I'm really looking for something that format everything so ormolu is what I will try first. If it's too much stylish-haskell seems to offer a reasonable middle ground. |
| 16:20:46 | <lortabac> | one thing I dislike about ormolu is that it doesn't add newlines if there isn't at least one already |
| 16:20:47 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 16:21:40 | <lortabac> | sometimes I want to write a long expression on one line and let the formatter do everything, but with ormolu I have to add at least one random newline to trigger proper formatting |
| 16:21:53 | <lortabac> | otherwise it would leave everything on one line |
| 16:22:00 | → | frozenErebus joins (~frozenEre@94.128.219.166) |
| 16:23:07 | <loyon> | that is very good to know lortabac , because that's exactly what I was hoping for haha, to break my endless lines automagically. |
| 16:23:14 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:25:43 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:25:50 | → | vilpan joins (~0@212.117.1.172) |
| 16:26:06 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 16:26:09 | <lortabac> | loyon: then brittany might be a better choice |
| 16:26:23 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds) |
| 16:26:58 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 16:27:20 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-jycqcvdxtuypsqup) |
| 16:28:08 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 16:28:39 | × | Waifod quits (~Waifod@91.106.123.186) (Quit: leaving) |
| 16:28:54 | → | Waifod joins (~Waifod@91.106.123.186) |
| 16:30:59 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 16:31:06 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 16:31:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 240 seconds) |
| 16:31:19 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 16:31:24 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 16:31:31 | → | ADG1089__ joins (~aditya@106.214.235.119) |
| 16:31:56 | × | ADG1089__ quits (~aditya@106.214.235.119) (Remote host closed the connection) |
| 16:32:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 16:33:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection) |
| 16:34:33 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 16:35:20 | → | HaeB1 joins (~HaeB@217.146.82.202) |
| 16:37:10 | → | agander joins (~agander@193.46.28.55) |
| 16:37:37 | → | ech joins (~user@gateway/tor-sasl/ech) |
| 16:38:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 16:38:35 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 16:38:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 240 seconds) |
| 16:39:52 | → | conal joins (~conal@64.71.133.70) |
| 16:41:06 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 16:42:42 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 246 seconds) |
| 16:43:47 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 16:45:02 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 264 seconds) |
| 16:45:30 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 16:50:52 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 16:51:41 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 16:53:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:55:34 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:be08:ef83:7da5:b97a) (Ping timeout: 258 seconds) |
| 16:58:43 | → | conal joins (~conal@64.71.133.70) |
| 17:01:47 | → | ixlun joins (~user@213.205.241.12) |
| 17:02:26 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 17:04:45 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hsfumururywifqcc) |
| 17:05:04 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 17:07:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:07:48 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) |
| 17:08:07 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 17:09:46 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 17:10:05 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 17:10:30 | × | ADG1089 quits (~adg1089@106.214.235.119) (Ping timeout: 260 seconds) |
| 17:11:03 | × | ubert quits (~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:11:24 | × | apoc quits (~apoc@bridge.mattzq.com) (Ping timeout: 272 seconds) |
| 17:12:02 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:12:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 17:13:10 | → | gitgood joins (~gitgood@82-132-218-124.dab.02.net) |
| 17:13:33 | → | mirrorb2rd joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 17:14:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 17:15:22 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 276 seconds) |
| 17:16:21 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds) |
| 17:17:32 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 17:19:14 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 17:19:30 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:20:02 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 17:20:25 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 17:20:29 | × | ezrakilty quits (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 17:21:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:22:19 | → | jrqc joins (~rofl@96.78.87.197) |
| 17:23:49 | × | mniip quits (mniip@freenode/staff/mniip) (Remote host closed the connection) |
| 17:25:23 | → | apoc joins (~apoc@49.12.13.193) |
| 17:25:52 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 17:26:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 17:27:01 | → | eacameron joins (uid256985@gateway/web/irccloud.com/x-xcgmvbdvyqnlqqik) |
| 17:29:32 | → | mniip joins (~mniip@freenode/staff/mniip) |
| 17:30:52 | × | CodeAlways quits (uid272474@gateway/web/irccloud.com/x-wgpichfqkyzhegjl) (Quit: Connection closed for inactivity) |
| 17:35:55 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 17:38:01 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:38:17 | × | frozenErebus quits (~frozenEre@94.128.219.166) (Quit: leaving) |
| 17:38:57 | → | bitmagie joins (~Thunderbi@200116b8060f780050b2025f45241b20.dip.versatel-1u1.de) |
| 17:40:03 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 17:43:55 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:44:21 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-vzlleahqqgvhcqsg) (Ping timeout: 265 seconds) |
| 17:45:21 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-plfpkpelheyvdkct) |
| 17:46:03 | × | Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 246 seconds) |
| 17:46:59 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-mcfwlfbkblxoiabx) |
| 17:47:38 | × | bitmagie quits (~Thunderbi@200116b8060f780050b2025f45241b20.dip.versatel-1u1.de) (Quit: bitmagie) |
| 17:48:47 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-zfdimwsiaqqzwwly) (Quit: Connection closed for inactivity) |
| 17:50:50 | × | vilpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 17:51:25 | → | veritas joins (~veritas@athedsl-333140.home.otenet.gr) |
| 17:51:29 | <veritas> | hi all |
| 17:51:30 | × | veritas quits (~veritas@athedsl-333140.home.otenet.gr) (Disconnected by services) |
| 17:51:56 | → | veritas joins (~veritas@athedsl-333140.home.otenet.gr) |
| 17:52:27 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-opxrpnhctmnngxjm) |
| 17:52:49 | veritas | is now known as Guest7056 |
| 17:54:06 | × | kunsttyv quits (~kunsttyv@195.93.234.11) (Read error: Connection reset by peer) |
| 17:54:37 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 17:54:40 | Guest7056 | is now known as demon_in_a_jar |
| 17:54:50 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 17:54:52 | × | michalz quits (~user@185.246.204.60) (Remote host closed the connection) |
| 17:54:55 | <demon_in_a_jar> | hi all |
| 17:55:14 | <demon_in_a_jar> | is there any modern take to multirec ? |
| 17:57:40 | → | crobbins_ joins (~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) |
| 17:59:13 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 245 seconds) |
| 17:59:52 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 17:59:56 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 18:00:12 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 18:00:12 | × | nurupo quits (~nurupo.ga@unaffiliated/nurupo) (Quit: nurupo.ga) |
| 18:00:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:00:30 | → | nurupo joins (~nurupo.ga@unaffiliated/nurupo) |
| 18:00:35 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:f50e:8a4c:76f4:c2b8) (Ping timeout: 240 seconds) |
| 18:02:07 | → | jespada joins (~jespada@90.254.243.187) |
| 18:02:34 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 18:04:03 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 18:05:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 18:05:47 | <Wezl> | GHC segfaults whenever I use it, hugs is having build problems, what alternative compilers are there? |
| 18:07:01 | → | augnun joins (~augnun@2804:14c:658b:41bb:fb9d:9a6c:9f90:5e45) |
| 18:08:17 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 18:10:45 | <monochrom> | https://repl.it/languages/haskell |
| 18:10:52 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 18:10:56 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 18:10:59 | <yushyin> | none of relevance |
| 18:11:09 | <monochrom> | https://repl.it/languages lists Haskell under "Practical". It's official now. \∩/ |
| 18:11:22 | <yushyin> | yeah! |
| 18:12:21 | → | ADG1089 joins (~adg1089@171.76.153.167) |
| 18:12:45 | <Wezl> | but it's not as "Popular" as scheme :) |
| 18:12:45 | × | ADG1089 quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 18:13:22 | → | ADG1089 joins (~adg1089@171.76.153.167) |
| 18:13:30 | <swarmcollective> | Wezl: You might want to consider running GHC from within a Docker container. If the container becomes corrupt for any reason, you just rebuild it. There is a solid base container with GHC and Cabal already installed. |
| 18:13:47 | → | x0oytF joins (~user@4-13-107-185.static.kviknet.dk) |
| 18:13:52 | <swarmcollective> | https://hub.docker.com/_/haskell/ |
| 18:14:10 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:14:22 | → | redmp joins (~redmp@172.58.35.84) |
| 18:14:24 | <monochrom> | Hrm! I should maybe save that docker URL and let my students know next time I teach them. |
| 18:14:33 | <Wezl> | my package manager doesn't have docker and I'd rather build GHC than docker |
| 18:15:06 | → | stree joins (~stree@68.36.8.116) |
| 18:15:19 | <monochrom> | But what is the _ doing there? :) |
| 18:15:34 | <c_wraith> | Wezl: what platform are you on? It seems odd that none of the pre-compiled GHCs will work |
| 18:16:11 | <Wezl> | c_wraith: I'm on a chromebook with termux and GHC is in the unstable repo |
| 18:16:18 | <c_wraith> | ah, that's a tough one |
| 18:16:33 | <swarmcollective> | monochrom: I hope other editors provide the same capability soon, but the remote container plugin for vscode even allows you to keep your editor and code on your hard drive and run only the Haskell tools from within the container. That makes it very easy to use (and to switch between versions of GHC + Cabal). |
| 18:17:30 | <monochrom> | That's nice to know swarmcollective, thanks. My students may find it even more important. They like vscode. |
| 18:17:33 | <swarmcollective> | Wezl: I also use GHC on a Chromebook, but I am able to use Docker from the Debian instance provided by ChromeOS. |
| 18:19:02 | <swarmcollective> | monochrom: I didn't come up with this idea, only updated it to use "official" Haskell container, but here is a convenient .devcontainer configuration for use with vscode. https://github.com/calledtoconstruct/haskell-hls-devcontainer |
| 18:19:22 | ← | x0oytF parts (~user@4-13-107-185.static.kviknet.dk) ("haskell") |
| 18:20:08 | swarmcollective | goes to search "turmux" :D |
| 18:20:09 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Remote host closed the connection) |
| 18:20:37 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 18:21:16 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:21:57 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:22:26 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 18:22:50 | swarmcollective | is now wondering if it is possible to use Google Cloud Shell as the remote container. Hmmmm... |
| 18:23:20 | → | fendor joins (~fendor@77.119.128.153.wireless.dyn.drei.com) |
| 18:23:59 | × | forgottenone quits (~forgotten@176.42.24.161) (Ping timeout: 260 seconds) |
| 18:24:47 | × | usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 18:25:59 | × | demon_in_a_jar quits (~veritas@athedsl-333140.home.otenet.gr) (Quit: Leaving) |
| 18:27:20 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 18:30:16 | × | sheepfleece quits (~sheep@46.53.248.142) (Quit: Lost terminal) |
| 18:31:54 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:58cb) |
| 18:32:09 | × | malumore quits (~malumore@151.62.119.233) (Ping timeout: 245 seconds) |
| 18:32:44 | × | crobbins_ quits (~crobbins@2601:2c1:200:ec50:bd85:de5e:f720:2e32) (Ping timeout: 240 seconds) |
| 18:33:39 | → | regakakobigman joins (~regakakob@c-73-174-187-176.hsd1.pa.comcast.net) |
| 18:36:51 | <bgamari> | Wezl, GHC segfaults? |
| 18:37:00 | <bgamari> | Wezl, which platform are you on? |
| 18:37:18 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 260 seconds) |
| 18:37:31 | <geekosaur> | chromebook |
| 18:37:32 | <monochrom> | chromebook |
| 18:41:05 | → | curiousgay_ joins (~quassel@178.217.208.8) |
| 18:41:05 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 18:41:44 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 18:41:49 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 276 seconds) |
| 18:42:01 | × | curiousgay_ quits (~quassel@178.217.208.8) (Client Quit) |
| 18:42:05 | <bgamari> | oh dear |
| 18:42:55 | <Wezl> | https://0x0.st/-P2t.png |
| 18:42:57 | bgamari | has no idea constraints chromebooks place on user space |
| 18:43:09 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 18:43:12 | <bgamari> | Wezl, do you have gdb? |
| 18:43:16 | <Wezl> | is that maybe it? |
| 18:43:28 | <Wezl> | bgamari: no |
| 18:43:31 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 18:43:35 | <bgamari> | hmm |
| 18:44:34 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:44:55 | <geekosaur> | oh dear |
| 18:45:02 | → | jrqc joins (~rofl@96.78.87.197) |
| 18:45:03 | <Wezl> | ok now I have gdb |
| 18:45:24 | geekosaur | just looked up termux, it looks painful to get a full environment for |
| 18:45:40 | × | regakakobigman quits (~regakakob@c-73-174-187-176.hsd1.pa.comcast.net) (Quit: regakakobigman) |
| 18:45:55 | <bgamari> | Wezl, what happens if you try running ghc under gdb? |
| 18:45:58 | Wezl | thinks that's because the full environment takes way too much memory |
| 18:45:58 | <bgamari> | something like |
| 18:46:00 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:ca9:f9fe:ff85:a356) |
| 18:46:36 | <geekosaur> | well no, termux isn't a full linux distribution so you'd be using the android stock libc instead of glibc or even musl |
| 18:47:49 | <monochrom> | You may be better off trouble-shooting building Hugs. GHC is going to be a resource hog even after you get it to run. |
| 18:48:40 | × | peasynt quits (~quassel@pool-173-76-103-124.bstnma.fios.verizon.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:48:52 | <monochrom> | Either that or repl.it |
| 18:49:05 | <Wezl> | I'll try Hugs again |
| 18:49:13 | <bgamari> | monochrom, do you know concretely what might be going wrong here? |
| 18:49:16 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 18:49:25 | <Wezl> | (cuz I have no idea how to use gdb) |
| 18:49:27 | <bgamari> | resource hog or not, I would have expected this to work |
| 18:49:47 | <monochrom> | No. But if you don't have space for glibc you don't have space for GHC. |
| 18:50:23 | <monochrom> | Well, you "have", but it will be able to do very little. |
| 18:51:01 | <monochrom> | The downside of Hugs is it's too old, both language-wise and library-wise, to be sure. |
| 18:51:06 | × | ADG1089 quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 18:51:35 | <Wezl> | maybe I just shouldn't use haskell ::/ |
| 18:52:52 | <heck-to-the-gnom> | chromebooks, lol |
| 18:53:34 | <monochrom> | I would think that along the spirit of chromebook you would be doing all programming on repl.it |
| 18:53:57 | <monochrom> | s/along/in/ # I hate English |
| 18:53:57 | → | darjeeling_ joins (~darjeelin@122.245.217.47) |
| 18:54:09 | <Rembane> | monochrom: Use all prepositions just to be sure. |
| 18:54:30 | <Wezl> | no, I'm trying to *avoid* the limitations of the spirit of chromebook |
| 18:54:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 18:54:34 | ← | Wezl parts (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) ("you should try concurr, it's a new functional language still under development codeberg.org/Wezl/concurr") |
| 18:54:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 18:55:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:56:36 | <bgamari> | oh, there he goes |
| 18:57:02 | <bgamari> | I would have been happy to walk him through gdb |
| 18:57:17 | <bgamari> | I wonder if there's an aspace rlimit or some such sillyness |
| 18:58:20 | <ephemient> | I have a Chromebook. if you are able to use their Linux (beta) container, it is just like GHC in any other typical Debian distro |
| 18:58:52 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 18:58:59 | × | Waifod quits (~Waifod@91.106.123.186) (Ping timeout: 260 seconds) |
| 18:59:09 | <Wezl> | it's extremely amusing to see what people say when you leave |
| 18:59:28 | <ephemient> | I have a Chromebook. if you are able to use their Linux (beta) container, it is just like GHC in any other typical Debian distro |
| 18:59:28 | <ephemient> | Wezl was using Termux, though. that's an Android app that uses various LD_PRELOAD tricks to run a "Linux" distro. |
| 18:59:57 | <ephemient> | it is subject to a lot more restrictions than a Linux container |
| 19:00:20 | → | Waifod joins (Waifod@gateway/vpn/protonvpn/waifod) |
| 19:00:53 | × | uberj quits (~uberj@unaffiliated/uberj) (Remote host closed the connection) |
| 19:01:13 | → | uberj joins (~uberj@unaffiliated/uberj) |
| 19:01:43 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 19:02:04 | <swarmcollective> | Haskell development works well on Pixel Slate. That's what I used for the first 13 days of Advent of Code this year. |
| 19:02:35 | <ephemient> | I did my AoC on a HP Chromebook x360 last year and a Pixel Slate this year. no problems at all |
| 19:02:48 | <monochrom> | On the 14th day your love gifted you with a Ryzen PC? :) |
| 19:03:30 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:10 | <swarmcollective> | I'm interested to hear if you get GHC working via Termux, Wezl. |
| 19:04:38 | → | jrqc joins (~rofl@96.78.87.197) |
| 19:04:46 | <swarmcollective> | There are still a lot of chromebook machines that do not have the linux container support. |
| 19:04:50 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 19:05:35 | <swarmcollective> | monochrom: lol, no. If I remember correctly, I started using the Pixel Slate for a web crawler. |
| 19:06:13 | <ClaudiusMaximus> | I think I got GHC working in Debian in UserLAnd from f-Droid on an Android tablet (without root) |
| 19:06:53 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 19:08:10 | → | andreas31 joins (~andreas@gateway/tor-sasl/andreas303) |
| 19:09:21 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection) |
| 19:09:28 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 268 seconds) |
| 19:10:18 | <swarmcollective> | It might be possible to run the remote container on Cloud Shell, if I can get ssh listening on a port opened via the web-preview feature. I suspect they try to prevent that, though. |
| 19:10:21 | × | mirrorb2rd quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds) |
| 19:10:29 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 19:13:52 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:ca9:f9fe:ff85:a356) (Remote host closed the connection) |
| 19:14:32 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:4511:efcb:5dfa:3325) |
| 19:17:04 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:17:33 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 19:20:25 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 19:20:56 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 19:21:31 | → | ADG1089 joins (~adg1089@171.76.153.167) |
| 19:21:38 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 19:21:42 | → | ADG1089__ joins (~aditya@171.79.107.148) |
| 19:22:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 19:23:24 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:26:48 | × | ADG1089 quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 19:26:53 | → | ADG1089_ joins (~adg1089@171.79.107.148) |
| 19:27:14 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 19:30:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 19:32:02 | × | andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 19:32:22 | → | andreas31 joins (~andreas@gateway/tor-sasl/andreas303) |
| 19:32:36 | → | maier joins (~maier@i59F67B1A.versanet.de) |
| 19:35:20 | → | andrybak joins (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) |
| 19:36:54 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 19:37:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection) |
| 19:40:24 | → | theelous3 joins (~theelous3@unaffiliated/theelous3) |
| 19:41:07 | → | augnun_ joins (~augnun@2804:14c:658b:41bb:b376:f7e5:9ada:8b5) |
| 19:43:04 | × | augnun quits (~augnun@2804:14c:658b:41bb:fb9d:9a6c:9f90:5e45) (Ping timeout: 240 seconds) |
| 19:45:31 | → | conal joins (~conal@64.71.133.70) |
| 19:50:47 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 19:51:00 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 19:54:18 | × | Tops21 quits (~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 19:59:23 | × | ADG1089_ quits (~adg1089@171.79.107.148) (Ping timeout: 256 seconds) |
| 20:00:55 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds) |
| 20:01:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:01:24 | → | __minoru__shirae joins (~shiraeesh@109.166.58.196) |
| 20:01:45 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 264 seconds) |
| 20:02:25 | × | maier quits (~maier@i59F67B1A.versanet.de) (Ping timeout: 276 seconds) |
| 20:02:37 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 20:02:49 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 20:03:14 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 20:03:21 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 20:04:32 | → | nf joins (~n@monade.li) |
| 20:05:27 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 20:05:28 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 20:05:42 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 246 seconds) |
| 20:06:01 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:06:47 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Remote host closed the connection) |
| 20:07:12 | → | petersen joins (~petersen@redhat/juhp) |
| 20:07:23 | → | nineonine joins (~nineonine@50.216.62.2) |
| 20:07:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 20:09:39 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Ping timeout: 245 seconds) |
| 20:09:55 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 20:10:09 | × | theelous3 quits (~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer) |
| 20:10:35 | → | theelous3 joins (~theelous3@unaffiliated/theelous3) |
| 20:10:45 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 264 seconds) |
| 20:12:49 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 20:13:18 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 20:13:26 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Quit: Curry, you fools!) |
| 20:16:06 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 20:19:23 | <Wezl> | here are my errors for hugs https://0x0.st/-P_A.txt |
| 20:19:34 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:19:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:20:20 | <Wezl> | probably because it's writing to a /tmp file, which isn't writable and maybe not even existent |
| 20:20:34 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 20:20:42 | → | malumore joins (~malumore@151.62.119.233) |
| 20:20:59 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 20:21:28 | <Wezl> | (and I don't have enough experience with building to know how to change where it writes) |
| 20:21:44 | <Wezl> | but I'll try |
| 20:21:49 | → | ixlun joins (~user@213.205.241.12) |
| 20:21:54 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 20:23:34 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 20:23:50 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 20:24:21 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 20:24:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 20:24:38 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:25:41 | → | ixlun joins (~user@213.205.241.12) |
| 20:26:51 | → | Guest_24 joins (dfbc579a@223.188.87.154) |
| 20:27:08 | × | malumore quits (~malumore@151.62.119.233) (Ping timeout: 245 seconds) |
| 20:27:14 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 20:27:27 | <ADG1089__> | did I do unboxing Int64 -> Int64# correctly here: https://paste.tomsmeding.com/avzjxQYC ? What am I missing? compiler is complaining. |
| 20:27:29 | <Guest_24> | hey guys, i use clojure with emacs and now getting started with haskell was wondering if someone has a working emacs setup |
| 20:27:58 | × | __minoru__shirae quits (~shiraeesh@109.166.58.196) (Ping timeout: 245 seconds) |
| 20:28:01 | <tomsmeding> | ADG1089__: what's the compiler error? |
| 20:28:35 | <ADG1089__> | (Operator applied to too few arguments: #) |
| 20:28:36 | <tomsmeding> | Wezl: you might try saying 'export TMPDIR=/some/writable/path' |
| 20:28:45 | <tomsmeding> | ADG1089__: {-# LANGUAGE MagicHash #-} ? |
| 20:29:23 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:4511:efcb:5dfa:3325) (Ping timeout: 260 seconds) |
| 20:29:30 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 20:30:14 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:30:14 | × | Wezl quits (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer) |
| 20:30:29 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 20:30:31 | <Wezl> | tomsmeding: it's already set to one |
| 20:32:33 | × | mayleesia quits (4db762ff@x4db762ff.dyn.telefonica.de) (Quit: Connection closed) |
| 20:32:34 | <tomsmeding> | Wezl: might try setting TMP or TEMP instead, but if it doesn't pick those up either, I'm afraid you'd have to dive into the build system to change what it does |
| 20:32:58 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 20:33:07 | <Wezl> | hopefully there's a simple ./configure option |
| 20:33:11 | <ADG1089__> | tomsmeding: can't define [Int64#] . I think [] don't work with unlifted type, maybe I have to use UList |
| 20:33:40 | <tomsmeding> | ADG1089__: similarly you might have issues with Map on unlifted types, I think |
| 20:35:03 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 20:35:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 20:36:26 | <ADG1089__> | tomsmeding: what do you suggest? how can i unbox my Int64 usage? |
| 20:36:27 | → | stree joins (~stree@68.36.8.116) |
| 20:36:39 | <tomsmeding> | are you sure you need to? |
| 20:37:34 | <tomsmeding> | to ask the eternal question: what in the profiling report suggested that unboxing might be a good idea? :) |
| 20:37:48 | <tomsmeding> | (which implicitly asks: did you profile?) |
| 20:38:22 | <mikoto-chan> | Do cabal commands that support sandboxing still use the new-* prefix? |
| 20:39:17 | <dcoutts> | mikoto-chan: do you mean the new project style or the old sandboxing style? |
| 20:39:23 | × | Wezl quits (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer) |
| 20:39:42 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 20:40:45 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 20:41:28 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 20:41:32 | <mikoto-chan> | dcoutts: I'm merely a beginner that read in a book that cabal will be sandboxing and caching build dependencies in the future for projects to prevent version clashes :( |
| 20:41:56 | <ADG1089__> | tomsmeding: was going through steps as mentioned here: https://wiki.haskell.org/Performance/GHC |
| 20:42:02 | × | ixlun quits (~user@213.205.241.12) (Read error: Connection reset by peer) |
| 20:42:09 | <dcoutts> | mikoto-chan: then it probably means project support, and yes the future has arrived and that is the default now in cabal-install version 3+ |
| 20:43:09 | <tomsmeding> | ADG1089__: ah I see |
| 20:43:11 | <ADG1089__> | tomsmeding: GC was negligible, it's only 2 modules, and the third things was unboxed types |
| 20:43:54 | <tomsmeding> | ADG1089__: how many things are in that Map? I think it's important to be aware that a Map will be a tree of boxes anyway |
| 20:44:17 | <tomsmeding> | so the leaves may very well be unboxed -- if that's even supported -- but that won't really matter if the rest of the tree is boxed :p |
| 20:44:18 | → | ixlun joins (~user@213.205.241.12) |
| 20:44:24 | <ADG1089__> | tomsmeding: 3429 |
| 20:44:33 | × | andrybak quits (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) (Ping timeout: 260 seconds) |
| 20:44:37 | <geekosaur> | tbh if you're using lists that may itself be an issue, depending on what you're doing. in particular they are linked lists, not arrays/vectors, and indexing will be very slow |
| 20:45:00 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 20:45:06 | × | Guest_24 quits (dfbc579a@223.188.87.154) (Quit: Connection closed) |
| 20:45:30 | <tomsmeding> | ADG1089__: you might want to replace that Map with a Data.Vector.Unboxed, sort that thing, and use explicit binary search on the vector instead of Map.lookupLE |
| 20:45:39 | → | __minoru__shirae joins (~shiraeesh@109.166.58.196) |
| 20:45:43 | <ADG1089__> | tomsmeding: let me try |
| 20:46:35 | <tomsmeding> | then you're not using an intermediate Map, which is like a big fat hammer among breadcrumbs if you're trying to shave off the last bits of runtime using unboxed types |
| 20:46:37 | → | crobbins joins (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) |
| 20:46:55 | <tomsmeding> | okay unboxing may have significant effects in some cases, true |
| 20:47:18 | <tomsmeding> | but if you go unboxed, you need to unbox everything for it to make sense |
| 20:48:04 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 20:49:30 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit) |
| 20:49:32 | <monochrom> | "go (x : xs) prod = go xs prod +? (if prod <= lim `div` x then go xs (prod * x) else 0)" is a space-expensive algorithm and it is not because some Int64s are boxed. |
| 20:49:40 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 20:50:06 | <monochrom> | You're looking at basically "f x = f (x-1) + f(x-2)" |
| 20:51:34 | <monochrom> | I wouldn't be surprised that it is an expoential-time algorithm, too. |
| 20:51:45 | <monochrom> | s/that/if/ |
| 20:52:26 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 20:54:07 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 20:54:11 | <ADG1089__> | monochrom: maximum depth of recursion is 543. Yeah it's exponential, but I reversed hps so lot of values got filtered and practically it is really fast. Just reversing brought the time from 14 sec to 1.5 sec |
| 20:54:17 | <ADG1089__> | I'm trying to reach <1sec |
| 20:54:45 | <monochrom> | What is the current running time? |
| 20:54:53 | <mikoto-chan> | Hmmm ... when I install a package with 'cabal install foo' I don't see it appear in 'ghci' but when I do 'cabal new-install foo' and 'cabal v2-repl' everything is working fine ... is this normal with ghcup? |
| 20:55:11 | <tomsmeding> | mikoto-chan: what's your cabal version? |
| 20:55:59 | <maerwald> | mikoto-chan: ghci knows nothing about the cabal store |
| 20:56:03 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:56:26 | <mikoto-chan> | 3.2, latest and greates |
| 20:56:28 | <mikoto-chan> | t |
| 20:56:32 | <monochrom> | Also "cabal install foo" means exe only. |
| 20:56:39 | <sclv> | you shouldn't really be using `cabal install` in the new workflow |
| 20:56:50 | <mikoto-chan> | sclv: How do I undo the damage? |
| 20:56:55 | → | andrybak joins (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) |
| 20:57:08 | <sclv> | don't worry about it, just don't use it :-) |
| 20:57:15 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133) (Ping timeout: 240 seconds) |
| 20:57:18 | <mikoto-chan> | But I already installed something |
| 20:57:22 | <tomsmeding> | it didn't do damage, it just took some extra disk space |
| 20:57:26 | <monochrom> | If foo has no exe, you didn't do any damage. |
| 20:57:29 | <mikoto-chan> | Ouch |
| 20:57:38 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:68e3:9c1f:887c:d5b3) (Ping timeout: 264 seconds) |
| 20:57:58 | × | Wezl quits (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Ping timeout: 260 seconds) |
| 20:58:23 | <tomsmeding> | mikoto-chan: the idea with using new cabal is that you always work within a project, with a .cabal file that lists dependencies |
| 20:58:32 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:58:57 | <mikoto-chan> | tomsmeding: Is cabal.readthedocs.io up to date? There's a bunch of tutorials that still use the old commands |
| 20:59:05 | <mikoto-chan> | Thanks for the help by the way |
| 20:59:05 | <monochrom> | Yes. |
| 20:59:15 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:8dfa:c309:9698:bf3a) |
| 20:59:25 | <monochrom> | Also as of a week ago, the latest and greatest and recommended is 3.4. |
| 20:59:45 | <monochrom> | Although, 3.2 is not very far behind 3.4. |
| 21:00:10 | <mikoto-chan> | How do you go about updating ghcup? |
| 21:00:14 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:00:23 | <tomsmeding> | mikoto-chan: also, by the way, if you really want to not work in a project, there are workarounds like described in https://mail.haskell.org/pipermail/haskell-cafe/2021-February/133425.html and other emails in the same thread (see related posts in the thread overview: https://mail.haskell.org/pipermail/haskell-cafe/2021-February/thread.html) |
| 21:00:34 | <tomsmeding> | but please work in a project :) |
| 21:00:53 | <tomsmeding> | mikoto-chan: ghcup upgrade; ghcup install cabal 3.4.0.0; ghcup rm cabal 3.2.0.0 |
| 21:00:55 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133) |
| 21:00:58 | <tomsmeding> | but note there is also 'ghcup tui' |
| 21:01:09 | <mikoto-chan> | tomsmeding: *I never made any projects I'm just learning Cabal :^)* |
| 21:01:18 | → | iomonad joins (~iomonad@unaffiliated/iomonad) |
| 21:01:35 | <geekosaur> | if you want to learn cabal you should learn working in projects |
| 21:02:17 | <sclv> | the point of cabal is to work with projects. on its own it doesn't do much |
| 21:03:13 | <sclv> | if you want to just pop open a repl with some libs in scope outside of a project, do sometihng like "cabal3 repl --build-depends=text" |
| 21:03:48 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:03:53 | <ADG1089__> | tomsmeding: The Vector thing actually made it more worse |
| 21:04:26 | <tomsmeding> | ADG1089__: what's the resulting code? |
| 21:04:34 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 21:05:45 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:303:be6a:2a48:3133) (Ping timeout: 246 seconds) |
| 21:08:26 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:58cb) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 21:09:39 | × | ixlun quits (~user@213.205.241.12) (Ping timeout: 260 seconds) |
| 21:09:54 | × | agander quits (~agander@193.46.28.55) (Remote host closed the connection) |
| 21:10:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 21:12:06 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 21:13:32 | → | knupfer joins (~Thunderbi@200116b82c486300d04365fffe8e0efb.dip.versatel-1u1.de) |
| 21:13:48 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 21:14:25 | × | knupfer quits (~Thunderbi@200116b82c486300d04365fffe8e0efb.dip.versatel-1u1.de) (Remote host closed the connection) |
| 21:14:26 | → | ransom joins (~c4264035@97.118.87.0) |
| 21:14:31 | <ADG1089__> | tomsmeding: https://paste.tomsmeding.com/wYscnaVA |
| 21:15:00 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 21:15:02 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-anorpmpasvncoxvb) (Quit: Connection closed for inactivity) |
| 21:15:02 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 21:16:01 | <ADG1089__> | ./bin/Problem516 1.37s user 0.03s system 100% cpu 1.397 total |
| 21:16:38 | <ADG1089__> | with Data.Map.Strict it's ./bin/Problem516 0.96s user 0.01s system 99% cpu 0.976 total |
| 21:17:28 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:17:37 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 21:18:03 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:329:3cb3:710a:cc61) |
| 21:20:18 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-nvhxtqplyxeozrfs) |
| 21:21:12 | <tomsmeding> | ADG1089__: what if you give floorKeysVal an additional argument, the "default zero result", which you return instead of 0 in the 'lo > hi' case? |
| 21:21:42 | <tomsmeding> | you pass 0 to that argument in the call in 'go', and you pass midVal to that argument in the recursive call in floorKeysVal |
| 21:21:50 | → | conal joins (~conal@64.71.133.70) |
| 21:21:51 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 21:21:57 | <tomsmeding> | that should make floorKeysVal tail-recursive, which should help (don't know how much) |
| 21:22:21 | <tomsmeding> | (right now it's not because the conditional 'if rightval == 0' still needs to run after the recursive call completes) |
| 21:23:54 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 21:24:03 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:58cb) |
| 21:24:41 | <Wezl> | I found the file with hardcoded /tmp was hugsdir/libraries/tools/make_buildsomething and edited it, here goes... |
| 21:25:27 | <tomsmeding> | Wezl: Godspeed! |
| 21:25:50 | <Wezl> | something was erroring in there, it might not be that simple... |
| 21:26:06 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 21:26:40 | → | matryoshka` joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 21:26:43 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer) |
| 21:26:56 | <ADG1089__> | tomsmeding: ./bin/Problem516 1.37s user 0.02s system 99% cpu 1.387 total . nvm I'll try to find some other way myself too. |
| 21:27:02 | <ADG1089__> | thanks for the help tho |
| 21:27:27 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 21:27:27 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:27:36 | <tomsmeding> | ADG1089__: lol bummer maybe ghc figured that out automatically already |
| 21:28:47 | <tomsmeding> | ADG1089__: random idea: Data.HashMap.Strict from unordered-containeres or Data.IntMap.Strict from containers |
| 21:28:55 | <tomsmeding> | *unordered-containers |
| 21:29:23 | <tomsmeding> | (oh the hashmap will obviously not work on a lookupLE, ignore that one) |
| 21:30:34 | × | carlomagno quits (~cararell@148.87.23.13) (Remote host closed the connection) |
| 21:32:28 | <Wezl> | looks like my errors were unrelated from what I did, here goes again... |
| 21:33:35 | <ADG1089__> | is -fllvm aleays helpful? |
| 21:33:56 | <sclv> | no |
| 21:34:00 | <sclv> | depends on the code |
| 21:35:21 | <Wezl> | there's an astonishing amount of errors from the cpp on haskell code |
| 21:36:17 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 21:36:20 | × | Deide quits (~Deide@217.155.19.23) (Read error: Connection reset by peer) |
| 21:37:09 | → | Deide joins (~Deide@217.155.19.23) |
| 21:39:50 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 21:40:34 | × | ransom quits (~c4264035@97.118.87.0) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:41:02 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 21:44:18 | → | carlomagno joins (~cararell@148.87.23.13) |
| 21:46:17 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Ping timeout: 265 seconds) |
| 21:47:32 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 21:50:48 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:58cb) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 21:52:37 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 21:55:13 | → | son0p joins (~son0p@181.136.122.143) |
| 21:55:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 21:57:14 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 21:57:39 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 21:58:53 | → | gitgoood joins (~gitgood@82-132-219-92.dab.02.net) |
| 21:58:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 21:59:14 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:01:42 | × | gitgood quits (~gitgood@82-132-218-124.dab.02.net) (Read error: Connection reset by peer) |
| 22:03:34 | → | malumore joins (~malumore@151.62.119.233) |
| 22:05:11 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 22:06:36 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:07:28 | → | f-a joins (~f-a@151.34.134.235) |
| 22:08:35 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:09:32 | <f-a> | I am getting this «could not resolve dependencies» error while `cabal install`ing a package http://paste.debian.net/hidden/cd2a222a/ but when I `cabal get` and then `cabal build` it everything is ok |
| 22:09:36 | <f-a> | what is happening? |
| 22:10:04 | <f-a> | I see his selecting/rejecting ghcs but I do not understand why |
| 22:10:17 | <f-a> | s/his/caba is |
| 22:10:28 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 276 seconds) |
| 22:10:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:11:05 | <f-a> | ghc 8.8.3, cabal-install 3.0.0.0 |
| 22:12:35 | × | andrybak quits (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) (Ping timeout: 258 seconds) |
| 22:13:23 | × | son0p quits (~son0p@181.136.122.143) (Ping timeout: 245 seconds) |
| 22:15:19 | → | son0p joins (~son0p@181.136.122.143) |
| 22:16:37 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 22:16:53 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-jycqcvdxtuypsqup) (Quit: Connection closed for inactivity) |
| 22:17:01 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 22:20:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 22:21:25 | × | ADG1089__ quits (~aditya@171.79.107.148) (Remote host closed the connection) |
| 22:22:17 | → | ADG1089_ joins (~adg1089@171.76.153.167) |
| 22:22:17 | × | ADG1089_ quits (~adg1089@171.76.153.167) (Read error: Connection reset by peer) |
| 22:22:36 | → | ADG1089_ joins (~adg1089@171.79.107.148) |
| 22:24:15 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 240 seconds) |
| 22:24:43 | → | andrybak joins (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) |
| 22:24:53 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 22:26:15 | × | matryoshka` quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 240 seconds) |
| 22:27:25 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:28:40 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 276 seconds) |
| 22:30:13 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 22:31:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:32:27 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 22:32:32 | → | Feuermagier_ joins (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 22:33:24 | × | Feuermagier_ quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Client Quit) |
| 22:39:08 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 22:44:15 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 22:46:39 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 22:49:48 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:7046:f547:40a8:c4a8) |
| 22:49:59 | → | curiousgay joins (~gay@178.217.208.8) |
| 22:50:21 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 22:51:17 | → | conal joins (~conal@64.71.133.70) |
| 22:51:43 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 22:52:51 | × | fendor quits (~fendor@77.119.128.153.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:53:17 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:329:3cb3:710a:cc61) (Ping timeout: 272 seconds) |
| 22:54:04 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 22:54:39 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 22:57:46 | → | stree joins (~stree@68.36.8.116) |
| 22:58:14 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 23:03:02 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-fmtgknnmutdddngm) (Quit: Connection closed for inactivity) |
| 23:03:03 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 23:03:24 | × | Guest84398 quits (~textual@zrcout.mskcc.org) (Ping timeout: 245 seconds) |
| 23:04:48 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:7567:78fd:eb88:4bdf) |
| 23:05:35 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 23:05:41 | × | kuribas quits (~user@ptr-25vy0i8rv5mx3gpgnrc.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 23:05:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 23:09:39 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:8dfa:c309:9698:bf3a) (Ping timeout: 246 seconds) |
| 23:10:23 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:7567:78fd:eb88:4bdf) (Ping timeout: 272 seconds) |
| 23:11:55 | → | hiroaki joins (~hiroaki@77.22.211.46) |
| 23:13:56 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Remote host closed the connection) |
| 23:14:10 | → | conal joins (~conal@64.71.133.70) |
| 23:14:16 | → | hiroaki1 joins (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 23:15:32 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) |
| 23:16:51 | × | Wezl quits (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer) |
| 23:16:57 | → | u0_a61 joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 23:17:09 | u0_a61 | is now known as Wezl |
| 23:17:24 | × | hiroaki quits (~hiroaki@77.22.211.46) (Ping timeout: 260 seconds) |
| 23:17:53 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 23:18:07 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 23:19:50 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 23:19:56 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 23:21:19 | × | ADG1089_ quits (~adg1089@171.79.107.148) (Ping timeout: 245 seconds) |
| 23:21:28 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 23:22:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 23:22:59 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 23:23:32 | <viluon> | hi, possibly stupid, beginner question: I'm building `concat` with `stack` and it crashes when compiling `concat-inline`, apparently GHC tries to parse a comment as Haddock docs? https://paste.tomsmeding.com/3wfD3cCh |
| 23:23:45 | → | Sonderblade joins (~helloman@94.191.136.7.mobile.tre.se) |
| 23:24:56 | <glguy> | viluon: see if you can tell stack not to build documentation |
| 23:25:37 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 23:26:14 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:952:f273:f81f:c354) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:26:23 | → | conal joins (~conal@64.71.133.70) |
| 23:26:38 | <viluon> | glguy: thanks! umm, any clues on how to do that? |
| 23:26:51 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Quit: WeeChat 1.9.1) |
| 23:26:57 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 23:27:08 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 23:27:10 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) (Remote host closed the connection) |
| 23:27:25 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 23:27:45 | → | crobbins joins (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) |
| 23:27:51 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 246 seconds) |
| 23:28:07 | × | andrybak quits (~andrybak@2001:a61:245b:4401:6893:7a82:3e23:36db) (Quit: I have to go now) |
| 23:28:21 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 23:29:02 | → | Alleria joins (~textual@2603-7000-3040-0000-ec87-4b0b-f3fa-d9f1.res6.spectrum.com) |
| 23:29:26 | Alleria | is now known as Guest31857 |
| 23:30:24 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 23:30:33 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 23:30:49 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:99d4:71ce:bdb7:2c7e) |
| 23:31:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d4ed:e115:3f6b:8005) |
| 23:31:18 | × | Wezl quits (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) (Read error: Connection reset by peer) |
| 23:31:43 | → | Wezl joins (~u0_a61@2601:14b:4400:8850:20c6:4fff:fe76:8f44) |
| 23:32:26 | × | crobbins quits (~crobbins@2600:1700:48eb:8490:a9f2:bb00:baa5:51b1) (Ping timeout: 264 seconds) |
| 23:32:49 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 23:33:08 | <nshepperd> | ooh, cabal-env looks similar to my cabbage, interesting |
| 23:33:42 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 23:35:09 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 23:35:41 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 23:36:06 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 23:39:13 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 23:42:09 | × | malumore quits (~malumore@151.62.119.233) (Ping timeout: 245 seconds) |
| 23:43:49 | × | MarcelineVQ quits (~anja@198.254.199.42) (Ping timeout: 245 seconds) |
| 23:45:13 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:99d4:71ce:bdb7:2c7e) (Ping timeout: 272 seconds) |
| 23:45:24 | <nshepperd> | seems to have saner handling of local packages |
| 23:45:28 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:46:25 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:58cb) |
| 23:51:38 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 264 seconds) |
| 23:52:10 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 23:52:13 | × | gitgoood quits (~gitgood@82-132-219-92.dab.02.net) (Read error: Connection reset by peer) |
| 23:52:50 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 23:53:02 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:388b:b0a5:f74:a953) |
| 23:53:10 | → | MarcelineVQ joins (~anja@198.254.199.42) |
| 23:53:32 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 23:55:18 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 23:55:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d4ed:e115:3f6b:8005) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:58:00 | → | melaon joins (bd05b32e@189.5.179.46) |
| 23:59:31 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:963:1212:101a:2e38) |
All times are in UTC on 2021-03-05.