Introduction

Stream: Real-time Systems

[Joe Hendrix]

With Lean 4 focused on being a good programming language, I have an aspirational goal of being able to use Lean 4 in more systems oriented programs. This channel is to discuss that.

[Mac]

@Joe Hendrix From my understanding, systems programming and real-time systems are two very different fields. How do you view the cross-over between the two and how exactly does this channel fit in?

[Joe Hendrix]

I'm not sure if there is a formal definitions, but personally view real time systems programming is an subtype of systems programming. Sometimes people might refer to systems programming as writing an operating system or writing an application somehow tied to a system.

I certainly don't have any objection to making the channel broader if there are non-realtime systems programing that people are actually doing. The continuation of the Lean robotics IR&D at Galois got put on pause.