В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

WebAssembly — русскоговорящее сообщество

726 membersпожаловаться на группу
2020 May 24

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
да, но есть более простые способы добиться рантайм проверок, чем компилировать в васм
Справедливости ради, там же не только рантайм-проверки. Точнее, не только проверки выхода за границы массива и типа того. Использование указателей ограничено, особенно — указателей на функции, и т.д.
источник
16:49пожаловаться#1

JC

Julian =) Coffee in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Это всё Рассел виноват — это он придумал в начале прошлого века часть "корректных программ" отбрасывать! 😂
?)
источник
16:49пожаловаться#2

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Например?
если говорить только о проверках на выход за пределы массива, то миллионы аналогов std::vector и других стандартных контейнеров с проверками
источник
16:49пожаловаться#3

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Julian =) Coffee
?)
Бертран Рассел. Придумал теорию типов как раздел математики (по факту). С него и пошло. Ну, на пару с Уатхедом...
источник
16:50пожаловаться#4

MB

Mikail Bagishov in WebAssembly — русскоговорящее сообщество
Julian =) Coffee
В Расте например решили просто отрезать n-% процентов програм, из которых часть корректная, но ее просто нельзя формально верифицировать.
Это верно про примерно любой компилируемый язык.
источник
16:51пожаловаться#5

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
если говорить только о проверках на выход за пределы массива, то миллионы аналогов std::vector и других стандартных контейнеров с проверками
Т.е. по факту — переписать код. Не уверен, что это всегда "дешевле", чем компилировать в WASM...
источник
16:51пожаловаться#6

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Справедливости ради, там же не только рантайм-проверки. Точнее, не только проверки выхода за границы массива и типа того. Использование указателей ограничено, особенно — указателей на функции, и т.д.
а как небезопасное использование указателей на функции при компиляции в васм может быть обнаружено? Можешь пример привести, плиз
источник
16:52пожаловаться#7

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikail Bagishov
Это верно про примерно любой компилируемый язык.
*про любой статически типизированный язык.
источник
16:52пожаловаться#8

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Т.е. по факту — переписать код. Не уверен, что это всегда "дешевле", чем компилировать в WASM...
некоторые просто в дефайны оборачивают перед компиляцией
источник
16:52пожаловаться#9

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
а как небезопасное использование указателей на функции при компиляции в васм может быть обнаружено? Можешь пример привести, плиз
В WASM же нельзя произвольные функции по указателю вызывать — нужно же их все сначала в табличку собрать и вызывать по индексу.
источник
16:54пожаловаться#10

MP

Michael Pavlovsky in WebAssembly — русскоговорящее сообщество
@GabrielFallen Назревает Хаскелл (вот вот грянет гром и скажут слово М ... )
источник
16:54пожаловаться#11

JC

Julian =) Coffee in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Бертран Рассел. Придумал теорию типов как раздел математики (по факту). С него и пошло. Ну, на пару с Уатхедом...
Это от него пошли книги по математике для чайников?
источник
16:54пожаловаться#12

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Michael Pavlovsky
@GabrielFallen Назревает Хаскелл (вот вот грянет гром и скажут слово М ... )
Я как человек знакомый с Haskell и монадами, не вижу чтобы они назревали. 🤷‍♀️
источник
16:55пожаловаться#13

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Julian =) Coffee
Это от него пошли книги по математике для чайников?
Скорее наоборот. Редкая птица дочитает до середины Principia Matematica...
источник
16:56пожаловаться#14

JC

Julian =) Coffee in WebAssembly — русскоговорящее сообщество
Точно, он же еще говорил что чайников не существует.
источник
16:56пожаловаться#15

e

egoarka in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
https://medium.com/fluence-network/porting-redis-to-webassembly-with-clang-wasi-af99b264ca8#9deb
а как ttl'и на ключах работают с wasm redis ?
или они не работают?) из за того что пришлось пожертвовать background threads
источник
17:00пожаловаться#16

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
В WASM же нельзя произвольные функции по указателю вызывать — нужно же их все сначала в табличку собрать и вызывать по индексу.
ну, есть control flow graph integrity, которая делает почти то же самое только без проверки типа. + видел несколько подобных проектов для инструментации vtable calls с проверкой типов, но сейчас не смог быстро нагуглить
источник
17:02пожаловаться#17

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
egoarka
а как ttl'и на ключах работают с wasm redis ?
или они не работают?) из за того что пришлось пожертвовать background threads
ага, верно, ими пришлось пожертвовать
источник
17:02пожаловаться#18

AT

Alexander Tchitchigi... in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
ну, есть control flow graph integrity, которая делает почти то же самое только без проверки типа. + видел несколько подобных проектов для инструментации vtable calls с проверкой типов, но сейчас не смог быстро нагуглить
Мне кажется очевидно, что компиляция в WASM происходит не волшебным образом, а посредством известных алгоритмов анализа и трансформации. 😊
источник
17:09пожаловаться#19

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Мне кажется очевидно, что компиляция в WASM происходит не волшебным образом, а посредством известных алгоритмов анализа и трансформации. 😊
вот я как раз про это хотел спросить
источник
17:10пожаловаться#20