Мэйнтейнеры этих двух дистрибутивов, добавьте пожалуйста пакеты для Cutter (GitHub) и Rizin (GitHub).
Есть во множестве других дистрибутивов：
Cutter имеет полную русскоязычную локализацию, между прочим.
Последние версии были выпущены неделю назад:
Историю релизов можно посмотреть здесь:
PACKAGERS.md - информация для создателей пакетов.
Существует такой проект - Tectonic, он предоставляет более удобный и современный интерфейс вокруг ядра TeX, и экспортирует его в виде крейта для Rust. Однако, ядро проекта остается в почти неизменном виде, копия с оригинала на Си (автоматически сгенерированного из WEB). Поэтому нашелся энтузиаст, стартовавший переписывание всего кода на раст. Вначале он использовал набор утилит для автоматической конверсии кода на C в Rust с последующим рефакторингом - c2rust, затем вручную отрефакторил получившийся код. Если есть желание помочь проекту - вот список багов и пожеланий, которые необходимо исправить до переноса кода в мэйнстрим.
Так как нас не приняли в Google Summer of Code 2019, то мы по старой-доброй традиции организовали (не без помощи спонсоров) свой RSoC, правила такие же, подробнее можно найти на RSoC’19. Radare2 - это фреймворк и набор утилит для реверс инжиниринга машинного кода, его отладки и эмуляции. Поддерживает множество архитектур, платформ и файловых форматов, написан на чистом C. Имеет графический интерфейс (Cutter), написанный на Qt/C++.
Среди списка идей в этом году:
При составлении заявки одним из требований является выполнение одного из «микротаска» - в виде PR (Pull Request) в основной репозиторий. Список подобных микрозаданий находится здесь.
Многие помнят срачи по этому поводу, поэтому пишу о том, что Øyvind Kolås работает над этим вопросом, смотри соответствующий пост на его Patreon.
На данный момент уже существует большое количество разнообразных программ, тулкитов и библиотек для разработки FPGA/ASIC, начиная с высокоуровневых языков описания схем, и заканчивая опенсурс симуляторами и генераторами нетлистов для конкретных чипов. Однако почти каждая из них пишет свой генератор/парсер для VHDL/Verilog (очень часто обоих сразу). Однако есть проект по созданию своего рода LLVM для мира HDL, который позволит избавиться от засилья VHDL/Verilog и упростить разработку сопутствующих фреймворков. За основу предлагается взять FIRRTL. В обсуждение уже вовлечены разработчики многих проектов для FPGA/ASIC.
Подробнее смотреть здесь https://github.com/SymbiFlow/ideas/issues/19
Всем добрый день! Мы (radare2 team) работаем над улучшением доступности radare2 и cutter в различных дистрибутивах и обнаружили большое количество пакетных репозиториев без радара или с очень старой версией. Я открыл баг в AltLinux и ROSA Linux, но те молчат. Но так и не нашел багтрекер Astra - он, похоже, только за деньги, лол. Так что просьба тех, кто с доступом - откройте пожалуйста реквест на включение обоих radare2 и cutter в пакетные репозитории.
Многие помнят историю с нарушением Астрой GPL, когда они под маркой якобы своего проприетарного менеджера десктопа FlyDM подавали патченый KDE с перебитыми копирайтами. Так вот выяснилось, что они везде удаляют ссылки на статью, которая это описала http://tlhp.ml/astra-linux-violate-gpl/
Зацените правки в Википедии:
https://en.wikipedia.org/w/index.php?title=Astra_Linux&diff=699440231&...
https://en.wikipedia.org/w/index.php?title=Astra_Linux&diff=778160282&...
Позорище.
Собственно вопрос, кто-нибудь в курсе, когда они собираются первый релиз выпускать в «продакшн»? Каково вообще состояние этих проектов? Есть ли какие-то milestones?
И вообще, у чего больше перспектив - XeTeX или LuaTeX?
Возникла необходимость арендовать довольно мощный сервер но только на 1-2 дня, физическим расположением в России, желательно Москва или Петербург. Кто-нибудь в курсе, кто может оказать такую услугу? Никаких DDoS - все легально.
В последний раз они писали об этом в рассылке https://mail.xfce.org/pipermail/xfce4-dev/2015-February/031128.html
Но с тех пор - никакой публичной информации я не видел. Кто-нибудь в курсе, как у них с этим в данный момент?
В целях борьбы с жадностью текущих издателей математик Timothy Gowers из Кэмбриджского Университета, Великобритания запустил проект математического журнала «Discrete Analysis», который вместо публикации и переформатирования статей будет публиковать лишь ссылки на статьи на arXiv.org, тем самым снизив денежные затраты на ревью и публикацию статей. В случае успеха обещают пойти дальше и начать внедрять более передовые методы проверки и совместной работы над статьями.
Оригинальное сообщение здесь: https://gowers.wordpress.com/2015/09/10/discrete-analysis-an-arxiv-overlay-jo...
Статья в «Nature»: http://www.nature.com/news/leading-mathematician-launches-arxiv-overlay-journ...
В продолжение предыдущей дискуссии, хочу оповестить о выходе инструмента GitXiv, представляющего собой сплав GitHub и arXiv. При этом, инструмент этот распространяется в исходниках:
GitXiv is a space to share collaborative open computer science projects. Countless Github and arXiv links are floating around the web. Its hard to keep track of these gems. GitXiv attempts to solve this problem by offering a collaboratively curated feed of projects. Each project is conveniently presented as arXiv + Github + Links + Discussion. Members can submit their findings and let the community rank and discuss it. A regular newsletter makes it easy to stay up-to-date on recent advancements. It´s free and open
Собирают деньги на кикстартере https://www.kickstarter.com/projects/1090944145/pocket-nc-the-first-5-axis-cn...
Характеристики:
X Axis · Max Speed: 40 ipm (inches per minute) · Resolution: 0.000125in · Backlash at 100% load : 0.003in · Max Travel: 4.5 in · Homing Repeatability: - +/-0.0005 in · Repeatability: +/-0.002 in at 0% load
Y Axis · Max Speed: 40 ipm (inches per minute) · Resolution: 0.000125 in · Backlash at 100% load : 0.003 in · Max Travel: 4.8 in · Homing Repeatability: - +/-0.0005 in · Repeatability: +/-0.002 in at 0% load
Z Axis · Max Speed: 40 ipm (inches per minute) · Resolution: 0.000125in · Backlash at 100% load : 0.003in · Max Travel: 3.45 in · Homing Repeatability: - +/-0.0005 in · Repeatability: +/-0.002 in at 0% load
A Axis · Max Speed: 20 degrees/second · Resolution: 0.025 degrees · Backlash at 100% load : 0.05 degrees · Max Travel: 100 degrees (90 degrees +/- 5 degrees) · Homing Repeatability: - +/-0.025 degrees · Repeatability: +/-0.025 degrees at 0% load
B Axis · Max Speed: 40 degrees/second · Resolution: 0.025 degrees · Backlash at 100% load : 0.05 degrees · Max Travel: continuous rotation · Homing Repeatability: - +/-0.025 degrees · Repeatability: +/-0.025 degrees at 0% load
Spindle · Spindle Speed: 65-10,000 rpm (rated to 50,000 rpm) Runout 0.000078in, Lever type tool change (no wrenches necessary)
Что включает в себя стандартная поставка:
Так как основную сумму (с избытком) он набрал - то можно будет запрашивать поддержку его в Linux/FOSS программах в качестве дополнительной цели. Осталось 11 дней до завершения кампании.
Стоимость станка в перках - $3500, но это с лицензией Audodesk. Если сделают драйверы/поддержку для FOSS - думаю, будет дешевле.
Некий Jess Riedel спекулирует и предлагает новую платформу для публикации и работы над научными статьями (в основном речь идет о замене arXiv). Главные его мысли - улучшить коллаборацию, упростить редактирование и улучшить систему рецензирования. Он предлагает создать нечто среднее между Wikipedia/Scholarpedia, GitHub и StackExchange.
Я, в свою очередь, думаю, что также было бы классно внедрить туда семантику (например как в SemanticMediaWiki), интеграцию с IPython/WebPPL прямо в тексте статьи или её обсуждении, а также, возможно, интеграцию с системами в духе Coq, Agda, Why/Alt-Ergo.
Также призываю 
kerzol как автора Papersγ
Там список категорий, при переходе в категорию - списки проектов. Открыты не все, но исходники для многих проектов есть. Много интересного, наслаждайтесь: http://www.darpa.mil/opencatalog/
KDE забросило свой планшет, но ведь кто-то ведь пробовал портировать полноценное окружение на какой-нибудь из планшетов (я не говорю о запуске из Android)? Если кто-то пробовал, что из железа посоветуете? Сильно пилить самому тоже нет особого желания - и так своих проектов уже по уши. Хотелось бы чего-то более-менее готового.
Сегодня увидел на HN новость про типографскую систему Patoline. Позиционируется она как более современная замена TeX-у и Co. Её главные особенности:
Сама система написана на OCaml, в качестве VCS использует darcs. Надеюсь, взлетит - миру нужна более современная и удобная замена TeX-у.
Давным-давно, NASA запустило такой аппарат (выдержка из википедии):
Международный исследователь комет (Международный кометный исследователь, англ. International Cometary Explorer, ICE) — космический аппарат, первоначально известный как «Эксплорер-59», и «International Sun/Earth Explorer 3 (ISEE-3)», что в переводе на русский язык значит «Международный исследователь Солнца и Земли», запущенный 12 августа 1978 года[1]. Этот спутник являлся частью международной программы сотрудничества между НАСА и ЕКА для изучения взаимодействия между магнитным полем Земли и солнечным ветром. Программа использовала три корабля, пару ISEE 1 и ISEE 2 и гелиоцентрический космический аппарат ISEE 3 (позже переименованный в ICE)
Однако, после завершения своей миссии, аппарат был заброшен, несмотря на оставшееся горючее и работоспособное оборудование. Но скоро появится возможность его «оживить», передав необходимый курс и команды. Тем не менее, оборудование, использовавшееся для связи с ISEE-3, почило в бозе. Поэтому группа энтузиастов собирает деньги на постройку нового и, в большей части, программной эмуляции недостающих функций коммуникационного оборудования: кодирования сигнала, коррекции ошибок, и т.д.
Желающие могут почитать подробнее и подкинуть деньжат
На данный момент собрано лишь $15,875 из необходимых $125,000.
Сегодня стартовала кампания по сбору средств на открытый GPU c 2D/3D ускорением, на Verilog-е.
Silicon Spectrum re-implemented a graphics accelerator compatible with the #9 Ticket To Ride IV. The reason behind this was to provide a binary compatible graphics core for vertical markets: Medical Imaging, Military, Industrial, and Server products.
We were successful in our 2D/ 3D implementation, which has been used in Digital picture frames as an ASIC, Avionics equipment and other products as an FPGA.
Now we are running a kickstarter to finish the final few modes of operation with the goal of a complete, professional, open source hardware platform.
The Verilog implementation has all the original features of the Ticket to Ride IV. We have broken down a set of goals to best work out the cost for finishing and expanding on the implementation.
Over time we have parmaterized the design so that it can be optimized for a variety of projects.
The design comes with a full verilog/ systemverilog testbench and is professional quality, supporting multiple simulators and windows or linux platforms.
Если соберут:
| следующие → |