Who I am
Hello, I’m Joas. I like everything related to software development, especially software architectures, Web development, user experience (UX) design, and formal methods. And I created this blog for people interested in these topics.
Formal methods in particular are not well known and widespread. They are usually applied during the construction of safety-critical programs related to transportation (aeronautics, railways) or finance because an error would have disastrous consequences for the life or safety of people, or for the very existence of an enterprise. Software involved, for example, in the automatic piloting of a plane or the driverless driving of a train, underground, tram, or vehicle is safety-critical.
The formalism brought by formal methods often scares off the uninitiated. But here, everything will be easy, practical, and appealing.
Part of the blog is dedicated to Christ and his message: a subject that is, in my opinion, a thousand times more valuable than software development. However, I will not pressure readers to find interest in it.
Bibliography
Boileau, Nicolas. Art poétique. Edited by Eugène Géruzez. Paris, France: Hachette, . Available online from Gallica—last accessed on .
Photographic credits
Andrew Mayovskyy (username on Shutterstock). Colorful summer view of Lac Blanc, France, with Mont Blanc in the background. n.d. Available online from Shutterstock (reference number: 583565206)—last accessed on . Featured photo.