https://news.ycombinator.com/item?id=47497757

Solution Update: This problem has been solved! A solution was first elicited by Kevin Barreto and Liam Price, using GPT-5.4 Pro. This solution was confirmed by problem contributor Will Brian, and will be written up for publication. A full transcript of the original conversation with GPT-5.4 Pro can be found here and GPT-5.4 Pro’s write-up from the end of that transcript can be found here.

Brian’s comments: “This is an exciting solution to a problem I find very interesting. I had previously wondered if the AI’s approach might be possible, but it seemed hard to work out. Now I see that it works out perfectly. It eliminates an inefficiency in our lower-bound construction and in some sense mirrors the intricacy of our upper-bound construction. The matching lower and upper bounds are quite good for Ramsey-theoretic problems, and I’m interested in further understanding why this works out so well.”

CERN осуществил первую успешную перевозку антиматерии на грузовом авто

"Сегодня мы делаем то, чего человечество до сих пор не делало", - заявил немецкий физик Штефан Ульмер, который готовился к такой транспортировке шесть лет в составе команды Европейского центра ядерных исследований CERN. Эта пробная поездка может стать первым шагом к разгадке одной из величайших загадок физики элементарных частиц, комментирует произошедшее программа Tagesschau канала ARD.

На грузовом автомобиле было написано "Antimatter in motion" ("Антиматерия в пути"). 92 антипротона на его борту были помещены в контейнере весом около 850 кг - так называемой "ловушке Пеннинга", которую исследователи разработали специально для этой перевозки. С помощью сверхпроводящих магнитов частицы антиматерии парят в строго контролируемом вакууме, пояснил Ульмер. Большая выбоина на дороге или даже минимальное ДТП могли бы оказаться фатальными для парящих античастиц. Машина двигалась со скоростью 42 км/ч.

Цель пробной получасовой поездки состояла в том, чтобы в итоге транспортировать антипротоны в Университет Генриха Гейне в Дюссельдорфе, где более спокойная магнитная среда позволила бы проводить измерения, которые будут в 1000 раз точнее, чем это возможно в CERN. Европейский центр ядерных исследований расположен на франко-швейцарской границе недалеко от Женевы. Именно там находится Большой адронный коллайдер (на фото) - залегающий на глубине до 175 метров кольцевой тоннель протяженностью 27 км.

@dwglavnoe

+ ZeroInput::MultipleNextReturnZero
+ ZeroInput::MultipleReadsReturnZero
+ ZeroInput::NextReturnsZero
+ ZeroInput::ReadReturnsZero
+ ZeroInput::ReadReturnsZeroOnEmptyBuf
OK: 1305, MUTE: 17
bash-3.2$

Всего час в такси, и 20$ на #LLM, и #std работает еще и под darwin. Я бы портировал дольше и дороже.

А, на минуточку, там сложный lock free код, N:M треды, и высокопроизводительный http сервер поверх.

Меня тут спрашивают, почему я уверен, что он "высокопроизводительный" #std

Я пока серьезно не измерял, но вот какой-то рандомный бенч nginx vs my, через wrk:

# nginx
pg@:~/wrk ./wrk -t8 -c128 -d10s http://127.0.0.1:18081/
Running 10s test @ http://127.0.0.1:18081/
  8 threads and 128 connections
  Thread Stats   Avg      Stdev     Max   +/- Stdev
    Latency   445.00us   72.20us   1.45ms   77.36%
    Req/Sec    35.88k     1.22k   49.93k    95.53%
  2877020 requests in 10.10s, 408.68MB read
Requests/sec: 284856.77
Transfer/sec:     40.46MB

# coro
pg@:~/wrk ./wrk -t8 -c128 -d10s http://127.0.0.1:18080/
Running 10s test @ http://127.0.0.1:18080/
  8 threads and 128 connections
  Thread Stats   Avg      Stdev     Max   +/- Stdev
    Latency   347.55us  226.69us  16.13ms   79.05%
    Req/Sec    47.14k     1.65k   53.34k    71.41%
  3789400 requests in 10.10s, 137.33MB read
Requests/sec: 375183.59
Transfer/sec:     13.60MB

