Обложка канала

☕️ Мерлин заваривает чай 🐌. Страница 3

1206 @teamerlin
Открыть

Чай, гикнутые штуки и птички

  • ☕️ Мерлин заваривает чай 🐌

    кстати AI анализатор логов когда

  • ☕️ Мерлин заваривает чай 🐌

    > Люди потратили много времени на размышления о том, как написать макросы более безопасно - иногда за счет экспрессивности или простоты - и почти все недавние языки используют некоторую форму гигиенической системы макросов, которая по умолчанию делает правильные вещи. > Но насколько мне известно, никто не подходил к системам макросов с другой стороны. Никто не смотрел на макросы Common Lisp и не говорил: "А если эти макросы недостаточно опасны? А если мы могли бы сделать их еще сложнее для правильной записи, чтобы увеличить их мощность и экспрессивность незначительно?" ianthehenry.com/posts/g…d-macros
    Generalized Macros

    I’ve been writing a lot of Janet lately, and I’ve been especially enjoying my time with the macro system. Janet macros are Common Lisp-flavored unhygienic gensym-style macros. They are extremely powerful, and very easy to write, but they can be pretty tricky to get right. It’s easy to make mistakes that lead to unwanted variable capture, or to write macros that only work if they’re expanded in particular contexts, and it can be pretty difficult to detect these problems ahead of time. So people have spent a lot of time thinking about ways to write macros more safely – sometimes at the cost of expressiveness or simplicity – and almost all recent languages use some sort of hygienic macro system that defaults to doing the right thing. But as far as I know, no one has approached macro systems from the other direction. No one looked at Common Lisp’s macros and said “What if these macros aren’t dangerous enough? What if we could make them even harder to write correctly, in order to marginally increase their power and…

    Ianthehenry

  • ☕️ Мерлин заваривает чай 🐌

    Блог*

    Блог со звёздочкой. Много репостов, немножко программирования. О(б)суждение: @decltype_chat_ptr_t Автор: @insert_reference_here Поддержать канал: 4274 3200 5402 8520

    Telegram

  • Реклама

  • ☕️ Мерлин заваривает чай 🐌

    Возвращаясь к разговору о языках поверх нейронок. Я бы хотел вообще что-то типа 
    ; Описание функции в свободной форме
