fromTheregister
1 day agoResearchers detail legible software, better than vibe coding
The approach is detailed in a paper authored by MIT's Eagon Meng and Daniel Jackson, titled "What You See is What it Does: A Structural Patten for Legible Software". They flag up the problem of "illegible" modern software, which lacks "direct correspondence between code and observed behavior". Modern software is often, also, "insufficiently modular" they continue, "leading to a failure of three key requirements of robust coding": incrementality, integrity, and transparency.
Software development





















