RFC Esolang – RFCs as executable programs

6 hours ago

RFC Esolang is a programming language for Specification-Driven Development (SDD), where the specification document serves as source code.
Execution relies on strict adherence to RFC 2119/8174 requirement levels (e.g., MUST, SHOULD, MAY).
Machine model includes registers as packet diagram labels holding unbounded integers, with a reserved FLAG register initialized to zero.
Instructions act on numbered subsection lines, with patterns for setting registers, transmitting data, and controlling program flow.
A sample program in the document computes and transmits powers of two up to a limit of 9379.
Security considerations note that implementations should ensure compliance doesn't compromise system security.
Interoperability considerations mention that pre-existing RFCs may parse as valid programs, forming an accidental standard library.

Hasty Briefsbeta