Какие даты?

6-9 июля

Если в Москве, то можно и сходить

лекторы то точно не приедут

??? @sanjik22

я чет не нашел инфу про это)

а во

можно снять паб и включить трансляцию (но лучше не надо)

Оп-па http://jepsen.io/analyses/postgresql-12.3

Results
In most respects, PostgreSQL behaved as expected: both read uncommitted and read committed prevent write skew and aborted reads. We observed no internal consistency violations. However, we have two surprising results to report. The first is that PostgreSQL’s “repeatable read” is weaker than repeatable read, at least as defined by Berenson, Adya, Bailis, et al. This is not necessarily wrong: the ANSI SQL standard is ambiguous. The second result, which is definitely wrong, is that PostgreSQL’s “serializable” isolation level isn’t serializable: it allows G2-item during normal operation.

кстати, про Jepsen и их новую Elle: а кто-нибудь, кроме них применяет Closure и Isabelle для похожих целей? Кто-нибудь, до вчерашнего дня, слышал про Isabelle? Умеет в него?

да, Isabelle широко известна среди интересующихся корректностью софта. нет, я не умею.

интересно, спасибо - я всё как-то пропустил (вернее как - еще пару недель назад меня пруферы никакие не интересовали, надо подтягиваться)

а в чем отличие от Coq?

Тоже интересно🤔

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

И снова всем привет! Мы продолжаем пилить наши подкасты. На этот раз у нас вышло очень много про кубернетис с GPU: https://soundcloud.com/scalability-camp/scalability-podcast-2