Верификация корректности музыки с помощью системы типов:
https://www.infoq.com/articles/type-systems-verifying-musical-correctness

TL;DR: музыкальные композиции могут быть проверены с помощью системы типов, чтобы сделать негармоничные переходы между нотами непредставимыми. Для этого используется библиотека для хаскеля Mezzo и приводятся примеры с завтипами на идрисе. «Корректность» музыки вообще расплывчатый термин, поэтому в статье применяется дескриптивный подход — «если музыкальная тема отклоняется от ожидаемой модели, то это необычно» — и построение матрицы энтропии для различных комбинаций переходов от ноты к ноте.

https://github.com/ssledz/bash-fun

list *mov | map λ a . 'ffmpeg -i $a $a.mp4'

Convert all .mov in folder to .mp4
Fukken works in MinGW.

cool stuff

Phonotactic Reconstruction of Encrypted VoIP Conversations:
Hookt on fon-iks

https://www.cs.unc.edu/~fabian/papers/foniks-oak11.pdf

Уже накопилось достаточно ИИ - поисковиков и думаю можно завести список и со временем его дополнять, по крайней мере тем, что становится широко известным и популярным. Буду указывать только бесплатные, тк платными я и сам не пользуюсь.

ChatGPT - всем известно что это

Bing - просто чат-бот Бинга

Perplexity - умный поисковик, понимает русский

Phind - умный поисковик, понимает русский, даёт развёрнутые ответы, иногда пользуюсь вместо бинга

you.com - умный поисковик, но в нём ещё и генератор арта есть😋

Chord.ooo - поможет создать обзор на заданную тему из инфы на форумах. В основном подходит для создания усреднённого обзора на какой-либо товар/услугу

LAION - открытый проект по созданию умного ассистента, пока в разработке

character.ai - можно развлечься и пообщаться с разными нейронными известными личностями


ИИ - плагины которыми пользуюсь:

ChatGPT плагин для различных IDE - работает на GTP 3.5 turbo

ChatGPT Sidebar - классный GPT сайдбар для обобщения и сбора информации прямо с вебстраницы (использую, когда бинг недоступен или не справляется_

Perplexity - Ask AI - замена умному сайдбару для тех у кого нет доступа к бингу или ChatGPT бесплатный

ChatGPT Prompt Genius - удобный плагин для сохранения промптов с интеграцией прямо в чат

editGPT - плагин для тех, кто пишет статьи в ChatGPT с помощью которого можно увидеть что именно переписал и изменил чат по сравнению с предыдущим текстом

Voice In - Speech-To-Text Dictation - это для тех кому, как мне, иногда лень писать и хочется надиктовать текст для общения с нейронкой😜

И всё это за 2 месяца 2023😋 Тут в марте обещали в Baidu показать своего чат-бота, так что ждём анонсов, да и про GPT-4 не забываем, тут даже один энтузиаст создал сайт где следит за всеми обновлениями новостей про эту LLM а тут другой такой же профессор - фанат технологий создал онлайн - барометр, который показывает сколько нам осталось до появления AGI (Artificial general intelligence) в %, по мнению учёного осталось менее 35 месяцев🤓

​notflix – Shell-скрипт для поиска стримов и торрент-раздач различных фильмов

Использует peerflix для воспроизведения видео

⤷ Ссылка на проект

GitHub | #Shell #Torrent #Interesting

⚡️Нашёл несколько очень крутых и бесплатных ИИ-тулов для работы с текстом онлайн. Правда пока работают с иностранными языками, но функционал всё равно впечатляет.

DeepL Write - в настоящее время находится в стадии бета-тестирования и предлагает две основные функции. Во-первых, он предлагает более яркие синонимы для замены скучных слов, а во-вторых, предлагает варианты перефразирования, чтобы прояснить запутанные предложения. В настоящее время DeepL Write поддерживает американский и британский английский, а также немецкий.

Quillbot Paraphraser - предоставляет более продвинутые режимы редактирования, чем DeepL Write. К ним относятся формальный, простой, творческий, расширяющий и сокращающий режимы, каждый из которых предлагает различные способы перефразирования предложений.

Наверное самое крутое, что я видел для работы с текстом - Wordtune Spices. Этот инструмент выделяет фразы, которые можно улучшить, и предлагает рекомендации по грамматике и беглости речи. Он также предлагает дополнения к вашему тексту, такие как примеры, контраргументы, статистические данные, цитаты и тд.

Хемингуэй - лёгкая тула, которая просто выделяет слабые или запутанные предложения разными цветами, но не предлагает их переписать.

Мне кажется, с таким набором любой захочет попробовать себя в роли писателя, а ещё и английский хорошо с ними качать😉

Представьте, если подобные функции потом появятся в ChatGpt🤖

scrcpy

Это приложение обеспечивает отображение и управление устройствами Android, подключенными по USB (или через TCP/IP).

Не требует корневого доступа.

Он работает в GNU/Linux , Windows и macOS

Этот инструмент идеально подходит для людей, у которых есть немного технических навыков и которые не хотят платить за дополнительные коммерческие альтернативы.

https://github.com/Genymobile/scrcpy

llama.cpp

Порт ИИ Facebook LLaMA на чистом C/C++ с использованием 4-битного квантования.

Простыми словами ИИ равный по мощности GPT-3, который вы можете запустить у себя на устройстве.

Чуть подробнее: https://news.1rj.ru/str/black_triangle_tg/3490

Работает на Mac OS, GNU/Linux, Windows (via CMake), Android (Termux)

https://github.com/ggerganov/llama.cpp

Thing Translator

инструмент, который помогает учить иностранный язык с помощью фото. Технологию разработали совместно с Google Creative Lab в рамках проекта AI Experiments. Это простые эксперименты с машинным обучением, которые помогают разработчикам всего мира узнать о возможностях ИИ.

⤷ Ознакомиться на сайте

Code Learning | #Projects

🦙 LLaMa не стоит на месте

Есть уже куча примеров какие чудеса кулибины вытворяют с моделькой LLaMa. А вчера чел соорудил подобие Джарвиса, или Алексы, если хотите, прямо у себя в терминале на MacBook M1 Pro.

Причем все работает реалиайм на связке Whisper + LLaMa.

Под капотом: ggml / whisper.cpp / llama.cpp / Core ML
STT: Whisper Small
LLM: 13B LLaMA

Другой Кулибин начал прикручивать плагины от ChatGPT к опенсоурсной LLaMa. Уже работает text-retrieval плагин, и есть код.

@ai_newz