@craig-chen.bsky.social
Reposted
NASA's Copilot (not relation to Microsoft or GitHub Copilot): "language and framework to program hard-realtime, embedded systems ... supports temporal logic, clocks, voting algorithms and state machines, ... general purpose algorithms."
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
#bluespec | Rishiyur Nikhil
NASA's Copilot (not to be confused with Microsoft or GitHub Copilot): "a language and framework to program hard-realtime, embedded systems ... supports temporal logic (LTL, PTLTL and MTL), clocks, vot...
tinyurl.com
November 25, 2025 at 11:28 PM
NASA's Copilot (not relation to Microsoft or GitHub Copilot): "language and framework to program hard-realtime, embedded systems ... supports temporal logic, clocks, voting algorithms and state machines, ... general purpose algorithms."
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z
(Has a back-end to generate #Bluespec)
tinyurl.com/3868ef6z