Conversation

Notices

LisPi (lispi314@mastodon.top)'s status on Saturday, 04-Nov-2023 04:11:28 JST LisPi
@newt @mjg59 @a1ba OpenGenera had no issue supporting guest languages (https://en.wikipedia.org/wiki/Genera_(operating_system)#Programming_languages), so you're not technically stuck with a single language.
You can make a lot of guarantees insofar as hardware side-channels aren't involved.
Especially when you don't rely on static guarantees and permit for dynamic checking (a whole lot of the theoretical problems for static solutions can be handled this way, although in many cases imperfect heuristics are still required).
In conversation about a year ago from mastodon.top permalink
Attachments
1. Genera (operating system)
  
  Genera is a commercial operating system and integrated development environment for Lisp machines created by Symbolics. It is essentially a fork of an earlier operating system originating on the Massachusetts Institute of Technology (MIT) AI Lab's Lisp machines which Symbolics had used in common with Lisp Machines, Inc. (LMI), and Texas Instruments (TI). Genera was also sold by Symbolics as Open Genera, which runs Genera on computers based on a Digital Equipment Corporation (DEC) Alpha processor using Tru64 UNIX. In 2021 a new version was released as Portable Genera which runs on DEC Alpha, Tru64 UNIX, x86-64 and Arm64 Linux, x86-64 and Apple Silicon M Series macOS. It is released and licensed as proprietary software. Genera is an example of an object-oriented operating system based on the programming language Lisp. Genera supports incremental and interactive development of complex software using a mix of programming styles with extensive support for object-oriented programming. MIT's Lisp machine operating system The...
- LisPi (lispi314@mastodon.top)'s status on Saturday, 04-Nov-2023 04:11:26 JST LisPi
  in reply to
  @Pawlicker @mjg59 @newt @a1ba Not sure which incident that is, but it sure looks it was never tested and/or unsafe shortcuts were taken.
  Or was that the test device (why not use a simulator? That looked expensive)?
  
  In conversation about a year ago permalink
- PC-9801 Enjoyer (pawlicker@bae.st)'s status on Saturday, 04-Nov-2023 04:11:27 JST PC-9801 Enjoyer
  in reply to
  @lispi314 @newt @mjg59 @a1ba it's that time for this gif
  6c5qsI.gif
  In conversation about a year ago permalink
  Attachments
  1. 6c5qsI.gif
    https://bae.st/media/0a7baa2e6a514cccf3709f41e838c4107f20bb6cbc13566df0d17c18bb007fcc.gif?name=6c5qsI.gif
- LisPi (lispi314@mastodon.top)'s status on Saturday, 04-Nov-2023 04:11:28 JST LisPi
  in reply to
  @newt @mjg59 @a1ba Incidentally this is part of why Ada SPARK has support for such checks too.
  
  In conversation about a year ago permalink
- PC-9801 Enjoyer (pawlicker@bae.st)'s status on Saturday, 04-Nov-2023 04:12:14 JST PC-9801 Enjoyer
  in reply to
  @lispi314 @mjg59 @newt @a1ba https://en.wikipedia.org/wiki/Ariane_flight_V88
  
  A 64 bit floating point number was converted to a 16 bit signed integer thanks to code reuse.
  In conversation about a year ago permalink
  Attachments
  1. Ariane flight V88
    
    Ariane flight V88 was the failed maiden flight of the Arianespace Ariane 5 rocket, vehicle no. 501, on 4 June 1996. It carried the Cluster spacecraft, a constellation of four European Space Agency research satellites. The launch ended in failure due to multiple errors in the software design: dead code, intended only for Ariane 4, with inadequate protection against integer overflow led to an exception handled inappropriately, halting the whole otherwise unaffected inertial navigation system. This caused the rocket to veer off its flight path 37 seconds after launch, beginning to disintegrate under high aerodynamic forces, and finally self-destructing via its automated flight termination system. The failure has become known as one of the most infamous and expensive software bugs in history. The failure resulted in a loss of more than US$370 million. Launch failure The Ariane 5 reused the code from the inertial reference platform from the Ariane 4, but the early part of the Ariane 5's flight path differed from the Ariane 4 in having higher horizontal velocity values. This caused an...

Public

Conversation

Notices

Feeds