LalaportK

I'm interested in optimization algorithms and formal methods. I usually use Golang, C#, Java, and T-SQL, and learning JavaScript, TypeScript, Alloy, and TLA+.