Сервисы сконфигурены максимально похоже - на любой запрос отдают "200 Ok", и все.

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

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

Белый дом официально объявил о запуске сайта OnlyFarms. На OnlyFarms фермеры могут узнать, сколько денег они сэкономили благодаря аграрной политике Трампа.
@ejdailyru

Вот вам "Only Хармс" в ленту

Трамп:
Я президент!
Фермер:
А, по-моему, ты говно!

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

https://github.com/pg83/std/blob/master/README.md

Написал мотивирующий текст к использованию такого подхода к программированию на С++.

Код становится писать сильно проще, падает он реже, и работает значительно быстрее.

По мне так это game changer для разработки на С++.

#std

Вот, убрал валенок на пульте, стало еще быстрее.

pg@:~/wrk ./wrk -t8 -c128 -d10s http://localhost:18080/
Running 10s test @ http://localhost:18080/
  8 threads and 128 connections
  Thread Stats   Avg      Stdev     Max   +/- Stdev
    Latency   244.18us  148.35us  10.96ms   77.60%
    Req/Sec    66.16k     1.18k   68.62k    82.55%
  5318897 requests in 10.10s, 451.45MB read
Requests/sec: 526609.44
Transfer/sec:     44.70MB

Заодно добавил немного лишнего payload, чтобы размер пересланных данных совпал с nginx, так как в комментариях к прошлому посту я отчаялся объяснить, что "linux работает не так".

#std

❗️Российские нейросети востребованы, превосходят и опережают зарубежные сервисы — Мишустин

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

Поздняков. Подписаться

Председатель Совета при президенте России по развитию гражданского общества и правам человека (СПЧ) Валерий Фадеев посоветовал россиянам избегать покупки умных колонок — с целью обезопасить себя от мошенников, пишет РИА Новости.

«Мера очень простая — не надо пользоваться умными колонками. Какие умные колонки? Если вы хотите послушать музыку, ну возьмите диск поставьте. А кричать «Алиса, поставь калинку!» — в этом в общем-то сюрреализм какой-то заключается. Просто не надо покупать колонки — мой совет».

Фадеев добавил, что также «прошла информация» о камерах в пылесосах.

«Ну не покупайте пылесосы, если вы боитесь, что за вами подглядывают. Очень простое решение — веник есть, швабра. <...> Швабра — это средство от подглядывания пылесосом».

https://www.opennet.ru/opennews/art.shtml?num=65102

TL;DR — ISO окончательно утвердили C++26, и язык, ожидаемо, пробил очередное дно сложности, превратившись в абсолютную всратую хрень.

Они затащили туда рефлексию с дикими операторами ^^, контракты и template for, так что теперь время компиляции ваших хеллоуворлдов будет измеряться, видимо, геологическими эпохами. Заодно, для полного счастья, разрешили плодить кучу переменных _ в одном скоупе, чтобы код окончательно стал похож на съехавшую кодировку и write only парашу.

Из реально нужного завезли #embed для бинарников, что, кстати, нормальные языки умеют искаропки уже лет тридцать. Даже С сделал раньше, и, думаю, если бы не реализация в С, то деды из стандарта даже не пошевелились бы по этому поводу.

Как я уже много раз писал #cplpl_doomed - C++ остаётся тем же раздутым болотом, где комитет упорно продолжает лепить неподъемного монстра Франкенштейна, обмазывая его всё новыми слоями спецификаций.

Да, еще туда затащили цельнотянутый (с точки зрения API) BLAS/LAPACK, правда, почему-то без xerbla, и не менее всратую обертку над компиляторными simd интринзиками, наслаждайтесь.

Сайты и сервисы будут исключать из «белых списков» за доступ к ним с VPN, выяснил Коммерсантъ. Минцифры хочет ограничить доступ к VPN без прямых штрафов и требует от платформ перекрыть доступ к своим сервисам с включенным VPN. Компании, которые откажутся, могут исключить из «белых списков», их сервисы перестанут работать при выключенном интернете. Ограничения потенциально могут затронуть все маркетплейсы, соцсети и другие крупные онлайн-сервисы. @bankrollo