About Sergius Ionescu

Working through the History of Complex Analysis
Designing Algorithms with Continued Fractions
Learning Elixir and Concurrent Distributed Systems

Yearning for Elixir Formal Verification Model Checking
cf SPIN Model Checker and Modex for C

Armchair Anthropologist of Esotercism

Lists

Timeline

{username} has no activity yet