What TLA+ can and can't check
Перевод готовится · пока описание источникаГрафик появится после повторных замеров. Текущий показатель уже получен из источника.
10 очков источникаТолько реальные замеры. История до подключения источника не восстанавливается.
Текст задает философский вопрос о последствиях не помощи друг другу.
4 дня назадLobstersПриложение 'Conversations' перешло на бесплатную модель, больше не требующую Google Play для распространения.
6 дней назадGitHubРуководство по улучшению жизни с рекомендациями, основанными на доказательствах, упорядоченными по соотношению цены и качества, охватывающими долголетие, первую помощь, бюджетирование, правовые границы, безработицу, медицинское страхование, отношения, беременность, предпринимательство и международные навыки. Каждая запись включает стоимость, выгоды, уровень доказательств и оригинальные источники, цитируя только рецензируемые журналы и официальные документы.
23 дня назадHacker NewsСтатья задается вопросом, когда Google начал проявлять необычное или неожиданное поведение.
позавчераHacker NewsF-Droid 2.0 — это обновление платформы F-Droid, которая является репозиторием бесплатных и открытых приложений для Android.
6 дней назадHacker NewsСмешной инструмент, использующий лигатуры OpenType для объединения шрифтов, работающий быстро на стороне клиента за счет загрузки Python в WASM.
6 дней назад