- Devel - lists.tockos.org

[Devel] Call for Tock Meeting Agenda Items

by Hudson Randal Ayers

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

Sept. 22, 2023

[Devel] Call for Tock Meeting Agenda Items

by amit＠amitlevy.com

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

Sept. 15, 2023

[Devel] Call for Tock Meeting Agenda Items

by Hudson Randal Ayers

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

Sept. 15, 2023

[Devel] Moving from helena-project list to devel@lists.tockos.org

by Amit Levy

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

Sept. 8, 2023