Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-04-28 15:07:50 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-28 15:07:52 nineonine joins (~nineonine@2604:3d08:7785:9600:8da3:57c2:b9e6:3845)
2021-04-28 15:08:04 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-28 15:08:31 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds)
2021-04-28 15:10:33 neiluj joins (~jco@91-167-203-101.subs.proxad.net)
2021-04-28 15:10:33 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-04-28 15:10:33 neiluj joins (~jco@unaffiliated/neiluj)
2021-04-28 15:12:28 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-28 15:15:30 cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net)
2021-04-28 15:16:26 × jgt_ quits (~jgt@176.232.60.233) (Ping timeout: 246 seconds)
2021-04-28 15:17:57 <cdsmith> I'm looking for something like this: data TypedVal; mkTypedVal :: Typeable a => a -> TypedVal; getTypedVal :: Typeable a => Proxy a -> TypedVal -> Maybe a.  Is there a common implementation for this?
2021-04-28 15:18:17 <shapr> howdy cdsmith, how's life?
2021-04-28 15:18:30 <cdsmith> @shapr Life is alright!  You?
2021-04-28 15:18:31 lambdabot slaps Life is alright!  You? with a slab of concrete
2021-04-28 15:18:48 <shapr> doing well, enjoying writing Haskell all day :-)
2021-04-28 15:19:59 <Taneb> cdsmith: that looks a bit like Data.Dynamic
2021-04-28 15:20:11 <cdsmith> Oh yeah... that's almost surely right. :)
2021-04-28 15:20:16 <cdsmith> Ha... thanks!
2021-04-28 15:20:50 <cdsmith> Yes, Dynamic it is!  Thanks
2021-04-28 15:21:10 <ski> @botsmack
2021-04-28 15:21:11 <lambdabot> :)
2021-04-28 15:22:11 howdoi joins (uid224@gateway/web/irccloud.com/x-skcvldmujnozgzqc)
2021-04-28 15:23:46 × sarahzrf quits (~sarahzrf_@sarahzrf.com) (Quit: bye)
2021-04-28 15:24:00 sarahzrf joins (~sarahzrf_@2604:a880:400:d0::b4a:4001)
2021-04-28 15:24:06 <shapr> I signed up to do a fifteen minute talk about graph reduction hardware. I expect to do ten minutes of excited hand waving about "A parallel future" with a a few slides and then a huge pile of citations at the end.
2021-04-28 15:25:46 × idhugo__ quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-28 15:25:59 cfricke joins (~cfricke@unaffiliated/cfricke)
2021-04-28 15:26:38 <cdsmith> shapr: That's more than I know about graph reduction hardware!
2021-04-28 15:27:00 <ski> shapr : did you glance at Koopmans thesis ?
2021-04-28 15:27:54 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-28 15:27:58 <shapr> ski: yes!
2021-04-28 15:28:05 <shapr> that's a good suggestion, thanks!
2021-04-28 15:28:49 <shapr> I still don't understand enough to understand how templating works in the reduceron, but I'm finding this talk to be a great excuse to read exciting research papers
2021-04-28 15:28:56 ddellac__ joins (~ddellacos@86.106.143.73)
2021-04-28 15:29:19 × todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds)
2021-04-28 15:30:25 <ski> <someone> seen a couple of faculty answered the question "why are you teaching this class?" "oh I just wanted to learn about X a bit"
2021-04-28 15:30:59 <shapr> the big ideas are really neat though, https://www-users.york.ac.uk/~mt540/graceful-ws/slides/Stewart.pdf
2021-04-28 15:31:13 remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca)
2021-04-28 15:31:51 <shapr> I envision hardware graph reduction as described in those slides, lots of graph CPUs with their own connections to the RAM
2021-04-28 15:32:40 <shapr> ski: yes, that's a great quote :-)
2021-04-28 15:33:01 <ski> i guess, for it to be adopted more, there'd need to be some killer application(s)
2021-04-28 15:33:17 <ski> (like FPS games for GPUs)
2021-04-28 15:33:45 kiweun joins (~kiweun@2607:fea8:2a62:9600:f844:a502:b562:59cd)
2021-04-28 15:33:46 × ddellac__ quits (~ddellacos@86.106.143.73) (Ping timeout: 260 seconds)
2021-04-28 15:34:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-28 15:35:01 geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-28 15:35:41 dmytrish joins (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59)
2021-04-28 15:35:47 Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de)
2021-04-28 15:36:38 <shapr> there are killer applications, but I'm still not sure it'll ever happen
2021-04-28 15:37:28 haasn .oO( graph reduction on GPUs? )
2021-04-28 15:37:37 <shapr> DARPA's HIVE project put up a bunch of award money for improve graph processing, but I think only one small award was actually won, and that for improved data locality
2021-04-28 15:38:03 × kiweun quits (~kiweun@2607:fea8:2a62:9600:f844:a502:b562:59cd) (Ping timeout: 250 seconds)
2021-04-28 15:41:12 × wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..)
2021-04-28 15:41:35 wonko7 joins (~wonko7@62.115.229.50)
2021-04-28 15:41:36 hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-04-28 15:42:07 × dmytrish quits (~mitra@2a02:8084:a82:d900:6df4:a206:6bd4:dc59) (Ping timeout: 260 seconds)
2021-04-28 15:47:41 stree joins (~stree@68.36.8.116)
2021-04-28 15:49:46 × enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com)
2021-04-28 15:50:42 <merijn> Because no one really understands how locality affects graph processing >.>
2021-04-28 15:51:13 letmein joins (~letmein@2601:1c1:4200:938f:f8bf:6a67:4eed:b2c1)
2021-04-28 15:53:10 fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2021-04-28 15:54:46 × Guest33772 quits (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2021-04-28 15:55:43 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-28 15:59:44 Alleria joins (~textual@zrcout.mskcc.org)
2021-04-28 16:00:05 Alleria is now known as Guest16145
2021-04-28 16:01:13 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-28 16:03:16 ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-04-28 16:03:23 idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-04-28 16:04:28 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-04-28 16:05:41 gentauro joins (~gentauro@unaffiliated/gentauro)
2021-04-28 16:07:41 × ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-04-28 16:09:14 frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-28 16:09:19 × wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..)
2021-04-28 16:09:38 wonko7 joins (~wonko7@62.115.229.50)
2021-04-28 16:11:41 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-28 16:12:05 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-28 16:13:52 × alx741 quits (~alx741@181.196.68.118) (Ping timeout: 240 seconds)
2021-04-28 16:13:59 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-28 16:14:19 jamm_ joins (~jamm@unaffiliated/jamm)
2021-04-28 16:15:12 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-28 16:15:17 × jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-04-28 16:15:32 gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com)
2021-04-28 16:15:48 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-28 16:16:31 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-uyliiafcmtwzffhn) ()
2021-04-28 16:17:55 × chele quits (~chele@5.53.222.202) (Ping timeout: 252 seconds)
2021-04-28 16:20:01 <DigitalKiwi> what's a graph reduction
2021-04-28 16:21:12 <shapr> DigitalKiwi: it's an exciting fun thing! https://en.wikipedia.org/wiki/Graph_reduction
2021-04-28 16:24:43 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-28 16:24:47 sanny joins (~sanny@77.243.28.238)
2021-04-28 16:26:18 × sanny quits (~sanny@77.243.28.238) (Client Quit)
2021-04-28 16:26:48 wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se)
2021-04-28 16:28:17 <DigitalKiwi> i'm eager to learn about it but too lazy to read a book
2021-04-28 16:28:32 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1)
2021-04-28 16:30:15 frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-28 16:30:39 <Rembane> Graph reduction looks like how lambda calculus is evaluated.
2021-04-28 16:31:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-28 16:34:04 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-04-28 16:34:38 × kuribas quits (~user@ptr-25vy0i8klmekwkijd9o.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-04-28 16:35:39 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-04-28 16:36:41 ddellac__ joins (~ddellacos@86.106.143.229)

All times are in UTC.