Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 438 439 440 441 442 443 444 445 446 447 448 .. 17998
1,799,768 events total
2021-06-13 20:23:10 <davean> infact, its harder to get performance with 'free'
2021-06-13 20:23:15 × dhil quits (~dhil@80.208.56.181) (Ping timeout: 245 seconds)
2021-06-13 20:23:16 <davean> (though totally possible)
2021-06-13 20:23:36 <maerwald> Well, this sounds like a good project for zurihac
2021-06-13 20:24:07 <davean> but things like bracketing and how they behave in 'freer'
2021-06-13 20:24:14 <kayprish> [A[A
2021-06-13 20:24:23 <kayprish> [A[A[A
2021-06-13 20:24:38 <kayprish> trx
2021-06-13 20:24:43 <kayprish> sat
2021-06-13 20:24:49 <maerwald> davean: I never went that deep... I just wrote some small stuff... testing it on a real program will surely be more insightful
2021-06-13 20:24:59 × Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8)
2021-06-13 20:25:17 <davean> maerwald: Ah, did you not take time to understand the implimentation before using it?
2021-06-13 20:25:32 <maerwald> hell no
2021-06-13 20:25:36 <davean> Seriously?
2021-06-13 20:26:04 <kayprish> apologies guys, my client started messing with me
2021-06-13 20:26:16 <davean> kayprish: we'll never forgive you but quickly forget
2021-06-13 20:26:34 <maerwald> davean: from what I read, sometimes the authors don't understand their own implementation ;)
2021-06-13 20:26:51 <davean> maerwald: yah, which is why I take time to consider them ...
2021-06-13 20:27:01 <davean> like when reading a paper - redo the proofs
2021-06-13 20:27:09 tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-13 20:27:09 <davean> satisfy YOURSELF they're right, don't take the author's word
2021-06-13 20:27:19 <davean> saves a bunch of time
2021-06-13 20:27:20 Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-06-13 20:27:33 <maerwald> that's way too serious for a "lemme see if I can improve this real quick" :)
2021-06-13 20:28:24 <shapr> davean: have you considered writing blog posts about these not so well known tools?
2021-06-13 20:28:24 safinaskar joins (~safinaska@109.252.90.89)
2021-06-13 20:28:42 zeenk joins (~zeenk@188.26.30.39)
2021-06-13 20:28:51 <safinaskar> is there some online haskell compiler with relatively new ghc?
2021-06-13 20:29:01 <davean> shapr: Yes, though I'd NEVER think hpc wasn't well known. There the performance book over at HF thats comeing together. We had a long debate about how to handle tools.
2021-06-13 20:29:07 <safinaskar> i tried repl.it and godbolt.org, but they have old ghc versions
2021-06-13 20:29:23 <safinaskar> for example, -XGHC2021 seems not supported
2021-06-13 20:29:38 <maerwald> safinaskar: I think repl.it is indeed one of the more updated ones
2021-06-13 20:30:53 <safinaskar> maerwald: i just checked, -XGHC2021 still gives error there
2021-06-13 20:34:05 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-06-13 20:34:34 × kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Quit: leaving)
2021-06-13 20:34:46 × reumeth quits (~reumeth@user/reumeth) (Ping timeout: 244 seconds)
2021-06-13 20:34:53 kayprish joins (~kayprish@cable-188-2-229-172.dynamic.sbb.rs)
2021-06-13 20:34:59 <maerwald> safinaskar: offline is not an option?
2021-06-13 20:35:50 <safinaskar> maerwald: of course, it is. i am simply curious whether such site exists. it would speed up my productivity
2021-06-13 20:36:24 × hemlock quits (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83) (Ping timeout: 268 seconds)
2021-06-13 20:36:48 hemlock joins (~hemlock@2600:8804:4c0a:3200:91a4:77db:aed9:3c83)
2021-06-13 20:36:51 <maerwald> Could be another topic for the HF...
2021-06-13 20:37:00 dhil joins (~dhil@195.213.192.47)
2021-06-13 20:38:22 jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef)
2021-06-13 20:39:35 Obo joins (~roberto@h-46-59-103-134.A498.priv.bahnhof.se)
2021-06-13 20:41:09 ddellacosta joins (~ddellacos@89.45.224.48)
2021-06-13 20:41:53 × beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds)
2021-06-13 20:42:52 × ddellacosta quits (~ddellacos@89.45.224.48) (Remote host closed the connection)
2021-06-13 20:43:21 ddellacosta joins (~ddellacos@89.45.224.48)
2021-06-13 20:45:30 ddellaco_ joins (~ddellacos@89.45.224.243)
2021-06-13 20:46:46 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-13 20:47:50 × ddellacosta quits (~ddellacos@89.45.224.48) (Ping timeout: 245 seconds)
2021-06-13 20:51:03 Guest2 joins (~Guest2@154.21.21.108)
2021-06-13 20:51:51 peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-13 20:52:10 beka joins (~beka@104-244-27-23.static.monkeybrains.net)
2021-06-13 20:56:31 × Obo quits (~roberto@h-46-59-103-134.A498.priv.bahnhof.se) (Quit: WeeChat 2.8)
2021-06-13 20:56:45 raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-13 20:57:33 hrnz is now known as hrnz[m]
2021-06-13 20:57:50 hrnz[m] is now known as hrnz
2021-06-13 20:58:44 teaSlurper joins (~chris@81.96.113.213)
2021-06-13 21:01:30 × haskl quits (~haskeller@2601:643:897f:561d:f1b9:73f1:b827:9693) (Ping timeout: 264 seconds)
2021-06-13 21:01:35 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Ping timeout: 245 seconds)
2021-06-13 21:02:20 haskl joins (~haskeller@2601:643:897f:561d:f1b9:73f1:b827:9693)
2021-06-13 21:03:22 bmo_ joins (~bmo@185.254.75.34)
2021-06-13 21:03:30 fizbin joins (~fizbin@2601:8a:4080:1280:3d39:470:d12f:3be6)
2021-06-13 21:03:36 allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com)
2021-06-13 21:03:59 slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-06-13 21:04:32 curiousgay_ joins (~quassel@178.217.208.8)
2021-06-13 21:04:36 Scotty_Trees2 joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net)
2021-06-13 21:04:37 × unclechu quits (~unclechu@2001:470:69fc:105::354) (Read error: Connection reset by peer)
2021-06-13 21:04:37 × carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Read error: Connection reset by peer)
2021-06-13 21:04:37 × bb010g quits (~bb010gmat@2001:470:69fc:105::9a5) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × kadoban quits (~kadoban@user/kadoban) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × siraben quits (~siraben@user/siraben) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Write error: Connection reset by peer)
2021-06-13 21:04:38 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × autrim64[m] quits (~autrim64m@2001:470:69fc:105::16a1) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × bitonic quits (~bitonic@2001:470:69fc:105::1812) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × fgaz quits (~fgaz@2001:470:69fc:105::842) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Read error: Connection reset by peer)
2021-06-13 21:04:38 × tomferon[m] quits (~tomferon@2001:470:69fc:105::268) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × marinelli[m] quits (~marinelli@2001:470:69fc:105::2d8) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × jakefromstatefar quits (~jakefroms@2001:470:69fc:105::15ef) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × cdepillabout[m] quits (~cdepillab@2001:470:69fc:105::3d3) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × yin[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × bryan[m] quits (~bchreekat@2001:470:69fc:105::16b5) (Read error: Connection reset by peer)
2021-06-13 21:04:39 × Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Read error: Connection reset by peer)
2021-06-13 21:04:40 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Write error: Connection reset by peer)
2021-06-13 21:04:40 × sm[m] quits (~sm@plaintextaccounting/sm) (Read error: Connection reset by peer)
2021-06-13 21:04:40 × peddie quits (~peddie@2001:470:69fc:105::25d) (Write error: Connection reset by peer)

All times are in UTC.