☕️ Мерлин заваривает τσάι 🐌
С некоторым трепетом сегодня узнал что в YAML есть восемнадцать (18!) способов задать многострочную переменную. Очередное подверждение мысли о том, что YAML есть игрушка дьявола, и его хорошо бы выпилить отовсюду, заменив на православные TOML, INI, JSON, HCL…
Telegram
Блог*
#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.…
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.…
👎3
Группа исследователей из Carnegie Mellon University показала PoC радара с возможностью отслеживать отдельных людей в помещении с помощью трёх передатчиков и приёмников WiFi
Статья и ссылка на репозиторий в комментариях
https://twitter.com/G4lile0/status/1614553700067835906
Статья и ссылка на репозиторий в комментариях
https://twitter.com/G4lile0/status/1614553700067835906
🤯2👎1
Пересматривал с женой "Марсианина". На глаза попался код на экране, который не выглядел стандартной смесью 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/denoscription.html и его сорцы https://github.com/SRI-CSL/PVS
- NASALib https://github.com/nasa/pvslib
С первого взгляда подумал о 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/denoscription.html и его сорцы https://github.com/SRI-CSL/PVS
- NASALib https://github.com/nasa/pvslib
👍9🔥2👎1
☕️ Мерлин заваривает τσάι 🐌
Понеслась #go 1.19 https://github.com/golang/go/releases/tag/go1.19
Через несколько часов должен быть релиз #go 1.20 https://github.com/golang/go/releases/tag/go1.20
Посмотреть что в него входит можно пока здесь https://tip.golang.org/doc/go1.20
и по конкретным issue здесь https://github.com/golang/go/milestone/250?closed=1
Посмотреть что в него входит можно пока здесь https://tip.golang.org/doc/go1.20
и по конкретным issue здесь https://github.com/golang/go/milestone/250?closed=1
GitHub
Release [release-branch.go1.20] go1.20 · golang/go
Change-Id: I156873d216ccb7d91e716b4348069df246b527b3
Reviewed-on: https://go-review.googlesource.com/c/go/+/464496
Run-TryBot: Gopher Robot gobot@golang.org
Auto-Submit: Gopher Robot gobot@golang.o...
Reviewed-on: https://go-review.googlesource.com/c/go/+/464496
Run-TryBot: Gopher Robot gobot@golang.org
Auto-Submit: Gopher Robot gobot@golang.o...
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
https://twitter.com/vladimirvivien/status/1621176869184831493
1. Download the Zig toolchain
2. Cross-compile with go build command
3. Done
Example:
Build from Mac OS/M1 --to-> Linux/ARMv7
https://twitter.com/vladimirvivien/status/1621176869184831493
👍4🤯3👎2