C++ Logo

sg19

Advanced search

Re: SG19 Feb 8 monthly call

From: Michael Wong <fraggamuffin_at_[hidden]>
Date: Thu, 8 Feb 2024 14:11:47 -0500
Sorry this is the right link:
https://iso.zoom.us/j/93084591725?pwd=K3QxZjJlcnljaE13ZWU5cTlLNkx0Zz09

On Thu, Feb 8, 2024 at 2:08 PM Oliver Rosten <oliver.rosten_at_[hidden]>
wrote:

> Thanks!
>
> On Thu, 8 Feb 2024 at 19:07, Michael Wong <fraggamuffin_at_[hidden]> wrote:
>
>> yes but we may be on different zooms.
>> This is the one:
>> https://iso.zoom.us/j/93151864365?pwd=aDhOcDNWd2NWdTJuT1loeXpKbTcydz09
>>
>>
>> On Thu, Feb 8, 2024 at 2:06 PM Oliver Rosten <
>> oliver.rosten_at_[hidden]> wrote:
>>
>>> Is the SG19 meeting happening?
>>>
>>> On Wed, 7 Feb 2024 at 16:15, Michael Wong via SG19 <
>>> sg19_at_[hidden]> wrote:
>>>
>>>> Hi all, this is the SG19 Machine Learning meeting that will focus on
>>>> graphs. Please see Phil's email update from Feb 5th on the split papers and
>>>> the attachment. Thanks Phil.
>>>>
>>>> *Paper*
>>>>
>>>> *Status*
>>>>
>>>> *Pages*
>>>>
>>>> D9901 Overview & Introduction
>>>>
>>>> Active
>>>>
>>>> 7
>>>>
>>>> D9902 Algorithms
>>>>
>>>> Active
>>>>
>>>> 17
>>>>
>>>> D9903 Operators
>>>>
>>>> Active
>>>>
>>>> 6
>>>>
>>>> D9904 Views
>>>>
>>>> Active
>>>>
>>>> 11
>>>>
>>>> D9905 Graph Container Interface
>>>>
>>>> Active
>>>>
>>>> 10
>>>>
>>>> D9906 Graph Containers
>>>>
>>>> Active
>>>>
>>>> 5
>>>>
>>>> D9907 Adaptors
>>>>
>>>> Future
>>>>
>>>>
>>>>
>>>> D9908 Background and Terminology
>>>>
>>>> Future
>>>>
>>>>
>>>> We can also have an update on stats.
>>>> Are there any other suggested topics?
>>>>
>>>> We have finalized sg19 vice chairs Phil Ratzloff and Andrew Lumsdaine.
>>>>
>>>> We will have an SG14 meeting the day before on Wednesday to review
>>>> Graph:
>>>> Topic: SG14 monthly
>>>> Time: 2nd Wednesdays 02:00 PM Eastern Time (US and Canada)
>>>> Every month on the Second Wed,
>>>>
>>>> Join from PC, Mac, Linux, iOS or Android:
>>>> https://iso.zoom.us/j/93151864365?pwd=aDhOcDNWd2NWdTJuT1loeXpKbTcydz09
>>>> Password: 789626
>>>> Thank you.
>>>>
>>>>
>>>> Michael Wong is inviting
>>>> you to a scheduled Zoom meeting.
>>>>
>>>> Topic: SG19 monthly
>>>> Time: 02:00 PM Eastern Time (US and Canada)
>>>> Every month on the Second Thu,
>>>>
>>>>
>>>> Join from PC, Mac, Linux, iOS or Android:
>>>>
>>>> https://iso.zoom.us/j/93084591725?pwd=K3QxZjJlcnljaE13ZWU5cTlLNkx0Zz09
>>>> Password: 035530
>>>>
>>>> Or iPhone one-tap :
>>>> US: +13017158592,,93084591725# or +13126266799,,93084591725#
>>>> Or Telephone:
>>>> Dial(for higher quality, dial a number based on your current
>>>> location):
>>>> US: +1 301 715 8592 or +1 312 626 6799 or +1 346 248 7799 or +1
>>>> 408 638 0968 or +1 646 876 9923 or +1 669 900 6833 or +1 253 215 8782
>>>> or 877 853 5247 (Toll Free)
>>>> Meeting ID: 930 8459 1725
>>>> Password: 035530
>>>> International numbers available: https://iso.zoom.us/u/agewu4X97
>>>>
>>>> Or Skype for Business (Lync):
>>>> https://iso.zoom.us/skype/93084591725
>>>>
>>>> Agenda:
>>>>
>>>> 1. Opening and introductions
>>>>
>>>> The ISO Code of conduct:
>>>> https://www.iso.org/files/live/sites/isoorg/files/store/en/PUB100397.pdf
>>>>
>>>> IEC Code of Conduct:
>>>>
>>>> https://www.iec.ch/basecamp/iec-code-conduct-technical-work
>>>>
>>>> ISO patent policy.
>>>>
>>>>
>>>> https://isotc.iso.org/livelink/livelink/fetch/2000/2122/3770791/Common_Policy.htm?nodeid=6344764&vernum=-2
>>>>
>>>> The WG21 Practices and Procedures and Code of Conduct:
>>>>
>>>> https://isocpp.org/std/standing-documents/sd-4-wg21-practices-and-procedures
>>>>
>>>> 1.1 Roll call of participants
>>>>
>>>> 1.2 Adopt agenda
>>>>
>>>> 1.3 Approve minutes from previous meeting, and approve publishing
>>>> previously approved minutes to ISOCPP.org
>>>>
>>>> 1.4 Action items from previous meetings
>>>>
>>>> 2. Main issues (125 min)
>>>>
>>>> 2.1 General logistics
>>>>
>>>> Meeting plan, focus on one paper per meeting but does not preclude
>>>> other paper updates.
>>>>
>>>> 2024 planning
>>>> C++23 and C++26 status
>>>>
>>>>
>>>> * Jan 11, 2024 02:00 PM ET: Graph
>>>> * Feb 8, 2024 02:00 PM ET: Graph
>>>> * Mar 14, 2024 02:00 PM ET: Cancelled due to Tokyo 3-18-23
>>>> * Apr 11, 2024 02:00 PM ET: Stats
>>>> * May 9, 2024 02:00 PM ET: Graph
>>>> * June 13, 2024 02:00 PM ET: Embedded; St.louis 6-24-29
>>>> * July 11, 2024 02:00 PM ET: Stats
>>>> * Aug 15, 2024 02:00 PM ET: Graph
>>>> * Sep 12, 2024 02:00 PM ET: CPPCON Sept 15-20 so canceled
>>>> * Oct 10, 2024 02:00 PM ET: Stats
>>>> * Nov 14, 2024 02:00 PM ET: Cancelled Wroclaw F2F
>>>> * Dec 12, 2024 02:00 PM ET: Graph
>>>>
>>>>
>>>> ISO meeting status
>>>>
>>>> future C++ Std meetings
>>>>
>>>> 2.2 Paper reviews
>>>> Review BSI Graph feedback:
>>>> As Oliver (Rosten) said "The basic premise is important, and it would
>>>> be fantastic to have support for graphs in the standard."
>>>>
>>>> The main items identified were:
>>>> Oliver:
>>>> - This paper is long and incomplete, it has lots of details which I
>>>> think to be irrelevant, however things that are definitely relevant are
>>>> missing from the paper - for example definition of graph - since people
>>>> have different ideas. We need to add a mathematical perspective to the
>>>> paper.
>>>>
>>>> - The structure of the paper completely changed in the new revision, so
>>>> now it’s hard to understand what and why they have done
>>>>
>>>> - Another missing part is discussion of graph invariants
>>>>
>>>> Tom (Deakin): There’s a big missing part in “Prior art” part, GraphBLAS
>>>> (https://graphblas.org) eminently.
>>>>
>>>> Some other things to add:
>>>>
>>>> 1. The electrical circuit example needs more explanation, and I think
>>>> this will highlight some deep issues around representing things which are
>>>> seemingly trivially graphs, as graphs in practice. In what sense is a
>>>> bog-standard resistor directed? I assume the reason that the graph is
>>>> directed is because current has a sign and in an undirected graph it
>>>> becomes ambiguous which way the current is flowing (also you may want
>>>> components like diodes). But the directed representation also has issues:
>>>> "can current flow from 'Vdd' to 'n0'?" should be immediately answerable
>>>> from the properties of Vdd and its edges. There are other ways to represent
>>>> an electrical circuit. One is as a directed graph but with incident edges
>>>> recorded - but iiuc, this is excluded from the latest version of the paper.
>>>> Alternatively, one could have a mathematical object, the name of which I
>>>> actually don't know: it looks like an undirected graph, but where each
>>>> partial edge has additional, unique, end-point data, as well as the common
>>>> weight. Things like this are the reason why I think we need a broader group
>>>> to look at this proposal (i.e. beyond SG19) and if we possibly can we
>>>> should involve someone from the mathematics community. Otherwise there's a
>>>> real danger we end up missing important insights.
>>>>
>>>> 2. My comment about the structure of the paper changing was a reference
>>>> to previous comparisons with boost::graph. I'm sure these were in an
>>>> earlier version, or am I misremembering? Either way, it would be very
>>>> helpful to have a proper discussion of e.g. the move away from visitors.
>>>>
>>>> 3. Re. the definition of a graph, there needs to be a proper discussion
>>>> about whether the paper's definition of graph is what some authors call a
>>>> multigraph and whether it does/does not include loops. These things are
>>>> mentioned, in passing, when introducing algorithms, but terminology needs
>>>> to be properly established.
>>>>
>>>> 4. I think we're trying to do too much in one go in this paper. I think
>>>> a great first step would be to build on mdspan and try to standardize (or
>>>> at least understand) what might reasonably be called an unstructured span.
>>>> This could be represented as a vector of vectors or as a vector with some
>>>> auxiliary storage indicating where the partitions fall. The point is that
>>>> an unstructured span, with the right invariants, is an adjacency list. If
>>>> we can understand unstructured span and its desirable api, I think this
>>>> will be incredibly valuable guidance for what a standardized graph
>>>> container might look like.
>>>>
>>>> 5. IIUC, this paper excludes pure connectivity graphs. These are
>>>> incredibly helpful and, if I've understood correctly that they are not
>>>> supported, would be a major omission. Another good reason, imo, to start
>>>> with unstructured span!
>>>>
>>>> 6. I'm not convinced by the load api. We don't have a load api for
>>>> vector etc. Moreover, would it not be preferable to have appropriate
>>>> constructors?
>>>>
>>>>
>>>> 2.2.1: ML topics
>>>>
>>>> 2.2.1.1 Graph Proposal Phil Ratsloff et al
>>>>
>>>> Latest paper:
>>>>
>>>> Here’s a link to the paper (different than the previous paper reviewed).
>>>> There are some additional updates I’m planning on making before the
>>>> meeting.
>>>>
>>>>
>>>> https://docs.google.com/document/d/1OpH-xxRri7tJTtJJIZTYmSHkkrZJkdBwm9zJ7LqolfQ/edit?usp=sharing
>>>>
>>>>
>>>>
>>>>
>>>> P1709R3:
>>>>
>>>> https://docs.google.com/document/d/1kLHhbSTX7j0tPeTYECQFSNx3R35Mu3xO5_dyYdRy4dM/edit?usp=sharing
>>>>
>>>>
>>>> https://docs.google.com/document/d/1QkfDzGyfNQKs86y053M0YHOLP6frzhTJqzg1Ug_vkkE/edit?usp=sharing
>>>>
>>>> <http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2119r0.html>
>>>>
>>>> <
>>>>
>>>> https://docs.google.com/document/d/175wIm8o4BNGti0WLq8U6uZORegKVjmnpfc-_E8PoGS0/edit?ts=5fff27cd#heading=h.9ogkehmdmtel
>>>> *>*
>>>>
>>>> Array copy semantics:
>>>> array copy-semantics paper P1997 "Relaxing Restrictions on Arrays",
>>>> https://wg21.link/p1997
>>>>
>>>> Stats feedback:
>>>>
>>>> P2376R0
>>>> <http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2376r0.pdf>
>>>> Comments
>>>> on Simple Statistical Functions (p1708r4): Contracts, Exceptions and
>>>> Special cases Johan Lundberg
>>>>
>>>> 2.2.1.2 Reinforcement Learning Larry Lewis Jorge Silva
>>>>
>>>> Reinforcement Learning proposal:
>>>>
>>>> 2.2.1.3 Differential Calculus:
>>>>
>>>>
>>>> https://docs.google.com/document/d/175wIm8o4BNGti0WLq8U6uZORegKVjmnpfc-_E8PoGS0/edit?ts=5fff27cd#heading=h.9ogkehmdmtel
>>>>
>>>> 2.2.1.4: Stats paper
>>>>
>>>> P2681R0
>>>> <https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2681r0.pdf>
>>>> More
>>>> Stats Functions Richard Dosselmann, Michael Wong
>>>> Current github
>>>>
>>>> https://github.com/cplusplus/papers/issues/475
>>>>
>>>> https://github.com/cplusplus/papers/issues/979
>>>>
>>>> Stats review Richard Dosselman et al
>>>>
>>>> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1708r4.pdf
>>>>
>>>> Feedback from Johan Lundberg and Oleksandr Korval
>>>>
>>>> https://isocpp.org/files/papers/D2376R0.pdf
>>>>
>>>> P1708R3: Math proposal for Machine Learning: 3rd review
>>>>
>>>> PXXXX: combinatorics: 1st Review
>>>>
>>>> *> std.org/jtc1/sc22/wg21/docs/papers/2020/p1708r2
>>>> <http://std.org/jtc1/sc22/wg21/docs/papers/2020/p1708r2>*
>>>> *> above is the stats paper that was reviewed in Prague*
>>>> *> http://wiki.edg.com/bin/view/Wg21prague/P1708R2SG19
>>>> <http://wiki.edg.com/bin/view/Wg21prague/P1708R2SG19>*
>>>> *>*
>>>> *> Review Jolanta Polish feedback.*
>>>> *> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2119r0.html
>>>> <http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2119r0.html>*
>>>>
>>>>
>>>> 2.2.1.4: Matrix paper
>>>>
>>>> 2.2.3 any other proposal for reviews?
>>>>
>>>> 2.3 Other Papers and proposals
>>>>
>>>> P1416R1: SG19 - Linear Algebra for Data Science and Machine Learning
>>>>
>>>> https://docs.google.com/document/d/1IKUNiUhBgRURW-UkspK7fAAyIhfXuMxjk7xKikK4Yp8/edit#heading=h.tj9hitg7dbtr
>>>>
>>>> P1415: Machine Learning Layered list
>>>>
>>>> https://docs.google.com/document/d/1elNFdIXWoetbxjO1OKol_Wj8fyi4Z4hogfj5tLVSj64/edit#heading=h.tj9hitg7dbtr
>>>>
>>>> 2.2.2 SG14 Linear Algebra progress:
>>>> Different layers of proposal
>>>>
>>>> https://docs.google.com/document/d/1poXfr7mUPovJC9ZQ5SDVM_1Nb6oYAXlK_d0ljdUAtSQ/edit
>>>>
>>>> 2.5 Future F2F meetings:
>>>>
>>>> 2.6 future C++ Standard meetings:
>>>> https://isocpp.org/std/meetings-and-participation/upcoming-meetings
>>>>
>>>> None
>>>>
>>>> 3. Any other business
>>>>
>>>> New reflector
>>>>
>>>> http://lists.isocpp.org/mailman/listinfo.cgi/sg19
>>>>
>>>> Old Reflector
>>>> https://groups.google.com/a/isocpp.org/forum/#!newtopic/sg19
>>>> <https://groups.google.com/a/isocpp.org/forum/?fromgroups=#!forum/sg14>
>>>>
>>>> Code and proposal Staging area
>>>>
>>>> 4. Review
>>>>
>>>> 4.1 Review and approve resolutions and issues [e.g., changes to SG's
>>>> working draft]
>>>>
>>>> 4.2 Review action items (5 min)
>>>>
>>>> 5. Closing process
>>>>
>>>> 5.1 Establish next agenda
>>>>
>>>>
>>>> 5.2 Future meeting
>>>> * Jan 11, 2024 02:00 PM ET: Graph DONE
>>>> * Feb 8, 2024 02:00 PM ET: Graph
>>>> * Mar 14, 2024 02:00 PM ET: Cancelled due to Tokyo 3-18-23
>>>> * Apr 11, 2024 02:00 PM ET: Stats
>>>> * May 9, 2024 02:00 PM ET: Graph
>>>> * June 13, 2024 02:00 PM ET: Embedded; St.louis 6-24-29
>>>> * July 11, 2024 02:00 PM ET: Stats
>>>> * Aug 15, 2024 02:00 PM ET: Graph
>>>> * Sep 12, 2024 02:00 PM ET: CPPCON Sept 15-20 so cancelled
>>>> * Oct 10, 2024 02:00 PM ET: Stats
>>>> * Nov 14, 2024 02:00 PM ET: Cancelled Wroclaw F2F
>>>> * Dec 12, 2024 02:00 PM ET: Graph
>>>> --
>>>> SG19 mailing list
>>>> SG19_at_[hidden]
>>>> https://lists.isocpp.org/mailman/listinfo.cgi/sg19
>>>>
>>>

Received on 2024-02-08 19:12:00