AT
The things you can prove with those things are too basic
You have a chance to improve on that. 😉
Size: a a a
2020 July 29
AT
From what I've seen it's also quite different from maths
Another option is to go into Static Analysis tools development — there are enough math (lattices, fixed points and stuff). Facebook is big on that. They use OCaml.
AT
кроме того, говоря о Coq, TLA+, etc.. популяризация айти способствовало появлению гигантских систем и развитию областей знания, которые раньше просто не имели применения. Да даже просто параллельные процессы.
А что "параллельные процессы"?
AS
А что "параллельные процессы"?
имел ввиду что методы и подходы к сложности анализ параллельных процессов стали развиваться сильнее. но это спорно, можно также сказать что это развивается просто изза порога тунельного пробоя и повсеместной многоядерности
AG
Я скоро переезду в питер кстати и у меня нет друзей. Очень хочет обсуждать и учить с вами.
AG
Another option is to go into Static Analysis tools development — there are enough math (lattices, fixed points and stuff). Facebook is big on that. They use OCaml.
This I didn't know, thanks. But working for a big company is out of question. I like free software and GNU.
AT
This I didn't know, thanks. But working for a big company is out of question. I like free software and GNU.
Do you know Facebook open sources pretty much all of it static analysis tools?
L
Я скоро переезду в питер кстати и у меня нет друзей. Очень хочет обсуждать и учить с вами.
У нас будет оффлайн встреча в середине августа. Присоединяйся)
AG
Do you know Facebook open sources pretty much all of it static analysis tools?
Yes, but anyway.
AT
Otherwise you can consider JetBrains in St. Petersburg, they develop some static analysis tools too and Arend language.
AG
У нас будет оффлайн встреча в середине августа. Присоединяйся)
Хорошо, спасибо!
AG
Otherwise you can consider JetBrains in St. Petersburg, they develop some static analysis tools too and Arend language.
Who will give me a job there?
AG
Alexander the tools I know are white boards and paper...
AT
BTW, Arend team are pretty hard-core mathematicians...
AG
And that thing that loves inside your skull
AG
BTW, Arend team are pretty hard-core mathematicians...
Mathematicians or computer scientists?
AT
Alexander the tools I know are white boards and paper...
You never told us about your background. 🤷♀️
AT
Mathematicians or computer scientists?
Both! 😃
AG
You never told us about your background. 🤷♀️
I got a bachelor's degree in theoretical physics and another in pure maths in portugal