Forwarded from e628b7b7
Без машин даже чтение превращается во что-то страшное: это надо держать открытыми оригинал и подстрочник, иметь рядом огромный кирпич в виде словаря и справочник по грамматике, а еще наизусть знать словоформы неправильных глаголов, потому что в словаре по ним поиска нет — а тут все на одном экране и доступно по клику, и уже можно самостоятельно читать даже если уровень греческого пока не достиг 'среди ночи могу проспрягать неправильные глаголы на -μι'
Компьютеры круто👻
Компьютеры круто
Please open Telegram to view this post
VIEW IN TELEGRAM
Forwarded from Записки админа
🗜 wddbfs.
Это странно, но занятно. С помощью этого инструмента можно примонтировать sqlite базу как файловую систему. Это вряд ли понадобится вам в проде, но просто знайте, что такая возможность есть...
- Github: https://github.com/adamobeng/wddbfs
- Подробности: https://adamobeng.com/wddbfs-mount-a-sqlite-database-as-a-filesystem/
#sqlite #filesystem #напочитать
Это странно, но занятно. С помощью этого инструмента можно примонтировать sqlite базу как файловую систему. Это вряд ли понадобится вам в проде, но просто знайте, что такая возможность есть...
- Github: https://github.com/adamobeng/wddbfs
- Подробности: https://adamobeng.com/wddbfs-mount-a-sqlite-database-as-a-filesystem/
#sqlite #filesystem #напочитать
Forwarded from Лисп в изгнании
#лытдыбр #scheme
Посмотрите-ка, на какой бриллиант случайно наткнулся в тваттере: активно развиваемый Scheme-рантайм поверх Gambit с IDE а-ля Smalltalk, поддержкой OpenGL и 3D-графики
https://github.com/jazzscheme/jazz
http://www.jazzscheme.org/tutorials.htm
Посмотрите-ка, на какой бриллиант случайно наткнулся в тваттере: активно развиваемый Scheme-рантайм поверх Gambit с IDE а-ля Smalltalk, поддержкой OpenGL и 3D-графики
https://github.com/jazzscheme/jazz
http://www.jazzscheme.org/tutorials.htm
GitHub
GitHub - jazzscheme/jazz: JazzScheme is a development system based on the Gambit implementation of Scheme. It includes a module…
JazzScheme is a development system based on the Gambit implementation of Scheme. It includes a module system, object-oriented programming, a cross-platform application framework, a programmable IDE...
FREEBrowser.apk
5.3 MB
FREE Browser (Privacy browser with Greasemonkey style noscript support and Cookie Banner Blocker)
https://f-droid.org/packages/org.woheller69.browser/
https://f-droid.org/packages/org.woheller69.browser/
Forwarded from iggisv9t channel
Раз в несколько лет я вздыхаю о том, как был прекрасен viewpoints который на современных системах почти нереально завести. Иногда нахожу что-то со сравнимым функционалом. Была вот реимплементация для браузера и ещё jupyter-scatter который как виджет в жупайтере работает.
Вот сейчас нашёл новую штуковину которая умеет примерно то же. Может даже круче. http://glueviz.org/
Умеет отображать несколько графиков и связывать выделения между ними. Рисует 3D — как скаттерплоты, так и рендерит объёмные изображения типа сканов с МРТ. Можно линковать датасеты, на ходу приделывать производные переменные и есть гайды как свой плагин написать.
На мак и винду ставится как отдельное приложение, на линукс как питоний пакет. Сломало мне окружение конды.
Вот скрин с графом из предыдущего поста.
Вот сейчас нашёл новую штуковину которая умеет примерно то же. Может даже круче. http://glueviz.org/
Умеет отображать несколько графиков и связывать выделения между ними. Рисует 3D — как скаттерплоты, так и рендерит объёмные изображения типа сканов с МРТ. Можно линковать датасеты, на ходу приделывать производные переменные и есть гайды как свой плагин написать.
На мак и винду ставится как отдельное приложение, на линукс как питоний пакет. Сломало мне окружение конды.
Вот скрин с графом из предыдущего поста.
👍1
Forwarded from Generative Anton (Anton Repushko)
Сегодня я обрёл тайное знание о JS (разумеется я бы предпочёл сохранить свою психику здоровой, но уже слишком поздно).
UPD: в Python тоже конечно так можно.
UPD: в Python тоже конечно так можно.
Forwarded from сладко стянул
сегодня я узнал, что в Lean'е уже формализовали (то есть записали математическое доказательство, строгость которого проверена на компьютере):
- великую теорему Ферма для регулярных простых (Куммер, 1847)
- основную теорему арифметики, основную теорему алгебры, основную теорему анализа
- выворачивание сферы наизнанку (Смейл, 1957)
- независимость континуум-гипотезы от ZFC (Гёдель, 1940 + Коэн, 1963)
- всякие абстрактные понятия, введенные Шольце (перфектоиды, жидкие векторные пространства...)
- некоторые свежие результаты аддитивной комбинаторики
- довольно много фундаментальной математики https://leanprover-community.github.io/undergrad.html
#картинка:
https://leanprover-community.github.io/lean-perfectoid-spaces/
А из "ста великих теорем" на данный момент формализованы (хотя бы в одном из proof assistant'ов) все, кроме великой теоремы Ферма:
https://www.cs.ru.nl/~freek/100/
- великую теорему Ферма для регулярных простых (Куммер, 1847)
- основную теорему арифметики, основную теорему алгебры, основную теорему анализа
- выворачивание сферы наизнанку (Смейл, 1957)
- независимость континуум-гипотезы от ZFC (Гёдель, 1940 + Коэн, 1963)
- всякие абстрактные понятия, введенные Шольце (перфектоиды, жидкие векторные пространства...)
- некоторые свежие результаты аддитивной комбинаторики
- довольно много фундаментальной математики https://leanprover-community.github.io/undergrad.html
#картинка:
https://leanprover-community.github.io/lean-perfectoid-spaces/
А из "ста великих теорем" на данный момент формализованы (хотя бы в одном из proof assistant'ов) все, кроме великой теоремы Ферма:
https://www.cs.ru.nl/~freek/100/