Engineering
Featured writings on Software Engineering that forms collection of various engineering practices not limited to iOS/Mac Engineering, Artificial Intelligence & Machine Learning and Leadership in Software Engineering.
Quantum Optimization for Finance - Portfolio Construction, Derivatives, and Where QAOA Earns Its Keep
A working engineer’s tour of three quantum-finance use cases — mean-variance portfolio optimization, derivative pricing via quantum amplitude estimation, and credit-risk analysis. Continue reading Quantum Optimization for Finance - Portfolio Construction, Derivatives, and Where QAOA Earns Its Keep
A Formal Specification of SwiftUI's Identity Model
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
AsyncAwait - BackPressure Management
Advanced Backpressure Support for AsyncStream in Swift. Continue reading AsyncAwait - BackPressure Management
NASA Power of 10 - Objective-C, Swift, SwiftUI Approach
The Power of 10 rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory of Reliable Software Continue reading NASA Power of 10 - Objective-C, Swift, SwiftUI Approach
