<abathur>
for many years I've just wanted this sort of thing to be an svg
<abathur>
though it's not clear to me... I guess it's just recording the file contents and not actually re-generating if in a way that would be up-to-date if you're recording the execution of a stable set of commands after your program has changed
<samueldr>
yeah, it's made to output a hand-written scenario into the format the asciinema player uses
<samueldr>
thought it could be helpful
<samueldr>
as a step, so you only need to figure out how to automatically generate the output
<siraben>
"They do use some interesting software on Dragon 2. They use Chromium and JavaScript for the Dragon 2 flight interface. The actual flight computers still run on C++."
<siraben>
"SpaceX uses an Actor-Judge system to provide triple redundancy to its rockets and spacecraft. The Falcon 9 has 3 dual core x86 processors running an instance of linux on each core. The flight software is written in C/C++ and runs in the x86 environment. For each calculation/decision, the "flight string" compares the results from both cores. If there is a inconsistency, the string is bad and doesn't send any commands. If
<siraben>
both cores return the same response, the string sends the command to the various microcontrollers on the rocket that control things like the engines and grid fins. "
<infinisil>
Nice
<siraben>
Waiting on NixOS in space, obviously.
srk has quit [Remote host closed the connection]
red[evilred] has quit [Quit: Idle timeout reached: 10800s]
srk has joined #nixos-chat
hax404 has quit [Remote host closed the connection]
<{^_^}>
in 13 minutes! https://www.youtube.com/watch?v=COraGXFb1lo: Ping for space stuff (edit this command to add yourself, see ",help"): infinisil Taneb ldlework etu philipp[m] eyJhb gchristensen __red__ red red[evilred]
<philipp[m]>
Nice!
<infinisil>
T-2 minutes!
<infinisil>
Vrooooooom
lunc has joined #nixos-chat
kalbasit has joined #nixos-chat
<srhb>
Fake, they just replaced the droneship imagery!
endformationage has joined #nixos-chat
FRidh has quit [Ping timeout: 260 seconds]
FRidh has joined #nixos-chat
rajivr has quit [Quit: Connection closed for inactivity]
<infinisil>
PHew just finished aoc day 13, that was pretty tricky
<__monty__>
I'm still stuck.
endformationage has quit [Ping timeout: 246 seconds]
<infinisil>
__monty__: Want some pointers?
<__monty__>
I think so. Should we hop into query to avoid spoiling others?
<infinisil>
__monty__: +1
endformationage has joined #nixos-chat
<eyJhb>
Damn it!
<eyJhb>
So so late
<infinisil>
eyJhb: Regarding the vrooom?
vesper11 has quit [Ping timeout: 256 seconds]
<eyJhb>
Yeah, missed the vrooom.. :(
FRidh has quit [Ping timeout: 246 seconds]
FRidh has joined #nixos-chat
FRidh has quit [Ping timeout: 264 seconds]
ixxie has joined #nixos-chat
lunc has quit [Ping timeout: 272 seconds]
ixxie has quit [Remote host closed the connection]
<viric>
doesn't nixos have something to create chroots?
<viric>
some nixos services have a chroot paramete
<viric>
r
kalbasit has quit [Ping timeout: 240 seconds]
srk has quit [Ping timeout: 240 seconds]
srk has joined #nixos-chat
tokudan has quit [Remote host closed the connection]
tokudan has joined #nixos-chat
tokudan has quit [Remote host closed the connection]