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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

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

623 membersпожаловаться на группу
2020 February 10

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
MaxGraey
ясно, просто он в твиттере как то упоминал, что ему инткрестно что там в котлине под капотом твориться, вот и решил узнать, может он там чем то идеологически-теоретически вам помогает. Спрашивать у него как то не удобно если честно)

А ты будешь на саммите?
Да, на саммите буду, мне повезло -- виза уже была.
источник
02:51пожаловаться#1

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
А коллеге не успели ответить :(
источник
02:52пожаловаться#2

M

MaxGraey in WebAssembly — русскоговорящее сообщество
Zalim Bashorov
Да, на саммите буду, мне повезло -- виза уже была.
Это отлично, хоть кто то будет из нащего чата
источник
02:52пожаловаться#3

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
Круто-круто, я тогда потом еще переспрошу) Надеюсь пересечься вне твиттеров-телеграмов)
источник
02:54пожаловаться#4

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
Если это про саммит 10 февраля то и я скорее всего буду
источник
02:54пожаловаться#5

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
Еще планировавшие
источник
02:54пожаловаться#6

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
@hey_its_me_yo @notmaxx будете?
источник
02:55пожаловаться#7

KA

Kiryl Anoshko in WebAssembly — русскоговорящее сообщество
Zalim Bashorov
@hey_its_me_yo @notmaxx будете?
Да
источник
02:58пожаловаться#8

ZB

Zalim Bashorov in WebAssembly — русскоговорящее сообщество
Kiryl Anoshko
Да
👍 давайте пересечемся
источник
03:21пожаловаться#9

AP

Alexey Pikin in WebAssembly — русскоговорящее сообщество
Zalim Bashorov
@hey_its_me_yo @notmaxx будете?
Буду, к 8:30 постараюсь быть
источник
08:05пожаловаться#10

AT

Alexander Tchitchigin in WebAssembly — русскоговорящее сообщество
MaxGraey
@GabrielFallen Тебя это может заинтересовать
https://github.com/Huxpro/WasmCert
GitHub
Huxpro/WasmCert
A (in-development) Coq mechanization of WebAssembly specification. - Huxpro/WasmCert
Спасибо! Действительно любопытно. 😊
источник
09:40пожаловаться#11

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
MaxGraey
@GabrielFallen Тебя это может заинтересовать
https://github.com/Huxpro/WasmCert
GitHub
Huxpro/WasmCert
A (in-development) Coq mechanization of WebAssembly specification. - Huxpro/WasmCert
интересно, а вот это уже не стоит ждать похоже
https://github.com/WebAssembly/design/issues/1198#issuecomment-433329699
GitHub
Machine-Checkable Formal Semantics · Issue #1198 · WebAssembly/design
TL;DR: What's the state of a formal, machine-checkable semantics for WebAssembly? Hello! This is meant as a question and basis for discussion. WebAssembly is an attractive compilation targe...
источник
09:52пожаловаться#12

AT

Alexander Tchitchigin in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
интересно, а вот это уже не стоит ждать похоже
https://github.com/WebAssembly/design/issues/1198#issuecomment-433329699
GitHub
Machine-Checkable Formal Semantics · Issue #1198 · WebAssembly/design
TL;DR: What's the state of a formal, machine-checkable semantics for WebAssembly? Hello! This is meant as a question and basis for discussion. WebAssembly is an attractive compilation targe...
За минувшее время в Coq как раз успели IEEE floats завезти. 😄
источник
10:21пожаловаться#13

FO

FORTRAN ONE LOVE in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
За минувшее время в Coq как раз успели IEEE floats завезти. 😄
А erf и erfc завезут?
источник
10:22пожаловаться#14

AT

Alexander Tchitchigin in WebAssembly — русскоговорящее сообщество
FORTRAN ONE LOVE
А erf и erfc завезут?
Без понятия. В смысле, без понятия, что это. 😂
источник
10:24пожаловаться#15

FO

FORTRAN ONE LOVE in WebAssembly — русскоговорящее сообщество
Alexander Tchitchigin
Без понятия. В смысле, без понятия, что это. 😂
Спец мат функции
источник
10:29пожаловаться#16

АН

Авроамэриканец Начрэл in WebAssembly — русскоговорящее сообщество
WebAssembly можно встраивать в jvm?
источник
10:44пожаловаться#17

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Авроамэриканец Начрэл
WebAssembly можно встраивать в jvm?
ага, даже несколькими способами:
- с помощью компиляции в jvm с помощью, например, https://github.com/cretz/asmble
- через jni (wasmer/wasmtime)
- wasmer сейчас пилят поддержку использования из-под jvm
GitHub
cretz/asmble
Compile WebAssembly to JVM and other WASM tools. Contribute to cretz/asmble development by creating an account on GitHub.
источник
10:45пожаловаться#18

АН

Авроамэриканец Начрэл in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
ага, даже несколькими способами:
- с помощью компиляции в jvm с помощью, например, https://github.com/cretz/asmble
- через jni (wasmer/wasmtime)
- wasmer сейчас пилят поддержку использования из-под jvm
GitHub
cretz/asmble
Compile WebAssembly to JVM and other WASM tools. Contribute to cretz/asmble development by creating an account on GitHub.
А первое уже продакшн реди? Выглядит клёво
источник
10:47пожаловаться#19

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Авроамэриканец Начрэл
А первое уже продакшн реди? Выглядит клёво
да, мы использовали его около года, проблем не было. Но сейчас проект заброшен
источник
10:50пожаловаться#20