[2023-06-30 Fri] I was reading about Astra #Linux security model π·πΊ, it uses Kernel Self Protection Project.
I was reading about B-Method and Robin Eclipse IDE it is formal method of software development.
And I refreshed my memory about Mathematical logic (B-Method used first-order logic and set theory). π
For further actions, you may consider blocking this person and/or reporting abuse
Top comments (0)