Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 .. 5022
— 502,152 events total
2021-03-02 12:41:39 <boxscape> (think the ghci part was supposed to be a response to me merijn)
2021-03-02 12:41:42 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-02 12:42:02 <merijn> ggVGc: note that ghcide /= ghcid, with the former being what haskell-language-server builds on
2021-03-02 12:43:07 <ggVGc> sure, I get what you're saying, and I also use it. But it doesn't help my use case since my "compilation cycle" also includes running the binary
2021-03-02 12:43:11 → knupfer joins (~Thunderbi@i577BCEB5.versanet.de)
2021-03-02 12:43:42 <ggVGc> for normal haskell development I agree, full recompilation time is less important if the IDE help is fast
2021-03-02 12:43:46 → kenran joins (~kenran@b2b-37-24-119-190.unitymedia.biz)
2021-03-02 12:44:00 <merijn> Well, then you're hosed ;)
2021-03-02 12:44:10 <merijn> But I don't think there's many candidates that are faster :p
2021-03-02 12:44:57 <ggVGc> this DSL I made agitates me in many ways all the time, but at the same time I don't know how I could have implemented and hav eit be as useful as it is with another tool
2021-03-02 12:45:21 → Tario joins (~Tario@201.192.165.173)
2021-03-02 12:45:49 <ggVGc> getting all of the lightweight syntax and composition in haskell as the meta-language for it is a huge win
2021-03-02 12:47:04 × guest743254 quits (~gay@178.217.208.8) (Remote host closed the connection)
2021-03-02 12:48:31 × cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 12:50:01 → cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 12:52:05 × cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Max SendQ exceeded)
2021-03-02 12:52:18 × ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2021-03-02 12:53:36 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-03-02 12:56:01 × curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection)
2021-03-02 12:57:25 → curiousgay joins (~gay@178.217.208.8)
2021-03-02 13:00:33 → heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201)
2021-03-02 13:01:39 → cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt)
2021-03-02 13:03:32 → zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr)
2021-03-02 13:04:55 × heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Ping timeout: 240 seconds)
2021-03-02 13:05:25 → alx741 joins (~alx741@181.196.68.52)
2021-03-02 13:05:26 × cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer)
2021-03-02 13:08:53 × son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal)
2021-03-02 13:09:58 × rond_ quits (59402043@89-64-32-67.dynamic.chello.pl) (Quit: Connection closed)
2021-03-02 13:12:33 × geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2021-03-02 13:12:50 → geekosaur joins (82650c7a@130.101.12.122)
2021-03-02 13:13:13 → Deide joins (~Deide@217.155.19.23)
2021-03-02 13:13:59 × LKoen quits (~LKoen@252.248.88.92.rev.sfr.net) (Remote host closed the connection)
2021-03-02 13:14:06 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6)
2021-03-02 13:16:18 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-oegwsfxufkjwphyx)
2021-03-02 13:23:10 × whald quits (~trem@2a02:810a:8100:11a6:13b1:24f8:ae06:3077) (Remote host closed the connection)
2021-03-02 13:26:16 → Xenosi joins (5152c413@d5152c413.static.telenet.be)
2021-03-02 13:26:29 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-03-02 13:30:27 × sammuel86 quits (~sammuel86@217.146.82.202) (Remote host closed the connection)
2021-03-02 13:30:35 × xff0x quits (~xff0x@2001:1a81:53bf:4d00:5544:da2:365f:359d) (Ping timeout: 240 seconds)
2021-03-02 13:30:54 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 245 seconds)
2021-03-02 13:31:44 → xff0x joins (~xff0x@2001:1a81:53bf:4d00:76e3:7146:e0fd:c933)
2021-03-02 13:34:46 → asdasd2 joins (5a9e0af2@90.158.10.242)
2021-03-02 13:34:59 <Ericson2314> edwardk: it finally (!) landed end of last year. Will be out in 9.2
2021-03-02 13:35:19 → _rht joins (uid86914@gateway/web/irccloud.com/x-flgafvdijlixohjl)
2021-03-02 13:35:30 × asdasd2 quits (5a9e0af2@90.158.10.242) (Client Quit)
2021-03-02 13:37:55 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-02 13:38:43 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-02 13:38:54 <Xenosi> Hello! I have a question about Template Haskell and someone told me to ask it here, is that OK?
2021-03-02 13:39:13 <Axman6> of course
2021-03-02 13:39:27 × noctuks quits (LDK5x9ebpQ@unaffiliated/noctux) (Quit: WeeChat 3.0)
2021-03-02 13:39:27 × yushyin quits (UeEdseyCqW@karif.server-speed.net) (Quit: WeeChat 3.0)
2021-03-02 13:39:27 × i7c quits (BTz9c9Bghc@unaffiliated/i7c) (Quit: WeeChat 3.0)
2021-03-02 13:40:05 → plast1k_ joins (~plast1k_@105.178.35.11)
2021-03-02 13:40:17 <Xenosi> I am trying to make an Exp from a Bool without using the Q monad
2021-03-02 13:40:29 × zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-02 13:40:39 <Xenosi> Because I get staging errors when I try to splice it using the Q monad
2021-03-02 13:40:51 → zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr)
2021-03-02 13:41:17 <Xenosi> The problem is, I can only seem to find Literal constructors for Characters, Integers and strings
2021-03-02 13:42:24 → i7c joins (M924mJs6bG@unaffiliated/i7c)
2021-03-02 13:42:25 × curiousgay quits (~gay@178.217.208.8) (Remote host closed the connection)
2021-03-02 13:42:25 → noctuks joins (rAUWWueNl5@unaffiliated/noctux)
2021-03-02 13:43:00 × wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Read error: Connection reset by peer)
2021-03-02 13:43:25 × ubert quits (~Thunderbi@p200300ecdf25d9c5ca5b76fffe29f233.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-03-02 13:43:27 → curiousgay joins (~gay@178.217.208.8)
2021-03-02 13:43:44 → ubert joins (~Thunderbi@p200300ecdf25d9c5e6b318fffe838f33.dip0.t-ipconnect.de)
2021-03-02 13:44:08 <ij> Could Storable instead of Unboxed improve performance, because GC doesn't move it and void memory cache?
2021-03-02 13:44:12 → wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se)
2021-03-02 13:45:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-02 13:46:20 <merijn> ij: Storable can improve things because you can do AoS, rather than SoA (as Unboxed enforced)
2021-03-02 13:46:35 <ij> because of locality?
2021-03-02 13:47:05 <ij> and because assembling the structure is faster?
2021-03-02 13:47:10 → LKoen joins (~LKoen@252.248.88.92.rev.sfr.net)
2021-03-02 13:47:19 <ij> or do you not even need to assemble it, just copy
2021-03-02 13:47:24 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-02 13:48:43 → Robert1 joins (~Robert@185.204.1.185)
2021-03-02 13:49:08 <ij> no, they're not just copied according to docs below "class Storable"
2021-03-02 13:49:10 → billiusbobbius joins (~billiusbo@2a00:23c7:9909:5b01:909a:85aa:703a:457c)
2021-03-02 13:49:39 × mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2021-03-02 13:49:55 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-03-02 13:50:58 → Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de)
2021-03-02 13:52:20 × bobiusbillius quits (6d998222@host109-153-130-34.range109-153.btcentralplus.com) (Quit: Connection closed)
2021-03-02 13:52:21 × catt quits (~r@31.127.31.99) (Read error: Connection reset by peer)
2021-03-02 13:52:48 → bobiusbillius joins (6d998222@host109-153-130-34.range109-153.btcentralplus.com)
2021-03-02 13:53:01 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6)
2021-03-02 13:53:06 × bobiusbillius quits (6d998222@host109-153-130-34.range109-153.btcentralplus.com) (Client Quit)
2021-03-02 13:53:13 × billiusbobbius quits (~billiusbo@2a00:23c7:9909:5b01:909a:85aa:703a:457c) (Client Quit)
2021-03-02 13:53:45 → bobiusbillius joins (6d998222@host109-153-130-34.range109-153.btcentralplus.com)
2021-03-02 13:54:35 → python47` joins (~user@mfl93-13-83-155-250-136.fbx.proxad.net)
2021-03-02 13:55:55 × python476 quits (~user@mfl93-13-83-155-250-136.fbx.proxad.net) (Ping timeout: 240 seconds)
2021-03-02 13:56:25 → yushyin joins (PWnUjdeDXS@karif.server-speed.net)
2021-03-02 13:59:29 → Varis joins (~Tadas@unaffiliated/varis)
2021-03-02 13:59:44 <ij> merijn, so, is it because of locality or is there something else?
2021-03-02 13:59:52 → bobbill joins (~bobbill@2a00:23c7:9909:5b01:909a:85aa:703a:457c)
2021-03-02 14:01:09 × kam1 quits (~kam1@5.126.106.241) (Ping timeout: 264 seconds)
2021-03-02 14:01:14 × bobbill quits (~bobbill@2a00:23c7:9909:5b01:909a:85aa:703a:457c) (Client Quit)
2021-03-02 14:01:47 × bobiusbillius quits (6d998222@host109-153-130-34.range109-153.btcentralplus.com) (Quit: Connection closed)
2021-03-02 14:02:04 → bobiusbillius joins (~bobiusbil@2a00:23c7:9909:5b01:909a:85aa:703a:457c)
2021-03-02 14:02:08 → heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201)
2021-03-02 14:02:34 × yushyin quits (PWnUjdeDXS@karif.server-speed.net) (Quit: WeeChat 3.0.1)
2021-03-02 14:02:53 → yushyin joins (Q5ik5TuR5I@karif.server-speed.net)
←Prev  Next→
Page 1 .. 3572 3573 3574 3575 3576 3577 3578 3579 3580 3581 3582 .. 5022

All times are in UTC.