Слайды с гоферконру 2020 привезли (https://xn--r1a.website/teamerlin/6060)

Но я больше всего залип по TLA+ отличный доклад.

https://speakerdeck.com/gopherconrussia/tla-plus-tools-praktichnyi-instrumient-formal-noi-vierifikatsii-alghoritmov-alieksiei-naidionov

Последние 2 мема Профанктора чесно украдены мною из этой статьи: почему же никто не фиксит баги.

Backlogs should be growing indefinitely. What a good team will do is to accept that, and establish a good relationship between product and tech, and make sure you constantly keep reprioritizing. Maybe today it's shipping a bunch of features the business needs. Maybe tomorrow it's paying down some tech debt.

Я не совсем согласен с "should be growing indefinitely" ведь а) многое что становится неактуальным б) надо знать границы.

https://erikbern.com/2020/03/10/never-attribute-to-stupidity-that-which-is-adequately-explained-by-opportunity-cost.html

Наверное многое слышали про robots.txt для помощи кравлерам и поисковым движкам. Сегодня я узнал, что есть еще и security.txt

Содержит контакты для проблем с безопаснотью, подписи, благодарности и ссылку на хайринг. Однако прикольно. (интересно, гугл учитывает наличие этого файла при ранжировании?)

https://securitytxt.org/

Created 2013
Resolved 2019
Remaining 67.5h

🤔

(мне нужно проверить, как там Zookeeper может в безопасность, вот прыгаю по ишью, ведь release notes это наказание хуже карантина, https://issues.apache.org/jira/browse/ZOOKEEPER-1634)

Type in Morse code by repeatedly slamming your laptop shut

https://github.com/veggiedefender/open-and-shut

Хей, мы планируем выпуск про вычисления на GPU сделать. Не хотите вопросов подкинуть? может что-то слышали и хотите узнать детальнее? А может готовы все-все оспорить? Напишите в чате или боту. Спасибо :)

Как-то почти года назад мне в голову пришла мысль, про Google ReCaptcha (v1 которая, с написанием слов из книги) и что это можно было бы повторить, с дополнительными настройками и типами данных.

Но по определенным человечески причинам это не взлетело. И вот, уважаемый @jemalloc подкинул мне https://www.hcaptcha.com/ на который перешел Cloudflare (вроде как).

Такие вот дела. Разметка данных это гиблая тема, не советую. Хотя если у вас есть похожая идея - я в доле, зовите 👌😎

ждём

Ребята, это бомба. По ссылке - карта Земли с местными радиостанциями. Коснитесь любой зеленой точки и будет играть местное радио. Это просто улёт. Я зависла на Фаррерах, в Матере, Южно-Сахалинске, Руанде и дальше пойду:))

https://radio.garden/

Так вот, про AlphaZero как наследника AlphaGo. Пожалуй самая простая и много чего объясняющая статья про алгоритм.

Спасибо Владиславу за ссылку, круто.

https://nikcheerla.github.io/deeplearningschool/2018/01/01/AlphaZero-Explained/

Смотрю я на все эти рабочие местам в профанкторе (в боте их конечно же больше) и очень удивляюсь кол-ву кастомных клав. Особенно таких...оригинальных, состоящих из 2-3 частей.

Правда они такие эффективные? Прям 100500 удобнее работать?

Конечно они не помогут писать более качественный код, но такое предчувствие, что сильно привыкаешь и пересаживание (хоть и временное) на другую клаву сделает меня абсолютно беспомощным.

Можете в лс высказать авторитетное мнение по нестандартным клавам, я пока не решил, надо ли играться с ними.

Так вот, мы live, будем говорить с гостем о GPU, присоединяйтесь :)

https://www.youtube.com/watch?v=-WH0yn4T-N4

ауе

Спасибо всем откликнувшимся! Каналов накидали немало, поэтому описания будут лаконичными:

♠︎ Если читать один канал по InfoSec, пусть это будет тот, что ведет Немезидa @in51d3
♠︎ Я знаю нас читает немало скаланов (да и просто не чуждых ФП), для них рекоммендуюся @lilfunctor и @scalabin
♠︎ Целых три классных канала для DevOps и интересующихся: @catops @devopslibrary @cloudphysics
♠︎ Отдельная категория это авториские блоги: их много, они очень непохожие, но среди них каждый может найти что-то интересное. Перечисляю без какого-то либо порядка: @normalhead @jobofdev @clockworkmisha @MarshalC @hacksnperks @bpblog
♠︎ Также блоги, но тематические: опыт CTO в @ctoonlive, и небанально о статистике на @dataisdata
♠︎ Список был бы неполным без новостей опенсорса: их ищите на @komYounity @opensourcefuture и @opensource_findings
♠︎ Все каналы выше образовательные в том или ином смысле, но @pip_install и @java_fillthegaps заточены на прикладные скилы по соответствующим языкам
♠︎ И все остальное, что я не смог отнести к какой-то конкретной категории: @geeksmind @retrodevicesnerd @turkishjoeit @VW_tooltips @creative_coder

И наконец: выбор редакции, так сказать...
♠︎ на @skill_itch небанально рассказывается о математике и алгоритмах
♠︎ блог @optozorax_dev погружает в мир графики через призму Rust

PS:
Дочитавшим до конца бонус — @profunctor_jobs тут мы перепридумываем хайринг в айти, присоединяйтсь!

https://www.youtube.com/watch?v=HSVgHlSTPYQ&feature=youtu.be

даж с новостью https://josephsteinberg.com/covid-19-response-new-jersey-urgently-needs-cobol-programmers-yes-you-read-that-correctly/

Мы: <многомиллиардная шарага>

а еще мы:

"Unison definitions are like stars in the sky," the site says. "We can discover the stars in the sky and pick different names for these stars, but the stars exist independently of what we choose to call them."

Created by Chiusano, Arya Irani and Rúnar Bjarnason, Unison was inspired by Haskell, Erlang, and Frank, a trio of functional programming languages. It's an open source statically typed functional programming language and it's currently in public alpha testing.

Programmers commonly define functions by giving them names like "foo" or "bar." You can do that in Unison too, but the way the language keeps track of those names – which are just metadata in Unison – is by associating them with a 512-bit SHA3 content hash of the implementation of that function.

https://www.theregister.co.uk/2019/09/26/unison_programming_language/

Сайт языка https://www.unisonweb.org/ А в общем-то прикольно, пойду почитаю.