Всем привет!

Рады пригласить вас на следующее выступление в рамках бесплатных открытых лекций компании JetBrains.

Ближайшая встреча – 9 февраля, 6:30 pm, **Antwork Coworking Limassol

__Programming Language Memory Models: Problems, Solutions, and Directions. A talk by Anton Podkopaev

__**Язык встречи: английский. Для участия, пожалуйста, зарегистрируйтесь.

Добавить в календарь

**Подробнее о лекции и авторе:
**Due to compiler and hardware optimizations, modern programming languages do not provide sequential consistent memory models. Instead, they have weak memory models that allow for more behaviors. Such memory models have to find the balance between performance and the guarantees provided to software developers, or, put another way, the balance needed is actually between performance and sanity.
In this talk, we’ll introduce weak memory concurrency, consider requirements imposed on programming language memory models, examine those used by industry (C11 and Java), including their drawbacks, and then discuss solutions proposed by the academic community. We’ll conclude with a discussion on how to choose the best memory model for your language or VM, depending on your requirements.

Anton Podkopaev is the head of the Programming Languages and Tools Lab at JetBrains Research.
He was a postdoc at MPI-SWS after getting his PhD at St. Petersburg State University.
Anton works on rigorous mathematical specifications and proofs for realistic concurrency systems, including CPU architectures, such as x86, ARM, and Power, and languages like C/C++, Java, and JavaScript. His professional interests include proving compiler correctness, verifying concurrent algorithms in weak memory models, mechanizing proofs in interactive theorem provers, and functional programming.

До встречи!

6 февраля в Лимассоле менеджеры, предприниматели и владельцы бизнесов смогут прокачать свои навыки, получить полезную информацию и обрести новые знакомства. Поможет им в этом миллиардер Игорь Рыбаков. Хотите от жизни большего, готовы работать над этим и согласны, что успех приходит к настойчивым? Смело присоединяйтесь: вас ждут единомышленники, новые идеи и заряд энтузиазма, с которым любые достижения будут по плечу. Игорь расскажет про концепцию экспоненциального бизнеса, применив которую, можно достичь больших успехов в улучшении качества жизни. Выходить с мероприятия будем с широкими улыбками и амбициозными планами!Встреча пройдет в отеле Crown Plaza в Лимассоле. Зал “The Ballroom" — это отдельный вход слева от главного. Для гостей предусмотрена парковка. Начало в 14:00 Стоимость билета 50€ (оплата на входе наличными) или на https://www.soldoutticketbox.com/art-business-summit-fortune-2050/?lang=en После общей встречи — собираемся на VIP ужин в ресторане Columbia Beach. Билет на закрытый ужин включает себя вход на основное мероприятие и стоит 250€ (оплата также наличными на входе) или https://www.soldoutticketbox.com/art-business-summit-fortune-2050/?lang=en

Что будет на мероприятии:

**13:00 - 14:00 - регистрация и покупка билетов
14:00 сбор гостей, фуршет
14:50 слово Лидера X10 Кипр Дмитрия Смирнова
15:00 Визионерский мастер класс Игоря Рыбакова «Основы экспоненциального роста в бизнесе и жизни»
16:00  Networking & кофе
17:00 - 19:00  Игорь Рыбаков, Дмитрий Смирнов и известные предприниматели проводят Круги в формате X10nation
20:00 Игорь Рыбаков и Дмитрий Смирнов приглашают на X10 Кламп и закрытый ужин лидеров X10 Клампов и VIP гостей
**
Не планируйте ничего на 6 февраля. Вашему бизнесу это понравится!

При оплате наличными заполните форму https://docs.google.com/forms/d/e/1FAIpQLScyMmjw0nzZvg7Z_cZvBhOK9XIrcb_NSYcbGzsPHiJjEZaZhQ/viewform?usp=sf_link

Всем привет!

Подскажите пожалуйста какой-нибудь спа центр (можно при отеле), желательно в горах
Поиск по чату дал только варианты с заселением в отель и/или покупкой программы с различными процедурами

Хотелось бы приехать с утра в выходной день и провести время в бане/сауне/бассейне и т.д., а вечером уехать без заселения

Самый крутой в горах Casale Panayiotis Hotel&Spa
Не в горах Colambia beach resort в Писсури

