Пересматривал с женой "Марсианина". На глаза попался код на экране, который не выглядел стандартной смесью 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
С первого взгляда подумал о 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
👍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
Forwarded from Уютная тумбочка
🌳 Бетула 0.5
Бетула — свободная селф-хостед программа для коллекционирования ссылок/закладок на одного пользователя. Вся информация хранится в одном файле. Бетула запускается на сервере или локально, заходить надо через браузер.
0.5.0 — первый выпуск. В этом выпуске реализованы основные функции: сохранение ссылок, редактирование описаний, удаление ссылок, категории. Программа достаточно стабильна, можно брать и пользовался. Адаптировано под телефоны. Поддерживаются микроформаты IndieWeb.
betula.mycorrhiza.wiki/v0.5.0.html
Бетула — свободная селф-хостед программа для коллекционирования ссылок/закладок на одного пользователя. Вся информация хранится в одном файле. Бетула запускается на сервере или локально, заходить надо через браузер.
0.5.0 — первый выпуск. В этом выпуске реализованы основные функции: сохранение ссылок, редактирование описаний, удаление ссылок, категории. Программа достаточно стабильна, можно брать и пользовался. Адаптировано под телефоны. Поддерживаются микроформаты IndieWeb.
betula.mycorrhiza.wiki/v0.5.0.html
👍8🗿5👎4
Хочу высказать своё уважение @bpblog - я гоняю фаззинг парсера mycomarkup на предмет DoS уже больше суток и пока ничего не нашёл
🔥4👎1
Обнаружил набор утилит для Iterator (конкретно мне понадобился izip!)
https://docs.rs/itertools/latest/itertools/
https://docs.rs/itertools/latest/itertools/
👍1👎1
Программа "Всенаука сворачивается"
https://vsenauka.ru/o-proekte/novosti/programma-vsenauka-svorachivaetsya.html
https://vsenauka.ru/o-proekte/novosti/programma-vsenauka-svorachivaetsya.html
😢6👎1
Бесплатная книга "Rust Atomics and Locks, Low-Level Concurrency in Practice" by Mara Bos
https://marabos.nl/atomics/
https://marabos.nl/atomics/
marabos.nl
Rust Atomics and Locks by Mara Bos
Low-level Concurrency in Practice. This practical book helps Rust programmers of all levels gain a clear understanding of low-level concurrency. You'll learn everything about atomics and …
👍3👎2
#KingMe attack
An input validation error in the move parser allows remote privilege escalation.
The popular internet chess site lichess.org allows for the import of PGN files, a standard text-based inter-change format for giving the sequence of moves in a game. Moves look like “e4” (move a pawn to the e4 square) or “Qxd3” (queen captures on d3) or “Rcc8” (the rook on the C file moves to c8). When a pawn moves into the last or first rank, it usually promotes to queen, but may legally promote to a bishop, knight, or rook at the player’s option. This preference is specified using the notation g8=B (or N for knight, R for rook, or Q for queen to optionally be explicit). lichess.org does not properly implement this syntax, and allows a move like g8=K, which is not legal chess.
The pawn is promoted to a king. This is a privilege escalation vulnerability, because the king has privileges that the pawn does not have, such as the privilege to be checkmated.
http://tom7.org/chess/cve.pdf
An input validation error in the move parser allows remote privilege escalation.
The popular internet chess site lichess.org allows for the import of PGN files, a standard text-based inter-change format for giving the sequence of moves in a game. Moves look like “e4” (move a pawn to the e4 square) or “Qxd3” (queen captures on d3) or “Rcc8” (the rook on the C file moves to c8). When a pawn moves into the last or first rank, it usually promotes to queen, but may legally promote to a bishop, knight, or rook at the player’s option. This preference is specified using the notation g8=B (or N for knight, R for rook, or Q for queen to optionally be explicit). lichess.org does not properly implement this syntax, and allows a move like g8=K, which is not legal chess.
The pawn is promoted to a king. This is a privilege escalation vulnerability, because the king has privileges that the pawn does not have, such as the privilege to be checkmated.
http://tom7.org/chess/cve.pdf
🥰11🎃2👍1👎1
☕️ Мерлин заваривает τσάι 🐌
❤️ https://github.com/segfaultdev/tree
Жёлтые летающие точки - это 🐝, которые роятся
👍3👎2👏1