qyliss changed the topic of #spectrum to: A compartmentalized operating system | https://spectrum-os.org/ | Logs: https://logs.spectrum-os.org/spectrum/
klltkr_ has quit [Remote host closed the connection]
klltkr_ has joined #spectrum
cole-h has quit [Quit: Goodbye]
cole-h has joined #spectrum
klltkr_ has quit [Ping timeout: 240 seconds]
pie_[bnc] has joined #spectrum
pie_[bnc] has quit [Changing host]
cole-h has quit [Ping timeout: 260 seconds]
cole-h has joined #spectrum
andi- has quit [Ping timeout: 244 seconds]
andi- has joined #spectrum
klltkr_ has joined #spectrum
qyliss has quit [Quit: bye]
Shell has quit [Quit: ZNC 1.7.5 - https://znc.in]
Shell has joined #spectrum
qyliss has joined #spectrum
<pie_[bnc]> so, I dont know about anyone actuallly being in a position to work on modeling stuff like this for spectrum, but eh, for your consideration? https://www.hillelwayne.com/post/nix/ https://www.hillelwayne.com/list-of-tla-examples/
<pie_[bnc]> probably not the best intro point, but *a* intro point
<MichaelRaskin> I am not sure TLA modelling will ever be useful for Spectrum
<MichaelRaskin> TLA+ is one of the many approaches to verify, say, race conditions and deadlocks in network protocols. Works best when the components actually follow their specification, though
erictapen has joined #spectrum
erictapen has quit [Ping timeout: 260 seconds]
erictapen has joined #spectrum
erictapen has quit [Ping timeout: 260 seconds]