Some talks that I have given.
The slides for other, unrecorded talks can be found here: https://github.com/shilangyu/presentations.
Software correctness
I show examples of formal guarantees in an approachable manner. I touch upon how to use the type system to your advantage to eliminate the mere possibility of bugs. Finally, I conclude by showing examples in the Lean theorem prover where we can prove guarantees of more complex properties.
Presentation events - a missing piece in BLoC
I explain how to enhance your BLoCs with presentation events, how create them, and why they solve an inherent problem present in BLoCs.