Forwarded from Dmitry Ponyatov
overleaf есть в качестве промежуточной площадки, и приложухи типа https://play.google.com/store/apps/details?id=verbosus.verbtex&hl=ru
Google Play
Приложения в Google Play – VerbTeX LaTeX Editor
Совместный редактор LaTeX для вашего устройства Android
Forwarded from sexst
Меня больше всего кекает с того, что в cPython два больших числа, типа 100000 - разные объекты, а маленькие числа, например 1 ссылаются на один и тот же кешированный объект в памяти
Поэтому
Поэтому
>>> hash(1)
1
>>> hash(10000)
10000
>>> hash(1) is hash(1)
True
>>> hash(10000) is hash(10000)
False
видишь такой
и думаешь - о какой паттерн, ничем не хуже, чем
https://www.tg-me.com/ebanatics_learn/14616
trait Plus[A]{
def plus(a: A, b: A): A
}
object plus{
implicit class PlusOps[A](private val a : A) extends AnyVal{
def +(b: A)(implicit plus: Plus[A]): A = plus.plus(a, b)
}
}
и думаешь - о какой паттерн, ничем не хуже, чем
class Plus a where
(+) :: a -> a -> a
https://www.tg-me.com/ebanatics_learn/14616
Telegram
Oleg ℕizhnik in Задачник по ебанатике или "Что такое ФП"
видишь такой
trait Plus[A]{
def plus(a: A, b: A): A
}
object plus{
implicit class PlusOps[A](private val a : A) extends AnyVal{
def +(b: A)(implicit plus: Plus[A]): A = plus.plus(a, b)
}
}
и думаешь - о какой паттерн, ничем не хуже, чем
class…
trait Plus[A]{
def plus(a: A, b: A): A
}
object plus{
implicit class PlusOps[A](private val a : A) extends AnyVal{
def +(b: A)(implicit plus: Plus[A]): A = plus.plus(a, b)
}
}
и думаешь - о какой паттерн, ничем не хуже, чем
class…
Forwarded from Αλεχ Zhukovsky
pub fn validator(
&self,
mut req: ServiceRequest,
credentials: BearerAuth,
) -> impl Future<Output = Result<ServiceRequest, actix_web::Error>> {
async move {
//let reqsponse = client::get("http://www.rust-lang.org")
Ok(req)
}
}
Forwarded from Αλεχ Zhukovsky
@DogeShibu ещё один сценарий когда асинк-авейт не работает: если написать async fn то &self захватывается на всё время жизни футуры которая получается и естественно нихера не работает
Forwarded from The Wacky Yellow Dog
Ну добро пожаловать в мир and_then'ов, я вот из него и не выходил
Forwarded from Dima
я про это https://users.rust-lang.org/t/higher-function-taking-async-reference-taking-closures/30549
The Rust Programming Language Forum
Higher function taking async reference-taking closures
Struggled when designing libraries for async/await. We can do this in the sync world: // `f` is a reference-taking closure pub fn call(f: F) -> i32 where F: Fn(&i32) -> i32, { f(&42) } #[test] fn test_call() { fn double(x: &i32) -> i32 { *x…
Forwarded from Богдан Суконнов
Смотрим Алексея онлайн https://www.youtube.com/watch?v=hi_zAj3tqeE&feature=emb_logo
YouTube
Spring I/O Bridge
https://www.tg-me.com/rust_beginners_ru/64703
Dazai Osamu:
Точнее вопрос такой, будет ли код работать в разных потоках в данном примере? И можете поправить в местах, где код совсем кривой? Опыт в расте 0 пока. https://pastebin.com/rp1bTsy5
Vetro:
Если хочешь использовать work-stealing возможности токио то нужно футуры спавнить
Dazai Osamu:
Это сыпется ошибками так, что я не успеваю отловить. В tmp нет аргументов
Mikail Bagishov:
Самый простой способ: замени начало мейна на
Ну и дальше везде где надо делай
Dazai Osamu:
Точнее вопрос такой, будет ли код работать в разных потоках в данном примере? И можете поправить в местах, где код совсем кривой? Опыт в расте 0 пока. https://pastebin.com/rp1bTsy5
Vetro:
join!
Выполняет все футуры на одной таске, то есть асинхронно, но на одном тредеЕсли хочешь использовать work-stealing возможности токио то нужно футуры спавнить
Dazai Osamu:
Это сыпется ошибками так, что я не успеваю отловить. В tmp нет аргументов
Mikail Bagishov:
Самый простой способ: замени начало мейна на
#[tokio::main]
async fn main() {
Ну и дальше везде где надо делай
tokio::task::spawn(fut);
Telegram
Dazai Osamu in Rust Beginners
Точнее вопрос такой, будет ли код работать в разных потоках в данном примере? И можете поправить в местах, где код совсем кривой? Опыт в расте 0 пока. https://pastebin.com/rp1bTsy5
https://www.tg-me.com/rust_offtopic/255826
Stanislav Popov, [16.05.20 22:45]
соболев не такой глупый как казалось кек https://github.com/python/typing/issues/548#issuecomment-621686416
Георгий Седометов, [16.05.20 22:50]
[In reply to Stanislav Popov]
мне нравится то, что он делает, но я не совсем понимаю, почему бы не взять хаскель вместо этого всего
Stanislav Popov, [16.05.20 22:52]
[In reply to Георгий Седометов]
ну то что он делает гениально ) дело в том что он юзает джангу. тоесть он берет самых отмороженых джангодетей с рынка, навязывает им максимальное бдсм окружение с миллионами линтеров, вот этим говном и говорит - ебитес
это примерно так же гениально как взять каких то отмороженых пыхарей за копейки и поставить перед фактом или вы учитесь писать с такой дисциплиной и бандажем как сирьёры или идёте нахуй
ему типчики нужны не для упращения жизни себе, ему они нужны чтобы трахать ими джунов вобщем
тоесть есть проблема что человек кривой и не может понимать как делать нормально и вместо того чтобы ему это обьяснять его просто бьют по рукам миллионы линтеров
он такой вобщем галерный надзиратель
Георгий Седометов, [16.05.20 22:56]
я как-то раз написал немного логики на returns. Без ду нотации это просто неюзабельно
Stanislav Popov, [16.05.20 22:57]
ну а кого ебёт. джун пусть корячится. зато это изолирует его максимально в своём окружении
Stanislav Popov, [16.05.20 22:45]
соболев не такой глупый как казалось кек https://github.com/python/typing/issues/548#issuecomment-621686416
Георгий Седометов, [16.05.20 22:50]
[In reply to Stanislav Popov]
мне нравится то, что он делает, но я не совсем понимаю, почему бы не взять хаскель вместо этого всего
Stanislav Popov, [16.05.20 22:52]
[In reply to Георгий Седометов]
ну то что он делает гениально ) дело в том что он юзает джангу. тоесть он берет самых отмороженых джангодетей с рынка, навязывает им максимальное бдсм окружение с миллионами линтеров, вот этим говном и говорит - ебитес
это примерно так же гениально как взять каких то отмороженых пыхарей за копейки и поставить перед фактом или вы учитесь писать с такой дисциплиной и бандажем как сирьёры или идёте нахуй
ему типчики нужны не для упращения жизни себе, ему они нужны чтобы трахать ими джунов вобщем
тоесть есть проблема что человек кривой и не может понимать как делать нормально и вместо того чтобы ему это обьяснять его просто бьют по рукам миллионы линтеров
он такой вобщем галерный надзиратель
Георгий Седометов, [16.05.20 22:56]
я как-то раз написал немного логики на returns. Без ду нотации это просто неюзабельно
Stanislav Popov, [16.05.20 22:57]
ну а кого ебёт. джун пусть корячится. зато это изолирует его максимально в своём окружении
Telegram
Stanislav Popov in rust_offtopic
соболев не такой глупый как казалось кек https://github.com/python/typing/issues/548#issuecomment-621686416
https://www.tg-me.com/haskell_blah/140758
Шёл 2030й год, Андрей Транин доказывает в твиттере, что в популярном языке программирования Xiaomi Qo можно обойтись и без HoTT, что алгоритмическая разрешимость - вот, что выбирает бизнес и сеньоры, а HoTT - для академиков
Шёл 2030й год, Андрей Транин доказывает в твиттере, что в популярном языке программирования Xiaomi Qo можно обойтись и без HoTT, что алгоритмическая разрешимость - вот, что выбирает бизнес и сеньоры, а HoTT - для академиков
Telegram
Oleg ℕizhnik in haskell_blah
Шёл 2030й год, Андрей Транин доказывает в твиттере, что в популярном языке программирования Xiaomi Qo можно обойтись и без HoTT, что алгоритмическая разрешимость - вот, что выбирает бизнес и сеньоры, а HoTT - для академиков
https://www.tg-me.com/rust_offtopic/255996
p0lunin [BPL]:
Ой, как будто деньги это самое важное
Nick Linker:
Ну если достаточно на жильё, семью и помощь родителям, и ещё можно отпуск взять на годик, то деньги имеют не очень большое значение конечно. Можно подумать о вечном, о слабом росте популярностя языка программирования Rust и о планах по реализации HKT для него. :-)
А если денег не хватает, будешь думать только о них, никак по-другому...
p0lunin [BPL]:
Смотри сколько проблем от семьи: жена, родители, дети. В одно лицо и 1к$ хватать для нормальной жизни будет (в роисии)
p0lunin [BPL]:
Ой, как будто деньги это самое важное
Nick Linker:
Ну если достаточно на жильё, семью и помощь родителям, и ещё можно отпуск взять на годик, то деньги имеют не очень большое значение конечно. Можно подумать о вечном, о слабом росте популярностя языка программирования Rust и о планах по реализации HKT для него. :-)
А если денег не хватает, будешь думать только о них, никак по-другому...
p0lunin [BPL]:
Смотри сколько проблем от семьи: жена, родители, дети. В одно лицо и 1к$ хватать для нормальной жизни будет (в роисии)
Telegram
p0lunin [BPL] in rust_offtopic
Ой, как будто деньги это самое важное
Forwarded from Αλεχ Zhukovsky
Language:
Source:
Result:
php
Source:
<?php var_dump("200" == "2e2") ?>
Result:
bool(true)
Forwarded from Deleted Account
Language:
Source:
Result:
perl
Source:
print "200" == "2e2", "\n";
print "200" eq "2e2", "\n";
Result:
1
Forwarded from 𝙽𝚒𝚌𝚔 𝙻𝚒𝚗𝚔𝚎𝚛
Новые научные идеи побеждают не потому, что их противники признают свою неправоту, просто противники эти постепенно вымирают, а подрастающее поколение, не обремененное предрассудками, усваивает новые идеи сразу. (Макс Планк)
😜
😜
Время откровений в rust_offtopic
https://www.tg-me.com/rust_offtopic/256243
T-34 85:
ты из пайтона в раст пришёл?
Nick Linker:
Нет, на питоне я время от времени что-то писал, но основным языком он у меня никогда не был.
T-34 85:
а что основное? Просто любопытно
Nick Linker:
Начинал с C++, учавствовал в написании сервера показаний датчиков и оконной либы. Потом C# 3 года, бекенд. Потом Java, бэкенд, J2EE и прочие ужасы. Потом Scala (я как раз застал болезненный переезд на коллекции в 2.8, но оно стоило того).
Потом я устроился в одну аутсорсинговую компанию, где был полный фарш, клиенты с чем только не приходили, были проекты и на шарпе, и на питоне, и на js, и (2 штуки) на scala, но в-основном java.
(О, кстати, там был проект, где вся логика была на хранимках, это просто нечто). Я там проработал почти пять лет и ушёл, потому что на те джавовские проекты уже не мог смотреть.
Не, против джавы я ничего не имею, но так получилось, что спринг стал стандартом де факто, и я с этим работать не могу и не хочу. Те кто может - спокойно пилят свои бины и получают XXXX долларей и в ус не дуют.
Оттуда я сбежал в другую компанию на офигенный проект на scala (с релизами каждые 2-3 дня, заказчик своеобразный), и потом второй проект длился 4 года, там я наконец получил боевой опыт Haskell в продакшене (до этого только делал небольшие программы для души после работы).
Затем был год ML, ну можно сказать что я удовлетворял своё любопытство в этой области оценок, метрик и нейронок, но вряд ли можно сказать что основным языком был питон. Я склонен считать, что питонячий стек для машинного обучения и для джанги - это два совершенно разных языка, и ключевую роль здесь играет знание библиотек, (catboost, pytorch, tf и так далее).
Ну пока я игрался в ML я наконец окончательно подсел на Rust, на чём сейчас и зарабатываю на еду.
https://www.tg-me.com/rust_offtopic/256243
T-34 85:
ты из пайтона в раст пришёл?
Nick Linker:
Нет, на питоне я время от времени что-то писал, но основным языком он у меня никогда не был.
T-34 85:
а что основное? Просто любопытно
Nick Linker:
Начинал с C++, учавствовал в написании сервера показаний датчиков и оконной либы. Потом C# 3 года, бекенд. Потом Java, бэкенд, J2EE и прочие ужасы. Потом Scala (я как раз застал болезненный переезд на коллекции в 2.8, но оно стоило того).
Потом я устроился в одну аутсорсинговую компанию, где был полный фарш, клиенты с чем только не приходили, были проекты и на шарпе, и на питоне, и на js, и (2 штуки) на scala, но в-основном java.
(О, кстати, там был проект, где вся логика была на хранимках, это просто нечто). Я там проработал почти пять лет и ушёл, потому что на те джавовские проекты уже не мог смотреть.
Не, против джавы я ничего не имею, но так получилось, что спринг стал стандартом де факто, и я с этим работать не могу и не хочу. Те кто может - спокойно пилят свои бины и получают XXXX долларей и в ус не дуют.
Оттуда я сбежал в другую компанию на офигенный проект на scala (с релизами каждые 2-3 дня, заказчик своеобразный), и потом второй проект длился 4 года, там я наконец получил боевой опыт Haskell в продакшене (до этого только делал небольшие программы для души после работы).
Затем был год ML, ну можно сказать что я удовлетворял своё любопытство в этой области оценок, метрик и нейронок, но вряд ли можно сказать что основным языком был питон. Я склонен считать, что питонячий стек для машинного обучения и для джанги - это два совершенно разных языка, и ключевую роль здесь играет знание библиотек, (catboost, pytorch, tf и так далее).
Ну пока я игрался в ML я наконец окончательно подсел на Rust, на чём сейчас и зарабатываю на еду.
Telegram
T-34 85 in rust_offtopic
ты из пайтона в раст пришёл?