Logs on 2020-11-08 (freenode/#haskell)
| 00:00:02 | × | jtk quits (~jtk@154.13.1.56) () |
| 00:00:47 | <sm[m]> | bqv: agreed |
| 00:01:21 | <sm[m]> | I mean, the fact that both are required is tedious |
| 00:02:08 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:04:42 | <daydaynatation> | Tattletale: thx |
| 00:05:00 | <Tattletale> | np |
| 00:05:41 | <daydaynatation> | Tattletale: Did you mean you runghc the file with no problem? |
| 00:05:47 | <Tattletale> | That's correct |
| 00:06:04 | <Tattletale> | My guess is that there's something else with your project that is causing the problem |
| 00:06:20 | <Tattletale> | Note that while I can compile and run the program, it doesn't actually print anything |
| 00:06:24 | <daydaynatation> | Are you on a mac machine? |
| 00:06:28 | <Tattletale> | No, Windows |
| 00:06:34 | <daydaynatation> | wsl? |
| 00:06:41 | <Tattletale> | No WSL |
| 00:06:55 | <daydaynatation> | I can also compile without problem |
| 00:07:10 | <Tattletale> | I used this version of inline-c-cpp: 0.4.0.2 |
| 00:07:37 | <daydaynatation> | me too |
| 00:07:40 | <Tattletale> | What was the problem you were experiencing daydaynatation? |
| 00:08:26 | <daydaynatation> | I can ghc myfile, to produce an executable. But I'd like simply use runghc on my file |
| 00:08:30 | <daydaynatation> | without compiling it first |
| 00:08:35 | <Tattletale> | Oh |
| 00:08:40 | <Tattletale> | I was using stack build |
| 00:09:00 | <Tattletale> | So runghc was complaining about main? |
| 00:09:25 | <daydaynatation> | inline-c-cpp:0:62: error: |
| 00:09:25 | <daydaynatation> | |
| 00:09:37 | <daydaynatation> | • Variable not in scope: main :: IO a0 |
| 00:10:29 | <xsperry> | runghc needs main as well |
| 00:11:04 | <daydaynatation> | I have a main |
| 00:11:19 | <Tattletale> | Here's the pastebin daydaynatation posted earlier: https://pastebin.com/CkXuRvK4 |
| 00:14:20 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 00:15:05 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 00:15:17 | → | merkum joins (4a8dace1@cpe-74-141-172-225.kya.res.rr.com) |
| 00:16:20 | → | conal joins (~conal@64.71.133.70) |
| 00:16:28 | × | merkum quits (4a8dace1@cpe-74-141-172-225.kya.res.rr.com) (Remote host closed the connection) |
| 00:20:07 | × | Tattletale quits (~Tattletal@unaffiliated/sundancertp) (Quit: rcirc on GNU Emacs 27.1) |
| 00:22:05 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:22:29 | → | irc_user joins (uid423822@gateway/web/irccloud.com/x-slumwyhvoxvagmka) |
| 00:23:01 | × | _ashbreeze_ quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds) |
| 00:23:14 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:23:30 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 00:23:59 | × | machinedgod quits (~machinedg@207.253.244.210) (Quit: leaving) |
| 00:24:19 | → | jedws joins (~jedws@101.184.150.81) |
| 00:24:28 | × | falafel quits (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Remote host closed the connection) |
| 00:25:03 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 00:25:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 00:26:15 | × | machinedgod quits (~machinedg@207.253.244.210) (Client Quit) |
| 00:26:23 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 00:26:35 | × | LKoen_ quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 00:29:20 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 00:29:28 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:30:12 | → | christo joins (~chris@81.96.113.213) |
| 00:44:09 | → | _ashbreeze_ joins (~mark@72-161-252-32.dyn.centurytel.net) |
| 00:44:46 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 00:45:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 00:46:13 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 00:46:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 00:46:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 00:48:04 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 00:48:04 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 00:49:01 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 00:50:40 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 00:52:09 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 00:56:26 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 00:56:30 | → | conal joins (~conal@64.71.133.70) |
| 00:56:30 | → | cmeiklejohn1 joins (~cmeiklejo@84.39.117.57) |
| 00:56:53 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 00:59:27 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds) |
| 00:59:31 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 00:59:42 | × | Tops2 quits (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) (Quit: Leaving.) |
| 00:59:49 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 256 seconds) |
| 01:00:13 | × | _ashbreeze_ quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 264 seconds) |
| 01:00:14 | → | Tops2 joins (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) |
| 01:00:46 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 01:00:52 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 01:00:56 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 01:01:25 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 01:04:08 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 01:04:17 | → | Tario joins (~Tario@201.192.165.173) |
| 01:07:07 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 01:07:20 | × | Rudd0^ quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 01:08:05 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 240 seconds) |
| 01:08:57 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 01:09:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:11:10 | → | jcowan joins (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) |
| 01:12:07 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 01:12:16 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit) |
| 01:12:45 | <jcowan> | I would like some help seeing if I correctly understand multiple-parameter type classes. |
| 01:13:08 | <jcowan> | Suppose I have a class Thing instantiated by two types Thing1 and Thing2. |
| 01:14:07 | <jcowan> | Thing is a commutative group (though I don't need to formalize this) whose operation is *. |
| 01:14:46 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:15:02 | <jcowan> | Now it is the case that if you multiply a Thing1 by a Thing1, you get a Thing1, and ditto for Thing2. But if you multiply a Thing1 by a Thing2, you get a Thing1 or a Thing2, depending on the particular objects you are multiplying. |
| 01:15:34 | <jcowan> | Is Thing a multi-parameter type class? |
| 01:19:15 | → | jedws joins (~jedws@101.184.150.81) |
| 01:19:31 | <davean> | No, thats not a type class. Because you need to know what you get back. You could return Either Thing1 Things2 but not Thing1 or Thing2 without it being type level computed |
| 01:20:15 | <koz_> | You could do it with an associated type I think? |
| 01:20:33 | <davean> | koz_: not if he can't compute which he gets back at the type level. |
| 01:20:38 | <koz_> | (but that's outside the scope of MPTCs) |
| 01:20:46 | <koz_> | Ah, I see. |
| 01:21:03 | <koz_> | Yeah, reading again carefully, that sounds like something needing dependent types, if the result type depends on a value. |
| 01:21:09 | <davean> | Right |
| 01:21:11 | <koz_> | However, the `Either` option is a good one. |
| 01:21:32 | <davean> | Now I think he's conceptualizing it wrong probably given the other things he said, but who knows. Thats a judgement call! |
| 01:21:51 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 01:21:52 | <davean> | I'm putting medium money on an X-Y problem |
| 01:25:05 | × | Tops2 quits (~Tobias@dyndsl-095-033-016-160.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 01:26:40 | → | Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 01:27:25 | × | Lord_of_Life_ quits (~Lord@46.217.216.42) (Ping timeout: 240 seconds) |
| 01:27:53 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:28:50 | → | _ashbreeze_ joins (~mark@72-161-252-32.dyn.centurytel.net) |
| 01:29:19 | → | Lord_of_Life joins (~Lord@46.217.216.108) |
| 01:30:59 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 01:31:13 | → | jedws joins (~jedws@101.184.150.81) |
| 01:31:25 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 264 seconds) |
| 01:32:47 | → | s00pcan joins (~chris@107.181.165.217) |
| 01:35:48 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 01:36:05 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 240 seconds) |
| 01:37:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:41:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 01:42:29 | <jcowan> | davean: So you can't just define the * method as of type Thing -> Thing -> Thing? |
| 01:43:22 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 01:43:23 | <koz_> | If I wanna do web scraping (or rather, tear apart HTML for pieces), what would you suggest I use? |
| 01:43:55 | <koz_> | jcowan: Earlier, you said 'Thing' was a type class, not a type. |
| 01:43:57 | <koz_> | Which is it? |
| 01:44:44 | <MarcelineVQ> | koz_: tagsoup or taggy prob |
| 01:45:23 | <davean> | jcowan: Sure, you can do it as Thing -> Thing -> Thing - but only if Thing is a type, as a type class its a *property* |
| 01:45:24 | <koz_> | MarcelineVQ: Thanks! |
| 01:45:34 | jcowan | nods |
| 01:45:43 | <jcowan> | Eventually this will sink into my brain, I hope, but it hasn't happened yet. |
| 01:45:48 | <davean> | jcowan: so you have to do it as "(Thing a, Thing b, Thing c) => a -> b -> c" |
| 01:45:57 | <davean> | but then you'd have to be able to return *any* c |
| 01:46:02 | <davean> | but you can't return any c |
| 01:46:14 | <davean> | you have to return the right c given a and b |
| 01:46:30 | <jcowan> | I know that typeclasses are *for* ad hoc polymorphism, but not how they actually work. |
| 01:46:34 | <davean> | if you COULD return any c, that would work - thats valid for some type classes |
| 01:46:46 | <jcowan> | As for example? |
| 01:47:03 | <davean> | well, for example we can make a IntergerIshMultuplication class |
| 01:47:36 | <davean> | and if it has fromInteger and toInteger available we can multiple them together (as Integers) and convert them back out to an c of that class |
| 01:48:00 | <davean> | Integeral a => IntegerMultiplication a |
| 01:48:18 | <davean> | (IntegerMultiplication a, IntegerMultiplication b, IntegerMultiplication c) => a -> b -> c |
| 01:48:39 | <davean> | integerMultiplicate a b = fromInteger $ toInteger a * toInteger b |
| 01:48:44 | <davean> | good idea? Probably not. |
| 01:48:48 | <davean> | but it serves as an example. |
| 01:49:36 | → | Tsu joins (~Tsu@176.78.119.52) |
| 01:49:55 | ← | Tsu parts (~Tsu@176.78.119.52) () |
| 01:50:18 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-105-24.w86-212.abo.wanadoo.fr) |
| 01:51:27 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 01:51:49 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-156-243.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 01:53:06 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 01:55:00 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 01:56:46 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 01:59:08 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 02:01:04 | <koz_> | What's the recommended library to use if you want an HTTP _client_, for pulling HTML off a website? |
| 02:02:46 | <davean> | koz_: I certainly won't recomend it, but a lot of people like wreq |
| 02:02:50 | <koz_> | dave |
| 02:02:59 | <koz_> | davean: What would _you_ recommend then? |
| 02:03:23 | <davean> | Nothing in Haskell. Like its hard to even hook DNS to avoid rebind attacks. |
| 02:03:38 | <koz_> | So like, you suggest rolling your own? |
| 02:03:50 | <davean> | All I see is deficiencies and the ability to do specific types of HTTP client tasks with them. |
| 02:03:51 | <koz_> | Or like, borrowing curl or something? |
| 02:03:56 | <davean> | I'd suggest considering what youre needs are |
| 02:04:01 | <davean> | O |
| 02:04:12 | <koz_> | My needs are 'I need to pull HTML off a website, which has HTTPS'. |
| 02:04:27 | <davean> | I'm guessing I'd recomend wreq for your task, but there is *not* HTTP client I think in Haskell good enough to actually recomend without understanding your problem |
| 02:04:27 | <koz_> | Streaming would be nice, but isn't strictly required. |
| 02:04:30 | <MarcelineVQ> | I like req, which is different from wreq |
| 02:05:13 | <davean> | koz_: That doesn't answer things like "are DNS rebinding attacks a problem for you?" |
| 02:05:22 | <koz_> | davean: What are DNS rebinding attacks? |
| 02:05:31 | <koz_> | I've never heard of them. |
| 02:05:47 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 02:05:49 | <MarcelineVQ> | http-conduit is backed by conduit, re: streaming |
| 02:06:01 | × | puffnfresh quits (~puffnfres@180-150-38-83.b49626.bne.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 02:06:12 | <davean> | koz_: They're a common time-of-check-to-time-of-use based attack against HTTP clients |
| 02:06:16 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 02:06:31 | <davean> | koz_: they work by returning different IPs for a DNS request based on the count of requests from the IP requesting resolution |
| 02:06:50 | <davean> | koz_: for example, causing you to request one of AWS's internal IPs and thus charge your account. |
| 02:06:59 | <davean> | instead of what it looked like when you checked it |
| 02:07:28 | <davean> | Its a very common threat against HTTP clients, and hence why I picked it as an example of Haskell HTTP client deficiencies |
| 02:07:44 | <jcowan> | davean: I'll study your example when I am less addled. |
| 02:07:52 | <koz_> | The thing is, all I know is that I'll need to scrape data off of pages, on the web, at fixed addresses. |
| 02:08:02 | <koz_> | It's basically 'I need data to feed to my scraper'. |
| 02:08:30 | <davean> | koz_: right, and if one of those happens to return a redirect, that ends up charging you money, are you happy? |
| 02:08:51 | <davean> | If you trust the upstream *also* that changes things for example |
| 02:08:57 | <koz_> | I trust the upstream in this case. |
| 02:08:59 | <davean> | if you think the upstream is hostile, thats an entirely diferent problem. |
| 02:09:08 | <koz_> | The upstream is definitely not hostile. |
| 02:09:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 02:10:05 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 02:11:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:11:36 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 02:11:36 | <koz_> | And I _guess_ that I wouldn't be happy given your example (the redirect charging me money), however, I consider that highly unlikely. |
| 02:11:45 | <koz_> | (as in 'hell would freeze over first') |
| 02:14:39 | blissful | is now known as coomsayer |
| 02:15:00 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:15:09 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 02:15:18 | coomsayer | is now known as blissful |
| 02:19:00 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 02:20:42 | → | olligobber joins (~olligobbe@unaffiliated/olligobber) |
| 02:20:54 | → | Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 02:24:02 | → | christo joins (~chris@81.96.113.213) |
| 02:24:06 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 02:27:30 | → | opticblast joins (~june@075-128-229-153.res.spectrum.com) |
| 02:29:05 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-wmifpqpkrhoujhbk) |
| 02:29:18 | → | christo joins (~chris@81.96.113.213) |
| 02:31:18 | × | m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds) |
| 02:31:22 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 02:33:41 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 02:35:12 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 02:37:56 | <opticblast> | Is there a good way to split a bytestream `n` bytes from its end? |
| 02:38:46 | <opticblast> | I'm thinking something with the type signature `Int -> Stream (Of ByteString) m () -> Stream (Of ByteString) m ByteString`. |
| 02:40:36 | × | tomku quits (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 02:40:42 | <koz_> | opticblast: What if said stream is infinite? Or 50 gigs big? |
| 02:41:05 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 240 seconds) |
| 02:41:43 | <koz_> | s/50/500/ |
| 02:42:23 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds) |
| 02:43:16 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 02:43:39 | <opticblast> | Why should an infinite stream pose a problem? It should be possible to determine the next step of the resulting stream in bounded time (O(n)?) |
| 02:44:08 | <koz_> | opticblast: You said 'n bytes from its end'. |
| 02:44:16 | <koz_> | How do you determine where its end is? |
| 02:44:34 | <opticblast> | The naive solution would be to, at each step, ask whether the stream has `n` bytes left |
| 02:44:41 | <koz_> | Sure, and what if that never happens? |
| 02:44:58 | <opticblast> | Then the return value of the stream will never be requested, so it doesn't matter |
| 02:45:53 | <koz_> | Well, you could keep taking chunks of n, then feeding them back in as you go I guess? |
| 02:46:07 | <koz_> | You'd need 2n lookahead but that's OK. |
| 02:46:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 02:46:39 | <koz_> | Try writing this using 'take' - I think that's the primitive you want. |
| 02:48:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 02:49:41 | <opticblast> | Wouldn't that have the problem of redoing part of the stream, I think? But `splitAt` works instead |
| 02:49:58 | <koz_> | Yeah, splitAt would be better. |
| 02:50:43 | <opticblast> | Thanks. |
| 02:51:31 | × | opticblast quits (~june@075-128-229-153.res.spectrum.com) (Quit: leaving) |
| 02:51:50 | × | xff0x quits (~fox@2001:1a81:52a6:6c00:4a69:14bb:4df0:c5bd) (Ping timeout: 244 seconds) |
| 02:53:09 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 02:53:57 | → | xff0x joins (~fox@2001:1a81:52da:100:71ff:17f4:8c8e:497) |
| 03:00:02 | × | cmeiklejohn1 quits (~cmeiklejo@84.39.117.57) () |
| 03:02:34 | × | Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 03:05:24 | lagothrix | is now known as Guest95064 |
| 03:05:24 | × | Guest95064 quits (~lagothrix@unaffiliated/lagothrix) (Killed (rothfuss.freenode.net (Nickname regained by services))) |
| 03:05:32 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 03:06:32 | × | theDon quits (~td@94.134.91.70) (Ping timeout: 258 seconds) |
| 03:08:24 | → | theDon joins (~td@muedsl-82-207-238-009.citykom.de) |
| 03:12:52 | ← | jcowan parts (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) () |
| 03:14:12 | × | Lycurgus quits (~niemand@98.4.97.110) (Ping timeout: 258 seconds) |
| 03:17:28 | <xsperry> | is there something like "aListOfValidPathCharacters" in System.FilePath or System.Directory? |
| 03:18:15 | → | elliott_ joins (~elliott_@170.121.246.50) |
| 03:18:45 | × | elliott_ quits (~elliott_@170.121.246.50) (Read error: Connection reset by peer) |
| 03:22:03 | → | Jarsto1 joins (~Jarsto@185.204.1.185) |
| 03:24:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 03:31:12 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 03:34:48 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:36:11 | × | esph quits (~weechat@unaffiliated/esph) (Quit: WeeChat 2.9) |
| 03:37:20 | → | esph joins (~weechat@unaffiliated/esph) |
| 03:37:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:37:23 | × | coeus quits (~coeus@p200300d027141600339fa72fa0100e7e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 03:37:27 | × | esph quits (~weechat@unaffiliated/esph) (Client Quit) |
| 03:38:45 | → | esph joins (~weechat@unaffiliated/esph) |
| 03:41:51 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 03:44:05 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds) |
| 03:44:16 | × | andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection) |
| 03:50:51 | → | andi- joins (~andi-@NixOS/user/andi-) |
| 03:53:14 | → | coeus joins (~coeus@p200300d0273fc6004bc0c1d283592f2f.dip0.t-ipconnect.de) |
| 03:53:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-107-146.w86-212.abo.wanadoo.fr) |
| 03:54:54 | → | drbean joins (~drbean@TC210-63-209-19.static.apol.com.tw) |
| 03:55:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 03:55:25 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-105-24.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 03:56:07 | → | kish joins (~oracle@unaffiliated/oracle) |
| 03:57:08 | × | esph quits (~weechat@unaffiliated/esph) (Quit: WeeChat 2.9) |
| 03:57:28 | → | esph joins (~weechat@unaffiliated/esph) |
| 04:01:02 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 272 seconds) |
| 04:01:25 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 04:01:56 | → | jrqc joins (~rofl@96.78.87.197) |
| 04:03:34 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 04:05:01 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 04:07:07 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 04:07:39 | × | HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving) |
| 04:14:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 04:18:07 | × | shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 244 seconds) |
| 04:20:30 | → | shailangsa joins (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) |
| 04:22:39 | → | leungbk joins (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) |
| 04:23:20 | × | leungbk quits (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) (Remote host closed the connection) |
| 04:23:40 | → | leungbk joins (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) |
| 04:23:46 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 04:25:50 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 04:26:24 | → | pthariensflame joins (~pthariens@2600:6c52:7280:100:549f:b99f:b44f:906e) |
| 04:26:35 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 04:26:39 | × | pthariensflame quits (~pthariens@2600:6c52:7280:100:549f:b99f:b44f:906e) (Client Quit) |
| 04:29:21 | × | leungbk quits (~user@2605:e000:1315:706:4e14:d13a:1c2e:334c) (Remote host closed the connection) |
| 04:29:25 | × | shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Ping timeout: 240 seconds) |
| 04:29:31 | → | leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com) |
| 04:29:55 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-wmifpqpkrhoujhbk) () |
| 04:30:18 | → | leungbk` joins (~user@2605:e000:1315:706:2c8d:aa4e:f33b:48e6) |
| 04:30:35 | → | shailangsa joins (~shailangs@host86-185-102-101.range86-185.btcentralplus.com) |
| 04:30:57 | × | mmohammadi9812 quits (~mmohammad@5.238.175.25) (Quit: Quit) |
| 04:31:53 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 04:32:08 | × | irc_user quits (uid423822@gateway/web/irccloud.com/x-slumwyhvoxvagmka) (Quit: Connection closed for inactivity) |
| 04:33:16 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 04:34:57 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 04:37:00 | hackage | pandoc 2.11.1.1 - Conversion between markup formats https://hackage.haskell.org/package/pandoc-2.11.1.1 (JohnMacFarlane) |
| 04:38:25 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 04:39:01 | hackage | json-to-haskell 0.1.0.0 - https://hackage.haskell.org/package/json-to-haskell-0.1.0.0 (ChrisPenner) |
| 04:45:53 | → | da39a3ee5e6b4b0d joins (~textual@cm-171-98-71-90.revip7.asianet.co.th) |
| 04:48:05 | × | texasmynsted quits (~texasmyns@64.44.55.108) (Ping timeout: 244 seconds) |
| 04:48:07 | × | leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 04:48:13 | × | leungbk` quits (~user@2605:e000:1315:706:2c8d:aa4e:f33b:48e6) (Remote host closed the connection) |
| 04:48:21 | → | leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com) |
| 04:50:59 | × | softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Remote host closed the connection) |
| 04:52:28 | → | x86-64 joins (47e7b36d@c-71-231-179-109.hsd1.wa.comcast.net) |
| 04:52:31 | ← | x86-64 parts (47e7b36d@c-71-231-179-109.hsd1.wa.comcast.net) () |
| 04:53:26 | → | coot_ joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 04:55:25 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 04:55:25 | coot_ | is now known as coot |
| 04:59:37 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 05:00:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:00:53 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 05:02:41 | × | leungbk quits (~user@cpe-104-33-52-83.socal.res.rr.com) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 05:03:55 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:04:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 05:07:29 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 05:09:25 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 05:10:19 | CodeAlways | is now known as bidabong |
| 05:11:11 | → | zaquest joins (~notzaques@5.128.210.178) |
| 05:14:23 | × | borne quits (~fritjof@200116b864092f009eed9778381c1dff.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 05:15:23 | <hololeap> | xsperry: no, but you can write something that does that pretty easily. it's just filtering from `listDirectory` |
| 05:15:55 | → | borne joins (~fritjof@200116b8646ea500248f34e580571faa.dip.versatel-1u1.de) |
| 05:16:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:17:27 | <hololeap> | assuming that you're looking for files/directories that are filtered using "aListOfValidPathCharacters" |
| 05:17:27 | × | Jarsto1 quits (~Jarsto@185.204.1.185) (Remote host closed the connection) |
| 05:20:00 | <xsperry> | I want a list of characters that can't be used in a filename, taking current OS/filesystem into account (or a common subset that works on most commonly used OSes and fss) |
| 05:23:12 | <koz_> | Doesn't this depend on OS settings in some cases? |
| 05:23:17 | <koz_> | (i.e. it'd have to be IO) |
| 05:32:19 | → | gatox joins (~gatox@154.13.1.56) |
| 05:33:10 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 05:33:23 | → | rprije joins (~rprije@124.148.131.132) |
| 05:36:57 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 05:37:07 | → | day_ joins (~Unknown@unaffiliated/day) |
| 05:37:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:40:28 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds) |
| 05:40:28 | day_ | is now known as day |
| 05:41:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 05:42:45 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 05:43:55 | → | pfurla joins (~pfurla@185.108.105.122) |
| 05:46:26 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:51:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 05:51:05 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 05:51:45 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 05:52:09 | × | tomku quits (~tomku@unaffiliated/tomku) (Remote host closed the connection) |
| 05:53:20 | × | scasc quits (~szabi@213142096120.public.telering.at) (Remote host closed the connection) |
| 05:53:39 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 05:54:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 05:54:45 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.102) (Ping timeout: 265 seconds) |
| 05:54:46 | → | tomku joins (~tomku@unaffiliated/tomku) |
| 05:56:01 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 05:56:38 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 05:57:21 | → | Tario joins (~Tario@201.192.165.173) |
| 05:57:23 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 05:57:46 | → | alp joins (~alp@2a01:e0a:58b:4920:3858:ae3e:fe9a:1530) |
| 05:59:56 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 06:00:01 | × | gatox quits (~gatox@154.13.1.56) () |
| 06:00:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 06:00:46 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 06:00:56 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 06:13:06 | → | falafel joins (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) |
| 06:14:50 | × | Benett quits (~Benett@unaffiliated/benett) (Quit: ) |
| 06:18:53 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 06:20:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 06:20:48 | → | Benett joins (~Benett@unaffiliated/benett) |
| 06:29:18 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Remote host closed the connection) |
| 06:29:43 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 06:41:40 | <hololeap> | xsperry: checking the FS type is the main hurdle here. i don't know of a library for this. other than that, there's the `filepath` module which abstracts over Windows/Posix paths |
| 06:42:33 | <hololeap> | (checking the FS and having a table of valid characters for each one that's supported) |
| 06:42:53 | → | Sanchayan joins (~Sanchayan@223.226.118.59) |
| 06:43:41 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 06:46:31 | → | revtintin joins (~revtintin@42.61.242.247) |
| 06:47:32 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 06:47:49 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 06:47:56 | → | christo joins (~chris@81.96.113.213) |
| 06:48:20 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 06:48:41 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 06:49:08 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 06:49:24 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 06:49:55 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 06:50:14 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 06:50:43 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 06:51:37 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 06:52:20 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 06:52:23 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 06:52:38 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 06:52:58 | × | Sanchayan quits (~Sanchayan@223.226.118.59) (Quit: leaving) |
| 06:54:57 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 06:55:11 | × | borne quits (~fritjof@200116b8646ea500248f34e580571faa.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 06:56:28 | → | paulk-collins joins (~paulk-col@178.162.209.171) |
| 06:58:14 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 07:01:05 | × | grimgnr quits (~user@94.19.246.43) (Ping timeout: 240 seconds) |
| 07:02:33 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 07:03:26 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds) |
| 07:03:57 | × | alp quits (~alp@2a01:e0a:58b:4920:3858:ae3e:fe9a:1530) (Ping timeout: 272 seconds) |
| 07:05:26 | × | falafel quits (~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds) |
| 07:07:40 | × | da39a3ee5e6b4b0d quits (~textual@cm-171-98-71-90.revip7.asianet.co.th) (Ping timeout: 260 seconds) |
| 07:08:10 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 07:09:51 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 256 seconds) |
| 07:11:26 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 07:12:25 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 07:15:38 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 07:15:43 | → | borne joins (~fritjof@200116b8646ea5009eed9778381c1dff.dip.versatel-1u1.de) |
| 07:18:02 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 07:18:51 | → | ratxue joins (~chatzilla@host-92-26-29-55.as13285.net) |
| 07:20:17 | → | alp joins (~alp@2a01:e0a:58b:4920:75e3:d89f:787d:6538) |
| 07:22:40 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 07:22:46 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:24:13 | × | borne quits (~fritjof@200116b8646ea5009eed9778381c1dff.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 07:27:58 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 07:30:49 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 256 seconds) |
| 07:31:28 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 07:32:34 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds) |
| 07:34:38 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 07:36:15 | × | alp quits (~alp@2a01:e0a:58b:4920:75e3:d89f:787d:6538) (Ping timeout: 272 seconds) |
| 07:37:52 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 07:38:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:40:47 | × | xwvvvvwx quits (~xwvvvvwx@45.129.56.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:42:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 07:42:32 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds) |
| 07:47:46 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 07:49:31 | × | elisper quits (uid468625@gateway/web/irccloud.com/x-lcpclsygyloudukt) (Quit: Connection closed for inactivity) |
| 07:52:50 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds) |
| 07:53:24 | × | ratxue quits (~chatzilla@host-92-26-29-55.as13285.net) (Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]) |
| 08:00:57 | × | scasc quits (~szabi@213142096120.public.telering.at) (Remote host closed the connection) |
| 08:01:20 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 08:02:23 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 08:09:40 | × | jneira quits (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 246 seconds) |
| 08:13:47 | → | alp joins (~alp@2a01:e0a:58b:4920:117:2f04:6037:4aa2) |
| 08:14:11 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 08:17:12 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 08:17:42 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 08:22:11 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 08:25:08 | → | Saukk joins (~Saukk@85-156-19-45.elisa-laajakaista.fi) |
| 08:25:46 | × | jdt quits (~jdt@208.85.233.130) (Ping timeout: 272 seconds) |
| 08:26:00 | → | jdt joins (~jdt@208.85.233.130) |
| 08:26:17 | × | solonarv quits (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 08:26:18 | → | christo joins (~chris@81.96.113.213) |
| 08:30:37 | → | knupfer joins (~Thunderbi@200116b82ca87300886ecdfffe596602.dip.versatel-1u1.de) |
| 08:30:39 | × | knupfer quits (~Thunderbi@200116b82ca87300886ecdfffe596602.dip.versatel-1u1.de) (Client Quit) |
| 08:30:40 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 246 seconds) |
| 08:30:54 | → | knupfer joins (~Thunderbi@mue-88-130-61-023.dsl.tropolys.de) |
| 08:32:04 | → | AceNovo joins (~chris@184.101.220.149) |
| 08:35:02 | × | AceNovo quits (~chris@184.101.220.149) (Client Quit) |
| 08:35:28 | → | AceNovo joins (~chris@184.101.220.149) |
| 08:36:24 | × | gluegadget quits (sid22336@gateway/web/irccloud.com/x-buopqakexwxxadjm) (Ping timeout: 240 seconds) |
| 08:36:24 | × | heyj quits (sid171370@gateway/web/irccloud.com/x-yspozlqxggxsaoub) (Ping timeout: 240 seconds) |
| 08:36:24 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-sjfdetpracswwaxn) (Ping timeout: 240 seconds) |
| 08:36:24 | × | simony quits (sid226116@gateway/web/irccloud.com/x-oxjsxgaxlozpcnzr) (Ping timeout: 240 seconds) |
| 08:36:38 | × | dmj` quits (sid72307@gateway/web/irccloud.com/x-qjtomvtmbolmvzoh) (Ping timeout: 264 seconds) |
| 08:36:38 | × | kristjansson quits (sid126207@gateway/web/irccloud.com/x-wreqehnlduflmpbh) (Ping timeout: 264 seconds) |
| 08:36:44 | × | systemfault quits (sid267009@gateway/web/irccloud.com/x-juyqqmfstcqekvbi) (Ping timeout: 240 seconds) |
| 08:36:55 | × | aizen_s quits (sid462968@gateway/web/irccloud.com/x-vlashjkdcwnruduz) (Ping timeout: 240 seconds) |
| 08:36:55 | × | jlpeters quits (sid25606@gateway/web/irccloud.com/x-xkxchtjwumvvoplq) (Ping timeout: 240 seconds) |
| 08:37:02 | × | cemerick quits (sid54985@gateway/web/irccloud.com/x-abxbprbujguoyqts) (Ping timeout: 260 seconds) |
| 08:37:02 | × | cvlad- quits (sid203065@gateway/web/irccloud.com/x-rokspjlhyqzgwkmr) (Ping timeout: 260 seconds) |
| 08:37:02 | × | bitonic quits (sid61915@gateway/web/irccloud.com/x-lieuqfwkxlflylio) (Ping timeout: 260 seconds) |
| 08:37:02 | × | ProofTechnique quits (sid79547@gateway/web/irccloud.com/x-vnrlcoxvuyddydfi) (Ping timeout: 260 seconds) |
| 08:37:03 | × | sclv quits (sid39734@haskell/developer/sclv) (Ping timeout: 260 seconds) |
| 08:37:03 | × | betawaffle quits (sid2730@gateway/web/irccloud.com/x-ikvihwtbnolnoplp) (Ping timeout: 260 seconds) |
| 08:37:03 | × | metadave quits (sid28102@gateway/web/irccloud.com/x-usvwvhrdpncruziq) (Ping timeout: 260 seconds) |
| 08:37:03 | × | rizary quits (sid220347@gateway/web/irccloud.com/x-hwxhcpsmvhwyypyw) (Ping timeout: 260 seconds) |
| 08:37:03 | × | alinab quits (uid468903@gateway/web/irccloud.com/x-bpuhjlegovfytkui) (Ping timeout: 260 seconds) |
| 08:37:03 | × | idnar quits (sid12240@gateway/web/irccloud.com/x-spvsesnfgwmivkqu) (Ping timeout: 260 seconds) |
| 08:37:03 | × | pent quits (sid313808@gateway/web/irccloud.com/x-aqvvdlvhxmxwhyuz) (Ping timeout: 260 seconds) |
| 08:37:03 | × | Nascha quits (sid212230@gateway/web/irccloud.com/x-edmffyxxtctzvskg) (Ping timeout: 260 seconds) |
| 08:37:03 | × | grfn quits (sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe) (Ping timeout: 260 seconds) |
| 08:37:03 | × | kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-btmubwofxuaipgll) (Ping timeout: 260 seconds) |
| 08:37:03 | × | Adeon quits (sid418992@gateway/web/irccloud.com/x-abdgcghyselnrphw) (Ping timeout: 260 seconds) |
| 08:37:03 | × | tnks quits (sid412124@gateway/web/irccloud.com/x-ucsxwstjhtlsvuiy) (Ping timeout: 260 seconds) |
| 08:37:03 | × | gaze__ quits (sid387101@gateway/web/irccloud.com/x-qmornwhjznbupdqr) (Ping timeout: 260 seconds) |
| 08:37:03 | × | pasukon quits (sid49097@gateway/web/irccloud.com/x-zvjflytzjcvxxkxp) (Ping timeout: 244 seconds) |
| 08:37:03 | × | elvishjerricco quits (sid237756@NixOS/user/ElvishJerricco) (Ping timeout: 244 seconds) |
| 08:37:03 | × | tchar quits (sid301738@gateway/web/irccloud.com/x-rgpmjtqqbhrmcohe) (Ping timeout: 244 seconds) |
| 08:37:03 | × | verlet64_ quits (sid261276@gateway/web/irccloud.com/x-xjfovybibszlojpl) (Ping timeout: 244 seconds) |
| 08:37:03 | × | banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-xuhcxuunqkywfagg) (Ping timeout: 272 seconds) |
| 08:37:04 | × | cbarrett quits (sid192934@adium/cbarrett) (Ping timeout: 240 seconds) |
| 08:37:06 | × | dsal quits (sid13060@gateway/web/irccloud.com/x-udvlsvyzdoxkbqyc) (Ping timeout: 268 seconds) |
| 08:37:06 | × | nick_h quits (sid319833@gateway/web/irccloud.com/x-pmufwyqrxfxlbgib) (Ping timeout: 268 seconds) |
| 08:37:06 | × | Tritlo quits (sid58727@gateway/web/irccloud.com/x-hhdqrzmvvzwsljje) (Ping timeout: 268 seconds) |
| 08:37:06 | × | hamishmack quits (sid389057@gateway/web/irccloud.com/x-azqabhmlngqmdotl) (Ping timeout: 268 seconds) |
| 08:37:06 | × | affinespaces quits (sid327561@gateway/web/irccloud.com/x-mbamrsiemussquvx) (Ping timeout: 268 seconds) |
| 08:37:14 | × | bidabong quits (uid272474@gateway/web/irccloud.com/x-asdidcduiyoospnp) (Ping timeout: 264 seconds) |
| 08:37:14 | × | ebutleriv quits (sid217783@gateway/web/irccloud.com/x-smeovyzgvmjpfemr) (Ping timeout: 264 seconds) |
| 08:37:14 | × | d0liver quits (sid363046@gateway/web/irccloud.com/x-gqmixearkciaakmk) (Ping timeout: 264 seconds) |
| 08:37:15 | × | whez quits (uid470288@gateway/web/irccloud.com/x-malcqwiljeridksp) (Ping timeout: 246 seconds) |
| 08:37:22 | × | ibloom quits (sid350277@gateway/web/irccloud.com/x-ccblpzopmwnfxhss) (Ping timeout: 260 seconds) |
| 08:37:22 | × | bjs quits (sid190364@gateway/web/irccloud.com/x-gblpydmbtrekwhlk) (Ping timeout: 260 seconds) |
| 08:37:24 | × | dani- quits (sid341953@gateway/web/irccloud.com/x-btnxpfbxhslylctw) (Ping timeout: 240 seconds) |
| 08:37:34 | × | mudri quits (sid317655@gateway/web/irccloud.com/x-ewrkkkqbsfrqlwpo) (Ping timeout: 244 seconds) |
| 08:37:34 | × | ghuntley quits (sid16877@gateway/web/irccloud.com/x-hazckpioupzucowz) (Ping timeout: 244 seconds) |
| 08:37:34 | × | parisienne quits (sid383587@gateway/web/irccloud.com/x-wkbgoesgrpfdelps) (Ping timeout: 244 seconds) |
| 08:37:37 | × | joshmeredith quits (sid387798@gateway/web/irccloud.com/x-sxpuerlncnrlahqm) (Ping timeout: 260 seconds) |
| 08:37:37 | × | Cir0X quits (sid221743@gateway/web/irccloud.com/x-aaolygdvoezcqebh) (Ping timeout: 260 seconds) |
| 08:37:37 | × | yogani quits (sid42623@gateway/web/irccloud.com/x-nfoqjqvejaeqgmoi) (Ping timeout: 260 seconds) |
| 08:37:37 | × | nh2 quits (sid309956@gateway/web/irccloud.com/x-qvjqdxrjegrjwybj) (Ping timeout: 260 seconds) |
| 08:37:37 | × | jonrh quits (sid5185@gateway/web/irccloud.com/x-rqaikalmtlmunorz) (Ping timeout: 260 seconds) |
| 08:37:38 | × | kozowu quits (uid44796@gateway/web/irccloud.com/x-zlvbgrbsoafykjcb) (Ping timeout: 260 seconds) |
| 08:37:38 | × | nlofaro quits (sid258233@gateway/web/irccloud.com/x-uxoxyvtwstbbwbgr) (Ping timeout: 260 seconds) |
| 08:37:38 | × | drbrule quits (sid395654@gateway/web/irccloud.com/x-xwxitsjzvaryowda) (Ping timeout: 260 seconds) |
| 08:37:38 | × | kip quits (sid71464@gateway/web/irccloud.com/x-omvgxpcumzxoitoj) (Ping timeout: 260 seconds) |
| 08:37:38 | × | koankeeper quits (sid216950@gateway/web/irccloud.com/x-zcbnaaysgxdzfzde) (Ping timeout: 260 seconds) |
| 08:37:38 | × | lightandlight quits (sid135476@gateway/web/irccloud.com/x-esxphvmhpsuzltwt) (Ping timeout: 260 seconds) |
| 08:37:38 | × | chessai quits (sid225296@gateway/web/irccloud.com/x-qipjiulksamexnar) (Ping timeout: 260 seconds) |
| 08:37:38 | × | caasih quits (sid13241@gateway/web/irccloud.com/x-hlizsalbvmrkznfg) (Ping timeout: 260 seconds) |
| 08:37:38 | × | srhb quits (sid400352@NixOS/user/srhb) (Ping timeout: 260 seconds) |
| 08:37:38 | × | adamse quits (sid72084@gateway/web/irccloud.com/x-zzuaotsqlmzvumul) (Ping timeout: 260 seconds) |
| 08:37:38 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 260 seconds) |
| 08:37:38 | × | higherorder quits (sid185221@gateway/web/irccloud.com/x-jdkrtrawpxzgiheg) (Ping timeout: 260 seconds) |
| 08:37:38 | × | chpatrick quits (sid239395@gateway/web/irccloud.com/x-enbwaldjayrccrvg) (Ping timeout: 260 seconds) |
| 08:37:41 | × | lally quits (sid388228@gateway/web/irccloud.com/x-ajahqmwjiqmyvpjz) (Ping timeout: 272 seconds) |
| 08:37:41 | × | billstclair quits (sid77830@gateway/web/irccloud.com/x-clhgkncritrdqqzs) (Ping timeout: 272 seconds) |
| 08:37:43 | × | acertain quits (sid470584@gateway/web/irccloud.com/x-hrqmjvrqmoyyhbrw) (Ping timeout: 268 seconds) |
| 08:37:43 | × | benl23 quits (sid284234@gateway/web/irccloud.com/x-kweziwrdikjyykbe) (Ping timeout: 268 seconds) |
| 08:37:44 | × | gregberns_ quits (sid315709@gateway/web/irccloud.com/x-lhzcnufyopscpuei) (Ping timeout: 240 seconds) |
| 08:37:44 | × | typetetris quits (sid275937@gateway/web/irccloud.com/x-sdhyqriahiqslcsk) (Ping timeout: 240 seconds) |
| 08:37:44 | × | glowcoil quits (sid3405@gateway/web/irccloud.com/x-dkdpshuvsuixqjqw) (Ping timeout: 240 seconds) |
| 08:37:50 | × | fiadliel quits (sid399568@gateway/web/irccloud.com/x-vfhgfferfkqpsvwi) (Ping timeout: 264 seconds) |
| 08:37:50 | × | moobar quits (sid171730@gateway/web/irccloud.com/x-rdzoqwqwylvkfave) (Ping timeout: 264 seconds) |
| 08:37:50 | × | milessabin quits (sid86799@gateway/web/irccloud.com/x-hmwhfzuctmzszqzh) (Ping timeout: 264 seconds) |
| 08:38:00 | × | cinimod quits (uid93893@gateway/web/irccloud.com/x-ohfubecfiwfffiip) (Ping timeout: 244 seconds) |
| 08:38:00 | × | kaychaks quits (sid236345@gateway/web/irccloud.com/x-tofmstsbickuunjr) (Ping timeout: 244 seconds) |
| 08:38:02 | × | rprije quits (~rprije@124.148.131.132) (Ping timeout: 256 seconds) |
| 08:38:04 | × | rann quits (sid175221@gateway/web/irccloud.com/x-ksxigkdhzdqcjfrs) (Ping timeout: 240 seconds) |
| 08:38:04 | × | taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-xetnenikiqaoibky) (Ping timeout: 240 seconds) |
| 08:38:04 | × | benwr____ quits (sid372383@gateway/web/irccloud.com/x-fpmmjvddoaxuhwfl) (Ping timeout: 240 seconds) |
| 08:38:05 | × | drupol quits (sid117588@gateway/web/irccloud.com/x-botdgnvcemakmhms) (Ping timeout: 244 seconds) |
| 08:38:05 | × | conjunctive quits (sid433686@gateway/web/irccloud.com/x-svszloomofjzwqrv) (Ping timeout: 244 seconds) |
| 08:38:05 | × | angerman quits (sid209936@gateway/web/irccloud.com/x-oahfetnahbdvwgfo) (Ping timeout: 244 seconds) |
| 08:38:12 | × | SrPx quits (sid108780@gateway/web/irccloud.com/x-pdttujrjixkduttv) (Ping timeout: 260 seconds) |
| 08:38:12 | × | natim87 quits (sid286962@gateway/web/irccloud.com/x-olzvsuojmvwuxdem) (Ping timeout: 260 seconds) |
| 08:38:12 | × | AndreasK quits (sid320732@gateway/web/irccloud.com/x-uioigjqavmrtwcmd) (Ping timeout: 260 seconds) |
| 08:38:12 | × | ^[ quits (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) (Ping timeout: 260 seconds) |
| 08:38:12 | × | scav quits (sid309693@gateway/web/irccloud.com/x-techevumsipyqxlk) (Ping timeout: 260 seconds) |
| 08:38:13 | × | graingert quits (sid128301@gateway/web/irccloud.com/x-tezmjotwcjxceyfv) (Ping timeout: 260 seconds) |
| 08:38:13 | × | alunduil quits (alunduil@gateway/web/irccloud.com/x-bdycqsguonemwjha) (Ping timeout: 260 seconds) |
| 08:38:13 | × | JSharp quits (sid4580@wikia/JSharp) (Ping timeout: 260 seconds) |
| 08:38:13 | × | buggymcbugfix quits (sid432603@gateway/web/irccloud.com/x-ikgtfjckezvpthhb) (Ping timeout: 260 seconds) |
| 08:38:13 | × | PatrickRobotham_ quits (sid18270@gateway/web/irccloud.com/x-gkudfyntylnjctrj) (Ping timeout: 260 seconds) |
| 08:38:13 | × | teehemkay quits (sid14792@gateway/web/irccloud.com/x-qrujkmhnrbttdvyo) (Ping timeout: 260 seconds) |
| 08:38:13 | × | wildsebastian quits (sid324688@gateway/web/irccloud.com/x-erwaomugptysqssz) (Ping timeout: 260 seconds) |
| 08:38:13 | × | enemeth79 quits (sid309041@gateway/web/irccloud.com/x-qzhpyccgmuuqsrsi) (Ping timeout: 260 seconds) |
| 08:38:13 | × | mankyKitty quits (sid31287@gateway/web/irccloud.com/x-talstgcllctsrrfx) (Ping timeout: 260 seconds) |
| 08:38:19 | × | benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-oyfaffahduvlgnmv) (Ping timeout: 272 seconds) |
| 08:38:19 | × | liquorice quits (sid267884@gateway/web/irccloud.com/x-kyqvqvczajcsjcev) (Ping timeout: 272 seconds) |
| 08:38:19 | × | jared-w quits (uid405292@gateway/web/irccloud.com/x-hjvulmngvzyqxsmb) (Ping timeout: 272 seconds) |
| 08:38:19 | × | rdivyanshu quits (sid322626@gateway/web/irccloud.com/x-vijvgbwevjdmeabn) (Ping timeout: 272 seconds) |
| 08:38:19 | × | Boarders quits (sid425905@gateway/web/irccloud.com/x-naslsmiaebxgaija) (Ping timeout: 272 seconds) |
| 08:38:19 | × | pepeiborra quits (sid443799@gateway/web/irccloud.com/x-oyxipiqtflckullf) (Ping timeout: 272 seconds) |
| 08:38:20 | × | dsturnbull quits (sid347899@gateway/web/irccloud.com/x-rzjhsxvlzniycmws) (Ping timeout: 268 seconds) |
| 08:38:20 | × | alanz quits (sid110616@gateway/web/irccloud.com/x-kxtlxodtagwnitvv) (Ping timeout: 268 seconds) |
| 08:38:20 | × | rslima_____ quits (sid26145@gateway/web/irccloud.com/x-fgvrtbnpeqwbcevi) (Ping timeout: 268 seconds) |
| 08:38:24 | × | adius quits (sid321344@gateway/web/irccloud.com/x-mxoyxwrzcytimbah) (Ping timeout: 240 seconds) |
| 08:38:24 | × | stylewarning quits (stylewarni@gateway/web/irccloud.com/x-inexyucgqlgjsrum) (Ping timeout: 240 seconds) |
| 08:38:25 | × | topos quits (sid467876@gateway/web/irccloud.com/x-gyqsqvcawuyxkhnv) (Ping timeout: 240 seconds) |
| 08:38:26 | × | entel quits (uid256215@botters/entel) (Ping timeout: 264 seconds) |
| 08:38:26 | × | eruditass quits (uid248673@gateway/web/irccloud.com/x-xzxytktqpfjekcra) (Ping timeout: 264 seconds) |
| 08:38:26 | × | Firedancer quits (sid336191@gateway/web/irccloud.com/x-vssbbmzuqcgdgcmb) (Ping timeout: 264 seconds) |
| 08:38:26 | × | joel135 quits (sid136450@gateway/web/irccloud.com/x-tbniwjwivhvzaqau) (Ping timeout: 264 seconds) |
| 08:38:26 | × | edwinb quits (sid69486@gateway/web/irccloud.com/x-jrxtyjijaolnlopz) (Ping timeout: 264 seconds) |
| 08:38:26 | × | ReinH__ quits (sid179972@gateway/web/irccloud.com/x-ryyydyxrmnaxtodq) (Ping timeout: 264 seconds) |
| 08:38:26 | × | jackdk quits (sid373013@gateway/web/irccloud.com/x-iryzpzzygtrtkbbz) (Ping timeout: 264 seconds) |
| 08:38:28 | → | rprije joins (~rprije@124.148.131.132) |
| 08:38:32 | × | amatecha__ quits (sid10006@gateway/web/irccloud.com/x-umzvzowaztsfellj) (Ping timeout: 260 seconds) |
| 08:38:32 | × | albethere quits (sid457088@gateway/web/irccloud.com/x-fmchgsvxhdmjvieq) (Ping timeout: 260 seconds) |
| 08:38:32 | × | m-renaud quits (sid333785@gateway/web/irccloud.com/x-jxglvjindagumsef) (Ping timeout: 260 seconds) |
| 08:38:32 | × | darthThorik quits (sid39589@gateway/web/irccloud.com/x-tjuwgtcbctwqnxiv) (Ping timeout: 260 seconds) |
| 08:38:32 | × | integral quits (sid296274@p3m/member/integral) (Ping timeout: 260 seconds) |
| 08:38:32 | × | johs quits (sid246410@gateway/web/irccloud.com/x-eafdufqmtlcqylai) (Ping timeout: 260 seconds) |
| 08:38:32 | × | FMJz____ quits (sid279245@gateway/web/irccloud.com/x-uxwggzqsvvuxwnvv) (Ping timeout: 260 seconds) |
| 08:38:36 | × | rodlogic__ quits (sid214676@gateway/web/irccloud.com/x-mpkvpqnfqcxewmmv) (Ping timeout: 244 seconds) |
| 08:38:36 | × | carter quits (sid14827@gateway/web/irccloud.com/x-sizpssbboxwjlzfn) (Ping timeout: 244 seconds) |
| 08:38:36 | × | liszt_ quits (sid336875@gateway/web/irccloud.com/x-uuxepiucxpvvjuow) (Ping timeout: 244 seconds) |
| 08:38:38 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-gbteywmncqhxlbkk) (Ping timeout: 246 seconds) |
| 08:38:38 | × | cstrahan quits (sid36118@gateway/web/irccloud.com/x-mfvjnlhprdhvdyaw) (Ping timeout: 246 seconds) |
| 08:38:38 | × | eacameron quits (sid256985@gateway/web/irccloud.com/x-trisvivfbojkcgwh) (Ping timeout: 246 seconds) |
| 08:38:48 | × | trevorriles quits (sid469656@gateway/web/irccloud.com/x-ojxdogvggwklcqfu) (Ping timeout: 260 seconds) |
| 08:38:48 | × | feepo quits (sid28508@gateway/web/irccloud.com/x-egbgmiozjxqiqiea) (Ping timeout: 260 seconds) |
| 08:38:48 | × | PotatoGim quits (sid99505@gateway/web/irccloud.com/x-xnlvbpmqvvvvzlzi) (Ping timeout: 260 seconds) |
| 08:38:48 | × | jbetz quits (sid283648@gateway/web/irccloud.com/x-tnjzeofedetnuotr) (Ping timeout: 260 seconds) |
| 08:38:48 | × | alexknvl quits (sid259568@gateway/web/irccloud.com/x-ezzjogtrhlllcrlf) (Ping timeout: 260 seconds) |
| 08:38:48 | × | iphy quits (sid67735@gateway/web/irccloud.com/x-aopftouqgwvymeyk) (Ping timeout: 260 seconds) |
| 08:38:48 | × | jetpack_joe quits (sid146137@gateway/web/irccloud.com/x-nugkqmiplnjcyaxx) (Ping timeout: 260 seconds) |
| 08:38:48 | × | hazard-pointer quits (sid331723@gateway/web/irccloud.com/x-neubmonftmwlbqas) (Ping timeout: 260 seconds) |
| 08:38:48 | × | dgpratt quits (sid193493@gateway/web/irccloud.com/x-wpigpkrirfdonsca) (Ping timeout: 260 seconds) |
| 08:38:55 | × | ajmcmiddlin quits (sid284402@gateway/web/irccloud.com/x-qluzsktjtgrefogm) (Ping timeout: 240 seconds) |
| 08:38:55 | × | thi quits (sid97277@gateway/web/irccloud.com/x-vjszalnbbkcfzara) (Ping timeout: 240 seconds) |
| 08:38:57 | × | mpickering quits (sid78412@gateway/web/irccloud.com/x-dfpbnrhxzfjezyfr) (Ping timeout: 268 seconds) |
| 08:38:57 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-lvxmpywqstmlfjcc) (Ping timeout: 268 seconds) |
| 08:38:57 | × | runeks quits (sid21167@gateway/web/irccloud.com/x-kspayncfhjidsext) (Ping timeout: 268 seconds) |
| 08:38:57 | × | totbwf quits (sid402332@gateway/web/irccloud.com/x-pssrurqrlsgffxlv) (Ping timeout: 268 seconds) |
| 08:38:57 | × | aristid quits (sid1599@gateway/web/irccloud.com/x-ilqgyqbvhbrziter) (Ping timeout: 268 seconds) |
| 08:38:57 | × | newhoggy quits (sid198874@gateway/web/irccloud.com/x-zutcdabnuqtwgxkc) (Ping timeout: 268 seconds) |
| 08:38:57 | × | davetapley quits (sid666@gateway/web/irccloud.com/x-yocwsgvbpxleffzc) (Ping timeout: 268 seconds) |
| 08:38:57 | × | bradparker quits (sid262931@gateway/web/irccloud.com/x-uqioclynkqqupcsu) (Ping timeout: 268 seconds) |
| 08:38:57 | × | agander_m quits (sid407952@gateway/web/irccloud.com/x-wvuflyjbjmlajpto) (Ping timeout: 268 seconds) |
| 08:38:57 | × | J_Arcane quits (sid119274@gateway/web/irccloud.com/x-ivyumcmbhtoteijd) (Ping timeout: 268 seconds) |
| 08:38:57 | × | ocharles quits (sid30093@musicbrainz/user/ocharles) (Ping timeout: 268 seconds) |
| 08:38:57 | × | Kamuela quits (sid111576@gateway/web/irccloud.com/x-uvvegwfyydfudwfg) (Ping timeout: 268 seconds) |
| 08:38:57 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-duordpjumbquhybw) (Ping timeout: 272 seconds) |
| 08:38:57 | × | Guest76112 quits (uid472329@gateway/web/irccloud.com/x-ennruecymrcxflva) (Ping timeout: 272 seconds) |
| 08:38:57 | × | ryjm quits (sid383513@gateway/web/irccloud.com/x-vjmcrbfkcwlkcexr) (Ping timeout: 272 seconds) |
| 08:38:57 | × | wpcarro quits (sid397589@gateway/web/irccloud.com/x-vqtnwwuckwrwiioj) (Ping timeout: 272 seconds) |
| 08:38:57 | × | edmundnoble quits (sid229620@gateway/web/irccloud.com/x-qtgjwsrxfqtxbxld) (Ping timeout: 272 seconds) |
| 08:38:57 | × | tiru quits (tiru@gateway/web/irccloud.com/x-yaugnfczkppmbvmn) (Ping timeout: 272 seconds) |
| 08:38:57 | × | mcfilib_ quits (sid302703@gateway/web/irccloud.com/x-rzhinfafokictnxq) (Ping timeout: 272 seconds) |
| 08:38:57 | × | NemesisD quits (sid24071@gateway/web/irccloud.com/x-efgfqnbmzmvsdzmv) (Ping timeout: 272 seconds) |
| 08:38:57 | × | parseval quits (sid239098@gateway/web/irccloud.com/x-wfyohitmdltgloed) (Ping timeout: 272 seconds) |
| 08:39:00 | hackage | gloss 1.13.2.1 - Painless 2D vector graphics, animations and simulations. https://hackage.haskell.org/package/gloss-1.13.2.1 (BenLippmeier) |
| 08:40:51 | → | mjsor joins (~matt@c-71-238-82-85.hsd1.or.comcast.net) |
| 08:43:43 | × | scasc quits (~szabi@213142096120.public.telering.at) (Remote host closed the connection) |
| 08:44:01 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 08:45:05 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 08:46:36 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 08:49:00 | hackage | minizinc-process 0.1.2.0 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.2.0 (LucasDiCioccio) |
| 08:49:41 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:50:31 | → | christo joins (~chris@81.96.113.213) |
| 08:51:19 | × | softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 08:51:35 | × | alp quits (~alp@2a01:e0a:58b:4920:117:2f04:6037:4aa2) (Ping timeout: 246 seconds) |
| 08:51:53 | → | adius joins (sid321344@gateway/web/irccloud.com/x-uuhxlducjizxfavl) |
| 08:51:53 | → | Tritlo joins (sid58727@gateway/web/irccloud.com/x-dlcmyhezzzrcdorg) |
| 08:51:54 | → | liquorice joins (sid267884@gateway/web/irccloud.com/x-tddcmkucbvdtyubo) |
| 08:51:55 | → | drupol joins (sid117588@gateway/web/irccloud.com/x-zbnyabdlstrnoeuc) |
| 08:51:55 | → | cvlad- joins (sid203065@gateway/web/irccloud.com/x-mazwhejchlyffolo) |
| 08:51:56 | → | gluegadget joins (sid22336@gateway/web/irccloud.com/x-dtblqsqvfgxmasgf) |
| 08:51:59 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-axomckqlurkcrgnc) |
| 08:52:05 | → | moobar joins (sid171730@gateway/web/irccloud.com/x-ctnyphywvjgsbjzl) |
| 08:52:07 | → | ibloom joins (sid350277@gateway/web/irccloud.com/x-hlioyajxeywwuxmx) |
| 08:52:08 | → | Nascha joins (sid212230@gateway/web/irccloud.com/x-mfmiwrmytvzpxdpd) |
| 08:52:09 | → | grfn joins (sid449115@gateway/web/irccloud.com/x-srwltizlxwnoqbuo) |
| 08:52:09 | → | aristid joins (sid1599@gateway/web/irccloud.com/x-ckvrkhwfnpsjpxkc) |
| 08:52:12 | → | cinimod joins (uid93893@gateway/web/irccloud.com/x-ntxgfonmsgfsxqfj) |
| 08:52:14 | → | ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-eksujsicoqugirny) |
| 08:52:15 | → | alinab joins (uid468903@gateway/web/irccloud.com/x-xcymeicsljvzypjb) |
| 08:52:15 | → | metadave joins (sid28102@gateway/web/irccloud.com/x-wybfodxjmjkizymy) |
| 08:52:17 | → | verlet64_ joins (sid261276@gateway/web/irccloud.com/x-qwtrkevpekfqyucq) |
| 08:52:19 | → | lally joins (sid388228@gateway/web/irccloud.com/x-zbzgkwpcudviljpk) |
| 08:52:20 | → | banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-pwjllhheogrzlube) |
| 08:52:31 | → | thi joins (sid97277@gateway/web/irccloud.com/x-iakzqiyfoextftan) |
| 08:52:33 | → | tiru joins (tiru@gateway/web/irccloud.com/x-tnkszxsozlkikzup) |
| 08:52:34 | → | nick_h joins (sid319833@gateway/web/irccloud.com/x-putfzyymjdapnmta) |
| 08:52:35 | × | Lord_of_Life quits (~Lord@46.217.216.108) (Changing host) |
| 08:52:35 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 08:52:36 | → | nh2 joins (sid309956@gateway/web/irccloud.com/x-newgxrpdrbwqztzy) |
| 08:52:38 | → | pasukon joins (sid49097@gateway/web/irccloud.com/x-naqadmmjejtzyxsk) |
| 08:52:39 | → | jackdk joins (sid373013@gateway/web/irccloud.com/x-arnfpemfesqxinsb) |
| 08:52:39 | → | wpcarro joins (sid397589@gateway/web/irccloud.com/x-yrrbrsudnjmjbakp) |
| 08:52:39 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-exulbvidaltptqxo) |
| 08:52:39 | → | yogani joins (sid42623@gateway/web/irccloud.com/x-xmbuoxasmdpiyyri) |
| 08:52:39 | → | NemesisD joins (sid24071@gateway/web/irccloud.com/x-djyvkklsuqfzcevy) |
| 08:52:39 | → | parseval joins (sid239098@gateway/web/irccloud.com/x-zxdodwyrvwdotzxx) |
| 08:52:39 | → | jetpack_joe joins (sid146137@gateway/web/irccloud.com/x-vmgmkyseyzxdizaw) |
| 08:52:39 | → | pent joins (sid313808@gateway/web/irccloud.com/x-qzwweipqtpyekzzz) |
| 08:52:39 | → | totbwf joins (sid402332@gateway/web/irccloud.com/x-txjandoufixsoprd) |
| 08:52:40 | → | albethere joins (sid457088@gateway/web/irccloud.com/x-pfxmkbjobzsrdheg) |
| 08:52:40 | → | darthThorik joins (sid39589@gateway/web/irccloud.com/x-cfzakqeypjuxmguy) |
| 08:52:40 | → | dsal joins (sid13060@gateway/web/irccloud.com/x-lwnzsoovbcvhdctt) |
| 08:52:42 | → | joshmeredith joins (sid387798@gateway/web/irccloud.com/x-uqsodavpxzxpcuwv) |
| 08:52:43 | → | tnks joins (sid412124@gateway/web/irccloud.com/x-foyfefzalmzctfnv) |
| 08:52:43 | → | idnar joins (sid12240@gateway/web/irccloud.com/x-wvmmnuuotscagfyx) |
| 08:52:49 | → | rizary joins (sid220347@gateway/web/irccloud.com/x-kpnwyrewkhnqnyhk) |
| 08:52:55 | → | FMJz____ joins (sid279245@gateway/web/irccloud.com/x-obdwznzoluazipat) |
| 08:52:56 | → | sclv joins (sid39734@haskell/developer/sclv) |
| 08:52:58 | → | kip joins (sid71464@gateway/web/irccloud.com/x-idrkkvdsplxgbbpn) |
| 08:52:58 | → | Adeon joins (sid418992@gateway/web/irccloud.com/x-zshgawryroibgclt) |
| 08:52:59 | → | kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-nvlvexwuoontnaay) |
| 08:53:00 | → | dgpratt joins (sid193493@gateway/web/irccloud.com/x-ckplobyhmsyazopr) |
| 08:53:02 | → | taktoa[c] joins (sid282096@gateway/web/irccloud.com/x-omebbjqsjvyqmgkl) |
| 08:53:02 | → | bjs joins (sid190364@gateway/web/irccloud.com/x-wbdkgrfmfwsfnyyt) |
| 08:53:03 | → | conjunctive joins (sid433686@gateway/web/irccloud.com/x-fmugvkbhizxugkfc) |
| 08:53:03 | → | PatrickRobotham_ joins (sid18270@gateway/web/irccloud.com/x-fmgigponghvlpyhp) |
| 08:53:04 | → | mankyKitty joins (sid31287@gateway/web/irccloud.com/x-beodapysaacbpjue) |
| 08:53:05 | → | kozowu joins (uid44796@gateway/web/irccloud.com/x-nvxmuuamyscqvacb) |
| 08:53:07 | → | hamishmack joins (sid389057@gateway/web/irccloud.com/x-rzssupzhdhpijtko) |
| 08:53:07 | → | ebutleriv joins (sid217783@gateway/web/irccloud.com/x-ckocvqheirpnpehl) |
| 08:53:08 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-iuvslqcwjrfktbse) |
| 08:53:08 | → | edmundnoble joins (sid229620@gateway/web/irccloud.com/x-ehmqsocqyidpgjbk) |
| 08:53:08 | → | nlofaro joins (sid258233@gateway/web/irccloud.com/x-euteclalytxdvjpl) |
| 08:53:09 | → | heyj joins (sid171370@gateway/web/irccloud.com/x-sjxjehfsqkhmjbvz) |
| 08:53:10 | → | benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-hscbybzlcqmvyxxg) |
| 08:53:11 | → | topos joins (sid467876@gateway/web/irccloud.com/x-mqpmkdyaexkjdklr) |
| 08:53:12 | → | jared-w joins (uid405292@gateway/web/irccloud.com/x-pnfyamprydnozdqy) |
| 08:53:14 | → | AndreasK joins (sid320732@gateway/web/irccloud.com/x-jisuwtkhbrktjxky) |
| 08:53:14 | → | bidabong joins (uid272474@gateway/web/irccloud.com/x-ppmzlzztyuerpxde) |
| 08:53:16 | → | amatecha__ joins (sid10006@gateway/web/irccloud.com/x-eqzthidwnckvywgi) |
| 08:53:16 | → | wildsebastian joins (sid324688@gateway/web/irccloud.com/x-ectvsfeiiygtpxsd) |
| 08:53:17 | → | fiadliel joins (sid399568@gateway/web/irccloud.com/x-uwigusburxicapvv) |
| 08:53:17 | → | ^[ joins (sid43445@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 08:53:18 | → | koankeeper joins (sid216950@gateway/web/irccloud.com/x-hjizfwywoqrskybo) |
| 08:53:18 | → | JSharp joins (sid4580@wikia/JSharp) |
| 08:53:21 | → | entel joins (uid256215@botters/entel) |
| 08:53:23 | → | rann joins (sid175221@gateway/web/irccloud.com/x-vvuogpmcvjdddtaw) |
| 08:53:24 | → | angerman joins (sid209936@gateway/web/irccloud.com/x-xybpwsyhitgismpo) |
| 08:53:27 | → | mcfilib_ joins (sid302703@gateway/web/irccloud.com/x-nfopvhmlkmsaepwm) |
| 08:53:31 | → | tchar joins (sid301738@gateway/web/irccloud.com/x-xddtoyyurmxjtavh) |
| 08:53:36 | → | cstrahan joins (sid36118@gateway/web/irccloud.com/x-twkbvtvjppokxmel) |
| 08:53:40 | → | dmj` joins (sid72307@gateway/web/irccloud.com/x-mdlqgyhdnysmoonb) |
| 08:53:41 | → | betawaffle joins (sid2730@gateway/web/irccloud.com/x-bazizvdksepkkljr) |
| 08:53:43 | → | dsturnbull joins (sid347899@gateway/web/irccloud.com/x-xmzhvaiswgjcomqa) |
| 08:53:44 | → | hazard-pointer joins (sid331723@gateway/web/irccloud.com/x-tiuqkpmdzxgnusmc) |
| 08:53:50 | → | carter joins (sid14827@gateway/web/irccloud.com/x-ibvrelberchglxhy) |
| 08:53:54 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-onjuwmppppmuaqzi) |
| 08:54:00 | → | rodlogic__ joins (sid214676@gateway/web/irccloud.com/x-egfcshsulxcglqnw) |
| 08:54:03 | → | ajmcmiddlin joins (sid284402@gateway/web/irccloud.com/x-czsnahqqucihfqdx) |
| 08:54:04 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 260 seconds) |
| 08:54:09 | → | liszt_ joins (sid336875@gateway/web/irccloud.com/x-sjbstzgazctrjiml) |
| 08:54:34 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 08:55:27 | → | kristjansson joins (sid126207@gateway/web/irccloud.com/x-ikddbqhpcfeoprgq) |
| 08:55:32 | → | cemerick joins (sid54985@gateway/web/irccloud.com/x-sezszkubzwzwoedv) |
| 08:55:49 | → | systemfault joins (sid267009@gateway/web/irccloud.com/x-whnxtdotobbumjjn) |
| 08:55:50 | → | billstclair joins (sid77830@gateway/web/irccloud.com/x-dpnwvdsjevdsepff) |
| 08:55:54 | → | jlpeters joins (sid25606@gateway/web/irccloud.com/x-vzagypdzbnyflvyr) |
| 08:55:56 | → | glowcoil joins (sid3405@gateway/web/irccloud.com/x-erqemrkeinovsomm) |
| 08:55:59 | → | typetetris joins (sid275937@gateway/web/irccloud.com/x-elrfbakatxxdutfl) |
| 08:56:02 | → | aizen_s joins (sid462968@gateway/web/irccloud.com/x-qmulgqtgjenqdcha) |
| 08:56:05 | → | elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco) |
| 08:56:11 | → | cbarrett joins (sid192934@adium/cbarrett) |
| 08:56:20 | → | whez joins (sid470288@gateway/web/irccloud.com/x-blauwezioburoyvy) |
| 08:56:20 | → | milessabin joins (sid86799@gateway/web/irccloud.com/x-orwvqlcdkjbkblde) |
| 08:56:24 | → | ghuntley joins (sid16877@gateway/web/irccloud.com/x-ptopsndeynpyjelv) |
| 08:56:24 | → | parisienne joins (sid383587@gateway/web/irccloud.com/x-ebmbgbvaxawadpqa) |
| 08:56:28 | → | benwr____ joins (sid372383@gateway/web/irccloud.com/x-ygzdfppyyhwzwtmh) |
| 08:56:34 | → | kaychaks joins (sid236345@gateway/web/irccloud.com/x-hrbziqwuzupufaru) |
| 08:56:35 | → | d0liver joins (sid363046@gateway/web/irccloud.com/x-kkcazzfyjgmdigdk) |
| 08:56:43 | → | natim87 joins (sid286962@gateway/web/irccloud.com/x-uifctbbgftadercs) |
| 08:56:44 | → | drbrule joins (sid395654@gateway/web/irccloud.com/x-vjqqnrysmaxqrzkw) |
| 08:56:45 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 08:56:46 | → | srhb joins (sid400352@NixOS/user/srhb) |
| 08:56:46 | → | alunduil joins (alunduil@gateway/web/irccloud.com/x-uvppjsitsccsdxlk) |
| 08:56:49 | → | integral joins (sid296274@p3m/member/integral) |
| 08:56:53 | → | affinespaces joins (sid327561@gateway/web/irccloud.com/x-zagwlzzlhrvzkgni) |
| 08:56:55 | → | m-renaud joins (sid333785@gateway/web/irccloud.com/x-ocbxggtmwbqjeteg) |
| 08:56:57 | → | johs joins (sid246410@gateway/web/irccloud.com/x-kzxpikhjkxlgpcaf) |
| 08:56:59 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 08:57:04 | → | rslima_____ joins (sid26145@gateway/web/irccloud.com/x-sqmdtyjbxdggnirr) |
| 08:57:06 | → | Cir0X joins (sid221743@gateway/web/irccloud.com/x-ouxxoxkrtirtgzgf) |
| 08:57:10 | → | adamse joins (sid72084@gateway/web/irccloud.com/x-onphgmdjuxtvhyto) |
| 08:57:11 | → | bradparker joins (sid262931@gateway/web/irccloud.com/x-hcrjjmdklhbtocmc) |
| 08:57:14 | → | caasih joins (sid13241@gateway/web/irccloud.com/x-terlgyaghsopjzfx) |
| 08:57:15 | → | iphy joins (sid67735@gateway/web/irccloud.com/x-yrvorexjtguqopbo) |
| 08:57:15 | → | jonrh joins (sid5185@gateway/web/irccloud.com/x-znmjmvidrdlxlhvb) |
| 08:57:15 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 08:57:15 | → | Boarders joins (sid425905@gateway/web/irccloud.com/x-gxggczrjyaryshdp) |
| 08:57:17 | → | chessai joins (sid225296@gateway/web/irccloud.com/x-hddezucsjemkshob) |
| 08:57:17 | → | acertain joins (sid470584@gateway/web/irccloud.com/x-lxulhxxapsiocsfs) |
| 08:57:17 | → | ReinH__ joins (sid179972@gateway/web/irccloud.com/x-sdlypohklafvyaji) |
| 08:57:18 | → | teehemkay joins (sid14792@gateway/web/irccloud.com/x-xumdvfbicpwvkzkt) |
| 08:57:18 | → | jbetz joins (sid283648@gateway/web/irccloud.com/x-lgtmgjydvhzpefgi) |
| 08:57:18 | → | trevorriles joins (sid469656@gateway/web/irccloud.com/x-vcwwrvniknzblcpg) |
| 08:57:19 | → | runeks joins (sid21167@gateway/web/irccloud.com/x-tsqpbadbudnfxfmt) |
| 08:57:19 | → | chpatrick joins (sid239395@gateway/web/irccloud.com/x-qcgsvtfujmzclzre) |
| 08:57:19 | → | buggymcbugfix joins (sid432603@gateway/web/irccloud.com/x-rqdusgvomktjpfec) |
| 08:57:19 | → | alexknvl joins (sid259568@gateway/web/irccloud.com/x-hdmczryidxkpwdtp) |
| 08:57:20 | → | Firedancer joins (sid336191@gateway/web/irccloud.com/x-uafmnbgxlsfyadoa) |
| 08:57:20 | → | enemeth79 joins (sid309041@gateway/web/irccloud.com/x-mhnfiahuzjkqbdkg) |
| 08:57:21 | → | mpickering joins (sid78412@gateway/web/irccloud.com/x-wtvxaywdclnnytlv) |
| 08:57:21 | → | lightandlight joins (sid135476@gateway/web/irccloud.com/x-giniijlnwbauwoqq) |
| 08:57:21 | → | edwinb joins (sid69486@gateway/web/irccloud.com/x-elzwlqpwvreqnrml) |
| 08:57:22 | → | alanz joins (sid110616@gateway/web/irccloud.com/x-hvvxxgjtvnddfyee) |
| 08:57:38 | → | gregberns_ joins (sid315709@gateway/web/irccloud.com/x-ytsmrswniuqtuqcd) |
| 08:57:40 | → | graingert joins (sid128301@gateway/web/irccloud.com/x-adgvkrvifopojjaa) |
| 08:57:43 | → | ryjm joins (sid383513@gateway/web/irccloud.com/x-aavthkgvqaggakcc) |
| 08:57:45 | → | eacameron joins (sid256985@gateway/web/irccloud.com/x-kkrohjugegafrkxc) |
| 08:57:50 | → | rdivyanshu joins (sid322626@gateway/web/irccloud.com/x-yyvemamxcxrcinrm) |
| 08:57:53 | → | stylewarning joins (stylewarni@gateway/web/irccloud.com/x-mqhdosxrfptcncnx) |
| 08:58:02 | → | pepeiborra joins (sid443799@gateway/web/irccloud.com/x-qimnexanhdwpswoz) |
| 08:58:05 | → | Guest76112 joins (uid472329@gateway/web/irccloud.com/x-kbynhnxavlyhpluo) |
| 08:58:10 | → | simony joins (sid226116@gateway/web/irccloud.com/x-wzcrwnktljnyyivi) |
| 08:58:15 | → | christo joins (~chris@81.96.113.213) |
| 08:58:23 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 08:58:38 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-woeadvlukonviedq) |
| 09:00:00 | → | dani- joins (sid341953@gateway/web/irccloud.com/x-tbupfjuevzxmvxnp) |
| 09:00:01 | × | paulk-collins quits (~paulk-col@178.162.209.171) () |
| 09:00:21 | → | gaze__ joins (sid387101@gateway/web/irccloud.com/x-dzzzzpxfnvpkwdhs) |
| 09:00:47 | → | ocharles joins (sid30093@musicbrainz/user/ocharles) |
| 09:00:56 | → | feepo joins (sid28508@gateway/web/irccloud.com/x-lshjzkdfazhhdzdf) |
| 09:01:07 | → | J_Arcane joins (sid119274@gateway/web/irccloud.com/x-efprusjudjcoflyt) |
| 09:01:08 | → | bitonic joins (sid61915@gateway/web/irccloud.com/x-tvoekbkcvpstflog) |
| 09:01:32 | × | nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds) |
| 09:01:34 | → | PotatoGim joins (sid99505@gateway/web/irccloud.com/x-xcqktytbackydsev) |
| 09:01:36 | → | benl23 joins (sid284234@gateway/web/irccloud.com/x-nkfumgpyqgaploty) |
| 09:01:43 | → | joel135 joins (sid136450@gateway/web/irccloud.com/x-dkytwygqyubmegrp) |
| 09:01:46 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 09:01:53 | → | SrPx joins (sid108780@gateway/web/irccloud.com/x-htoyitviijeanpkh) |
| 09:01:55 | → | scav joins (sid309693@gateway/web/irccloud.com/x-oovxzuxjybuelhjk) |
| 09:02:13 | → | Kamuela joins (sid111576@gateway/web/irccloud.com/x-bphhyywmrokmqdlb) |
| 09:02:13 | → | agander_m joins (sid407952@gateway/web/irccloud.com/x-zrjfgckotmtugqdf) |
| 09:02:29 | → | mudri joins (sid317655@gateway/web/irccloud.com/x-vxrejnyxzsryfgtw) |
| 09:02:39 | → | higherorder joins (sid185221@gateway/web/irccloud.com/x-rmcizhodywhiwgzv) |
| 09:02:52 | → | davetapley joins (sid666@gateway/web/irccloud.com/x-vyeiyfxfsraauowv) |
| 09:03:00 | → | newhoggy joins (sid198874@gateway/web/irccloud.com/x-terspefkrxdigoxr) |
| 09:03:12 | → | Kelly joins (5596f675@85.150.246.117) |
| 09:03:32 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:05:19 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 09:08:33 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 09:10:18 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 09:10:50 | × | mankyKitty quits (sid31287@gateway/web/irccloud.com/x-beodapysaacbpjue) (Ping timeout: 264 seconds) |
| 09:10:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:11:00 | → | mankyKitty joins (sid31287@gateway/web/irccloud.com/x-hipdokcciegrtmbw) |
| 09:11:15 | × | angerman quits (sid209936@gateway/web/irccloud.com/x-xybpwsyhitgismpo) (Ping timeout: 272 seconds) |
| 09:11:26 | × | JSharp quits (sid4580@wikia/JSharp) (Ping timeout: 264 seconds) |
| 09:11:26 | × | pent quits (sid313808@gateway/web/irccloud.com/x-qzwweipqtpyekzzz) (Ping timeout: 264 seconds) |
| 09:11:53 | × | dani- quits (sid341953@gateway/web/irccloud.com/x-tbupfjuevzxmvxnp) (Ping timeout: 272 seconds) |
| 09:11:53 | × | mcfilib_ quits (sid302703@gateway/web/irccloud.com/x-nfopvhmlkmsaepwm) (Ping timeout: 272 seconds) |
| 09:11:53 | × | fiadliel quits (sid399568@gateway/web/irccloud.com/x-uwigusburxicapvv) (Ping timeout: 272 seconds) |
| 09:11:53 | × | amatecha__ quits (sid10006@gateway/web/irccloud.com/x-eqzthidwnckvywgi) (Ping timeout: 272 seconds) |
| 09:12:01 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:12:31 | × | hamishmack quits (sid389057@gateway/web/irccloud.com/x-rzssupzhdhpijtko) (Ping timeout: 272 seconds) |
| 09:12:38 | × | parseval quits (sid239098@gateway/web/irccloud.com/x-zxdodwyrvwdotzxx) (Ping timeout: 264 seconds) |
| 09:13:09 | × | bitonic quits (sid61915@gateway/web/irccloud.com/x-tvoekbkcvpstflog) (Ping timeout: 272 seconds) |
| 09:13:09 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-exulbvidaltptqxo) (Ping timeout: 272 seconds) |
| 09:13:09 | × | cvlad- quits (sid203065@gateway/web/irccloud.com/x-mazwhejchlyffolo) (Ping timeout: 272 seconds) |
| 09:13:14 | → | angerman joins (sid209936@gateway/web/irccloud.com/x-vpzhonusupvskvmg) |
| 09:13:16 | × | StoneToad quits (~StoneToad@199-167-119-174.ppp.storm.ca) (Ping timeout: 272 seconds) |
| 09:13:29 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds) |
| 09:14:05 | → | pent joins (sid313808@gateway/web/irccloud.com/x-xqrqvlzrksrgsiqc) |
| 09:14:08 | → | parseval joins (sid239098@gateway/web/irccloud.com/x-sburcdiemgwzsqhs) |
| 09:14:19 | → | JSharp joins (sid4580@wikia/JSharp) |
| 09:14:40 | → | bitonic joins (sid61915@gateway/web/irccloud.com/x-nurphsregtkooaez) |
| 09:14:50 | → | dani- joins (sid341953@gateway/web/irccloud.com/x-otmdrxdrodgxrqxy) |
| 09:14:54 | → | hamishmack joins (sid389057@gateway/web/irccloud.com/x-qcqdptgzivzgrpwu) |
| 09:14:56 | → | cvlad- joins (sid203065@gateway/web/irccloud.com/x-kgwwtdcwktijsmay) |
| 09:14:59 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-fanmypdregedhpxu) |
| 09:15:00 | → | fiadliel joins (sid399568@gateway/web/irccloud.com/x-xbmjzphrjjyfrdoz) |
| 09:15:03 | → | mcfilib_ joins (sid302703@gateway/web/irccloud.com/x-riwkfcukospcncdx) |
| 09:15:40 | → | amatecha__ joins (sid10006@gateway/web/irccloud.com/x-kzvefycrrmalzbls) |
| 09:15:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 09:18:13 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 09:18:31 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 09:20:17 | → | StoneToad joins (~StoneToad@199-167-119-137.ppp.storm.ca) |
| 09:22:12 | × | AceNovo quits (~chris@184.101.220.149) (Quit: Konversation terminated!) |
| 09:22:37 | → | AceNovo joins (~chris@184.101.220.149) |
| 09:22:38 | × | Kelly quits (5596f675@85.150.246.117) (Remote host closed the connection) |
| 09:23:28 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:28:29 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 09:28:30 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 09:29:27 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 09:29:32 | × | drbean quits (~drbean@TC210-63-209-19.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 09:30:00 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 09:31:52 | → | christo joins (~chris@81.96.113.213) |
| 09:33:47 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 09:36:05 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:36:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:37:07 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:38:26 | × | xff0x quits (~fox@2001:1a81:52da:100:71ff:17f4:8c8e:497) (Ping timeout: 264 seconds) |
| 09:39:06 | → | xff0x joins (~fox@2001:1a81:52da:100:907d:99cc:c60e:cc24) |
| 09:39:32 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 09:42:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 09:43:05 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 240 seconds) |
| 09:43:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:46:15 | × | hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 09:48:32 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 09:48:34 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 09:50:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:52:25 | → | christo joins (~chris@81.96.113.213) |
| 09:54:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:55:22 | × | rprije quits (~rprije@124.148.131.132) (Ping timeout: 246 seconds) |
| 09:56:23 | → | bitmagie joins (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) |
| 09:59:38 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 09:59:45 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 09:59:53 | × | tiru quits (tiru@gateway/web/irccloud.com/x-tnkszxsozlkikzup) (Read error: Connection reset by peer) |
| 09:59:59 | × | Boarders quits (sid425905@gateway/web/irccloud.com/x-gxggczrjyaryshdp) (Read error: Connection reset by peer) |
| 10:00:02 | × | integral quits (sid296274@p3m/member/integral) (Ping timeout: 264 seconds) |
| 10:00:02 | × | verlet64_ quits (sid261276@gateway/web/irccloud.com/x-qwtrkevpekfqyucq) (Ping timeout: 264 seconds) |
| 10:00:13 | → | tiru joins (tiru@gateway/web/irccloud.com/x-nnjznofsaufhsulw) |
| 10:00:22 | → | Boarders joins (sid425905@gateway/web/irccloud.com/x-dubpmndbjgfmwzls) |
| 10:00:24 | × | chessai quits (sid225296@gateway/web/irccloud.com/x-hddezucsjemkshob) (Read error: Connection reset by peer) |
| 10:00:24 | × | teehemkay quits (sid14792@gateway/web/irccloud.com/x-xumdvfbicpwvkzkt) (Read error: Connection reset by peer) |
| 10:00:32 | × | enemeth79 quits (sid309041@gateway/web/irccloud.com/x-mhnfiahuzjkqbdkg) (Read error: Connection reset by peer) |
| 10:00:32 | × | whez quits (sid470288@gateway/web/irccloud.com/x-blauwezioburoyvy) (Read error: Connection reset by peer) |
| 10:00:33 | → | chessai joins (sid225296@gateway/web/irccloud.com/x-kavvwgqdexvffjul) |
| 10:00:38 | × | billstclair quits (sid77830@gateway/web/irccloud.com/x-dpnwvdsjevdsepff) (Read error: Connection reset by peer) |
| 10:00:40 | → | integral joins (sid296274@p3m/member/integral) |
| 10:00:42 | → | teehemkay joins (sid14792@gateway/web/irccloud.com/x-oyaopddsariqskvr) |
| 10:00:47 | → | whez joins (sid470288@gateway/web/irccloud.com/x-izvwsjinqbiccect) |
| 10:00:50 | → | verlet64_ joins (sid261276@gateway/web/irccloud.com/x-eieynnxuwbvgyafz) |
| 10:00:51 | → | enemeth79 joins (sid309041@gateway/web/irccloud.com/x-caupormkuhtvjyua) |
| 10:00:56 | → | billstclair joins (sid77830@gateway/web/irccloud.com/x-gmocwseudwezmlvo) |
| 10:03:13 | → | LKoen joins (~LKoen@53.253.88.92.rev.sfr.net) |
| 10:03:39 | × | benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-hscbybzlcqmvyxxg) (Quit: Connection closed for inactivity) |
| 10:03:57 | × | adamse quits (sid72084@gateway/web/irccloud.com/x-onphgmdjuxtvhyto) (Ping timeout: 260 seconds) |
| 10:05:44 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 10:06:30 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-woeadvlukonviedq) (Quit: Connection closed for inactivity) |
| 10:06:45 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 10:07:03 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 10:07:03 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 10:07:35 | <bqv> | i'm looking for lenses over the store comonad |
| 10:07:47 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 10:07:47 | <bqv> | the only trace of that being a thing is one stackoverflow post from long ago |
| 10:09:01 | <bqv> | is there no library that considers this |
| 10:10:05 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 10:12:03 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 10:14:42 | × | knupfer quits (~Thunderbi@mue-88-130-61-023.dsl.tropolys.de) (Ping timeout: 272 seconds) |
| 10:15:41 | → | adamse joins (sid72084@gateway/web/irccloud.com/x-gugbiavtvejuwlop) |
| 10:16:06 | → | fendor joins (~fendor@078132052150.public.t-mobile.at) |
| 10:17:03 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 10:18:00 | hackage | buffet 1.0.1 - Assembles many Dockerfiles in one. https://hackage.haskell.org/package/buffet-1.0.1 (evolutics) |
| 10:20:24 | × | mmohammadi9812 quits (~mmohammad@5.238.175.25) (Ping timeout: 272 seconds) |
| 10:20:51 | → | mmohammadi9812 joins (~mmohammad@5.115.198.108) |
| 10:23:39 | → | subttle joins (~anonymous@unaffiliated/subttle) |
| 10:25:36 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 10:26:30 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 244 seconds) |
| 10:26:34 | × | invaser quits (~Thunderbi@31.148.23.125) (Quit: invaser) |
| 10:27:05 | → | dvratil joins (~dvratil@195.206.169.184) |
| 10:27:21 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 10:29:27 | × | mud quits (~mud@unaffiliated/kadoban) (Read error: Connection reset by peer) |
| 10:29:53 | → | mud joins (~mud@unaffiliated/kadoban) |
| 10:30:15 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 10:32:00 | × | sw1nn quits (~sw1nn@2a00:23c6:2385:3a00:764e:ee26:f610:acc0) (Quit: WeeChat 2.9) |
| 10:33:49 | → | sw1nn joins (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 10:34:43 | × | AceNovo quits (~chris@184.101.220.149) (Quit: Konversation terminated!) |
| 10:35:05 | → | AceNovo joins (~chris@184.101.220.149) |
| 10:37:03 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 10:46:46 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 10:46:47 | <siraben> | bqv: you're looking for a lens library that uses the store comonad encoding? |
| 10:48:13 | <bqv> | I'm looking for a way to create a lens over a `Store b a` |
| 10:48:38 | <bqv> | I realise the problem is that comonads aren't, by default, writable |
| 10:48:46 | <bqv> | Hm |
| 10:50:19 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 10:51:00 | hackage | yesod-core 1.6.18.6 - Creation of type-safe, RESTful web applications. https://hackage.haskell.org/package/yesod-core-1.6.18.6 (MichaelSnoyman) |
| 10:52:46 | <siraben> | bqv: https://www.schoolofhaskell.com/user/tel/lenses-from-scratch ? |
| 10:53:30 | hackage | yesod-eventsource 1.6.0.1 - Server-sent events support for Yesod apps. https://hackage.haskell.org/package/yesod-eventsource-1.6.0.1 (MichaelSnoyman) |
| 10:54:35 | × | dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 258 seconds) |
| 10:54:52 | × | scasc quits (~szabi@213142096120.public.telering.at) (Ping timeout: 246 seconds) |
| 10:55:50 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:56:24 | <bqv> | siraben: I don't quite follow |
| 10:56:51 | <siraben> | quaestor: what do you mean by comonads aren't writable? |
| 10:57:01 | <siraben> | They are exactly the categorical dual of monads |
| 10:57:04 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 10:58:09 | <bqv> | Would fmap on a Store change every value or just one |
| 10:58:33 | <bqv> | I meant no way of changing just one value |
| 10:59:32 | <siraben> | bqv: store comonad does not, IIRC. You probably want to look at the van Laarhoven encoding of Lenses |
| 10:59:40 | <siraben> | That gives you the full Lens s t a b |
| 10:59:48 | <siraben> | `type Lens s t a b = Functor f => (a -> f b) -> (s -> f t)` |
| 11:00:15 | <bqv> | Ok |
| 11:00:53 | <siraben> | bqv: oh, I have a notes on different ways to implement lenses, see https://github.com/siraben/fp-notes/tree/master/lens |
| 11:01:54 | <siraben> | some notes* |
| 11:02:55 | <bqv> | Awesome |
| 11:03:53 | × | mmohammadi9812 quits (~mmohammad@5.115.198.108) (Ping timeout: 256 seconds) |
| 11:04:17 | → | mmohammadi9812 joins (~mmohammad@5.115.208.247) |
| 11:04:34 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) |
| 11:09:12 | → | Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 11:11:39 | → | da39a3ee5e6b4b0d joins (~textual@cm-171-98-71-90.revip7.asianet.co.th) |
| 11:13:46 | → | mi23523523 joins (~Mi1029384@82.131.36.218.cable.starman.ee) |
| 11:14:14 | <mi23523523> | Hello. Can someone give example of grading decimals ? |
| 11:14:38 | <mi23523523> | This: (2567.54257)^(257.525472457) kind of thing seems not to work |
| 11:15:09 | × | LKoen quits (~LKoen@53.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 11:15:30 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 11:15:34 | × | mmohammadi9812 quits (~mmohammad@5.115.208.247) (Ping timeout: 256 seconds) |
| 11:15:40 | <xerox_> | :t (^) |
| 11:15:42 | <lambdabot> | (Integral b, Num a) => a -> b -> a |
| 11:15:44 | <xerox_> | :t (**) |
| 11:15:45 | <lambdabot> | Floating a => a -> a -> a |
| 11:16:50 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 11:17:02 | <ClaudiusMaximus> | :t (^^) |
| 11:17:04 | <lambdabot> | (Fractional a, Integral b) => a -> b -> a |
| 11:18:26 | <ClaudiusMaximus> | > (2567.54257)**(257.525472457) |
| 11:18:28 | <lambdabot> | Infinity |
| 11:18:39 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 11:18:46 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 11:19:23 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Read error: Connection reset by peer) |
| 11:19:25 | <mi23523523> | thank you |
| 11:19:45 | → | Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 11:19:49 | <mi23523523> | but it seems that with decimals the grading doesn't work so well |
| 11:20:37 | × | sw1nn quits (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Quit: WeeChat 2.9) |
| 11:21:01 | <mi23523523> | Kaiepi, who are you ? |
| 11:21:06 | <mi23523523> | Are you from Tartu ? |
| 11:21:35 | → | otulp joins (~otulp@ti0187q162-7043.bb.online.no) |
| 11:21:36 | <Kaiepi> | no? |
| 11:21:44 | <Kaiepi> | i've been a lurker for a while |
| 11:21:45 | <mi23523523> | alright |
| 11:22:00 | <mi23523523> | I know a Kaie from Tartu |
| 11:22:02 | → | sw1nn joins (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 11:27:10 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds) |
| 11:27:25 | × | aarvar quits (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 246 seconds) |
| 11:28:33 | × | mi23523523 quits (~Mi1029384@82.131.36.218.cable.starman.ee) (Remote host closed the connection) |
| 11:31:16 | <siraben> | What's a grading decimal? |
| 11:31:56 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 11:32:59 | → | christo joins (~chris@81.96.113.213) |
| 11:35:53 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 11:36:23 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 11:37:53 | → | alp joins (~alp@2a01:e0a:58b:4920:cc91:4498:5c:7f27) |
| 11:39:22 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 11:39:48 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 11:41:42 | × | da39a3ee5e6b4b0d quits (~textual@cm-171-98-71-90.revip7.asianet.co.th) (Ping timeout: 256 seconds) |
| 11:41:43 | × | bitmagie quits (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) (Quit: bitmagie) |
| 11:43:03 | → | gtk joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:43:24 | <gtk> | class Convertible a b | a -> b where... I don't understand why a -> b is necessary |
| 11:43:52 | <gtk> | because in the instance definition, we are clear what b is |
| 11:44:20 | → | jedws joins (~jedws@101.184.150.81) |
| 11:44:27 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 11:46:03 | × | RoguePointer quits (~jigen@unaffiliated/roguepointer) (Quit: <>) |
| 11:47:59 | <fendor> | gtk, to guide type inference. It basically says, if you know a, you know b, and iirc, it means that there should only be one instance per a. |
| 11:49:30 | <gtk> | only one instance per a! |
| 11:49:42 | <gtk> | why the doc don't mention this |
| 11:49:45 | <gtk> | this is the key! |
| 11:50:02 | <gtk> | thx fendor |
| 11:50:23 | <fendor> | gtk, the relevant docs are functional dependencies |
| 11:50:42 | <fendor> | https://wiki.haskell.org/Functional_dependencies |
| 11:50:50 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 11:50:54 | <fendor> | *are from |
| 11:50:55 | <gtk> | i know. I just think that the dependencies are obvious during instance definition |
| 11:51:05 | → | christo joins (~chris@81.96.113.213) |
| 11:51:43 | <fendor> | unfortunately, not. Take for instance the array typeclass. It has two parameters, the index type and the value type. They have no dependency, though |
| 11:51:57 | <fendor> | would be sad if you could only have one index type per value type or vice versa |
| 11:52:21 | <gtk> | good point |
| 11:53:04 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 11:55:02 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 11:55:30 | → | chisui_ joins (2e728e2b@dynamic-046-114-142-043.46.114.pool.telefonica.de) |
| 11:55:48 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 11:57:20 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 11:57:29 | <chisui_> | Hello, is there a way to embed haskell expressions inside of QuasiQuotes without writing your own haskell parser? |
| 11:57:49 | × | valdyn quits (~valdyn@host-88-217-143-53.customer.m-online.net) (Remote host closed the connection) |
| 11:59:21 | × | codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer) |
| 11:59:36 | → | hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
| 12:00:01 | × | dvratil quits (~dvratil@195.206.169.184) () |
| 12:00:16 | × | motte quits (~weechat@unaffiliated/motte) (Ping timeout: 260 seconds) |
| 12:00:28 | → | codygman joins (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) |
| 12:00:41 | × | hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 12:01:12 | → | hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
| 12:02:00 | × | codygman quits (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) (Read error: Connection reset by peer) |
| 12:02:17 | → | codygman joins (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) |
| 12:02:24 | × | codygman quits (~codygman@2600:380:f917:4c4e:ff53:5f66:f1d3:6131) (Client Quit) |
| 12:04:22 | × | pfurla quits (~pfurla@185.108.105.122) (Ping timeout: 256 seconds) |
| 12:07:44 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 12:07:50 | → | bitmagie joins (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) |
| 12:10:25 | × | gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 12:11:09 | × | carlomagno quits (~cararell@148.87.23.11) (Remote host closed the connection) |
| 12:11:15 | → | Sanchayan joins (~Sanchayan@223.226.118.59) |
| 12:12:48 | × | Sanchayan quits (~Sanchayan@223.226.118.59) (Client Quit) |
| 12:15:32 | × | xff0x quits (~fox@2001:1a81:52da:100:907d:99cc:c60e:cc24) (Ping timeout: 260 seconds) |
| 12:16:04 | × | alp quits (~alp@2a01:e0a:58b:4920:cc91:4498:5c:7f27) (Ping timeout: 240 seconds) |
| 12:16:17 | × | chisui_ quits (2e728e2b@dynamic-046-114-142-043.46.114.pool.telefonica.de) (Remote host closed the connection) |
| 12:16:18 | → | xff0x joins (~fox@2001:1a81:52da:100:72bb:28a0:cf70:9b87) |
| 12:19:05 | berberman_ | is now known as berberman |
| 12:19:06 | × | dorkside quits (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 12:19:22 | → | drbean joins (~drbean@TC210-63-209-151.static.apol.com.tw) |
| 12:19:32 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 12:19:32 | × | dorkside quits (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 12:19:48 | → | scasc joins (~szabi@213142096120.public.telering.at) |
| 12:19:52 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 12:19:52 | × | dorkside quits (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 12:20:12 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 12:20:12 | × | dorkside quits (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 12:20:32 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 12:20:32 | × | dorkside quits (~tdbgamer@208.190.197.222) (Remote host closed the connection) |
| 12:21:21 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 12:22:37 | → | frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 12:26:49 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:28:08 | × | britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 12:28:16 | × | scasc quits (~szabi@213142096120.public.telering.at) (Quit: Leaving) |
| 12:29:00 | → | avdb joins (~avdb@ip-62-235-106-244.dsl.scarlet.be) |
| 12:29:40 | <chreekat[m]> | Template Haskell? |
| 12:30:23 | × | sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 12:31:10 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 12:31:26 | <frdg> | I just came back to my stack project and GHCID is giving me an error that it cannot find a module that it should be able to find. I am able to run the program successfully with `stack run` and I can load everything into GHCI just fine, so the problem must be GHCID. Here is the error: https://dpaste.org/xmq7 |
| 12:33:06 | <frdg> | here is the output if I use the -v flag like it says: I really cant make any sense of it. https://dpaste.org/rjri |
| 12:34:09 | × | revtintin quits (~revtintin@42.61.242.247) (Quit: WeeChat 1.9.1) |
| 12:34:40 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 12:35:59 | → | RoguePointer joins (~jigen@94.177.235.178) |
| 12:35:59 | × | RoguePointer quits (~jigen@94.177.235.178) (Changing host) |
| 12:35:59 | → | RoguePointer joins (~jigen@unaffiliated/roguepointer) |
| 12:37:07 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 12:37:20 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 12:38:13 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 12:38:28 | <fendor> | frdg, try executing "stack exec -- ghci -isrc -iapp ~/haskell/fishing-web-app/app/Main.hs" directly, the error message will probbaly be helpful |
| 12:40:52 | <frdg> | fendor: I get the exact same error that ghcid gave. |
| 12:41:15 | <fendor> | then I guess that is a stack error |
| 12:41:39 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (Quit: Gateway shutdown) |
| 12:41:56 | <fendor> | maybe hpack did not regenerate the cabal file correctly? Or did you update the .cabal file manually? |
| 12:42:16 | <frdg> | I update the cabal file manually |
| 12:43:05 | → | JuanMiguel joins (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) |
| 12:43:06 | <fendor> | frdg, can you maybe share the error message? |
| 12:43:17 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 12:43:22 | <fendor> | is it this: can't find file: stack exec -- ghci -isrc -iapp ~/haskell/fishing-web-app/app/Main.hs |
| 12:43:54 | <frdg> | https://dpaste.org/cD9k |
| 12:44:43 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 12:45:13 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 12:45:40 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 12:45:41 | <fendor> | and this module exists as src/Base.hs? maybe ghcid is not executed in ~/haskell/fishing-web-app but some root directory of it? |
| 12:45:51 | <fendor> | *parent directory |
| 12:46:44 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 12:46:52 | <frdg> | no it exists in `app/Base.hs` |
| 12:46:58 | <fendor> | same thing basically |
| 12:47:10 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 12:51:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 12:52:02 | <fendor> | frdg, however, if you can re-produce it locally, it definitely is not ghcid specific |
| 12:52:57 | <avdb> | I just learned about monads but they seem really "performance intensive", is it really the ideal solution? |
| 12:53:35 | → | knupfer joins (~Thunderbi@200116b82ca873008cc39c41af455969.dip.versatel-1u1.de) |
| 12:53:47 | <maerwald> | you're right... inlining and specialization sometimes helps |
| 12:54:09 | <maerwald> | https://neilmitchell.blogspot.com/2019/10/monads-as-graphs.html is interesting |
| 12:54:29 | <maerwald> | and https://www.youtube.com/watch?v=0jI-AlWEwYI |
| 12:54:32 | <frdg> | fendor: yes this is surely good to know. I have reinstalled stack since I last worked with this project. It is just strange that I can compile and run it. |
| 12:55:47 | <fendor> | frdg, I would rather suggest to nuke the .stack-work/ folder and see if that helps |
| 12:56:24 | × | JuanMiguel quits (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) (Quit: This computer has gone to sleep) |
| 12:56:51 | → | DrGuschtel joins (~DrGuschte@84.39.116.180) |
| 12:57:31 | <frdg> | fendor: same error after removing that folder |
| 12:58:06 | → | Gurkenglas__ joins (~Gurkengla@unaffiliated/gurkenglas) |
| 12:58:10 | → | geekosaur joins (ac3a5366@172.58.83.102) |
| 13:00:00 | × | sw1nn quits (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Quit: WeeChat 2.9) |
| 13:00:15 | → | bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se) |
| 13:01:16 | → | sw1nn joins (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) |
| 13:05:35 | × | Saukk quits (~Saukk@85-156-19-45.elisa-laajakaista.fi) (Remote host closed the connection) |
| 13:08:27 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 13:09:46 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 13:10:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:13:06 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 13:18:51 | × | Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection) |
| 13:19:19 | → | Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 13:19:47 | <Ariakenom> | avdb, there performance is great afaik. what do u mean? |
| 13:22:00 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 256 seconds) |
| 13:23:08 | × | Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 13:24:38 | → | Cthalupa joins (~cthulhu@47.186.47.75) |
| 13:25:42 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 13:25:55 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 13:29:03 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:32:33 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 13:32:46 | → | Achylles joins (~Achylles@187.34.14.187) |
| 13:33:54 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 13:33:57 | × | Achylles quits (~Achylles@187.34.14.187) (Max SendQ exceeded) |
| 13:34:30 | → | Achylles joins (~Achylles@187.34.14.187) |
| 13:35:26 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 13:36:07 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 13:36:53 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 13:38:11 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 13:44:21 | → | texasmynsted joins (~texasmyns@64.44.55.100) |
| 13:44:54 | × | knupfer quits (~Thunderbi@200116b82ca873008cc39c41af455969.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 13:45:13 | × | drbean quits (~drbean@TC210-63-209-151.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 13:46:19 | <maerwald> | Ariakenom: it isn't, that's why free monads are slow too and applicative has more ways for the compiler to optimise |
| 13:46:22 | × | shatriff quits (~vitaliish@176.52.219.10) (Read error: Connection reset by peer) |
| 13:46:48 | <maerwald> | this is a basic problem for effects systems as well |
| 13:46:51 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 13:47:38 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Quit: p-core) |
| 13:48:04 | → | dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net) |
| 13:48:13 | <Ariakenom> | free monads yes. but normal concrete ones are not |
| 13:48:47 | <maerwald> | yes they are, because tho next effect depends on the valuee |
| 13:49:28 | × | Achylles quits (~Achylles@187.34.14.187) (Remote host closed the connection) |
| 13:50:30 | <maerwald> | also relevant https://www.vidarholen.net/contents/blog/?p=859 wrt transformers slowing down your program by 10% |
| 13:51:25 | <maerwald> | it's also true intuitevely, because it's the most expressive tool, where effects depend on values |
| 13:51:33 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 13:51:46 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 13:52:42 | <maerwald> | that limits statical analysis too as described in Neils blog post |
| 13:54:51 | → | Achylles joins (~Achylles@187.34.14.187) |
| 13:54:58 | <Ariakenom> | the relevant comparison here,, I would think, would be between side effects and IO. And I've never seen any claim that IO is slow. (not that side effects would work in haskell but still) |
| 13:55:15 | <maerwald> | for it to perform well at all, you need to rely on GHC to do a lot of nice optimisations. If they break, for esoteric reasons, you're left with bad performance |
| 13:55:42 | <merijn> | maerwald: that's only for polymorphic do blocks/monadic actions |
| 13:55:44 | <geekosaur> | IO is known to have slow cases. they're usually hidden by ghc optimizations and by I/O itself being slow |
| 13:56:13 | <merijn> | There's too many wish-washy words and descriptions in this discussion for it to be remotely useful, though |
| 13:56:59 | <merijn> | For one, I call BS on the claim that "Applicative gets better optimised than Monad" beyond "some people have implemented more efficient Applicative instances" |
| 13:57:29 | <merijn> | The amount of optimisation GHC does, doesn't make use of class laws, afaik, so that can't matter |
| 13:58:39 | × | geekosaur quits (ac3a5366@172.58.83.102) (Remote host closed the connection) |
| 13:58:40 | <merijn> | "transformers is 10% slower" is also impossibly general. 10% slow than what? What's your baseline? What's the code? Without precision about what performance/numbers we're tracking, what we're comparing against, this is just some IRC masturbation about our favourite/unfavourite abstractions |
| 13:58:52 | <maerwald> | merijn: see the link |
| 13:59:15 | <maerwald> | I was very specific |
| 13:59:20 | <merijn> | I see 0 mentions of "transformers" when searching that page |
| 13:59:28 | <maerwald> | then you didn't read it properly |
| 13:59:32 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 13:59:48 | <merijn> | I didn't read, I searched |
| 13:59:50 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 13:59:52 | <maerwald> | "Converting them to a cleaner ReaderT led to a 10% total run time regression, so I had to revert it." |
| 13:59:54 | <Ariakenom> | search 10% or readert |
| 13:59:55 | <merijn> | Anyway, I found it |
| 14:00:33 | <merijn> | "10% between functions and ReaderT" <- was that using polymorphic mtl style code or using transformers? Do you have a sample? 10% regression in what? wallclock time? memory? |
| 14:00:55 | <maerwald> | run time regression |
| 14:02:20 | <maerwald> | ReaderT is a transformer, not mtl |
| 14:02:36 | <maerwald> | I didn't look at the PR though |
| 14:02:51 | <merijn> | Yes, but you can use ReaderT in a stack and still write intermediate code using mtl |
| 14:03:01 | <merijn> | In fact, lots of people do |
| 14:05:28 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 14:07:24 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 14:08:45 | <maerwald> | "instances can perform analysis of computations before they are executed, and thus produce shared optimizations." :) |
| 14:09:08 | → | plakband joins (~plakband@softbank126126238105.bbtec.net) |
| 14:10:28 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 14:11:24 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 14:12:45 | × | olligobber quits (~olligobbe@unaffiliated/olligobber) (Ping timeout: 240 seconds) |
| 14:13:17 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 14:13:30 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 14:14:45 | <merijn> | My point is that that's just a matter of "<*>" is a different function than >>= |
| 14:15:27 | <merijn> | There's no reason you couldn't do the same thing transformers IFF users restrict themselves to <*> |
| 14:16:00 | <merijn> | And if they can't restrict themselves to <*> the entire discussion is moot, since that means they can't implement it without using Monad anyway |
| 14:17:04 | <merijn> | So "Applicatives are faster than monads" is true in the same vacuous sense that "return 42" is faster than "doing actual computation", which is great if returning 42 is all you need, but utterly pointless if you need something else |
| 14:17:53 | <maerwald> | And I've read a lot that <*> often outperform `ap` |
| 14:19:52 | <merijn> | That's an artifact of ap not being a class method and predating AMP, being implemented using >>= |
| 14:20:39 | <merijn> | We could easily make it either a class method or change it to be <*>, but then everyone who defined Applicative using `ap` has their code break |
| 14:20:50 | <merijn> | There's also literally no reason to use "ap" ever |
| 14:22:36 | <[exa]> | hm, what's the easiest way/package/function to convert string-ish numbers to unixtime? (even ignoring the about the amount of ambiguity hidden in that task) |
| 14:23:01 | <maerwald> | [exa]: there are a few fuzzy time parsers |
| 14:23:17 | <[exa]> | in particular, I just found that `Data.UnixTime.parseUnixTime "%Y-%m-%d" "2020-10-32"` is the same as for "2020-10-0" with no error reported |
| 14:23:36 | <maerwald> | @hackage fuzzy-dates |
| 14:23:36 | <lambdabot> | https://hackage.haskell.org/package/fuzzy-dates |
| 14:23:37 | <[exa]> | at least the errors would be cool |
| 14:23:54 | <merijn> | [exa]: Where is Data.UnixTime from? |
| 14:24:00 | <merijn> | And why are you not using Data.Time? |
| 14:24:04 | × | lep-delete quits (~lep@94.31.83.149) (Read error: Connection reset by peer) |
| 14:24:34 | <[exa]> | package `unix-time` |
| 14:24:53 | <[exa]> | it was here in the project, expected no shenanigans |
| 14:25:17 | → | lep-delete joins (~lep@94.31.83.149) |
| 14:25:25 | × | yinfeng quits (~yinfeng@114.212.87.131) (Ping timeout: 264 seconds) |
| 14:25:45 | <merijn> | [exa]: Seems easiest to just parse a UTCTime using "time" and then use utcTimeToPOSIXSeconds ? |
| 14:25:51 | lep-delete | is now known as test |
| 14:26:20 | test | is now known as Guest67212 |
| 14:26:50 | <[exa]> | merijn: will try, thanks |
| 14:31:40 | → | Achylles_ joins (~Achylles@191.205.18.155) |
| 14:32:03 | <__monty__> | Isn't Data.Time anything but lax/fuzzy? |
| 14:33:33 | <[exa]> | oh that at least knows how to fail on Oct 32th |
| 14:34:04 | <merijn> | __monty__: Hence my suggestion to use that, rather than unix-time? |
| 14:35:06 | × | Achylles quits (~Achylles@187.34.14.187) (Ping timeout: 256 seconds) |
| 14:35:56 | → | erisco joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 14:37:27 | <__monty__> | Lacking reading comprehension. For some reason I thought [exa] was asking for a lax time parser. |
| 14:37:49 | [exa] | googinling what's a lax parser |
| 14:38:17 | <[exa]> | like, ideally I'd love to have the time parser from gnu date |
| 14:38:32 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 14:39:01 | <__monty__> | [exa]: It's a parser that's not strict about the input format it accepts. Think HTML in browsers, at least older browsers. |
| 14:40:24 | <[exa]> | oh good, thanks |
| 14:40:48 | → | tochicool joins (~tochicool@31.124.45.74) |
| 14:40:48 | × | tochicool quits (~tochicool@31.124.45.74) (Client Quit) |
| 14:41:08 | → | tochicool joins (~tochicool@188.166.170.246) |
| 14:41:41 | <maerwald> | yes, see fuzzy-dates |
| 14:42:33 | → | plutoniix joins (~q@node-ull.pool-125-24.dynamic.totinternet.net) |
| 14:44:10 | <[exa]> | eyebrow very raised |
| 14:47:26 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:3b3a:dfa6:d69e:5cd8) (Ping timeout: 264 seconds) |
| 14:48:40 | → | tobiasBora joins (~weechat@176-190-197-81.abo.bbox.fr) |
| 14:49:31 | <tobiasBora> | Hello, I'd like to know, is there a function like MonadFail m => String -> Maybe a -> m a, that basically fails with String if a is Nothing, else returns a? |
| 14:51:29 | <maerwald> | :t \x -> maybe (fail x) pure |
| 14:51:30 | <lambdabot> | MonadFail m => String -> Maybe a -> m a |
| 14:51:42 | <[exa]> | tobiasBora: `fromMaybe . fail` could work |
| 14:52:08 | <[exa]> | (modulo some operand grouping) |
| 14:52:51 | <[exa]> | oh ofc I'm missing return, maerwald has it right. :] |
| 14:53:36 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 14:53:43 | <maerwald> | :t flip maybe pure . fail |
| 14:53:45 | <lambdabot> | MonadFail f => String -> Maybe a -> f a |
| 14:54:00 | <tobiasBora> | Cool, thanks a lot! |
| 14:54:02 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 14:54:25 | <tobiasBora> | I have so much trouble to parse stuff like flip maybe pure . fail |
| 14:54:39 | <maerwald> | stick to the lambda thing then |
| 14:54:53 | <maerwald> | this is just eta reduction, which is good for top level functions |
| 14:56:42 | × | Techcable quits (znc@irc.techcable.net) (Quit: ZNC - http://znc.in) |
| 14:56:43 | <tochicool> | does anyone know why this will not type check? let g f = bimap f f in g id ((),False) |
| 14:57:21 | → | carlomagno joins (~cararell@148.87.23.13) |
| 14:58:06 | → | Techcable joins (znc@irc.techcable.net) |
| 14:58:46 | <fendor> | oh, isn't that because of Monomophism Restriction? |
| 14:58:57 | <tobiasBora> | You parent it like "((flip maybe) pure) . fail" = "\x -> ((flip maybe) pure) (fail x)" = "maybe (fail x) pure" I guess. But when you read stuff like "flip maybe pure . fail", is it like trivial for you, or you still have to think about this kind of expressions to understand them? I still miss intuition to parse Haskell code quickly$ |
| 14:59:12 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:96ae:e603:6cd4:c30b) |
| 14:59:21 | <merijn> | tobiasBora: The solution is to give it a name and dump it in a where block |
| 14:59:25 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 15:00:01 | <maerwald> | it isn't intuitive, it's just hand-optimisation so it can better inline. I almost always start with lambdas and explicit arguments |
| 15:00:01 | × | DrGuschtel quits (~DrGuschte@84.39.116.180) () |
| 15:00:23 | → | benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-ugqvpbihzsnuhnwq) |
| 15:00:44 | <merijn> | tochicool: Because that requires a RankN type |
| 15:01:16 | <merijn> | tochicool: A question: What is the type of 'g'? |
| 15:03:39 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 15:04:00 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 15:04:30 | hackage | minizinc-process 0.1.2.1 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.2.1 (LucasDiCioccio) |
| 15:04:43 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Client Quit) |
| 15:05:06 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 15:06:46 | <tochicool> | merijn: i think ghc is inferring: Bifunctor p => (a -> d) -> p a a -> p d d - but i'm not sure how to type the more general function |
| 15:07:06 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 15:07:06 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-iuvslqcwjrfktbse) (Quit: Connection closed for inactivity) |
| 15:07:20 | → | Achylles__ joins (~Achylles@200-100-230-202.dial-up.telesp.net.br) |
| 15:07:41 | <merijn> | tochicool: Basically, what your example needs is some way of expressing that your input function works "for all possible input types" (as 'id' does), right? |
| 15:08:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) |
| 15:08:26 | → | alp joins (~alp@2a01:e0a:58b:4920:b98d:1d09:bcd0:af63) |
| 15:09:07 | <merijn> | One way to type your specific example would be "Bifunctor p => (forall a . a -> a) -> p b c -> p b c" (the forall indicating that the function is 'a -> a', for, well, all possible 'a') |
| 15:09:47 | <merijn> | tochicool: This use of "forall" is a rank 2 type, which requires an extension for GHC to use |
| 15:10:38 | <merijn> | Additionally, they're no inferrable (well, technically Rank2 is inferrable, but higher ranks aren't. However the inference for rank 2 types is so horrific that GHC does not implement it) |
| 15:10:48 | × | Achylles_ quits (~Achylles@191.205.18.155) (Ping timeout: 256 seconds) |
| 15:10:50 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 15:10:53 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 15:10:56 | <avdb> | I'm confused, is combining functions commutative? For example, if I have f(g(x)), is it the same as g(f(x))? |
| 15:11:15 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 15:11:22 | <merijn> | avdb: Not in general, no |
| 15:11:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:d012:b0d5:8436:4dad) (Client Quit) |
| 15:12:04 | → | luke joins (~luke@bitnomial/staff/luke) |
| 15:12:19 | <avdb> | https://imgur.com/PCYZBJy.png |
| 15:12:21 | <__monty__> | avdb: A simple example would be incrementing and doubling. |
| 15:12:32 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds) |
| 15:12:44 | <avdb> | I just tried, it is indeed not the same, seems like I found misinformation in a video on YouTube! |
| 15:12:57 | <avdb> | Or maybe it only applies to non-numerical functions or something |
| 15:13:05 | <__monty__> | Nope. |
| 15:13:07 | <merijn> | avdb: nope |
| 15:13:21 | <merijn> | avdb: Consider 'f :: Int -> Bool' and 'g :: Char -> Int' |
| 15:13:30 | <merijn> | Those can only go one way around :) |
| 15:13:54 | <avdb> | https://imgur.com/PCYZBJy.png |
| 15:14:06 | <merijn> | avdb: There are classes of functions that are commutative, but you'd have to specify you're only talking about that specific class of functions |
| 15:14:25 | <avdb> | Oops wrong screenshot, do you need the video? |
| 15:14:26 | <tochicool> | merijn: ok thanks, what i have in mind is something like g :: Bifunctor f => (f :: forall a b . a -> b) -> p a a -> p (f a) (f a) |
| 15:14:39 | <avdb> | https://www.youtube.com/watch?v=ZhuHCtR3xq8 |
| 15:14:41 | <avdb> | 11:50 |
| 15:14:57 | <merijn> | tochicool: You can't write a sensible "forall a b . a -> b" |
| 15:14:59 | <avdb> | Sorry for being a little spammy, I need to make sure that I understand it |
| 15:15:13 | <merijn> | tochicool: The only possible ones are "undefined" and "unsafeCoerce" |
| 15:16:19 | <merijn> | tochicool: Note that something like "(Bifunctor f, Applicative g) => (forall . a -> g a) -> p b c -> p (g b) (g c)" can work |
| 15:16:28 | <merijn> | tochicool: But "insufficient info" :) |
| 15:16:40 | <__monty__> | avdb: I doubt he's making a mistake. He may be relying on the fact that the type "a -> a" only has a single possible implementation (disregarding errors and undefined etc.). |
| 15:17:23 | <avdb> | __monty__: Thanks for the correction, I knew something was off! |
| 15:18:40 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 15:20:00 | hackage | ihaskell-hvega 0.3.2.0 - IHaskell display instance for hvega types. https://hackage.haskell.org/package/ihaskell-hvega-0.3.2.0 (DouglasBurke) |
| 15:21:00 | hackage | hvega 0.11.0.0 - Create Vega-Lite visualizations (version 4) in Haskell. https://hackage.haskell.org/package/hvega-0.11.0.0 (DouglasBurke) |
| 15:21:33 | × | luke quits (~luke@bitnomial/staff/luke) (Quit: sleep) |
| 15:22:04 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 15:24:35 | <hekkaidekapus> | merijn: The Rank-N topic apart, it seems this would suffice for tochicool’s immediate question: `f ∷ a → b; bimap f f`. |
| 15:24:40 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 15:26:08 | <merijn> | hekkaidekapus: Not in his ((), False) example |
| 15:26:42 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 15:27:08 | <hekkaidekapus> | merijn: Right, didn’t scroll back enough. |
| 15:30:18 | × | acidjnk_new2 quits (~acidjnk@p200300d0c718f691fdd3038ca44bce6e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 15:32:18 | <tochicool> | merjin: ok thanks :) so there really is no way to get that to work.. |
| 15:33:36 | <tochicool> | merijn++ |
| 15:33:49 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 15:33:53 | <__monty__> | avdb: I'm at 21:00 and he still hasn't said anything about commuting? |
| 15:35:11 | <__monty__> | avdb: At 24:20 he even explicitly says commutation isn't a necessary condition. |
| 15:35:21 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 15:39:50 | × | frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 15:40:14 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 15:40:20 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 15:40:24 | → | geekosaur joins (ac3a8b88@172.58.139.136) |
| 15:41:25 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 15:43:03 | <avdb> | __monty__: I made up commuting as an example, ge only said that if you combine f with g like f(g(x)) and g(f(x)) that it's the same thing |
| 15:43:14 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 15:43:30 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 15:50:37 | × | fendor quits (~fendor@078132052150.public.t-mobile.at) (Ping timeout: 256 seconds) |
| 15:52:03 | → | dabura joins (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) |
| 15:52:26 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Ping timeout: 258 seconds) |
| 15:53:05 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 15:55:20 | → | CareBearemcho joins (~CareBeare@185.204.1.185) |
| 15:55:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:55:37 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 15:56:25 | × | dabura quits (~pablo@aftr-62-216-208-195.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 15:56:58 | × | britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 15:57:27 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 15:57:46 | <merijn> | tochicool: If you have a more concrete example it might be possible, but it depends on what *exactly* you're trying to do |
| 15:58:39 | → | dabura joins (~pablo@45.86.201.19) |
| 15:59:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 16:00:04 | × | alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-euntbxjpvrijrxmx) (Quit: Idle for 30+ days) |
| 16:00:08 | → | Wamanuz2 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 16:01:06 | × | alp quits (~alp@2a01:e0a:58b:4920:b98d:1d09:bcd0:af63) (Ping timeout: 268 seconds) |
| 16:02:06 | → | EoF joins (~EoF@ip5b419221.dynamic.kabel-deutschland.de) |
| 16:02:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:02:54 | × | EoF quits (~EoF@ip5b419221.dynamic.kabel-deutschland.de) (Client Quit) |
| 16:03:40 | × | Wamanuz quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 272 seconds) |
| 16:06:39 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 16:07:28 | × | Wamanuz2 quits (~wamanuz@78-70-34-81-no84.tbcn.telia.com) (Ping timeout: 256 seconds) |
| 16:07:37 | → | Wamanuz2 joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 16:08:14 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:09:40 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss) |
| 16:11:06 | <__monty__> | avdb: Hmm, I think you should rewatch. He said they're different afaict. |
| 16:12:40 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 244 seconds) |
| 16:15:20 | → | knupfer joins (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de) |
| 16:15:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:16:46 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:16:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:17:06 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 16:18:39 | × | britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 16:21:49 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 16:21:56 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:23:05 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 240 seconds) |
| 16:23:21 | → | ggole joins (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2) |
| 16:24:31 | hackage | type-of-html 1.6.1.2 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.6.1.2 (knupfer) |
| 16:25:13 | × | dabura quits (~pablo@45.86.201.19) (Quit: Lost terminal) |
| 16:30:07 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 16:37:54 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:38:16 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:39:14 | × | geekosaur quits (ac3a8b88@172.58.139.136) (Remote host closed the connection) |
| 16:39:35 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 16:44:11 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 16:47:38 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 16:49:47 | × | Raito_Bezarius quits (~Raito@unaffiliated/raito-bezarius/x-8764578) (Ping timeout: 272 seconds) |
| 16:49:47 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:50:34 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 16:51:04 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit) |
| 16:51:12 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 16:51:29 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Client Quit) |
| 16:51:58 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 16:52:19 | → | Tario joins (~Tario@201.192.165.173) |
| 16:55:04 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds) |
| 16:55:30 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 16:57:51 | → | Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 16:59:02 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 16:59:12 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 17:01:12 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:02:01 | <nut> | is there a tool to find functions with the largest number of lines of code within package? |
| 17:02:19 | → | Raito_Bezarius joins (~Raito@unaffiliated/raito-bezarius/x-8764578) |
| 17:03:09 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 17:04:07 | → | fendor joins (~fendor@77.119.131.87.wireless.dyn.drei.com) |
| 17:05:49 | × | Achylles__ quits (~Achylles@200-100-230-202.dial-up.telesp.net.br) (Quit: Leaving) |
| 17:07:07 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 17:07:20 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 17:10:45 | <merijn> | Doubt it |
| 17:10:59 | × | dcoutts quits (~duncan@33.14.75.194.dyn.plus.net) (Read error: Connection reset by peer) |
| 17:11:00 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Read error: Connection reset by peer) |
| 17:11:02 | <merijn> | Also, how is the lines of code of a function defined? Like, do where blocks count? |
| 17:11:14 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 17:11:15 | → | dcoutts joins (~duncan@33.14.75.194.dyn.plus.net) |
| 17:11:15 | × | dcoutts quits (~duncan@33.14.75.194.dyn.plus.net) (Changing host) |
| 17:11:15 | → | dcoutts joins (~duncan@unaffiliated/dcoutts) |
| 17:11:35 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-nprfqeunfdioejyi) |
| 17:11:55 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 17:14:25 | × | mmohammadi9812 quits (~mmohammad@5.238.175.25) (Read error: Connection reset by peer) |
| 17:14:37 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 17:14:38 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 17:16:38 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 17:16:55 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 17:20:14 | <Franciman> | hi maerwald are you here? |
| 17:20:21 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 17:20:30 | hackage | aeson-iproute 0.2.1 - Aeson instances for iproute types https://hackage.haskell.org/package/aeson-iproute-0.2.1 (sickmind) |
| 17:22:01 | hackage | persistent-iproute 0.2.5 - Persistent instances for types in iproute https://hackage.haskell.org/package/persistent-iproute-0.2.5 (sickmind) |
| 17:22:03 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 265 seconds) |
| 17:22:37 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 17:23:00 | → | bennofs1 joins (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) |
| 17:25:06 | → | Deide joins (~Deide@217.155.19.23) |
| 17:26:18 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:26:46 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 17:27:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:32:11 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:32:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:33:32 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 17:34:37 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:96ae:e603:6cd4:c30b) (Ping timeout: 260 seconds) |
| 17:37:03 | × | andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 17:37:31 | → | nados joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 17:37:35 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 17:38:51 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 17:41:00 | → | andreas31 joins (~andreas@gateway/tor-sasl/andreas303) |
| 17:41:44 | <tochicool> | merijn: if `mapBoth f = bimap f f` it would be nice to be able to write expressions like `mapBoth (< mempty) (Sum 0, "foo")` without having to duplicate the function like so: `bimap (< mempty) (< mempty) (Sum 0, "foo")` |
| 17:43:04 | × | Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9) |
| 17:45:12 | <koz_> | :t join bimap |
| 17:45:13 | <lambdabot> | Bifunctor p => (c -> d) -> p c c -> p d d |
| 17:45:16 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 17:45:18 | <koz_> | tochicool: ^ |
| 17:46:20 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 17:46:23 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:21e:386c:dabc:7a76) |
| 17:47:31 | <merijn> | koz_: No |
| 17:47:38 | <nut> | is there Haskell equivalent of fseek? |
| 17:47:41 | <merijn> | koz_: You have the same input type 'c' |
| 17:47:50 | <merijn> | @hoogle hSeek |
| 17:47:51 | <lambdabot> | System.IO hSeek :: Handle -> SeekMode -> Integer -> IO () |
| 17:47:51 | <lambdabot> | GHC.IO.Handle hSeek :: Handle -> SeekMode -> Integer -> IO () |
| 17:47:51 | <lambdabot> | UnliftIO.IO hSeek :: MonadIO m => Handle -> SeekMode -> Integer -> m () |
| 17:48:01 | <merijn> | nut: ^^ |
| 17:48:06 | <nut> | nice |
| 17:48:11 | <koz_> | merijn: Ah, good point. |
| 17:48:28 | <merijn> | tochicool: That *can* work |
| 17:49:51 | <merijn> | tochicool: Crucial difference is that (<mempty) always returns bool |
| 17:49:58 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 246 seconds) |
| 17:50:49 | <merijn> | tochicool: "(Monoid b, Ord b, Monoid c, Ord c) => (forall a . (Monoid a, Ord a) => a -> Bool) -> p b c -> p Bool Bool" |
| 17:51:54 | <nut> | merijn: i couldn't find the fread equivalent though |
| 17:52:53 | → | todda7 joins (~torstein@athedsl-195794.home.otenet.gr) |
| 17:54:27 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 17:54:53 | <tochicool> | merijn: :D ofcourse, not as general as i would have liked but that's sufficient for my usecase |
| 17:55:02 | <tochicool> | merijn: thanks |
| 17:56:59 | × | ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 17:57:02 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:58:38 | <geekosaur> | nut: https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.14.1.0/System-IO.html#v:hGetBuf |
| 17:59:27 | <geekosaur> | or one of the other GetBuf functions in that section |
| 18:00:01 | × | CareBearemcho quits (~CareBeare@185.204.1.185) () |
| 18:00:05 | <merijn> | nut: There's a bunch, hGet and hGetSome are most likely what you want |
| 18:00:32 | <merijn> | nut: And then you presumably want either the version from the text or bytestring package, depending on the file contents |
| 18:01:08 | <merijn> | geekosaur: hGetBuf seems a bit low level for most usecases, tbh |
| 18:01:22 | × | dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 256 seconds) |
| 18:01:24 | <geekosaur> | there's that also. probably bytestring if you're reading chunks instead of lines |
| 18:01:59 | <nut> | I'm translating some code from c++ to Haskell. Wondering how to choose these IO functions to make it fast and correct |
| 18:02:42 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 18:02:59 | <merijn> | nut: I mean, given the fact that the actual IO to disk will probably dominate I wouldn't worry too much about "fast", as it doesn't take much to be as fast as the disk for most straightforward stuff |
| 18:03:35 | <merijn> | nut: Presumably you just want blobs of binary data if you're translating C++? |
| 18:04:00 | <nut> | Yes, it's a zipped dictionary file |
| 18:04:38 | <merijn> | nut: Then you'll want hGet/hGetSome from bytestring |
| 18:04:54 | <merijn> | https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/Data-ByteString.html#v:hGet |
| 18:05:08 | <nut> | The dictionary file format is so designed to make load time short. So it contains many offset info |
| 18:05:23 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 18:07:25 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 18:12:02 | × | is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection) |
| 18:13:21 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 18:13:25 | × | dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 264 seconds) |
| 18:13:39 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 18:14:04 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 18:19:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 18:19:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:20:38 | → | wotwot1 joins (~wotwot@185.204.1.185) |
| 18:25:15 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-dgsoicqoiphpcnpi) |
| 18:25:25 | × | mmohammadi9812 quits (~mmohammad@5.238.175.25) (Quit: Quit) |
| 18:26:01 | × | knupfer quits (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 18:26:22 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 18:26:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 18:30:38 | → | alp joins (~alp@88.126.45.36) |
| 18:32:57 | × | renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds) |
| 18:33:46 | → | JuanMiguel joins (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) |
| 18:35:43 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.94) |
| 18:36:04 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 18:37:39 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss) (Quit: Connection closed for inactivity) |
| 18:37:39 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 18:41:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:42:13 | → | ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta) |
| 18:42:30 | → | softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 18:43:17 | → | jneira joins (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) |
| 18:44:08 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 18:47:24 | → | chaosmasttter joins (~chaosmast@p200300c4a70b9f01ddca7ff587bb3772.dip0.t-ipconnect.de) |
| 18:47:40 | → | britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) |
| 18:48:58 | × | dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 18:49:03 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds) |
| 18:49:46 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 18:50:32 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 18:50:40 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 18:52:55 | × | bennofs1 quits (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 18:53:19 | → | bennofs1 joins (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) |
| 18:53:26 | × | plutoniix quits (~q@node-ull.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 18:53:37 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 18:53:45 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 18:54:35 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 18:55:49 | → | dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) |
| 18:58:04 | → | dcoutts__ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 18:58:50 | × | samebchase- quits (~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds)) |
| 18:59:18 | → | samebchase- joins (~samebchas@51.15.68.182) |
| 18:59:43 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 19:00:41 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 19:00:48 | × | dcoutts quits (~duncan@unaffiliated/dcoutts) (Ping timeout: 256 seconds) |
| 19:03:24 | <wz1000> | Is there any canonical way to read/write a file and simultaneously get its modification time? |
| 19:03:28 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 19:03:41 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 244 seconds) |
| 19:03:55 | <davean> | wz1000: simultaneously? |
| 19:04:02 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 265 seconds) |
| 19:04:05 | <davean> | Thats not something you can do on POSIX, they're seperate calls. |
| 19:04:13 | <wz1000> | after the operation has completed, but atomically |
| 19:04:16 | <geekosaur> | that'd have to be a system call and neither unix nor windows offers such |
| 19:04:26 | <davean> | Right |
| 19:04:37 | <davean> | well, you can do it on linux or FreeBSD with ZFS |
| 19:04:46 | <davean> | but that involves special kernel extensions |
| 19:04:54 | <davean> | not at *all* a portable or standard thing. |
| 19:04:58 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:05:13 | × | Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Read error: Connection reset by peer) |
| 19:05:26 | <davean> | And they can only do it via transactional filesystemness. |
| 19:05:34 | → | Ariakenom joins (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) |
| 19:05:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 19:06:03 | <davean> | Are you willing to cosplay a kernel developer? No? You can't have that. |
| 19:06:23 | <Ariakenom> | filesystems have terrible semantics. race conditions everywhere |
| 19:07:24 | × | bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Quit: leaving) |
| 19:07:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 19:08:51 | <Ariakenom> | the common approach is to ignore them |
| 19:09:21 | × | tv quits (~tv@unaffiliated/tv) (Ping timeout: 265 seconds) |
| 19:09:25 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds) |
| 19:10:20 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 19:13:22 | → | mirrorbird joins (~psutcliff@141.98.255.153) |
| 19:15:29 | → | mirrorbird_ joins (~psutcliff@141.98.255.153) |
| 19:16:01 | → | tv joins (~tv@unaffiliated/tv) |
| 19:17:47 | × | JuanMiguel quits (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net) (Quit: This computer has gone to sleep) |
| 19:18:05 | × | tristanC quits (~tristanC@unaffiliated/tristanc) (Ping timeout: 246 seconds) |
| 19:18:19 | × | mirrorbird quits (~psutcliff@141.98.255.153) (Read error: Connection reset by peer) |
| 19:18:28 | × | alp quits (~alp@88.126.45.36) (Ping timeout: 260 seconds) |
| 19:18:31 | <davean> | Ok, so you can do it on Linux and FreeBSD via ZFS Transaction Groups, you can do it on Linux via FANotify with root permissions, you can do it on linux with user permissions and inotify if you believe inotify won't drop any events which isn't guarrenteed, you can do it on Windows Post-Vista via NTFS transactions (Much weaker than ZFS transaction groups?), you can do it on ext3+ with journaling by |
| 19:18:33 | <davean> | hooking the journal kernel side ... Its not that you can't do it, its that its insane to do it given the fact that all the ways of doing it are super special case. |
| 19:18:33 | → | tristanC joins (~tristanC@unaffiliated/tristanc) |
| 19:18:53 | <davean> | and it certainly isn't a Haskell question to get it done! If you want to get this done, get involved with the OS you're on. |
| 19:19:46 | <davean> | https://www.kernel.org/doc/html/latest/filesystems/journalling.html |
| 19:19:48 | <davean> | don |
| 19:19:53 | × | Benzi-Junior quits (~BenziJuni@88-149-67-198.du.xdsl.is) (Quit: gone) |
| 19:19:56 | <davean> | 't worry, it starts out with "The journalling layer is easy to use. |
| 19:20:01 | <davean> | " you'll be fine ;) |
| 19:20:20 | → | Benzi-Junior joins (~BenziJuni@dsl-149-67-198.hive.is) |
| 19:20:54 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 19:22:11 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:24:09 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 19:25:40 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 19:27:05 | → | tsaka__ joins (~torstein@ppp-2-84-22-81.home.otenet.gr) |
| 19:27:33 | → | theelous3 joins (~theelous3@unaffiliated/theelous3) |
| 19:28:28 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 19:28:38 | × | todda7 quits (~torstein@athedsl-195794.home.otenet.gr) (Ping timeout: 260 seconds) |
| 19:29:10 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 19:33:52 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds) |
| 19:35:27 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 19:35:27 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 19:35:27 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 19:40:40 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 19:41:15 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 19:41:15 | × | plakband quits (~plakband@softbank126126238105.bbtec.net) (Ping timeout: 256 seconds) |
| 19:42:01 | × | tochicool quits (~tochicool@188.166.170.246) (Quit: Konversation terminated!) |
| 19:42:07 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:45:03 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 19:45:34 | × | softwarm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Remote host closed the connection) |
| 19:45:52 | → | conal joins (~conal@64.71.133.70) |
| 19:46:06 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 19:46:43 | → | solonarv joins (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) |
| 19:47:23 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 19:47:52 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 19:50:06 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 19:50:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:50:22 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 19:51:20 | × | avdb quits (~avdb@ip-62-235-106-244.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 19:54:29 | → | acidjnk_new2 joins (~acidjnk@p200300d0c718f646f97e112dfc4bc61a.dip0.t-ipconnect.de) |
| 19:55:21 | → | daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:56:14 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 19:56:45 | × | dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving) |
| 19:56:53 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 19:57:34 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:59:28 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 19:59:37 | → | knupfer joins (~Thunderbi@200116b82ca87300f4287afffefe7b84.dip.versatel-1u1.de) |
| 20:00:46 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:02:01 | × | knupfer quits (~Thunderbi@200116b82ca87300f4287afffefe7b84.dip.versatel-1u1.de) (Remote host closed the connection) |
| 20:02:14 | → | knupfer joins (~Thunderbi@200116b82ca873006553a4cb31e66e25.dip.versatel-1u1.de) |
| 20:02:25 | → | sfvm joins (~sfvm@37.228.215.148) |
| 20:03:33 | × | dusty_pacer quits (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) (Remote host closed the connection) |
| 20:03:44 | → | dusty_pacer joins (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) |
| 20:03:44 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 20:05:33 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:08:03 | → | rprije joins (~rprije@124.148.131.132) |
| 20:10:48 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 20:11:57 | × | juuandyy quits (~juuandyy@90.166.144.65) (Read error: Connection reset by peer) |
| 20:12:14 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 20:13:25 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 20:14:08 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 20:15:01 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 258 seconds) |
| 20:16:07 | × | juuandyy quits (~juuandyy@90.166.144.65) (Client Quit) |
| 20:16:32 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 20:21:00 | → | conal joins (~conal@209.58.139.27) |
| 20:21:23 | → | StoneToad_ joins (~StoneToad@199-167-119-135.ppp.storm.ca) |
| 20:21:48 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 20:22:57 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 20:23:20 | × | StoneToad quits (~StoneToad@199-167-119-137.ppp.storm.ca) (Ping timeout: 260 seconds) |
| 20:24:14 | → | aarvar joins (~foewfoiew@c.24.56.239.179.static.broadstripe.net) |
| 20:28:34 | → | christo joins (~chris@81.96.113.213) |
| 20:28:42 | × | mmohammadi9812 quits (~mmohammad@5.238.175.25) (Remote host closed the connection) |
| 20:28:43 | × | ggole quits (~ggole@2001:8003:8119:7200:d833:f715:92d2:56f2) (Quit: Leaving) |
| 20:31:13 | → | mmohammadi9812 joins (~mmohammad@5.238.175.25) |
| 20:32:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 20:33:18 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 20:33:39 | × | benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-ugqvpbihzsnuhnwq) (Quit: Connection closed for inactivity) |
| 20:34:21 | × | bennofs1 quits (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) (Quit: WeeChat 2.9) |
| 20:36:55 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 246 seconds) |
| 20:37:09 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 20:38:51 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.94) (Quit: Leaving) |
| 20:40:00 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 20:40:06 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.142) |
| 20:40:58 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds) |
| 20:48:04 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 20:48:08 | → | Franciman joins (~francesco@host-79-36-167-172.retail.telecomitalia.it) |
| 20:49:25 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 21:00:01 | × | wotwot1 quits (~wotwot@185.204.1.185) () |
| 21:01:21 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:01:43 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 21:02:14 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 21:04:14 | × | mirrorbird_ quits (~psutcliff@141.98.255.153) (Quit: Leaving) |
| 21:06:13 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 21:07:49 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.142) (Quit: Leaving) |
| 21:08:59 | <koz_> | How does one satisfy this kind of constraint? http://hackage.haskell.org/package/constraints-extras-0.3.0.2/docs/Data-Constraint-Extras.html#t:Has-39- |
| 21:09:09 | <justsomeguy> | Is there a way to search for all functions in the base package that take a list as its first argument? |
| 21:09:44 | <justsomeguy> | (Or, failing that, would it be easier to read the source code for base?) |
| 21:10:58 | × | Majiir quits (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Quit: CUT THE HARDLINES!!) |
| 21:11:09 | <koz_> | The reason I care is that I want an Eq instance to be available for (my particular concretized) DMap from here: http://hackage.haskell.org/package/dependent-map-0.4.0.0/docs/Data-Dependent-Map.html#t:Eq |
| 21:13:04 | <justsomeguy> | Ok, it seems everything I want is in GHC.List. |
| 21:14:24 | × | knupfer quits (~Thunderbi@200116b82ca873006553a4cb31e66e25.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 21:14:51 | <xsperry> | justsomeguy, no AFAIK, but if you know full type of the function you can use hoogle |
| 21:15:19 | <geekosaur> | hoogle ought to be fine with "[a] -> b", shouldn't it? |
| 21:19:53 | × | conal quits (~conal@209.58.139.27) (Quit: Computer has gone to sleep.) |
| 21:19:55 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 21:20:38 | × | Collateral quits (~Collatera@4e69b241.skybroadband.com) (Ping timeout: 260 seconds) |
| 21:22:27 | <justsomeguy> | I wanted to match signatures like “:: [a] -> (a -> b) -> [b]”, but also things like “:: [a] -> a”... pretty much anything beginning with ``:: [a｣ as its first argument. It looks like I can't do that, but that's OK, since I found what I was looking for. |
| 21:22:48 | <justsomeguy> | (Whoa, weird formatting error there.) |
| 21:23:20 | → | Collateral joins (~Collatera@4e69b241.skybroadband.com) |
| 21:24:02 | → | Majiir joins (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 21:24:27 | × | Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Quit: Leaving) |
| 21:26:07 | × | britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep) |
| 21:27:13 | Guest67212 | is now known as lep-delete |
| 21:30:29 | × | ski quits (~ski@remote11.chalmers.se) (Remote host closed the connection) |
| 21:34:07 | → | britva joins (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) |
| 21:36:15 | → | zeta_0 joins (~zeta@2601:8c0:1:2630:ed7c:84af:22a9:2ea3) |
| 21:37:03 | <zeta_0> | has anyone here gotten haskell-language-server working correctly? i'm having some issues! |
| 21:37:36 | <Uniaika> | zeta_0: do tell us! |
| 21:37:40 | <Uniaika> | which version are you using? |
| 21:39:02 | <zeta_0> | Uniaika: haskell-language-server version: 0.4.0.0 (GHC: 8.6.5), it's binary is recognized, so the PATH is set as well. |
| 21:40:15 | <Uniaika> | zeta_0: any reason you're not running on the latest version of HLS? |
| 21:41:28 | <zeta_0> | whenever I ran gen-hie, it made a hie.yaml file with path and component set for Main.hs, but not Setup.hs, and whenever I open Main.hs, it gives me a prompt to install hie, it's not recognizing hls. |
| 21:42:54 | <zeta_0> | Uniaika: this is the only version of hls in nixos 20.09: https://search.nixos.org/packages?channel=20.09&from=0&size=30&sort=relevance&query=haskellPackages.haskell-language-server |
| 21:43:57 | <zeta_0> | also, does hls work on single haskell files like ghcide does? |
| 21:44:42 | <Uniaika> | hls and ghcide have merged |
| 21:45:11 | <Uniaika> | zeta_0: maybe ask your question on #Haskell-ide-engine, you'll be closer to the maintainers |
| 21:45:24 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:21e:386c:dabc:7a76) (Ping timeout: 240 seconds) |
| 21:45:59 | → | conal joins (~conal@209.58.139.27) |
| 21:46:00 | <zeta_0> | Uniaika: ok, i'll go ask there instead! |
| 21:47:16 | → | newbi joins (4dd82022@77.216.32.34) |
| 21:48:17 | <newbi> | evening. im having problems with filtering list of characters. can someone give me some insight? |
| 21:49:03 | <newbi> | i have to use list comprehension to search for digits in a list of characters. im having problem with finding digits, its always some kind of error |
| 21:49:13 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 21:49:30 | <monochrom> | @where paste |
| 21:49:30 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 21:49:44 | → | alp joins (~alp@2a01:e0a:58b:4920:286f:8943:c678:1c5c) |
| 21:49:56 | → | Gurkenglas_ joins (Gurkenglas@gateway/vpn/protonvpn/gurkenglas) |
| 21:50:35 | <newbi> | f1 xs = [x |x<-xs, x<-[0..9]] |
| 21:51:59 | <newbi> | https://paste.tomsmeding.com/NEgGvtvH |
| 21:52:26 | <monochrom> | x<-[0..9] does not mean checking whether x is one of [0..9]. |
| 21:52:50 | <newbi> | i tried isDIgit but its always some kind of error |
| 21:53:21 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:53:27 | <monochrom> | OK, post your isDigit version, that one has a much much better chance. |
| 21:53:37 | × | Gurkenglas__ quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 21:54:26 | <newbi> | https://paste.tomsmeding.com/xjzt6Tu8 |
| 21:54:43 | <monochrom> | You need to import it from Data.List |
| 21:56:44 | × | chaosmasttter quits (~chaosmast@p200300c4a70b9f01ddca7ff587bb3772.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 21:57:10 | <newbi> | i think i did but it still shows the same error |
| 21:57:52 | <monochrom> | Post the most up to date complete code. |
| 21:58:00 | <monochrom> | Every byte counts. |
| 21:58:16 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061) |
| 21:58:17 | <newbi> | its the same line of code, i just added "import Data.List" |
| 21:58:49 | <monochrom> | Order matters too. Just "adding" is not enough and I can't see where you added it. |
| 21:59:04 | <newbi> | i added it above the function |
| 21:59:06 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:59:13 | <newbi> | f1 xs = [x |x<-xs, isDigit(x)] |
| 21:59:16 | <monochrom> | And the exact verbatim error message? |
| 21:59:32 | <monochrom> | Because it works for me, I can't see what error you got. |
| 21:59:33 | <comerijn> | Also, isDigit isn't *in* Data.List, so... |
| 21:59:42 | <monochrom> | Oh oops, sorry. Data.Char |
| 22:00:04 | <newbi> | yesss |
| 22:00:11 | <comerijn> | monochrom: pfft, you n00b ;) |
| 22:00:13 | <newbi> | it works! thank you so much |
| 22:00:25 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 22:00:29 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:00:49 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 22:02:17 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 22:02:23 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 22:03:01 | hackage | technique 0.2.5 - Procedures and Sequences https://hackage.haskell.org/package/technique-0.2.5 (AndrewCowie) |
| 22:04:58 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds) |
| 22:05:33 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 22:06:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 22:08:08 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 244 seconds) |
| 22:13:00 | <koz_> | :t foldM |
| 22:13:02 | <lambdabot> | (Foldable t, Monad m) => (b -> a -> m b) -> b -> t a -> m b |
| 22:13:07 | × | tsaka__ quits (~torstein@ppp-2-84-22-81.home.otenet.gr) (Remote host closed the connection) |
| 22:13:32 | → | tsaka__ joins (~torstein@ppp-2-84-22-81.home.otenet.gr) |
| 22:13:54 | <newbi> | im still having problems with this one https://paste.tomsmeding.com/OpsTZZjd |
| 22:14:10 | <newbi> | it can filter a string but it cant filter a list |
| 22:14:19 | <newbi> | what can i do so it can |
| 22:14:21 | × | conal quits (~conal@209.58.139.27) (Quit: Computer has gone to sleep.) |
| 22:15:18 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 22:16:49 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 22:16:49 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 22:17:45 | × | britva quits (~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep) |
| 22:17:45 | <Feuermagier> | how can I elegantly switch on number ranges? eg: 0 to 10 do a; 11 to 20 do b |
| 22:18:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:18:28 | <hekkaidekapus> | newbi: What are the types of x and y in `x = 'a'; y = 5`? |
| 22:19:04 | <newbi> | x is char and y is int |
| 22:19:19 | <koz_> | Feuermagier: Guards, probably? |
| 22:19:25 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 22:19:30 | <hekkaidekapus> | newbi: What about `z = '5'`? |
| 22:19:39 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 22:19:39 | <newbi> | still char heh |
| 22:19:49 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 22:20:13 | <hekkaidekapus> | newbi: And `xs = [1, 2]`? |
| 22:20:30 | <newbi> | its a list of integers |
| 22:20:51 | <hekkaidekapus> | So, can I do `xs = [1, '2']`? |
| 22:20:55 | <newbi> | oh okay when i put everything in commas it works. but can you have a mixed list? |
| 22:21:02 | <newbi> | its like a mixed list |
| 22:21:10 | <newbi> | i dont know if you can do that |
| 22:21:16 | <Feuermagier> | koz_, sry, a bit new :) - guards are the: func 0 = a; func 1 = b; func n = something; - right? |
| 22:21:28 | <koz_> | Feuermagier: No, that's different. |
| 22:21:30 | <koz_> | Let me paste. |
| 22:21:49 | <hekkaidekapus> | newbi: You cannot. A list is a collection of elements of the same type. |
| 22:22:09 | → | christo joins (~chris@81.96.113.213) |
| 22:22:21 | <newbi> | thank you :) |
| 22:22:35 | <hekkaidekapus> | newbi: In your pasted code, you want `f1 ['a','2','4','b','4']`. |
| 22:22:55 | <koz_> | Feuermagier: https://gist.github.com/kozross/c866e0fcf9736131ebf8548f425b3f69 |
| 22:23:25 | <koz_> | There's no requirement to use the && and comparisons either - any predicate would work. |
| 22:23:25 | <Feuermagier> | koz_, thank you! - looks exactly like what i need :D |
| 22:23:37 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 22:24:14 | <Feuermagier> | koz_, if doAThing returns the function I assume I can rely on it being executed top to bot? |
| 22:24:33 | <koz_> | Feuermagier: What do you mean 'returns the function'? |
| 22:24:54 | × | bitmagie quits (~Thunderbi@200116b8065109002122c91a2ba34b6c.dip.versatel-1u1.de) (Quit: bitmagie) |
| 22:25:19 | <Feuermagier> | koz_, well, actually, I think everything in haskell "returns" |
| 22:25:19 | × | newbi quits (4dd82022@77.216.32.34) (Remote host closed the connection) |
| 22:25:40 | <koz_> | Feuermagier: Basically, if your guards are non-overlapping, this doesn't matter. |
| 22:25:46 | <Feuermagier> | koz_, just meant that it won't fall through if matched |
| 22:25:52 | <Feuermagier> | exactly |
| 22:26:00 | <koz_> | If your guards _are_ overlapping, I believe top-to-bottom, but I would argue overlapping guards are probably a bug. |
| 22:26:14 | <koz_> | We avoid 'fall-through' by having 'otherwise' at the end, which is a synonym for 'True'. |
| 22:26:55 | × | zeta_0 quits (~zeta@2601:8c0:1:2630:ed7c:84af:22a9:2ea3) (Quit: rcirc on GNU Emacs 27.1) |
| 22:27:42 | → | rawtaz1 joins (~rawtaz@178.239.168.171) |
| 22:28:03 | × | jedws quits (~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:28:24 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 22:29:15 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:95b6:c7bf:d0d6:b6df) (Ping timeout: 272 seconds) |
| 22:31:05 | × | kish quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds) |
| 22:31:31 | × | subttle quits (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 22:31:54 | × | jneira quits (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) (Ping timeout: 272 seconds) |
| 22:33:02 | <comerijn> | guards are always top to bottom |
| 22:33:19 | <comerijn> | Incidentally, if you have incomplete guards it will fall through to the next matching pattern |
| 22:33:28 | <comerijn> | Which can be very useful in a bunch of cases |
| 22:34:36 | → | Tario joins (~Tario@201.192.165.173) |
| 22:36:08 | lep-delete | is now known as Guest67212 |
| 22:36:22 | <koz_> | @pl \f g x -> fmap (>>= f) (g x) |
| 22:36:22 | <lambdabot> | (.) . fmap . (=<<) |
| 22:36:33 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:f95b:bc04:4b:611e) |
| 22:36:46 | <koz_> | Lol, so I can replace that with (.) . (<$>) . (=<<), sick. |
| 22:36:54 | <koz_> | Are we J now? |
| 22:37:50 | → | jbox joins (~atlas@unaffiliated/jbox) |
| 22:40:43 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving) |
| 22:42:09 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 22:42:57 | <comerijn> | What? |
| 22:42:59 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:43:06 | <comerijn> | That's, like, 15 characters |
| 22:43:18 | <comerijn> | That's like 3x the size of the average J program :p |
| 22:43:25 | <koz_> | comerijn: Lol. |
| 22:43:43 | <koz_> | It's all those parens. |
| 22:43:50 | <koz_> | It's like, LispJ. |
| 22:47:38 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 22:50:37 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 22:50:52 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 22:51:49 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:52:39 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 22:52:53 | × | machinedgod quits (~machinedg@24.105.81.50) (Client Quit) |
| 22:53:17 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:54:56 | <koz_> | :t compare 1 2 |
| 22:54:57 | <lambdabot> | Ordering |
| 22:55:02 | <koz_> | > compare 1 2 |
| 22:55:04 | <lambdabot> | LT |
| 22:55:09 | <koz_> | > compare 2 1 |
| 22:55:12 | <lambdabot> | GT |
| 22:55:20 | <koz_> | OK, I'm not forgetting the order. |
| 22:56:56 | × | jbox quits (~atlas@unaffiliated/jbox) (Read error: Connection reset by peer) |
| 22:57:13 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 264 seconds) |
| 22:57:22 | → | jbox joins (~atlas@unaffiliated/jbox) |
| 23:00:05 | <Feuermagier> | I want to build a string by calling an evaluation function on each position of a list. how can I extend the list up to a fixed size, or alternatively handle nonexistant entries in the array? |
| 23:01:11 | <comerijn> | Feuermagier: Do you have a sensible element to pad with if it's too short? |
| 23:01:15 | <Feuermagier> | 0 |
| 23:01:21 | <Feuermagier> | (its a list of integers) |
| 23:01:39 | <comerijn> | > take 10 ([1..5] ++ repeat 0) |
| 23:01:41 | <lambdabot> | [1,2,3,4,5,0,0,0,0,0] |
| 23:01:57 | <Feuermagier> | ooh, fancy |
| 23:02:06 | <comerijn> | Feuermagier: Just pad with infinite zeroes at the end and take however many elements you need :p |
| 23:03:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) |
| 23:04:05 | <Feuermagier> | can I pad at front as well? |
| 23:04:54 | <comerijn> | That's trickier, because you'll need to know in advance how many elements to pad with |
| 23:05:14 | <Feuermagier> | I guess I can simply reverse my list |
| 23:05:36 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Client Quit) |
| 23:07:18 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 23:08:24 | <koz_> | Cale: Any chance you could tell me how one satisfies a 'ConstraintsFor F (ComposeC Show Identity)'? I'm trying to use a custom GADT F in the context of 'DMap F Identity' and a Show instance for it. |
| 23:08:27 | <koz_> | (same with Eq) |
| 23:08:54 | → | uwap_ joins (~uwap@genja.uwap.name) |
| 23:09:08 | × | atle quits (~jack@beta3.space) (Ping timeout: 260 seconds) |
| 23:09:24 | → | atle joins (~jack@beta3.space) |
| 23:09:34 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 265 seconds) |
| 23:09:43 | × | uwap quits (~uwap@genja.uwap.name) (Ping timeout: 260 seconds) |
| 23:09:43 | × | kish` quits (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 23:10:14 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 23:10:18 | × | laxask quits (~lax@unaffiliated/laxask) (Ping timeout: 260 seconds) |
| 23:10:28 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 23:10:45 | → | laxask joins (~lax@unaffiliated/laxask) |
| 23:11:13 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 23:12:43 | × | alp quits (~alp@2a01:e0a:58b:4920:286f:8943:c678:1c5c) (Ping timeout: 244 seconds) |
| 23:16:00 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a17b:c481:d5f1:9100) |
| 23:17:25 | × | sulu quits (~sulu@unaffiliated/sulu) (Ping timeout: 240 seconds) |
| 23:17:29 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:18:54 | → | jcowan joins (sid325434@gateway/web/irccloud.com/x-xccxiqbedbcrqfvq) |
| 23:18:58 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 23:20:35 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 23:21:00 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-nprfqeunfdioejyi) (Quit: Connection closed for inactivity) |
| 23:21:53 | <bqv> | Hey, how best can I get a "Maybe monad"-style effect in polysemy? |
| 23:22:34 | × | tsaka__ quits (~torstein@ppp-2-84-22-81.home.otenet.gr) (Remote host closed the connection) |
| 23:22:45 | <bqv> | I'm looking at NonDet, but I'm not quite sure how to use it |
| 23:23:00 | → | tsaka__ joins (~torstein@ppp-2-84-22-81.home.otenet.gr) |
| 23:23:26 | × | jbox quits (~atlas@unaffiliated/jbox) (Read error: Connection reset by peer) |
| 23:23:36 | <bqv> | I gues I'm looking for a function :: Maybe a -> Polysemy.Sem r a |
| 23:23:38 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 23:23:40 | <bqv> | Of some sort |
| 23:23:43 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 23:24:00 | → | jbox joins (~atlas@unaffiliated/jbox) |
| 23:24:59 | <bqv> | I see at least NonDet gives Sem an alternative instance, but how to drop a maybe into NonDet? |
| 23:26:10 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 23:26:18 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 23:27:59 | <bqv> | I could embed Maybe... |
| 23:28:14 | <bqv> | Feels oof tho |
| 23:28:44 | <bqv> | Probably the easiest solution to be honest |
| 23:30:11 | <bqv> | Or maybe I should just handle the errors properly. Ugh |
| 23:30:36 | → | CMCDragonkai1 joins (~Thunderbi@124.19.3.250) |
| 23:32:07 | <jcowan> | Is there any usable workaround for the fact that a constructor can't appear in two or more types? |
| 23:32:29 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a17b:c481:d5f1:9100) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:32:33 | <hpc> | naming them different things? |
| 23:32:46 | <jcowan> | yeah, maybe I deserve that. |
| 23:32:53 | <hpc> | if they're in different modules, import them qualified |
| 23:33:12 | <hpc> | or if you can't do that, prefixing them with the type maybe |
| 23:33:21 | <jcowan> | I'm assuming of course that they are in fact the *same* constructor (same number and types of arguments, not just a coincidence of names |
| 23:33:35 | <hpc> | like if Foo and Bar both have constructor Object, name them FooObject and BarObject instead |
| 23:34:08 | <jcowan> | Which means that the system can't recognize the isomorphism. |
| 23:34:53 | <hpc> | if you want both constructors to be the same value, use a function or type class or something along those lines |
| 23:35:01 | <hpc> | constructors can't be polymorphic in the type they construct |
| 23:35:07 | <bqv> | Classy |
| 23:35:32 | <hpc> | (also i definitely phrased that first suggestion for maximum humor :D) |
| 23:36:01 | hackage | json-to-haskell 0.1.1.0 - https://hackage.haskell.org/package/json-to-haskell-0.1.1.0 (ChrisPenner) |
| 23:38:37 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a17b:c481:d5f1:9100) |
| 23:39:32 | × | jbox quits (~atlas@unaffiliated/jbox) (Ping timeout: 265 seconds) |
| 23:40:36 | → | jbox joins (~atlas@unaffiliated/jbox) |
| 23:43:57 | → | jedws joins (~jedws@101.184.150.81) |
| 23:44:09 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 23:44:29 | <Feuermagier> | how can I get element n out of a list? |
| 23:44:39 | <bqv> | Feuermagier: list !! n |
| 23:44:51 | <bqv> | % 1 |
| 23:44:52 | <yahb> | bqv: 1 |
| 23:44:57 | → | Gurkenglas__ joins (Gurkenglas@gateway/vpn/protonvpn/gurkenglas) |
| 23:45:04 | <bqv> | % ["a", "b", "c"] !! 1 |
| 23:45:04 | <yahb> | bqv: "b" |
| 23:45:08 | <bqv> | % ["a", "b", "c"] !! 3 |
| 23:45:09 | <yahb> | bqv: "*** Exception: Prelude.!!: index too large |
| 23:45:11 | <bqv> | % ["a", "b", "c"] !! 0 |
| 23:45:11 | <yahb> | bqv: "a" |
| 23:45:15 | <Feuermagier> | I have a list of 10 elements and want to perform a different operation on each position and sum the results |
| 23:45:19 | <koz_> | [insert obligatory warning about indexing lists being both slow and unsafe] |
| 23:45:26 | <comerijn> | tbh, random access on lists is bad |
| 23:45:32 | <bqv> | Feuermagier: sounds like a fold |
| 23:45:45 | <Feuermagier> | bqv, havent heard of that yet |
| 23:45:48 | <koz_> | bqv: Or a foldMap. :P |
| 23:46:00 | <hpc> | Feuermagier: zipWith ($) sounds more suitable |
| 23:46:27 | → | jalumar joins (uid392211@gateway/web/irccloud.com/x-cinmpjhrecfacgba) |
| 23:46:28 | <hpc> | % zipWith [(+ 5), (* 2), id] [100, 1000, 10000] |
| 23:46:29 | <yahb> | hpc: ; <interactive>:16:9: error:; * Couldn't match expected type `a1 -> b -> c' with actual type `[a0 -> a0]'; * In the first argument of `zipWith', namely `[(+ 5), (* 2), id]'; In the expression: zipWith [(+ 5), (* 2), id] [100, 1000, 10000]; In an equation for `it': it = zipWith [(+ 5), (* 2), id] [100, 1000, 10000]; * Relevant bindings include it :: [b] -> [c] (bound at <interacti |
| 23:46:37 | <hpc> | % zipWith ($) [(+ 5), (* 2), id] [100, 1000, 10000] |
| 23:46:37 | <yahb> | hpc: [105,2000,10000] |
| 23:46:48 | <bqv> | koz_: that's just a spicy fold :D |
| 23:46:51 | <Feuermagier> | interesting |
| 23:46:59 | <koz_> | bqv: Spicy be good. |
| 23:47:25 | <hpc> | Feuermagier: think functional :D |
| 23:47:45 | × | Gurkenglas_ quits (Gurkenglas@gateway/vpn/protonvpn/gurkenglas) (Ping timeout: 240 seconds) |
| 23:47:47 | → | sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) |
| 23:48:01 | <Feuermagier> | the results of the oerations are gonna be strings, how do i build a continous one out of the results? |
| 23:48:15 | <koz_> | > "foo" <> "bar" |
| 23:48:17 | <lambdabot> | "foobar" |
| 23:48:30 | <koz_> | Do you mean continuous in that sense? |
| 23:48:32 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 258 seconds) |
| 23:48:34 | <Feuermagier> | yes |
| 23:49:26 | <koz_> | If you're gonna use a fold, then you can combine with (<>). If you're going to use foldMap, it does it for you if you project into String. |
| 23:50:05 | <Feuermagier> | koz_, alright. i'll implement the zipWith for now and then see how i get on |
| 23:51:34 | × | AceNovo quits (~chris@184.101.220.149) (Quit: Konversation terminated!) |
| 23:52:14 | → | AceNovo joins (~chris@184.101.220.149) |
| 23:53:53 | <Feuermagier> | why does this not work?: zipWith [(+ 5), (* 2), id, id, id] pad(reverse(digits n)) |
| 23:54:40 | <koz_> | Feuermagier: Please be more specific. What do you mean by 'not work'? Does it not compile? Does it run, but not how you want? Something else? |
| 23:55:13 | <Feuermagier> | oh, ofc. sec |
| 23:56:36 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 23:56:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 23:59:41 | <jcowan> | hpc: Right, I understand that. But is that a principled restriction? |
All times are in UTC on 2020-11-08.