Группа исследователей из Carnegie Mellon University показала PoC радара с возможностью отслеживать отдельных людей в помещении с помощью трёх передатчиков и приёмников WiFi

Статья и ссылка на репозиторий в комментариях
https://twitter.com/G4lile0/status/1614553700067835906

Пересматривал с женой "Марсианина". На глаза попался код на экране, который не выглядел стандартной смесью 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

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

Обнаружил набор утилит для Iterator (конкретно мне понадобился izip!)

https://docs.rs/itertools/latest/itertools/