🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Поехал в Сочи, чтобы сменить обстановку и поменьше работать. Отгадайте где я во втором часу ночи?

Woohoo! My team, Past Glory, came in 2nd place overall in the #HashCode Online Qualification Round . Our final score was 27184696. 🏆 goo.gle/hashcode-score…

Что я купил, чтобы сделать яичницу в новой квартире: яйца, масло, соль, помидоры, ветчину. Что я забыл купить: сковородку.

Что я узнал на работе сегодня: "сферический конь в вакууме" переводится как "spherical chicken in a vacuum"

Woohoo! My team, Past Glory, came in 1st place overall in the #HashCode Final Round . Our final score was 6696284. 🏆 goo.gle/hashcode-score…

Клёвый тест про скорость вычислений: computers-are-fast.github.io

— Боря, а можно я у тебя в комментариях больше не буду видеть двух слов: «мудак» и «херня»? — Нельзя. Слушай, если на код ревью приходит полный мудак и пишет такую херню — ты придираешься ко мне! (все совпадения с реальностью абсолютно случайны)

- что с железом делают? - куют. - а процесс? - койка.

Woohoo! My team, Past Glory, came in 2nd place overall in the #HashCode World Finals . Our final score was 366665347. 🏆 goo.gle/hashcode-score…

We won icfpc 2021!

Надавно завёл себе блог, где рассказываю истории про Rust, олимпиады и оптимизации. Не думаю, что буду писать туда часто, но все равно подписывайтесь! t.me/bminaiev_blog

Enjoyed ICFP Contest 2022 last weekend. Here is a story about the task and our solution. teletype.in/@bminaiev/icfp…

Recently learned an easy (compared to a classical one with persistent treap) algorithm for online points location, which is not very well known. So I wrote an article about it: teletype.in/@bminaiev/onli…

Thanks, Google's Coding Competitions 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: teletype.in/@bminaiev/jigs…

Solving Jigsaw Puzzle with bare Rust. Part 2. bminaiev.github.io/jigsaw-puzzle-…

Converging on Simulated Annealing bminaiev.github.io/simulated-anne…

Paperproof: A new proof interface for Lean 4 "Paperproof will inspect how the hypotheses and goals were changing throughout the Lean 4 proof, and display this history - making it equivalent to how we think of a mathematical proof on paper." github.com/Paper-Proof/pa…

300+ teams. 68 countries. 24 hours. Only 30 made it to the finals. Only 1 will win. On June 7-8, 30 finalist teams will gather in Belgrade for Midnight Code Cup — a 24-hour engineering battle judged by ICPC world champions Powered by Recraft and partners, built by world

we're competing in the AtCoder World Finals programming contest. real nailbiter — OpenAI has been #1 for most of the contest. looked like it might be over when Psyho pulled ahead, but we've just retaken the lead. 1 hour and 20 minutes to go!

1/N I’m excited to share that our latest OpenAI experimental reasoning LLM has achieved a longstanding grand challenge in AI: gold medal-level performance on the world’s most prestigious math competition—the International Math Olympiad (IMO).