;  - тесткейс 1
;  - тесткейс 2
;  - ...
<здесь название функции>
    И всё, остальное пусть "AGI" рисует

  • ☕️ Мерлин заваривает чай 🐌

    Хроники хайпа (XX) Круги по воде от петиции (https://t.me/gonzo_ML/1448) всё ещё расходятся, а Маск тем временем собирает свой стартап-конкурента OpenAI под названием X.AI (www.ft.com/content…e84aefe4). Сам OpenAI планирует улучшения в GPT-4, но обучение GPT-5 пока не начинал (www.theverge.com/2023/4/…m-altman). Появляется всё больше моделей. Финансовая BloombergGPT, лайтовые LLaMA (https://t.me/gonzo_ML/1324), Alpaca (https://t.me/gonzo_ML/1407), Vicuna, Dolly 2.0 (https://t.me/gonzo_ML/1453). Кажется, что переломной точкой в обществе стал ChatGPT, а появление GPT-4 только добавило к трендам и хайпу. Многие теперь ведут списки событий вокруг ИИ, типа такого “3 неделя от явления GPT-4 народу” (www.reddit.com/r/ChatG…_news_ai). Народ же создаёт курсы обучения пользованию ChatGPT-4 (модели, которая не существует) и продаёт торговых роботов криптой на ней (хайпы слились воедино, инфобизнес тут как тут). Когда уже GPT/ChatGPT станет нарицательным как ксерокс или гугл? В это время LangChain (https://github.com/hwchase17/langchain), библиотека для склейки вызовов LLM и других тулов, которой всего полгода, поднимает раунд на $10M (blog.langchain.dev/announc…enchmark). Я пока не понял, для чего именно мне самому её использовать кроме как для сборки каких-то proof-of-concept. До продакшн энтерпрайз решений там, кажется, ещё далеко, но раунд должен помочь. Другой интересный экспериментальный проект, Auto-GPT (https://github.com/Significant-Gravitas/Auto-GPT), предназначенный для добавления автономности к GPT, набрал за месяц звёзд на гитхабе больше, чем у PyTorch (https://github.com/pytorch/pytorch). Auto-GPT умеет искать в интернете, синтезировать голос, хранить состояние в векторной базе данных. Умеет также генерить и исполнять код (twitter.com/SigGrav…78408193). Для чего-то полезного рабочего, кажется, использовать сложно, но эксперимент интересный, посмотрим, куда разовьётся. С кодом в принципе может быть и опасно, Моррис когда своего червя запускал тоже не думал, что он весь ARPANET наводнит. Ещё один в чём-то похожий проект -- BabyAGI (https://github.com/yoheinakajima/babyagi), итеративно разбирающий задачи (и создающий новые) и выполняющий их через GPT. Развивается ветка самоулучшения моделей. Сравнительно свежий Self-Refine (https://arxiv.org/abs/2303.17651) улучшает ответ модели через фидбек от самой модели. Это в целом похоже на RLAIF (https://t.me/gonzo_ML/1285). Наверное, стоит отдельного разбора. Другая недавняя работа “Towards Healthy AI: Large Language Models Need Therapists Too” (https://arxiv.org/abs/2304.00416) вводит в дополнение к понятию критика, понятие психотерапевта, и предлагает фреймворк SafeguardGPT. А ещё одна интересная работа, “Generative Agents: Interactive Simulacra of Human Behavior“ (https://arxiv.org/abs/2304.03442), заводит подобно игре Sims множество симулирующих людей агентов, каждый со своей памятью и историей, которые живут своей жизнью в своём сэндбоксе. Сколько нам ещё до 13-го этажа (https://www.imdb.com/title/tt0139809/)?
    gonzo-обзоры ML статей

    Про петиции История с петицией (https://t.me/gonzo_ML/1444) как-то заметно поляризовала общество. Выход статьи Юдковского (https://t.me/gonzo_ML/1441) добавил масла в огонь, особенно его пассажи про бомбардировку датацентров. По моему ощущению от того, что я вижу вокруг, сторонников петиции (той, которая про сделать паузу на 6 месяцев) сильно меньше, чем противников. Аргументация противников, которую я чаще всего наблюдаю, при этом сосредоточивается вокруг утверждений, которые я бы сгруппировал в такие кучки: 1) - Прогресс не остановить - Это придумали конкуренты OpenAI - Китай ждать не будет 2) - Бояться надо не AI, а людей. - У GPT нет сознания, воли, стремлений, агентности, поэтому бояться нечего - GPT-4 безумно далека от порабощения мира потому что она ничего не понимает, совершает глупые ошибки, и вообще тупая - GPT-4 не сможет поработать мир потому что у неё нет ручек/ножек 3) - Третья кучка обычно связана с переходом на личности в духе, что те, кто опасается, ничего в технологиях не понимают. Кажется…

    Telegram

  • ☕️ Мерлин заваривает чай 🐌

    Как-то неожиданно консольный клиент github gh стал для меня лучшим примером CLI

  • ☕️ Мерлин заваривает чай 🐌

    Modular Errors in Rust

    It is thankfully common wisdom nowadays that documentation must be placed as near as possible to the code it documents, and should be fine-grained to a minimal unit of describability (the thing being documented). The practice provides numerous benefits to the codebase and project as a whole:

    Sabrina Jewson

  • ☕️ Мерлин заваривает чай 🐌

    Любопытный модуль для redis-а, который позволяет работать с protobuf Он добавляет команды Path PB.SET PB.GET PB.DEL PB.APPEND PB.LEN PB.CLEAR PB.MERGE PB.TYPE PB.SCHEMA и позволяет хранить и обновлять protobuf объекты https://github.com/sewenew/redis-protobuf

  • ☕️ Мерлин заваривает чай 🐌

    r/cellular_automata on Reddit: automata.hiroshige('mountain view')

    Posted by u/violet_dollirium - 37 votes and 5 comments

    Reddit

  • ☕️ Мерлин заваривает чай 🐌

    How did Dennis Ritchie Produce his PhD Thesis? A Typographical Mystery Dennis Ritchie, the creator of the C programming language and, with Ken Thompson, the co-creator of the Unix operating system, completed his Harvard PhD thesis on recursive function theory in early 1968. But for unknown reasons, he never officially received his degree, and the thesis itself disappeared for nearly 50 years. This strange set of circumstances raises at least three broad questions: • What was the technical contribution of the thesis? • Why wasn’t the degree granted? • How was the thesis prepared? This paper investigates the third question: how was a long and typographically complicated mathematical thesis produced at a very early stage in the history of computerized document preparation? www.cs.princeton.edu/~bwk/dm…ng22.pdf

  • ☕️ Мерлин заваривает чай 🐌

    хух даже работает

  • ☕️ Мерлин заваривает чай 🐌

    #rust #meme Trademark-safe way to use the ®ust logo The policy is: You may not change any Logo except to scale it. This means you may not add decorative elements, change the colors, change the proportions, distort it, add elements, or combine it with other logos. There is nothing about combining the logo with itself.

  • ☕️ Мерлин заваривает чай 🐌

    Кстати R и R logo можно распространять по Creative Commons или GNU GPL v2, по выбору

  • ☕️ Мерлин заваривает чай 🐌

  • ☕️ Мерлин заваривает чай 🐌

    С удивлением узнал, что большинство используют ChatGPT не как анализатор текстов или напарника по написанию текстов, а в качестве универсальной базы знаний. Спрашивают вопросы типа "как мне собрать игровой компьютер" или "как звали самого старого президента США" и ничего внутри не шорохается 🤔

  • Реклама

  • ☕️ Мерлин заваривает чай 🐌

    Не знаю, чего я ожидал Но явно не того, что в clojure fn и defmacro - это просто макрос и функция из std

  • ☕️ Мерлин заваривает чай 🐌

    ​​А ещё Winamp 2 жив в виде Webamp — открытой реализации большей части функций оригинала с помощью Web-технологий. Появился Webamp году в 2014, так что проект это достаточно взрослый. Даже визуализации музыки показывать умеет силами WebGL — да-да, тот самый MilkDrop, только прямо в браузере! И, конечно же, шкурки поддерживаются оригинальные, у проекта даже есть целый музей: Winamp Skin Museum — вот тут-то вы точно сможете найти ту самую вашу любимую шкурку с Сакурой, собирательницей карт или с Бредом Питтом в золоте. И мало того, что любой экспонат можно рассмотреть, так все они ещё и действующие, благодаря всё тому же Webamp!

  • ☕️ Мерлин заваривает чай 🐌

    Virtua Hamster is a unreleased Sega 32X game. The game was to star a variety of selectable rodents attached to rocket packs who could travel through a series of connected tubes, fighting each other and avoiding various obstacles. https://segaretro.org/Virtua_Hamster