![Borys Minaiev Profile](https://pbs.twimg.com/profile_images/958065678321377286/YG58Pau6_x96.jpg)
Borys Minaiev
@bminaiev
Followers
515
Following
600
Statuses
351
RT @leanprover: Paperproof: A new proof interface for Lean 4 "Paperproof will inspect how the hypotheses and goals were changing throughou…
0
44
0
@thought_sync Сходи в Jane Street на интервью, там как раз политика, что можно использовать любой язык программирования. И об этом еще перед каждым интервью напоминают.
1
0
1
@shersh_ru Зачем нужна работа, на которой существуют трехчасовые звонки (даже если на ней можно писать на Haskell)?
1
0
1
@FakePsyho Wow, that was unexpected. I thought reading from memory (even from cache) should be slower than simple operation like xor.
1
0
1
@FakePsyho Whenever I try to use SA, it works worse than simple HC (unless it stops in local optima very often). Any secret tips how to choose SA params / make it better? Any examples of tasks where SA works much better than HC?
0
0
1
Thanks, @gcodingcomps for sending me a jigsaw puzzle after Google HashCode. I was too lazy to solve it manually, so I decided to write a program, which does it automatically. Check out a full story:
0
2
5