Всем привет.
Рады поделиться очередным мероприятием в мире информационной безопасности и, конечно же, ИТ.
23 февраля, на острове пройдет первый митап из серии OWASP Chapter Limassol.

Здесь все про процессы в мире безопасной разработки, новые техники атак и много личного опыта от спикеров и гостей мероприятия.
Еда, напитки, мерч, душевные разговоры – все включено!
Регистрация по ссылке.
До встречи!

Ищем специалиста по строительству выгребных ям (septic tank) для частных домов и сопутствующему бурению земли. Просьба обращаться в личку.

Подскажите пожалуйста, кто летал через Тель-Авив с пересадкой? Долго ли проходить контроль? Хватит ли прибыть в аэропорт за 2 часа? Багажа нет.

Вам в Полётный чат.
Там десятки разных кейсов успешных и не очень.
Ссылка в первом закрепе.

Всем привет! не подскажете, есть ли какие-то профильные чаты по поиску сотрудников на Кипре?

Ссылка в первом закрепе...

благодарю, проглядела. извините :)

@cylaw

Всем привет

Вижу в чате, что часто указывают amazon.de

Есть ли разница между .fr .es и другими?

Можно посмотреть в чате про посылки. De сейчас шлёт сюда только курьером, если не ошибаюсь.

разница в доставке, часто продукты просто физически не доставляют на Кипр. Ещё есть UK, я оттуда кое-что заказывала, но стоимость доставки высокая

Да. Разные товары, разные цены.

Еще нужно учитывать что на любом амазоне цены и ассортимент зависит от адреса доставки покупателя. При заказе на посредника в германии у амазлна де цены могут быть ниже, а выбор больше.

Всем хай , а есть у кого проблемы с вай Фай сито домашним в Ларнака , хочу узнать это у меня только или ещё у кого то ?

Посмотрите плиз в чате про интернет. Там обычно такие обсуждения активно идут.
Ссылка в первом закрепе.

нет, но для этого надо зайти в тематический чат....
Список в первом закрепе...

Так молния в вышку центральную попала, обождите смены маршрута...

, грохот был такой что я ах....ел и не выху...л обратно

Попил пивка под сериальчик

Это от вас в Никосию звук грома прилетел?

Похоже на то, дом подпрыннул...

В Никосии распогодило 🥰

Взял в нём ботинки и доску - 30 евро с человека. Никаких очередей. Арендатор - адекватный мужик. Ботинки суперские с крутилками. Я даже не думал, что всё будет в таком отличном состоянии. Большой выбор. Вобщем рекомендую!

Закиньте в личку пожалуйста где конкретно взяли снарягу, буду очень благодарен!)

Всё в закрепе в сноубордическом чате.

Да, я видел, не был уверен, что именно там вы взяли) спасибо)

А что за чат про посылки?

В первом закрепе

В описании этого ссылка на все остальные

а подскажите - какие моники себе берете? я по жизни привык к dell на 24 дюйма, но тут это походу не самый популярный вендор…

Как раз деллы и беру последние лет 8. Есть куча их в ComputerUniverse

Иияма очень хороши

Брал последний раз UP серию, с калибратором и козырьком

а это же местный магазин - это доставка, так?

моники они вообще нормально привозят?

Это Германия. Но пришло почтой по воздуху за 10 дней. Можно UPS'ом привезти. Подороже вдвое будет

спасибо, наверное я так и сделаю. просто 14 лет сижу на деллах и другой жизни никогда не знал )))

Но, емнип, 4k на 24" у них нету. 2560х1440 максимум для 24"

Да на 24 дюйма больше 2к вроде и не нужно. Даже FHD вообще норм.

Мне 24" FHD больно зернистым был, поэтому ушел на 4k и 27"

4к на 27-28" - более чем годно
еще на кронштейн его - и поверх ноутбука, огонь просто

Двухголовый кронштейн тож огонь ) И два 27"-32"

у меня два не подключить ))
а с одним получалось вполне годно

Придет второй моник на днях и двухголовая рука - скину фоточку )

буду завидовать ))) два, конечно, лучше, но моя машинка в два не умеет, увы

Мне как раз в два надо, и не на ноуте, а на стационаре

да уж тоже подумываю о стационаре... но дорого блин!

топовый стационар по деньгам не сильно уйдет от топового ноута)

Ноут не тянет мои задачи..

