Logs: freenode/#haskell
| 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.