Size: a a a

2019 February 12

A|

Ali | dib.one in ББ-чат
Artem K
для контрактов нужна формальная верификация, а не ии. посмотрите например как мейкердао свои контракты тестируют:
http://stablecoin.technology/ (потыкайте на бейджики)
https://makerdao.com/purple/
они не все инструменты еще выложили в паблик, но направление мысли понятно
По первой ссылке тоже Haskell?
источник

AK

Artem K in ББ-чат
источник

A|

Ali | dib.one in ББ-чат
🙏 Благодарю
источник

AV

Andrey Vyakhirev in ББ-чат
есть у кого-то под рукой статья
"сравнение стоимости деплоя и комиссий в Ethereum VS TRON"
+ и - использования одного и второго протокола
источник
2019 February 14

T

TⓇua in ББ-чат
Развлекайтесь
источник

T

TⓇua in ББ-чат
Продолжаю делиться внутренней кухней ЛУН. У нас есть негласное правило «не как все». Стараться искать оригинальное и не брать решения с поверхности.

Реклама вакансии для разработчиков висит в метро на станциях рядом с хорошими техническими универами 🚇

Отгадать ссылку — это только первая часть квеста.
источник

AS

Andrey Sobol in ББ-чат
Это судя по отделке - станция Політехнічний Інститут в Киеве
источник

ST

Sergei Tikhomirov in ББ-чат
TⓇua
Продолжаю делиться внутренней кухней ЛУН. У нас есть негласное правило «не как все». Стараться искать оригинальное и не брать решения с поверхности.

Реклама вакансии для разработчиков висит в метро на станциях рядом с хорошими техническими универами 🚇

Отгадать ссылку — это только первая часть квеста.
Адептам строгой типизации должно зайти
источник

T

TⓇua in ББ-чат
Sergei Tikhomirov
Адептам строгой типизации должно зайти
Там внутри прикольные загадки. Довольно простые, но мне понравились.
источник

A

A527 in ББ-чат
Да, хорошо придумали. Гугл так вроде делал несколько лет назад
источник

M

Max in ББ-чат
источник

PA

Ph.D. Anonymous in ББ-чат
Ali | dib.one
Ребят, можете, пожалуйста, поделиться какими-то материалами про формальную верификацию?
Есть web3 solidity
источник

A|

Ali | dib.one in ББ-чат
Ph.D. Anonymous
Есть web3 solidity
Активно использую, только к чему это? Писать автомитизированные тесты?
источник

A|

Ali | dib.one in ББ-чат
Я больше спрашивал про моделирование и проверку через Haskell, к примеру, как указано выше, или через Klab
источник

M

Max in ББ-чат
BITCOIN CORE - НАЧАЛО ОЧЕРЕДНЫХ РАЗНОГЛАСИЙ ?


В своем твиттере один из разработчиков биткоина LukeDashjr внес предложение  - сделать размер блока биткоина динамическим, и меньшего размера: 300-600 кб, аргументируя это тем, что из-за размера блокчейна уменьшается количество полных нод. Реализовать это предлагает софтфорком в сроки между августом 2019 года и декабрем 2019. Естественно по этому поводу полыхнула жаркая дискуссия. Найденные треды (их много) можете почитать в чате канала. В связи с этим возник вопрос.

Так как эти люди.
1. Прекрасно знают сеть.
2. Могут иметь свои экономические интересы от манипуляций с ее параметрами.
3. Являются ранними инвесторами и не совсем бедными людьми, соответствено средства на манипуляции с сетью у них могут быть.

То
Не является ли столь длительная загрузка мемпула, "иллюстрацией"  аргументов одной из сторон ?. И еще как мы помним BCASH тоже начинался из споров о размере блока и внедрения SegWit. Ждем к концу года еще один "настоящий" биткоин ?
источник

N

Nikita in ББ-чат
Первый абзац нормальный, дальше пошли какие-то теории заговора и рептилоиды
источник

N

Nikita in ББ-чат
Luke Dashjr давно и неизменно выступает против сегвита и говорит, что блоки слишком большие. Вся новость только в том, что недавно об этом заговорили все
источник

AK

Alex Kotov in ББ-чат
Разве размер сейчас не динамический? 1 МБ - это максимум (не считая сигнатур), но может быть и меньше.
источник

DK

Dmitry Khovratovich in ББ-чат
А этот Luke, он крупный майнер? Почему его мнение важно?
источник

N

Nikita in ББ-чат
Вообще, я немного сваливаю вещи в кучу, конечно, но мне непонятна такая риторика. Значит, когда в permissionless биткоине обсуждают какие-то изменения, то это сразу ко-ко-ко, у кого-то там свои экономические интересы и контроль над сетью. Но когда в эфире туда-сюда двигают хардфорки по желанию Виталика и компании, так это типа свободное и независимое развитие сети. Или когда тот же ЕОС полагается на экономические интересы блок-продюсеров и дарует им всю (репрезентативную) власть, то это тоже типа нормально. Где логика?
источник