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
Oleksandr Nikitin
@wizzard0
Вот я пришел к такому же где-то выводу и стало как-то неуютно)))
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?
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
вот я хочу сделать create-angular-app my-app
Евгений
@GixWay
@fix2015 на сайте https://rustycrate.ru/ есть чат, там помогут активнее
продублируй
Vitalii
@fix2015
@GixWay благодарю
Kyrylo Yakovenko
@blia
@fix2015 поставить скрипту +х?
Vladyslav Siriniok
@siriniok
з раста уже переходять на реакт і ангуляр?
strobe
@strobe
подскажите - higher kinded types в расте планируют добавить, или уже известно что не будет?
Андрей Листочкин (Andrey Listochkin)
@listochkin
@strobe хотят сделать, обсуждают как и при этом не торопятся. Вот тут можно следить: rust-lang/rfcs#324
strobe
@strobe
забавно, надо послеживать будет )
TatianaHusieva
@TatianaHusieva
Привет! Ищу Rust разработчика, в Киев, можно удаленно. Здесь можно об этом писать?
Vladyslav Siriniok
@siriniok
@TatianaHusieva краще в https://gitter.im/dev-ua/jobs
Тільки прочитайте правила публікації вакансій спершу: https://gist.github.com/listochkin/6dde40c8f4bde1235d34
Valery V. Vorotyntsev
@vvv
Вітаю!
Як ви дивитесь на те, щоб зібратися на початку грудня на Rust meetup у Києві?
Невеличкий code sprint на вихідних було б непогано.
Paul Colomiets
@tailhook
Meetup или sprint? Боюсь просто для sprint'а не достаточно людей в Киеве хорошо знающих rust
Valery V. Vorotyntsev
@vvv
@tailhook 1) Ці побоювання можуть виявитися марними.
2) Якщо хоча б три людини прийде, вже буде цікаво. На novemb.rs у Берліні було менше 15 [https://www.meetup.com/Rust-Berlin/photos/27438955/].
Андрей Листочкин (Andrey Listochkin)
@listochkin
Я за. 4го числа Most JS day, а в остальные дни я свободен
Luda Lukashevskaya
@lud4ik
планируется ли воркшоп на rustfest, который в сл. году в Киеве будет?
Андрей Листочкин (Andrey Listochkin)
@listochkin
думаю да
Luda Lukashevskaya
@lud4ik
:+1:
Dmitry Gritsay
@d-unseductable

1) Ці побоювання можуть виявитися марними.

Плюсую. Мы организовали novembrs в Вильнюсе и сомневались, что ивент посетит хотя бы 5 человек )

В итоге, было более 25 участников.
Valery V. Vorotyntsev
@vvv

Невеличкий code sprint на вихідних було б непогано.

Виявилося, що я не буду мати двох вільних вихідних у грудні. Вибачте за шум.

Ingvar Stepanyan
@RReverser
Погрався тут з транспайлингом Rust (а-ля Babel) для реалізації custom derive, ніби вийшло досить прикольно (зберігає немало коду). От думаю - комусь було б цікаво послухати про таке на якійсь доповіді? https://twitter.com/RReverser/status/813474797325840384
Vladyslav M.
@dywedir
@RReverser мне, как миниум
Paul Colomiets
@tailhook
Мы тут собираем beer.rs в Минске 5 февраля. Так что если кто тут есть из минчан, или если приедите на by.pycon (как я), welcome! https://www.meetup.com/Rust-%D0%B2-%D0%9C%D0%B8%D0%BD%D1%81%D0%BA%D0%B5/events/237338126/
Luda Lukashevskaya
@lud4ik
а там интересно?
Luda Lukashevskaya
@lud4ik
спустить 5к грн. на проезд, билет - нужно ж знать за что свои деньги платить
Luda Lukashevskaya
@lud4ik
организуйте звукотрансляцию
было бы круто
Paul Colomiets
@tailhook
Это ж beer.rs. Там пьяные программисты будут говорить о жизни (в прошлом году вообще о java было). В общем не тот формат, чтобы транслировать. И да, ехать специально для этого врядли имеет смысл, мы-то собираемся просто по случаю...
Luda Lukashevskaya
@lud4ik
"мы"? а что вас обьединяет, я так и не поняла, кроме того, что вы "пьяные программисты"?