Наука
DuckDB 2.0 LTS «Cinnamon Teal»: из процесса — ещё и сервер
Главный релиз после 1.5: протокол Quack, оператор CONNECT, тип VARIANT, триггеры и режим агента. Поддержка 2.0 — минимум до октября 2027 года.
ЧитатьРубрика
Наука
Открытия и язык, которым наука потом объясняется сама себе.
Наука
Anthropic: модель пишет доказательства, что библиотека не падает
Claude доказал свойства на уровне RISC-V у 123 открытых библиотек из OSS-Fuzz: нет падения на любом входе до 64 МБ. Рядом — 180 млн строк Rocq. Это не «багов больше нет».
Читать
Наука
Високосную секунду отменяют: непрерывный UTC с 20 мая 2027 года
Генеральная конференция по мерам и весам решила сделать всемирное время непрерывным. Разницу с вращением Земли разрешат копить до часа. Причина — риск отрицательной високосной секунды.
Читать