Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Mar 27 2015 20:26
    User @sudodoki banned @doneck-russia from this room
  • Mar 19 2015 20:58
    User @mr-mig banned @pgr-ru from this room
  • Mar 15 2015 01:09
    User @mr-mig banned @putin-hero from this room
  • Mar 15 2015 01:09
    User @mr-mig banned @stepan-bendera from this room
Andrew Barchuk
@raindev
Привіт 👋 А на RustFest ні у кого часом коду на знижку немає?
cc @listochkin :smirk:
Андрей Листочкин (Andrey Listochkin)
@listochkin
есть билеты со скидкой для студентов, но нужно иметь нормальный студенческий.

@raindev

но вообще мы цену выставили прям впритык. И еще ребята профакапили пару моментов, так что пока конфа выходит в минус

Andrew Barchuk
@raindev
Ціна справді зовсім невисока. Дякую за інформацію, в такому разі не жаль заплатити повну вартість.
Конференції в мінус, мабуть, не рідкість. Не враховуючи JEE кх-кх Conf :smile:
@listochkin, а вен'ю спонсорував Microsoft?
Андрей Листочкин (Andrey Listochkin)
@listochkin
да, иначе билет был бы в районе 250
Ivan Ivashchenko
@defuz
Ребята, кто планирует быть завтра на RustFest, дайте знать. :)
Nikita Khomitsevich
@hamsternik
жаль, что в Берлине, а не в Киеве :D
Андрей Листочкин (Andrey Listochkin)
@listochkin
@defuz привет там передавай, у меня с визами лажа, поэтому я не еду
Ivan Ivashchenko
@defuz
@listochkin оу, это печально.( мне компания по-быстрому открыла визу в Испанию. А знаешь кого-нибудь кто едет из Украины/России?
Андрей Листочкин (Andrey Listochkin)
@listochkin
не, не знаю. Я вообще на 120% в рабооте и ни за кем не слежу
Dmitry Gritsay
@d-unseductable

жаль, что в Берлине, а не в Киеве :D

https://twitter.com/RustFest/status/777535515721605120

Kyrylo Yakovenko
@blia
@listochkin накаставал?
Vladyslav Siriniok
@siriniok
Wow, really?
Лісточкін точно щось знав)
Kyrylo Yakovenko
@blia
ну он на скриншоте же :)
Vladyslav Siriniok
@siriniok
та бачу)
але вище він ні слова не сказав про це)
Nikita Khomitsevich
@hamsternik
лол, крутяк :)
без @listochkin не обошлось :D
Vladyslav Siriniok
@siriniok
коли Магомет не їде до гори через візу, то гора їде до Магомета :smile:
Luda Lukashevskaya
@lud4ik
:+1:
Андрей Листочкин (Andrey Listochkin)
@listochkin
я же еще летом говорил уже, что мы делаем следующий РастФест
Dmitry Gritsay
@d-unseductable
Привет! Если есть рубисты, заходите к нам This Week in Ruru 1 :smiley:
Vladyslav Siriniok
@siriniok
@d-unseductable https://gitter.im/dev-ua/ruby-ua
Oleksandr Nikitin
@wizzard0
панове, а хтось бачив пейпери по теорії, що лежить під borrow checking'ом?
Michael Pankov
@mkpankov
@wizzard0 http://plv.mpi-sws.org/rustbelt/ внизу Related Papers
Oleksandr Nikitin
@wizzard0
Ага, спасибо
Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.
Вот я пришел к такому же где-то выводу и стало как-то неуютно)))
Michael Pankov
@mkpankov
ещё можно почитать про ATS и Cyclone (языки такие были)
думаю про них-то должны быть статьи
Oleksandr Nikitin
@wizzard0
Мб, мб
Просто все с одной стороны ссылаются на Wadler et al. про LTL, но как-то никакой очевидной связи не видно...
Michael Pankov
@mkpankov
@wizzard0 хз, но тут вот в вики в applications написано "Expressing important properties in formal verification" и там про safety и liveness
а это как раз про раст)
Oleksandr Nikitin
@wizzard0
ссылку, ссылку!
или wikipedia/rust?
Michael Pankov
@mkpankov
https://en.wikipedia.org/wiki/Linear_temporal_logic
Oleksandr Nikitin
@wizzard0
Дадада, дадада, но по ощущениям оно как-то мало общего имеет с имплементацией в Rust, даже майкрософтовский пейпер Uniqueness, Immutability and Safe Parallelism ближе
Обосновать пока не могу, впрочем
Ruslan Shevchenko
@rssh

@online{Patine,
 author = {Eric Reed},
 title = {Patina: A Formalization of the Rust Programming Language.},
 url = { ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf},
 datr = {2015-02}
}
Oleksandr Nikitin
@wizzard0
@rssh спасибо
Vitalii
@fix2015
доброго времени суток, помогите в направлении куда двигаться есть такой пакет npm install -g create-react-app
после установки которого ты можешь быстро развернуть приложения
так вот хочу такое же сделать для ангулара но не пойму как сделать выполняющий пакет
а да чтобы развернуть для реакта нужно ввести команду
create-react-app my-app