Closing Keynote with Leslie Lamport at Scale 22x: Coding Isn't Programming

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by feoren on Tuesday March 25, 2025 @01:59PM (#43474053)

> some underlying public interest ... I think we should have these kinds of rules for people who design bridges, medical equipment, and passenger airplanes. I don’t think we should have these rules for people who design hard drive controllers, compilers, and physics simulation software.

You mean the hard drives that are storing inspection records for those bridges, and the compilers that were used to build that medical-equipment software, and the physics simulation software that was used to verify the required load strength of that passenger airplane?

[ Parent | on HN ]

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by fc417fc802 on Tuesday March 25, 2025 @05:08PM (#43475988)

It's up to the (licensed) people working in the high risk industry to account for the potential issues caused by any "consumer" level gear they choose to incorporate. If you require audited and certified simulation software then it's on you (the licensed professional) to choose to use that instead.

Verified programming languages and compilers for safety critical systems are a thing. Khronos even has some APIs for use in safety critical applications.

[ Parent | on HN ]

Re:Closing Keynote with Leslie Lamport at Scale 22x: Coding ... by klodolph on Tuesday March 25, 2025 @08:35PM (#43477644)

There are some logical leaps in your comment that don’t make sense to me.

[ Parent | on HN ]