BeiZero

Scala Developer в организации торгующей членами.

В этой статье решаю задачу основанную на меме от Max Howell(создатель Homebrew), которого на собеседовании в Google заставляли инвертировать бинарное дерево, но он почему-то не смог

Google: 90% of our engineers use the software you wrote (Homebrew), but you can’t invert a binary tree on a whiteboard so fuck off.

Max Howell не смог, но я верю, что вы сможете! Рекомендую решать самостоятельно.

#agda #codewars

Читать дальше...

В этой статье я постараюсь подробно расписать решение задачи про то, что суффикс списка не может быть больше, чем сам список.

Рекомендую перед чтением статьи сначала попытаться решить задачу самостоятельно.

#agda #codewars

Читать дальше...

Нашёл вот такой инстанс WriteFreely, выглядит оч прикольно, буду пользоваться. Жаль нет приложения под ведро, придётся через браузер сидеть(хотя писать всё равно логично будет с компа). И тут нет русского в списке языков, а я хочу писать именно на нём, будем надеяться, что не слишком буду выбиваться и меня отсюда не выгонят.

Вообще что планирую, хочу писать какие-нибудь образовательные статьи по теории типов, Agda и чему-нибудь такому, не то, чтобы я шарю, но должна быть какая-то мотивация, изучать это глубже и хочется какое-то комьюнити, которое будет мотивировать двигаться дальше.

Я уже несколько раз пытался, заводил бложик, что-то писал, пытался видео записывать, но как-то не складывалось. То упирался во что-нибудь, то ещё что-то мешало. Мб формат блога и каких-то минизаписок будет успешнее за счёт легковестности.

Что-нибудь более приземленное и прикладное связанное с работой мб тоже будет. У нас там Scala, ZIO, kafka и микросервисы. Тоже не плохо делиться опытом, получать фидбек типо “Вы всё делаете не так, нужно по другому”. Этого сильно не хватает, мы в своей небольшой команде барахтаемся как можем и во всём разбираемся сами, опыт довольно специфичный.

Welcome, короче!