Thursday Meeting, New Features and Website

[Tassilo Tanneberger]

Hi micro-LF Community,

We agreed this week to stick with our Thursday slot for now. Attendance
has been dwindling in recent weeks, so please let me know if you have
any feedback about our format.

On more technical matters: I just merged two PRs from Sebastiano:

1. Implementation of defer, update, replace, and drop for logical actions
2. Batch compilation for CI: This has substantially improved compilation
times for all lf-test

I also want to draw attention to our website: I switched from Zensical
to MkDocs: https://micro-lf.org/

For next week's meeting on Thursday, I want to finalize the coordinated
shutdown. Additionally, I would like to discuss a potential v0.1 release
and the associated milestone. You can find the tracker for this
milestone here: http://github.com/lf-lang/reactor-uc/milestones/1

cheers
    tassilo

[Edward A Lee]

Hello Tassilo,

This Thursday is the PhD graduation, with Shaokai marching, so I will not be able to participate much.

The ceremony doesn't actually start until 9AM, so I will try to join briefly on my phone during preparations for the ceremony.

But I won't be able to participate much.

Best,

Edward

———————
Edward A. Lee
Distinguished Professor Emeritus and Professor of the Graduate School
EECS, UC Berkeley
https://eecs.berkeley.edu/~eal

--
Sie erhalten diese Nachricht, weil Sie Mitglied der Google Groups-Gruppe "micro-LF" sind.
Wenn Sie sich von dieser Gruppe abmelden und keine E-Mails mehr von dieser Gruppe erhalten möchten, senden Sie eine E-Mail an micro-lf+u...@googlegroups.com.
Diese Diskussion finden Sie unter https://groups.google.com/d/msgid/micro-lf/b1317d55-7efd-4704-a867-0b16cf768a58%40tu-dresden.de.
Weitere Optionen: https://groups.google.com/d/optout