September 2023 - Devel - lists.tockos.org

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Sept. 29, 2023

Sept. 29, 2023

Please reply with agenda items and +1s for tomorrow's meeting

2 2

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Sept. 21, 2023

Sept. 21, 2023

Please reply with agenda items and +1s for tomorrow’s meeting

1 0

[Devel] Call for Tock Meeting Agenda Items
by amit＠amitlevy.com Sept. 14, 2023

Sept. 14, 2023

Please respond with suggestions and +1s for this week's Tock meeting -- Amit Levy Assistant Professor, Computer Science Princeton University https://amitlevy.com

1 0

[Devel] Call for Tock Meeting Agenda Items
by Hudson Randal Ayers Sept. 14, 2023

Sept. 14, 2023

Please reply with agenda items and +1s for tomorrow's meeting

1 0

[Devel] Moving from helena-project list to devel@lists.tockos.org
by Amit Levy Sept. 8, 2023

Sept. 8, 2023

Hi, You may notice that you've been subscribed to a new mailing list: devel(a)lists.tockos.org. This is because you were previously subscribed to the "helena-project" mailing list, where Tock development discussion happened. This will now happen on devel(a)lists.tockos.org including, for the time being, weekly meeting announcements and agenda. Of course, this is a fine opportunity to unsubscribe if you prefer, or change your preferred e-mail address. https://lists.tockos.org is using Mailman 3, which is at least 50% better than Mailman 2 (including better ways to login and change your mailing preferences). -Amit

1 0