☕️ Мерлин заваривает чай 🐌. Страница 8
1206
@teamerlin
Чай, гикнутые штуки и птички
-
☕️ Мерлин заваривает чай 🐌
Обнаружил набор утилит для Iterator (конкретно мне понадобился izip!) https://docs.rs/itertools/latest/itertools/ 
-
☕️ Мерлин заваривает чай 🐌
Хочу высказать своё уважение @bpblog - я гоняю фаззинг парсера mycomarkup на предмет DoS уже больше суток и пока ничего не нашёл -
☕️ Мерлин заваривает чай 🐌
🌳 Бетула 0.5 Бетула — свободная селф-хостед программа для коллекционирования ссылок/закладок на одного пользователя. Вся информация хранится в одном файле. Бетула запускается на сервере или локально, заходить надо через браузер. 0.5.0 — первый выпуск. В этом выпуске реализованы основные функции: сохранение ссылок, редактирование описаний, удаление ссылок, категории. Программа достаточно стабильна, можно брать и пользовался. Адаптировано под телефоны. Поддерживаются микроформаты IndieWeb. betula.mycorrhiza.wiki/v0.5.0.html 
-
Реклама
-
☕️ Мерлин заваривает чай 🐌
Steamed Hams, but it's a german expressionist movie https://youtu.be/Jsof0cwFPY0 -
☕️ Мерлин заваривает чай 🐌
Easiest way to cross-compile your CGo-enabled #golang code into a static binary: 1. Download the Zig toolchain 2. Cross-compile with go build command 3. Done Example: Build from Mac OS/M1 --to-> Linux/ARMv7 twitter.com/vladimi…84831493 
-
☕️ Мерлин заваривает чай 🐌
-
☕️ Мерлин заваривает чай 🐌
Через несколько часов должен быть релиз #go 1.20 https://github.com/golang/go/releases/tag/go1.20 Посмотреть что в него входит можно пока здесь https://tip.golang.org/doc/go1.20 и по конкретным issue здесь github.com/golang/…tone/250 -
☕️ Мерлин заваривает чай 🐌
-
☕️ Мерлин заваривает чай 🐌
TIL что make, gnutls и многие другие пакеты тянут за собой диалект схемы #lisp 
-
☕️ Мерлин заваривает чай 🐌
Пересматривал с женой "Марсианина". На глаза попался код на экране, который не выглядел стандартной смесью HTML и старофранцузского. С первого взгляда подумал о Lisp, потом - о каком-то диалекте Prolog-а. Я вышел в интернет с таким вопросом и нашёл статью на сайте NASA с разбором этого кода! Оказывается это описание теоремы на макросах Common Lisp для системы автоматического доказательства теорем PVS (Prototype Verification System). Само описание входит в состав библиотеки NASAlib от исследовательской группы формальных методов исследовательского центр Лэнгли. Этот код по-прежнему не подходит по смыслу к сцене фильма (в которой происходит отправка телеметрии), но всё же любопытнее обычной овсянки :) - статья от NASA https://shemesh.larc.nasa.gov/fm/pvs/TheMartian/ - PVS пруфер https://pvs.csl.sri.com/description.html и его сорцы https://github.com/SRI-CSL/PVS - NASALib https://github.com/nasa/pvslib 
-
☕️ Мерлин заваривает чай 🐌
Группа исследователей из Carnegie Mellon University показала PoC радара с возможностью отслеживать отдельных людей в помещении с помощью трёх передатчиков и приёмников WiFi Статья и ссылка на репозиторий в комментариях twitter.com/G4lile0…67835906 
-
☕️ Мерлин заваривает чай 🐌
-
☕️ Мерлин заваривает чай 🐌
https://t.me/dereference_pointer_there/4621 Блог* #prog #article The yaml document from hell (перевод) For a data format, yaml is extremely complicated. It aims to be a human-friendly format, but in striving for that it introduces so much complexity, that I would argue it achieves the opposite result. Yaml is full of footguns and its friendliness is deceptive. In this post I want to demonstrate this through an example. <...> The element starting with ! is a tag. This feature is intended to enable a parser to convert the fairly limited yaml data types into richer types that might exist in the host language. A tag starting with ! is up to the parser to interpret, often by calling a constructor with the given name and providing it the value that follows after the tag. This means that loading an untrusted yaml document is generally unsafe, as it may lead to arbitrary code execution. <...> You may have noticed that none of my examples have syntax highlighting enabled. Maybe I am being unfair to yaml, because syntax highlighting would highlight special constructs…
-
☕️ Мерлин заваривает чай 🐌
In my version of computational thinking, I imagine an abstract machine with just the data types and operations that I want. If this machine existed, then I could write the program I want. But it doesn’t. Instead I have introduced a bunch of subproblems — the data types and operations — and I need to figure out how to implement them. I do this over and over until I’m working with a real machine or a real programming language. That’s the art of design.
Barbara Liskov, www.quantamagazine.org/barbara…20191120 Curious how Liskov echoes the Alan Kay's idea of objects as "little Turing machines exchanging messages" and Dijkstra's quote "the purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise". These ideas seemingly naturally lead to the Language-Oriented Programming and DSLs, but those trigger hard pushback from vast majority of developers... 🤔 -
☕️ Мерлин заваривает чай 🐌
-
Реклама
-
☕️ Мерлин заваривает чай 🐌
-
☕️ Мерлин заваривает чай 🐌
И есть https://v3.wttr.in с поддержкой изображений для разных терминалов 
-
☕️ Мерлин заваривает чай 🐌
Оказывается есть https://v2.wttr.in вот с таким красивым форматов вывода 