Раза в два у мну ушло ) 128 гигов рамы + 7950х + 4 сигейта NVMev4

задачи разные бывают, да
мой мои пока тянет :)
но два моника - это прям замануха

ну, у меня эппл онли, работа такая :)

На эппле мой софт не работает.. И CUDA c OpenCL тоже не хочет. Так что мимо

а мой можно писать только на эппле )
у меня попроще, без дата-сатанизма, просто мобилки )))

У мну просто фоточки. Астрофоточки

ну, всяко числодробилки )
у меня айос

Тредриппер, конечно, скорость бы повысил, но не кратно повышению стоимости сетапа )

Но всякие AI приколюхи норм на видяхе с CUDA взлетают. Раз в 50-100 быстрее, чем на проце. Никогда бы не подумал, что для астрофоточек потребуется видяха

такой ноут еще и раза в 2 дороже стационара будет :D
я сам на 7950X сижу впрочем, но остальной конфиг послабже
Ну и ноут есть на ryzen 7 5800H + RTX 3060 :)

я как вспомню, сколько в древности кристалл расшифровывался... по 10-12 тысячам точек... на двухбашковом П2-450 )))... романтика!

Таких ноутов я не нашел в продаже весной. Максимум наковырял с 48 гигами рамы..

C 64 точно есть игровые Asus серии zephyrus и воркстейшн Dell XPS, но цены на них мягко говоря негуманные)

Вот зефируса и нашел с 48 гигами

https://www.computeruniverse.net/ru/p/90894285 только с такой ценой проще 2 стационара купить)

Ну не, мой стационар вышел в 8к. Без мониторов. Чисто системник. Там же

Это у тебя как то жестко, у меня с мониторами и без замены видеокарты вышло 3200, ну добивка ОЗУ еще 300 + 3х300 выйдут ссд, все равно около 4-5к

7950x+128 рамы + 1TB+3x4TB Seagate 530+ вода+ бп на полтора киловатта + 4080 Ti

И моники с рукой еще на 6к...

Видимо ссд оч много накидывают, у меня 7950х+64 озу+ самс 980 про 2тб + вода , только видюха старая осталась, это еще 1к+ накинет к стоимости)

Гнусмасы меееедленные ) И 64 гига рамы в моем случае - уже склероз ) Ну и моники с идеальной цветопередачей тож нужны

Там разница то процентов 10-15, скорее уже нужно в сторону PCIe5.0 смотреть тогда)
Тем более у меня это больше игровой комп, там и 64 озу в запасом, да и ссд не самое слабое звено)

Наверняка для hardware-порно существует свой отдельный чатик

В моем случае уже критично. Гнусмас vs сигейт - 2 раза в скорости. 128 гигов рамы - больший объем данных параллельно обрабатывается. Еще +15%

Не нашел

Ну эт не повод разводить здесь подобное

А это не IT чат разве?

гугл коллаб. не благодарите :)

@olegcyprus , пожалуйста, рассудите, IT здесь чат или нет

дайте поспать человеку изверги :)

А там запустится Pixinsight?

там есть консоль... можно ставить что захочешь

Консоль виндовая с OpenCL и CUDA?

линуксовая.

Там разница реально небольшая, сигейт лучше в sequential и хуже в random, но и там и там разница процентов 15 по тестам)

А вот память да, влиять в вашем случае будет сильно, у меня такого нет просто, чтобы столько поюзать (локальный k8s кластер даже столько не выжирает)

Ага, в ASCII графике фоточки крутить прикажете?

нет конечно, нужно купить супер дорогой ноут, чтобы раз в неделю пару часов гонять астрофотки :)

3-6 часов ежедневно ) И не только астрофотки

там походу на электроэнергию уже ушло больше чем ноут стоит :)

Ушло и ушло ) У каждого свои задачи и потребности

это понятно, но под такие задачи напрашивается какое-то облако в стране с дешёвой электроэнергией.

У меня не SETI@home, чтобы требовалось облако, когда обычный десктоп это тянет

Но займусь учетом электроэнергии и сообщу, когда комп потратит ее больше, чем стоит сам ) (10 ойро в сутки не жалко)

кто-то на обычном десктопе и битки майнит. вопрос в целесообразности. но с вашими задачами и так сойдёт, больше уйдёт времени на поиски сервиса, в котором можно запустить вашу программу и при этом платить меньше.