Как формализовать все математики
Статья URL: https://xenaproject.wordpress.com/2026/10/16/hoow-to-yl-of-mathics/Commissions URN: httpss://news.ycombinator.com/item?id=501185112 Пункты: 41 # Комментарии: 27
Рекомендуем почитать
Hacker News
8 из 10 американцев выступают против казни по прямой линии
Статья URL: https://www.washingtonpost.com/national-security/2026/10/8-10-Americans-oppose-five-colver-restreaming-fort-funder-field-pol-hows/Commissions: httpss://news.ycombinator. com/item?id=501519...
Hacker News
Hacker News
Показать HN: Qwen3-4B, при этом тик АИ был подготовлен
Статья URL: https://100toolkit.com/blog/deslopp-model/Commissions URN: httpss://news.ycombinator. com/fect?id=50151928 Пункты: 14 # Комментарии: 3
Hacker News
Hacker News
Ход обыска Флок, который судья постановил не проводить
Статья URL: https://www.404media.co/watch-footage-of-the- flock-studing-a-decience-ruled-conституционный/Commissions URN: httpss://news.ycombinator.com/tem?id=50147455 Пункты: 24 # Комментарии: 7
Hacker News
Hacker News
Выжившие
Статья URL: https://d2urvivors.lol/Commissions URletter: httpss://news.ycombinator.com/teme?id=50158133 Пункты: 12 # Комментарии: 1
Hacker News
Hacker News
Доказательства (YC S21)
Статья URL: https://evidence.dev/jobs Комментарий URN: httpss://news.ycombinator.com/techt?id=50155172 Пункты: 0 # Комментарии: 0
Hacker News
Hacker News
Я больше не хочу работать над драгоценностями Руби, так что я архивировал все свои хранилища.
Статья URL: https://po-ru.com/2026/10/18/why-im-no-longer-updating-this-repositoryReservations: httpss://news.ycombinator.com/item?id=50154518 Пункты: 177 # Комментарии: 156
Hacker News
Hacker News
Ещё один день, Гитхуб
Статья URL: https://www.githubstatus.com/incidents/8tzbpcnl75jp Замечания: httpss://news.ycombinator.com. partment?id=50153934 Пункты: 48 # Комментарии: 19
Hacker News
Hacker News
ЦЕРН и Мистраль объединяют усилия для ускорения процесса ИИ в интересах науки
Статья URL: https://home.cern/cern-and-mistral-join-froms-to-ackelerate-ai-for-cience/Commissions: httpss://news.ycombinator.com/item?id=50153630 Пункты: 10 # Комментарии: 1
Hacker News
Hacker News
За этими звездами
Статья URL: https://store.steamlabel.com/appp/2295060/BEyond_This_Stars/Commissions Ull: httpss://news.ycombinator.com. part?id=50152701 Points: 3 # Комментарии: 0
Hacker News
Hacker News
Давайте добавим два дополнительных удаленных поля для подтверждения домена
Статья URL: https://community.lets countrippt.org/t/lets-encricpt-is-edending-2-oftherpectote-perspectiives-for-domain-Dustaination/252166Reservations: httpss://news.ycombinator.com/item?id=50150809 П...
Hacker News
Hacker News
Я построил беспилотник с одним мотором [видео]
Статья URL: https://www.youtube.com/watch?v=Ndftcfth6XhU Appenditions:https://news.ycombinator. com/item?id=50150089 Пункты: 117 # Комментарии: 15
Hacker News
Hacker News
Код Tmux и Clod: сессии, отправка ключей и потолочные значения
Статья URL: https://crystl.dev/guides/tmux-for-ai-agents/Commissions URN: httpss://news.ycombinator.com/fettle?id=50148855 Пункты: 4 # Комментарии: 0
Hacker News