Engineering by Intelligence

Scientists investigate that which already is. Engineers create that which has never been.

Albert Einstein

Screenshot

Engineering by Intelligence - to extensively apply intelligence in any engineering field, the problems arising are merely solved at the finite level with little room left for error. The current age of Intelligence offers a sophisticated weapon for Engineers in all fields.

Selected Writings

Writings based on Software Engineering, AI & ML, Leadership & Strategy

A Formal Specification of SwiftUI's Identity Model in 2026

A Formal Specification of SwiftUI's Identity Model in 2026

Five years into SwiftUI, the rules that determine when a view is ‘the same view’ across renders have stabilized — but they have never been formally specified. I encoded them in TLA+ and let the model checker hunt for surprises. It found four cases where SwiftUI’s actual behavior contradicts what a careful engineer would assume, each backed by a runnable reproduction. Continue reading A Formal Specification of SwiftUI's Identity Model in 2026

Continue to Writings for more


© Gerald Oluoch 2026. All rights reserved.