#prog #article

WebAssembly and Back Again: Fine-Grained Sandboxing in Firefox 95

Статья от 2021 года о технологии сендбоксинга компонентов с низким оверхедом, в которой неожиданно пригождается WASM. Базовая идея проста: скомпилировать отдельные компоненты в WASM, чтобы убедиться в их достаточной изолированности и в том, что они не вылезают за пределы своей памяти, а затем при помощи wasm2c перевести в сишный код, который может линковаться с остальным. Этот подход позволяет использовать весь доступный тулинг для отладки и профилировки, а также позволяет компилятору инлайнить код через границу между доверенным кодом и кодом в песочнице, и при этом вносит довольно малый оверхед.

Не смотря на изоляцию, код внутри песочницы всё ещё может выдавать значения, которые могут заставить хостовый код исполнять нежелательные действия. Для того, чтобы снизить риски, был разработан специальный фреймворк RLBox, который позволяет автоматизировать изоляцию компонентов и помечать данные, приходящие из песочницы. Это позволяет убедиться, что каждое значение из песочницы явно валидируется перед передачей в основной код.

Статья от 2020 года Securing Firefox with WebAssembly рассказывает о прототипе этого подхода. На этапе прототипирования разработчики использовали Cranelift для компиляции WASM в нативный код, что впоследствии поменяли, но эта более старая статья содержит больше технических деталей.

Don't be so hard on yourself. Be hard on me instead

Scheiße!

Почему "маменькин сыночек" является оскорблением? Буквально все мужчины являются сынами матерей.

Смерть мерзкая от тьюринг-полноты

История заболевания: работает программистом

Первый ЛГБТ+-френдли полиаморный памятник открыли у стен Свято-Введенского Толгского женского монастыря в Ярославле.

Пусть каждый офицер и солдат дождется своего мужа. 🌈

Не особо-то и #meme про лето

Ну как вы, успели погордиться в этом месяце?

В СМЫСЛЕ УЖЕ ИЮЛЬ

#prog #c #abnormalprogramming

Как сказал один из комментаторов: "Finally, Duff's undevice"

#лингво #article

Впечатляющий обзор множества статей касательно обработки языка мозгом, его когнитивных способностях и связи между ними. Общий объём аргументов даёт основания полагать, что пресловутая гипотеза Сепира-Уорфа таки неверна.

BTW ссылка на Nature в посте ниже с пейволлом, так что вот PDF.

(thanks @al_tch)

Интересное

Language is primarily a tool for communication rather than thought
Evelina Fedorenko, Steven T. Piantadosi & Edward A. F. Gibson
https://www.nature.com/articles/s41586-024-07522-w

Language is a defining characteristic of our species, but the function, or functions, that it serves has been debated for centuries. Here we bring recent evidence from neuroscience and allied disciplines to argue that in modern humans, language is a tool for communication, contrary to a prominent view that we use language for thinking. We begin by introducing the brain network that supports linguistic ability in humans. We then review evidence for a double dissociation between language and thought, and discuss several properties of language that suggest that it is optimized for communication. We conclude that although the emergence of language has unquestionably transformed human culture, language does not appear to be a prerequisite for complex thought, including symbolic thought. Instead, language is a powerful tool for the transmission of cultural knowledge; it plausibly co-evolved with our thinking and reasoning capacities, and only reflects, rather than gives rise to, the signature sophistication of human cognition.