Доктор физико-математических наук Андрей Грозин прочитал цикл лекций об использовании Python в целях ликвидации безграмотности среди студентов, аспирантов и прочих. Презентации были приготовлены для представления в среде Jupyter. Видеоматериалы лекций с разрешения лектора доступны под свободной лицензией CC-BY-SA. Исходные видеофайлы будут выложены в торрентах позже.
Да да, программирование и линукс это моё хобби.
Пересел на линукс примерно 2 месяца назад и обратно на оффтопик не собираюсь.
Мне не 12 лет как Вы могли подумать глядя на скриншот, тем не менее такой разноцветный рабочий стол присутствует на моём ноутбуке.
Система Ubuntu 6.06 (держу так как LTS = Long Term Support);
Рабочая среда Гном;
Тема иконок - Tango(то есть тема собственного производства основанная на Танго), на рабочем столе - Gartoon;
Шрифт - Trebuchet MS (из mstcorefonts).
AtelierB - от спецификации до генерации кода. Код генерируется AtelierB, у нас имеется генератор для С, С++ и Ада. Знающие наверное догадались - в основе этого лежит метод B (предшественник Z). В основе всего этого лежит логика предикатов, теория множеств и так далее. Вот тут немного теории http://stud.math.rsu.ru/deikstra/4.htm В начале дается математическая модель поставленной задачи (MACHINE), затем она рафинируется (RAFINEMENT), то есть конкретизируем эту мат. модель. Так вот, к концу этой цепочки конкретизации, мы пишем нашу начальную мат. модель на языке B0 (как любой другой язык прог-я, тока он для AtelierB). На протяжении всего рафинирования AtelierB следит чтобы каждое звено цепи соответсвовало мат. модели. Если это доказанно, то остается тока выбрать язык на котором будет сгенерирован код. И никаких тестов на не надо делать! Скомпилировал и пользуйся.
На screen-shot виднеется мат. модел графа, определения что такое наикратчайший путь между двума узлами графа и так далее. Зеленый свет означает че мат. модель доказанна! ;)
официальный сайт Ателёр Б http://www.atelierb.societe.com/index_uk.html результаты использования http://www.atelierb.societe.com/PAGE_B//uk/ref-01.htm
Сейчас моё допиливание дошло до такого состояния , что вроде бы всё , что нужно уже есть , но ощущение недоделанности ещё присутствует. Из TODO запилил уже половину, осталось только то, что мне больше всего лень делать, при этом оно не принесёт особой пользы. Другие полезности в голову не лезут, так что адекватная критика и предложения , что можно добавить или перепилить , приветствуются.
В итоге мы имеем:
Конфиг compton (называть как угодно, кидать куда угодно, compton запускать с опцией --config <path_to_config> )
Скрипт для запуска rofi (Требует пакет xkb-switch .Закинуть куда угодно , в конфиге поставить значение rofi="<path_to_script>". Скрипт не забыть сделать исполняемым. Забиндить на удобный хоткей (у меня mod+r))
Архив со шрифтами Terminus Re33 и Snap с русскими символами. (Закинуть в ~/.fonts , если не устанавливается шрифт Snap , то вам сюда)
Ещё раз: меня интересует не только ЯП, но и библиотеки и БД для конечного использования.
Какой язык программирования, библиотеки (очень важно) и базу данных выбрать для анализа данных, построения графов связей, работы с синтаксисом и морфологией?
Я склоняюсь к получению данных из веб-сервисов при помощи selenium с python-обвязкой (всё-равно тут будет тормозить браузер, а не питон), а яву в хандупе для последующего анализа. Только вот в библиотека проблема, прошу подсказать.
Имеет ли смысл выбрать R?
Также прошу подсказать годные статьи книги по сабжу.
На Cassandra Summit, Avi Kivity и Dor Laor (создатели KVM и OSv) объявили о создании ScyllaDB — открытой реализации Apache Cassandra на C++
По утверждению авторов, пропускная способность на ноду у ScyllaDB в 10 раз выше чем у оригинального кода на Java, со временем отклика не превышающим 1мс на 99% запросов.
Они также получили 1 миллион транзакций в секунду на одной ноде.
Не нашел нормальной панели для х-монады, в итоге взял дзен2 в качестве бекэнда для рендеренга (по ходу дела нашел 2 бага, пофиксил их но похоже его никто не поддерживает, уже больше года висит PR), добавил самописных виджетов. На первом робочем столе флоутинг лейаут для скайпа и прочих мессанджеров. Все иконки из шрифтов и реагируют на клики. На скрине емакс с частью конфига х-монады. Железяка макбук-про-ретина.
ProtonMail — сервис веб-почты с шифрованием, созданный в 2013 году сотрудниками ЦЕРН (Европейская организация по ядерным исследованиям). Серверы и штаб-квартира находятся в Швейцарии (где действует одно из самых жёстких в Европе законодательств о персональных данных, которые не могут быть выданы правоохранительным органам без публичного решения суда).
ProtonMail использует два пароля для входа на сервис: один для идентификации пользователя, а второй для расшифровки им хранящихся на сервере данных. Вся процедура шифрования/дешифрования происходит непосредственно в браузере, и на сервере сохраняются только зашифрованные данные. Владельцы сервиса, по их утверждению, не могут расшифровать сообщения даже в судебном порядке.
В связи с выходом версии 2.0, разработчики решили открыть код веб-интерфейса. Это означает, что теперь абсолютно весь код, исполняющийся на стороне пользователя, свободен и доступен для изучения.
В осоме почти все дефолтные виджеты. Старался сделать что-то приятное глазу, в котором не тускло работать при свете и не ярко без оного. Справа вверху пустой синий бар - контроль громкости, на некоторых скринах видно, где громкость не 100%.
Тему Awesome. Кружочки слева - раскладка - теги (бублики для пустого тега, оранжевый кружок для активного), справа - громкость - текущий лэйаут. Маленькие синие - для «красоты» (надеюсь).
Fish поменял на zsh после последней темы в новостях о фише, спасибо добрым людям за пару ссылок с той темы по плагинам.
Тему Firefox.
А так все по-старому:
Gtk-тема FlatStudioDark (с утонченными скроллбарами).
Шрифты - Ubuntu в лисе и тасклисте Awesome и M+ 1mn в терминале и Vimperator'e.
Тема, интересная всем владельцам лаптопов и им сочувствующим.
Кто как оттачивал powersaving и каких результатов добился в сим нелёгком поприще?
Пока что максимум, что мне удалось добится - это ~6W в режиме чтения\редактирования текста, ~7.5-8W с работающим в активном режиме RoR и сопутсвующей обвязкой, ~9-11W с матлабом/симулинком.
Все, что есть - laptop-mode с дефолтными конфигами, выключенная дребедень в Desktop Effects и блокировки всего лишнего из хардварной части.
Слышал, что имеет смысл пересобрать ядро с определённым конфигом, но из этой затеи у меня ничего не вышло (особо не вникал, ССЗБ).
Кто может посоветовать что-то ещё?
Когда fish в очередной раз сбросила конфиг fishd.hostname до дефолта, моё терпение лопнуло, и я установил zsh. Уже слыхал о нём, но не было желания ставить, ведь мне хватало fish, которую я довёл почти до совершенства.
Немного поискав в сети, я нашёл плагины, делающие zsh более похожей на fish: поиск по истории и подсветка синтаксиса работали отлчино, но у меня возникли несколько вопросов, ведь до функционала fish ещё далеко: во-первых, плагин подсветки истории никак не хотел менять цвет той самой подсветки, пробовал сатавить занчение и кодом в ковычках «#131313», и кодом без ковычек, и названием с ковычками «black», и ,соответственно, без них, но всё равно цвет оставался таким же, как и сама команда, что сбивало с толку и выглядело некрасиво .Как можно поменять цвет? Может есть другой плагин?
Во-вторых, при переходе по каталогам автодополнение не работает с буквами разных регистров, допустим я в fish набираю д, нажимаю tab, и строка превращается из д в Документы, а в zsh я должен набирать заглавную 'Д'Надеюсь, это есть какой-нибудь скрипт.
В-третьих, когда я удалял пакет yaourto'м в fish, то автодополнение работало, например, yaourt -Rsc numix превращалось в yaourt -Rsc numix-circle-icon-theme-git (это для примера, я точно не помню название).В zsh такого нет, он просто начинает перебирать содеожимое текущей папки. Можно ли zsh научить распозновать, что мне нужно искать среди пакетов?
В-четвёртых, можно-ли как-нибудь отучить fish презаписывать конфиг fishd.hostname ,может скрипт написать можно, чтобы автоматически заменял конфиг обратно?
На скриншоте представлено нерабочее оформление успешного бакалавра, у которого больше нет нужды в различных ухищрениях для повышения продуктивности работы. На данный момент, пребывая в ленивой неге и наслаждаясь временным ничегонеделаньем, выбрал приятную для глаза и вполне удобную GTK тему Vertex.
Загорелся желанием сделать Ъ-готично, вкупе с красноглазием^Wконсольными программами выглядит очень даже ничего, имхо конечно. С конфигами помог jasonwryan.
Помимо прочего, в процессе перехода с nano на vim, - не так страшен черт..., только нужно не полениться настроить его и запомнить новые клавиши управления.
Оконный менеджер EvilWM - удобное управление с клавиатуры и очень легковесный (не имеет никаких опознавательных черт, кроме границы окна в один пиксель, а на скрине urxvt развернутый на весь экран), а «тайлинг» делает tmux.
Шрифт удобен тем, что помещается много информации, но к сожалению трудно разглядеть готичный ☥, который используется в качестве разделителя на панели tmux. Также он выводится всегда в конце строки приглашения PS1.
О системе:
Debian squeeze с xmonad.
На левом мониторе на постоянной основе расположились:
mcabber - мой мессенжер
mutt - почтовый клиент
htop - мониторинг системы
ncmcpp - клиент для mpd, музыкального сервера
newsbeuter - rss-читалка
Обычно там ничего другого не наблюдается.
Основное время смотрю на правый монитор. На скрине открыт vim c сорцами, которые прилагаются к книжке «хакинг искусство эксплойта» (Джон Эриксон). По ней по немногу изучаю СИ. Очень интересно читать, в паре с книжкой K&R «Язык СИ».
Из гуя практически ничего нет. пользуюсь лишь iceweasel'ом, gimp'ом иногда (редко, так как не люблю ничего связанного с графикой) и LO, для чтения присланных документов. Ах да, еще evince в качестве читалки и pcmanfm, когда надо рассортировать фотки по каталогам.
Прошу особое внимание обратить скрину с ЛОРом... дело в том, что сегодня поставил iceweasel 10 из backports. 3.5 вполне устраивал, но решил просто поэкспериментировать, да и хотелось поддержку html5.
Интерфейс меня конечно не пугал, так как я все равно пользуюсь vimperato'ом, но вот ряд неприятных моментов возник:
Появилась всплывающая строка состояния... нагло-белого цвета, не смотря на тему. также всплывает при наведении на ссылку... все это у меня уже есть в строке вимператора. вырубил с помощью стиля для stylish
На вкладках появился паскудный градиент и закругленные поля. решений пока не искал, может, кто-то уже поправил? также бесит цвет активной вкладки.
Панель для дополнений убрал, а нужные иконки (noscript и stylish) перенес на строку вимператора... но их как будто молотком пришибло... как вылечить?
Все диалоговые окна, порождаемые яваскриптами имеют такой же предательски белый цвет.
Вот, если кто подскажет, как побороть последние три пункта - буду благодарен.