Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 .. 5022
— 502,152 events total
2020-11-24 00:10:41 × frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-11-24 00:10:56 × christo quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-11-24 00:13:52 × niko quits (~niko@freenode/staff/ubuntu.member.niko) (Ping timeout: 615 seconds)
2020-11-24 00:14:00 <sm[m]> I'm writing a shortest-path function, doing a breadth-first search of a directed graph. Man, I always struggle to put together these recursive searchy functions
2020-11-24 00:14:43 <sm[m]> (replacing fgl's sp which isn't doing what I want)
2020-11-24 00:15:15 → oisdk joins (~oisdk@2001:bb6:3329:d100:188f:f126:4321:8fc1)
2020-11-24 00:15:57 <c_wraith> is the graph cyclic?
2020-11-24 00:16:16 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: No route to host)
2020-11-24 00:16:25 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-24 00:17:27 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-24 00:18:27 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-11-24 00:18:34 → christo joins (~chris@81.96.113.213)
2020-11-24 00:19:14 → jaqque1 joins (~jaqque@s91904426.blix.com)
2020-11-24 00:20:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-24 00:21:23 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 00:23:46 <sm[m]> c_wraith: eh.. yes
2020-11-24 00:25:44 <sm[m]> and thanks dibblego - that's the one I was looking for
2020-11-24 00:26:02 <sm[m]> https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Foldable.html#v:asum
2020-11-24 00:26:22 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds)
2020-11-24 00:33:50 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-24 00:33:51 × mpereira quits (~mpereira@2a02:810d:f40:d96:1ca0:7a83:5454:b1ba) (Ping timeout: 272 seconds)
2020-11-24 00:34:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 00:34:11 → Jonkimi727406120 joins (~Jonkimi@113.87.161.66)
2020-11-24 00:34:24 → Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-24 00:36:52 × ian-mi quits (~ian_milli@2601:600:9c80:322d:fffc:f6e1:b33f:3002) (Ping timeout: 260 seconds)
2020-11-24 00:37:26 × cosimone quits (~cosimone@5.170.241.60) (Quit: cosimone)
2020-11-24 00:38:22 → ian-mi joins (~ian_milli@c-67-160-8-14.hsd1.wa.comcast.net)
2020-11-24 00:39:18 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-24 00:39:36 → Jeanne-Kamikaze joins (~Jeanne-Ka@iakosalt-94.nationalnet.com)
2020-11-24 00:39:50 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-24 00:40:06 → xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-kphrwksnugmxbetf)
2020-11-24 00:40:22 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds)
2020-11-24 00:41:38 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-24 00:42:42 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-11-24 00:46:12 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-24 00:46:23 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-11-24 00:46:42 → theorbtwo joins (~theorb@cpc81822-swin19-2-0-cust3.3-1.cable.virginm.net)
2020-11-24 00:47:29 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-24 00:49:04 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-24 00:52:22 → niko joins (~niko@freenode/staff/ubuntu.member.niko)
2020-11-24 00:52:31 × xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-kphrwksnugmxbetf) (Quit: The Lounge - https://thelounge.chat)
2020-11-24 00:55:53 → xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-bsiqubgdpcunmdtm)
2020-11-24 00:55:56 → Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-voulfkcwxssepppf)
2020-11-24 01:01:44 → da39a3ee5e6b4b0d joins (~da39a3ee5@171.5.161.165)
2020-11-24 01:01:47 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 01:03:15 → mpereira joins (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55)
2020-11-24 01:04:17 × Achylles quits (~Achylles@177.45.205.205) (Remote host closed the connection)
2020-11-24 01:06:49 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2020-11-24 01:07:50 × mpereira quits (~mpereira@2a02:810d:f40:d96:f587:a442:5e3:1e55) (Ping timeout: 264 seconds)
2020-11-24 01:08:55 hekkaidekapus_ is now known as hekkaidekapus
2020-11-24 01:09:10 <hekkaidekapus> sondr3: Still around?
2020-11-24 01:09:17 <sondr3> hekkaidekapus: yep
2020-11-24 01:10:23 <hekkaidekapus> Check out this: <https://paste.tomsmeding.com/o2idJSR9>
2020-11-24 01:11:07 <hekkaidekapus> The idea is to break down your big parser into small parsers.
2020-11-24 01:12:04 <sondr3> oh vey, this looks exactly like what I was asking him about earlier, must've completely missed it
2020-11-24 01:12:10 <hekkaidekapus> And try to be specific about what you want to parse, instead of a overly general `anySingle`.
2020-11-24 01:12:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-24 01:13:07 <hekkaidekapus> I left `anySingle` in the example but that should really be replaced by something more fitting to your input.
2020-11-24 01:14:26 <hekkaidekapus> By the way, the import declarations should give you enough indications of places where to go and read haddocks.
2020-11-24 01:14:35 <sondr3> I've been learning that a lot the last few days, haha, I'm just not very experienced with FP and monadic parsing
2020-11-24 01:15:13 <sondr3> Thanks a bunch for your example, I'll look at it in detail tomorrow when I'm more alive
2020-11-24 01:15:22 <hekkaidekapus> np
2020-11-24 01:15:39 × lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:6511:46eb:c421:ce43) (Ping timeout: 272 seconds)
2020-11-24 01:15:43 ← superstar64 parts (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) ()
2020-11-24 01:16:57 <sondr3> Looks a lot better than the monstrosity I've cooked together now x)
2020-11-24 01:20:23 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-11-24 01:24:10 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-24 01:25:19 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-24 01:26:42 → sand_dull joins (~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-11-24 01:29:56 × darjeeling_ quits (~darjeelin@122.245.219.209) (Ping timeout: 240 seconds)
2020-11-24 01:35:00 → Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-24 01:35:45 × Fractalis quits (~Fractalis@2601:987:280:8d40:eda9:f9e1:2072:cea7) (Quit: Have a good one all, im out!)
2020-11-24 01:36:36 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds)
2020-11-24 01:36:56 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-24 01:37:50 → Lord_of_Life joins (~Lord@46.217.222.157)
2020-11-24 01:39:01 × Codaraxis quits (~Codaraxis@91.193.4.61) (Ping timeout: 256 seconds)
2020-11-24 01:45:39 × LKoen quits (~LKoen@169.244.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.”)
2020-11-24 01:46:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-24 01:50:03 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-24 01:52:09 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-24 01:57:56 × sondr3 quits (~sondr3@cm-84.211.56.132.getinternet.no) (Quit: Leaving)
2020-11-24 01:57:57 × oisdk quits (~oisdk@2001:bb6:3329:d100:188f:f126:4321:8fc1) (Quit: oisdk)
2020-11-24 01:58:25 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 240 seconds)
2020-11-24 02:01:41 → wei2912 joins (~wei2912@unaffiliated/wei2912)
2020-11-24 02:01:58 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-24 02:02:30 → jedws joins (~jedws@101.184.150.93)
2020-11-24 02:06:55 → gxt_ joins (~gxt@gateway/tor-sasl/gxt)
2020-11-24 02:07:50 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-11-24 02:08:16 × pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (Ping timeout: 240 seconds)
2020-11-24 02:08:16 × vancz quits (~vancz@unaffiliated/vancz) (Ping timeout: 240 seconds)
2020-11-24 02:09:43 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-11-24 02:10:08 <cads> Is it correct to think about monoids and applicatives as just linear categories internal to category Hask itself?
2020-11-24 02:11:04 <cads> Amd can we think of haskell type classes as kind of taking a total space that is hask, and fibering it down to these internal categories?
2020-11-24 02:12:26 → pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662)
2020-11-24 02:12:26 → vancz joins (~vancz@unaffiliated/vancz)
2020-11-24 02:12:33 × gentauro quits (~gentauro@unaffiliated/gentauro) (Ping timeout: 260 seconds)
2020-11-24 02:12:33 × tasuki quits (~tasuki@198.211.120.27) (Ping timeout: 260 seconds)
2020-11-24 02:13:03 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-24 02:13:08 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Ping timeout: 260 seconds)
2020-11-24 02:13:08 × RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 260 seconds)
←Prev  Next→
Page 1 .. 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 .. 5022

All times are in UTC.