Виталик Голоенко
Если не пришел дядя с пистолетом, значит предыдущий прошел)
Erik
Хз что другое можно сделать
Igor
Ну тогда половина берет первые 50, другая вторые 50
ну теперь нужно посчитать шансы и они буду удручающие ;)
Igor
там реально прикольное решение посмотри ...
https://youtu.be/wWQ9YdreY9c
Erik
А, может лучше двигаться по одному вправо
Erik
1-50,2-51
Igor
это ничего не дает ... они все будут независимые ...
Igor
т.е шансы каждого будут 50% и при этом все испытания будут независимыми
Erik
Ща в душ схожу и посмотрю
Alexander
https://www.linkedin.com/posts/alexpushkarev_testing-career-selftaught-activity-6954542793646088192-JQU2?utm_source=linkedin_share&utm_medium=android_app поддержите плиз лайком и репостом)
Erik
Терпеть не могу комбинаторику
OleH
Давайте поговорим о такой штуке как switch goto и метках в статически типизированных языках
OleH
Если сейчас здесь есть совсем зелёные новички, я с радостью отвечу на ваши вопросы
Шаман Каган
El
Привет
Кто-нибудь знает гибкую библиотеку управления состоянием в Angular?
Нужно сохранить какие-то массивы, добавить элемент в массив, если его там еще нет, запросы к серверу и тому подобное.
Спасибо
late
Всем привет! Стоит ли майнить на своём пк?
Igor
Давайте поговорим о такой штуке как switch goto и метках в статически типизированных языках
А каким боком операторы ветвления связанны с типизацией?
OleH
А каким боком операторы ветвления связанны с типизацией?
Потому что я не кодил на динамически типизированных языках
Дмитрий
Всем привет! Стоит ли майнить на своём пк?
А не возникало вопроса «стоит ли майнить вообще»?😁
Andrii
Давайте поговорим о такой штуке как switch goto и метках в статически типизированных языках
Он же паттерн матчинг и вьюшки в строгих статически типизированных фукнциональных языках?
OleH
Он же паттерн матчинг и вьюшки в строгих статически типизированных фукнциональных языках?
Ты про раст и хаскель?
OleH
Так ЯП называется в CoQ
А функциональные языки в какой сфере популярны кста?
Часто слышу тезис мол для полной функциональности, мощностей нехватает
Сидредин
Давайте поговорим о такой штуке как switch goto и метках в статически типизированных языках
Хочешь поговорить об этом?
Сидредин
OleH
m700
Andrii
А функциональные языки в какой сфере популярны кста?
Часто слышу тезис мол для полной функциональности, мощностей нехватает
Мощностей хватает, ума не хватает :) В целом обычно вакансии связаны с финтехом больше...
Или вот видел такое, прямо вакансия мечты :)
Qualifications
- MSc in Computer Science, Mathematics, Physics, or equivalent
- Excellent communication skills in written and spoken English
Desired qualifications: One or more of
- Ability to program in functional languages such as Haskell or ML
- Experience with quantum computing
- Experience with type theory
- Experience with proof assistants such as Coq or Agda
This project is part of QuantumStack, a 5-year project funded by the Swedish Foundation for Strategic Research, with the aim of developing a full software stack for programming quantum computers. The project is integrated with the Wallenberg Centre for Quantum Technology (WACQT), a 12-year, billion-SEK initiative started in 2018 with the purpose of advancing Swedish academia and industry to the forefront of quantum technology, and to build a Swedish quantum computer.
OleH
Шведский квантовый компьютер, нат бэд
Andrii
Шведский квантовый компьютер, нат бэд
Chalmers University of Technology
вообще место сосредоточения силы, связанное c верифицированием, и т. п. Скажем, когда у меня возникла одна из идей стартапа ЯП с зависимыми типами для смарт-контрактов (в блокчейне), то я быстро наткнулся на статью авторов оттуда, где для этой цели предлагалось написать backend на Idris.
Сидредин
Кстати, на чём застопорилось развитие квантовых компьютеров?
Andrii
Кстати, на чём застопорилось развитие квантовых компьютеров?
Особо не на чём, двигается понемногу. Вопрос больше в том, что на них полезного считать? Ну ладно, можешь там фактроризацию делать... Но это большая специфика. Во-вторых, не так много разрабов, которые могут что-то сделать... Лично я мечтал в сторону каких-то генетических алгоритмов, только с кубитами вместо битов, как по мне это может сделать мнообразие решение более гладким и упростить оптимизацию...
Robert
А я думал, там Жан-Клод вам Бан.
Сидредин
Особо не на чём, двигается понемногу. Вопрос больше в том, что на них полезного считать? Ну ладно, можешь там фактроризацию делать... Но это большая специфика. Во-вторых, не так много разрабов, которые могут что-то сделать... Лично я мечтал в сторону каких-то генетических алгоритмов, только с кубитами вместо битов, как по мне это может сделать мнообразие решение более гладким и упростить оптимизацию...
Много чего можно же. ИИ будет намного быстрее, например
Andrii
Много чего можно же. ИИ будет намного быстрее, например
Не знаю, не уверен... Что такое ИИ? Да, там есть алгоритмы обучения, но они требуют QRAM, а это отдельная песня, надо смотреть, если ли прорывы
Сидредин
Сидредин
На обучение моделей иногда уходят часы
Andrii
Нейросети, например
А вот как они связаны? Есть алгоритм обучения нейросетей? И сколько надо кубит? Квантовый компьютер это не просто увеличение скорости, это ещё и куча ограничений.
Сидредин
А вот как они связаны? Есть алгоритм обучения нейросетей? И сколько надо кубит? Квантовый компьютер это не просто увеличение скорости, это ещё и куча ограничений.
Я пока смутно разбираюсь в этих темах) А что за ограничения?
Andrii
Я пока смутно разбираюсь в этих темах) А что за ограничения?
Основные ограничения это количества бит, которое измерчется пока что на тысячи, а современные нейронки это гигабайта. Далее, обычные алгоритмы в квантовом мире не работают. Это не просто взял алгоритм, запилил его на QPU и получил буст. На практике надо придумать (а это нетривиально) и написать совершенно другой алгоритм. Да, есть алгоритмы решения системы линейных уравнений, тот же HHL, но там свои нюансы...
Да, по QML куча статей, тема популярна, но... она очень сильно далека от практики. В духе, если у нас есть квантовый компьютер с неограниченным количеством кубитов, QRAM, и т. п., то мы у-у-ух!
Andrii
На обучение моделей иногда уходят часы
Часто уходят недели и месяцы, но какая тут проблема? То, что обучается год на одном PC, обучится за день на 400-х, вопрос цены :)
Сидредин
Andrii
Тоже верно) Спасибо)
Интереснее получить качественно новые результаты, потому что сейчас часто нейронки выходят на плато. Есть интуитивная моя чуйка, что при той же архитектуре можно повысить точность моделей за счёт более интересных методов обучения... И может тут квантовое представление будет заходить лучше. Я вот в своё время фантазировал, а что если веса в нейросети сделать комплексными? Или кубитами?
eye=x×s²
мб квантовая физика ворота перед изобретением искусственного человеческого мозга
Нmmm
мб квантовая физика ворота перед изобретением искусственного человеческого мозга
а тем временем люди думают что Леха это Александр
Сергей
Сидредин
Сидредин
Сергей
Проверил по гитхабу, ничего!
Сидредин
Сергей
Сидредин
Сергей
https://github.com/Kovpak81/Task6_8/tree/master/task5
Сергей
так пойдет?
Сидредин
да👍
Сидредин
https://github.com/Kovpak81/Task6_8/tree/master/task5
так ты же переходишь на другую страницу)
Сидредин
когда нажимаешь на кнопку - тебе перенаправляет на другой адрес, где должна произойти обработка данных с формы
Сидредин
там в консоль выводится то, что ты ввёл. Но оно исчезает быстро, так как ты переходишь на другую страницу. Тебе надо убрать переход
Вадим
Ребят, хелпоните. Не могу понять что ха хрень, класс String пропал с jdk, не находит методы и все остальное, даже когда импорт делать стандартной либы, хотя вчера работал и норм было
Vova