https://peertube.watch/videos/watch/cf7ac8b3-0984-49e3-b184-fee0548f73d3 As the Internet-of-Things moves into space the need for absolute security becomes paramount. Using inexpensive encrypted secure boot RISC-V devices and software minimalism we build first in the home for fun and then commercialize for space and ground based applications. Bug-free modules of actor components compete for efficiency in a distributed matrix of algorithms. We present an overview of the multi-core memory safe language called Hactorscript and its widely ported Actor RunTime (ART) above minimal POSIX. With no threads, stacks, locks, or loops, the cores directly compete for work on lockless (“MPMC”) queues. These queues can be fed at “interrupt” levels. Finite-state-machines are nearly direct Actor specifications (as is TLA) and form the first set of composable bug-free modules. Speaker: Blaine Garst, Track: Main Track - K Building, Room: K.1.105 (La Fontaine), When: Saturday 3 February 2024, 15:00–15:50 (Brussels time), Schedule: FOSDEM 2024 event page, Slides & links HacktorScript in ART PDF (slides), HacktorScript in ART Draft3 final (slides), HacktorScript in ART Draft4 final2 (slides), Licence: Creative Commons Attribution 2.0 Belgium (CC BY 2.0 BE) (as stated in the FOSDEM video archive). Attribution: “Hactorscript in ART: Bug-free Software on Unhackable Hardware” by Blaine Garst, FOSDEM 2024. Original recording: 2024/k1105/fosdem-2024-3485-hactorscript-in-art-bug-free-software-on-unhackable-hardware.av1.webm from the FOSDEM video archive. This channel is an unofficial mirror; FOSDEM is a free and non-commercial event organised by the community for the community. Tue, 20 Oct 2026 22:14:03 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://peertube.watch https://peertube.watch/lazy-static/avatars/3b284627-b75f-409e-ac2e-10f4c2946f43.png https://peertube.watch/videos/watch/cf7ac8b3-0984-49e3-b184-fee0548f73d3 All rights reserved, unless otherwise specified in the terms specified at https://peertube.watch/about and potential licenses granted by each content's rightholder.