Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 189 190 191 192 193 194 195 196 197 198 199 .. 5022
— 502,152 events total
2020-09-24 20:09:53 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-09-24 20:09:54 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-09-24 20:11:07 × catkiki quits (~kiki@m90-134-157-227.cust.tele2.hr) (Quit: Leaving)
2020-09-24 20:11:07 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 20:11:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 20:13:24 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-24 20:13:56 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds)
2020-09-24 20:19:27 hackage Z-IO 0.1.1.1 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.1.1 (winterland)
2020-09-24 20:20:50 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 20:21:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 20:22:50 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 20:23:05 × wonko7 quits (~wonko7@2a01:e35:2ffb:7040:8c5f:831a:4acc:45dd) (Ping timeout: 272 seconds)
2020-09-24 20:23:17 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-24 20:25:03 → catkiki joins (~kiki@m90-134-157-227.cust.tele2.hr)
2020-09-24 20:27:50 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-24 20:31:15 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 20:31:21 → mu__ joins (~mu@unaffiliated/mu)
2020-09-24 20:33:51 × kuribas quits (~user@ptr-25vy0i6t83pytp8ykk0.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds)
2020-09-24 20:35:54 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 20:36:11 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Remote host closed the connection)
2020-09-24 20:36:57 → mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-24 20:37:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-24 20:38:54 → dagnabbit joins (~thelounge@140.82.8.179)
2020-09-24 20:39:02 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 260 seconds)
2020-09-24 20:39:16 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 2.9)
2020-09-24 20:39:27 <koz_> Cheery: For interpreters, yeah, question is trickier.
2020-09-24 20:39:34 <koz_> I'd have to re-read the paper to be sure.
2020-09-24 20:41:13 × mu__ quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 20:41:25 → mu joins (~mu@unaffiliated/mu)
2020-09-24 20:41:38 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-09-24 20:41:56 <dolio> You don't have to.
2020-09-24 20:42:07 <dolio> You should do what they did in the paper, build both and test which is better.
2020-09-24 20:42:27 <koz_> dolio: I'd at least like to remind myself of their conclusions and why.
2020-09-24 20:42:45 <koz_> Not saying it's equivalent to testing and measuring, but I'm curious what they found was holding push/enter back.
2020-09-24 20:42:48 <koz_> (since I can't remember)
2020-09-24 20:44:03 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-24 20:44:04 → smitop joins (uid328768@gateway/web/irccloud.com/x-hrleshkhwzzeilqw)
2020-09-24 20:44:53 × jneira quits (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Ping timeout (120 seconds))
2020-09-24 20:45:45 <dolio> The paper says it's impossible to tell which is better just by thinking about it. You need to actually test which is better.
2020-09-24 20:46:12 → barzo joins (~sosal@95.70.181.226)
2020-09-24 20:46:14 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-09-24 20:46:36 <Cheery> yeah. I think pypy community might have done this to you already.
2020-09-24 20:46:40 <koz_> dolio: Thanks for the reminder.
2020-09-24 20:47:42 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-24 20:47:43 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-24 20:48:29 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-24 20:49:41 × mmohammadi9812 quits (~mmohammad@188.210.98.27) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-24 20:50:41 → Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com)
2020-09-24 20:50:47 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2020-09-24 20:50:48 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 20:51:22 <dolio> I'm not sure it's really going to make a lot of sense to implement push/enter in an interpreter in the way it actually shows up in that paper, though.
2020-09-24 20:51:25 → mu joins (~mu@unaffiliated/mu)
2020-09-24 20:51:53 <dolio> Where each function has its own separate generated code that examines the stack for arguments.
2020-09-24 20:51:55 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-09-24 20:52:19 × barzo quits (~sosal@95.70.181.226) (Quit: Leaving)
2020-09-24 20:52:24 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 20:52:56 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-24 20:53:01 × Dolly quits (585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-24 20:53:09 <Cheery> yay.. I found a paper.
2020-09-24 20:53:11 <Cheery> Trace-based just-in-time compiler for Haskell with RPython
2020-09-24 20:53:56 <Cheery> it says they weren't able to beat GHC with that though.
2020-09-24 20:54:30 → barzo joins (~sosal@95.70.181.226)
2020-09-24 20:54:48 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds)
2020-09-24 20:56:18 <Cheery> about hundred times slower than ghc with -O2
2020-09-24 20:56:32 <koz_> Cheery: Link to said paper?
2020-09-24 20:56:40 <Cheery> https://ntnuopen.ntnu.no/ntnu-xmlui/bitstream/handle/11250/253137/618488_FULLTEXT01.pdf?sequence=1
2020-09-24 20:57:03 <dolio> There's at least one sub-optimal case if you really implement some of what it says. Like, applying a PAp might dump all its stored arguments to the stack, then just copy them back to build a new PAp if it's still under-applied.
2020-09-24 20:57:11 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-24 20:57:18 <dolio> But I'm not sure how much that case matters.
2020-09-24 20:57:40 → mnrmnaughmnrgle joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-24 20:58:17 × dagnabbit quits (~thelounge@140.82.8.179) (Quit: The Lounge - https://thelounge.chat)
2020-09-24 20:58:33 → dagnabbit joins (~thelounge@140.82.8.179)
2020-09-24 21:00:02 × m4v1 quits (~m4v@185.204.1.185) ()
2020-09-24 21:00:49 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 21:01:13 → kanishka joins (~kanishka@207.38.161.184)
2020-09-24 21:01:20 → mu joins (~mu@unaffiliated/mu)
2020-09-24 21:01:27 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-24 21:01:41 ← kanishka parts (~kanishka@207.38.161.184) ()
2020-09-24 21:03:18 × finkata quits (~dpetrov@83.222.188.39) (Remote host closed the connection)
2020-09-24 21:05:48 × bennofs quits (~quassel@dslb-094-222-058-240.094.222.pools.vodafone-ip.de) (Ping timeout: 258 seconds)
2020-09-24 21:06:19 → jneira joins (501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-24 21:07:02 × hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds)
2020-09-24 21:08:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-24 21:09:18 <Rembane> cabal install has two groups of commands that seem awfully similar too each other, are the v2-* and new-* aliases to each other?
2020-09-24 21:09:32 <dolio> Yes.
2020-09-24 21:09:44 <Rembane> Good. And confusing.
2020-09-24 21:09:49 <Rembane> Thank you.
2020-09-24 21:09:57 × chaosmasttter quits (~chaosmast@p200300c4a714f101b8e97b5389efff25.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-09-24 21:10:44 → ubert joins (~Thunderbi@91.141.2.79.wireless.dyn.drei.com)
2020-09-24 21:10:50 × mu quits (~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-24 21:10:56 <merijn> Rembane: new- is from when they where in development and not actually intended to be used by anyone but brave souls
2020-09-24 21:11:19 → mu joins (~mu@unaffiliated/mu)
2020-09-24 21:12:04 × coot quits (~coot@37.30.51.178.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-24 21:12:48 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-24 21:13:50 <Rembane> merijn: Got it. Those were the days... or something...
2020-09-24 21:14:02 × knupfer quits (~Thunderbi@200116b824801400903070b59b2b0fab.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-24 21:14:47 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-24 21:14:59 × ubert quits (~Thunderbi@91.141.2.79.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-24 21:17:14 → mud joins (~mud@unaffiliated/kadoban)
2020-09-24 21:18:46 → sheepfleece joins (~sheep@46.53.249.142)
←Prev  Next→
Page 1 .. 189 190 191 192 193 194 195 196 197 198 199 .. 5022

All times are in UTC.