https://mathstodon.xyz/@tao/115591487350860999
"Over at the Erdos problem website, AI assistance is now becoming routine", пишет нам некто Terence Tao!
"Over at the Erdos problem website, AI assistance is now becoming routine", пишет нам некто Terence Tao!
Mathstodon
Terence Tao (@tao@mathstodon.xyz)
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 :
1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second…
1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second…
🤔12👍7✍4💩2🆒1
https://habr.com/ru/articles/965452/
Классный (и довольно злой) текст про современные кодеки.
Из него я узнал, что, сюрприз-сюрприз, кодек != стандарт кодирования, и что для одного и того же стандарта, например, H.264, существуют проприетарные реализации кодеков, которые в разы эффективнее по bitrate, чем их open source baseline.
Поэтому, если вы внутри не пилите такой кодек, то вы заранее проиграли в конкурентной борьбе тем, кто пилит, потому что у них затраты на инфру меньше, а 4К стримится быстрее.
Классный (и довольно злой) текст про современные кодеки.
Из него я узнал, что, сюрприз-сюрприз, кодек != стандарт кодирования, и что для одного и того же стандарта, например, H.264, существуют проприетарные реализации кодеков, которые в разы эффективнее по bitrate, чем их open source baseline.
Поэтому, если вы внутри не пилите такой кодек, то вы заранее проиграли в конкурентной борьбе тем, кто пилит, потому что у них затраты на инфру меньше, а 4К стримится быстрее.
Хабр
Прогресс видеокодеков и большое сравнение российских видеосервисов
Год назад на конференции VideoTech ваш покорный слуга сделал большой доклад, в том числе про прогресс современных метрик качества видео (которыми мы довольно плотно занимаемся: тык , тык , тык , тык ,...
👍22🔥12😱6❤4👏2🤔2
Forwarded from lobste.rs
Daniel Lemire's blog
How good are Chinese CPUs? Benchmarking the Loongson 3A6000
I maintain a few widely used libraries that have optimized code paths based on the specific processor being used. We started supporting Loongson processors in recent years, but I did not have access to a Loongson processor until now. To my knowledge, they…
👍6🔥5🏆5
commit -m "better"
The libinput input handling library that's used by both X11 and Wayland based environments on the Linux desktop is preparing to introduce a Lua-based plug-in system. Via Lua scripts it will be possible to modify evdev input events / input device behavior to deal with quirky/broken input devices and better workaround other problems that aren't currently easily addressabl
Phoronix
libinput 1.30 Released With Support For Writing Plug-Ins In Lua
Red Hat's leading Linux input expert Peter Hutterer released libinput 1.30 today as the newest update to this input handling library used on both X.Org and Wayland desktops.
👍19😱4🆒2
commit -m "better"
Бывший коллега посвятил мне целую софтину!
"Mudyla - Multimodal Dynamic Launcher"
"Based on some ideas from Grandmaster (our build tool which is currently under development) and ix package manager"
"Mudyla - Multimodal Dynamic Launcher"
"Based on some ideas from Grandmaster (our build tool which is currently under development) and ix package manager"
Тулза от того же коллеги - https://news.ycombinator.com/item?id=46025223
С неймингом у него явные проблемы.
Пытаемся с ним бутстрепнуть java в #ix, он дотягивает, с помощью clode и codex, jikes (https://github.com/daveshields/jikes, очень старый компилятор java, который написан не на java, как все остальные, а на с++), до уровня java 6, или, если получится, 7.
У #java очень хорошие тесты, которые интегрированы в agent loop, поэтому, возможно, идея не такая дикая, как кажется.
С неймингом у него явные проблемы.
Пытаемся с ним бутстрепнуть java в #ix, он дотягивает, с помощью clode и codex, jikes (https://github.com/daveshields/jikes, очень старый компилятор java, который написан не на java, как все остальные, а на с++), до уровня java 6, или, если получится, 7.
У #java очень хорошие тесты, которые интегрированы в agent loop, поэтому, возможно, идея не такая дикая, как кажется.
😁16🙈10🔥6🤔3🤡2💊2❤1
Forwarded from Банкста
Европарламент одобрил интернет по паспорту под видом защиты детей. Он проголосовал за запрет соцсетей для лиц младше 16 лет. Доступ может быть разрешен с 13 лет с согласия родителей.
483 депутата проголосовали «за», 92 — «против». Теперь людям, вероятно, придётся использовать удостоверения личности для входа в свои профили, что сделает анонимные аккаунты невозможными. Закон принят с подачи Дании и Франции.
Проект продвигают глобалисты. Аналогичный закон начнет действовать в Австралии уже с 10 декабря. Северная Корея пришла в Европу очень быстро. @banksta
483 депутата проголосовали «за», 92 — «против». Теперь людям, вероятно, придётся использовать удостоверения личности для входа в свои профили, что сделает анонимные аккаунты невозможными. Закон принят с подачи Дании и Франции.
Проект продвигают глобалисты. Аналогичный закон начнет действовать в Австралии уже с 10 декабря. Северная Корея пришла в Европу очень быстро. @banksta
🤡55👏7👍6😁4😱3🤬2🔥1
Forwarded from 4chan
This media is not supported in your browser
VIEW IN TELEGRAM
Знание разблокировано: теперь вы знаете, что происходит, когда вы задаёте ChatGPT тупой вопрос
😁57🤣6🐳4💊1
Будни #bootstrap
Тем временем, начал повторять цепочку из https://bootstrappable.org/projects/java.html
"In Guix the #Java bootstrap begins with Jikes, a Java compiler written in C++. We use it to build a simple version of GNU Classpath, the Java standard library. We chose version 0.93 because it is the last version that can be built with Jikes. With Jikes and this version of GNU Classpath we can build JamVM, a Java Virtual Machine. We build version 1.5.1 because it is the last version of JamVM that works with a version of GNU classpath that does not require ECJ. These three packages make up the bootstrap JDK"
Совершенно потрясающее ощущение, когда компилятор из 2008 года компилирует код из 2006 года, все это запускается в VM от 2007 года, и это, в итоге, начинает РАБОТАТЬ!
Тем временем, начал повторять цепочку из https://bootstrappable.org/projects/java.html
"In Guix the #Java bootstrap begins with Jikes, a Java compiler written in C++. We use it to build a simple version of GNU Classpath, the Java standard library. We chose version 0.93 because it is the last version that can be built with Jikes. With Jikes and this version of GNU Classpath we can build JamVM, a Java Virtual Machine. We build version 1.5.1 because it is the last version of JamVM that works with a version of GNU classpath that does not require ECJ. These three packages make up the bootstrap JDK"
pg:home# /ix/...ne0-bin-jamvm/bin/jamvm \
-Xbootclasspath/p:/ix/...Vn5-bin-gnu-classpath-93/share/classpath/tools.zip \
gnu.classpath.tools.jar.Main --help
!Main.Usage!
!Main.OpMode!:
-c !Main.Create!
-x !Main.Extract!
-t !Main.List!
-u !Main.Update!
-i !Main.FileArg! !Main.Index!
!Main.OpMods!:
-f !Main.FileArg2! !Main.ArchiveName!
-0 !Main.NoZip!
-v !Main.Verbose!
-M !Main.NoManifest!
-m !Main.ManifestArgName! !Main.ManifestName!
!Main.FileNameGroup!:
-C !Main.ChangeDirArg! !Main.ChangeDir!
!Parser.StdOptions!:
--help !Parser.PrintHelp!
--version !Parser.PrintVersion!
-J!ClasspathToolParser.JName! !ClasspathToolParser.JArgument!
Совершенно потрясающее ощущение, когда компилятор из 2008 года компилирует код из 2006 года, все это запускается в VM от 2007 года, и это, в итоге, начинает РАБОТАТЬ!
bootstrappable.org
From C++ to Java
👏33🥴10❤8🦄6👍3🔥3🙈2🥰1🤷1
commit -m "better"
Луддиты атакуют!
www.opennet.ru
В KDE Plasma 6.8 решено прекратить поддержку X11
Проект KDE принял решение прекратить поддержку протокола X11 в выпуске KDE Plasma 6.8, запланированном на начало 2027 года. После этого KDE Plasma будет содержать только сеанс для работы с использованием протокола Wayland, возможность запуска X11-приложений…
👍11🤔7❤3👎3😢1
https://www.opennet.ru/opennews/art.shtml?num=64331
Может, это смешно, но рубленая эстетика motif лично мне нравится больше всех остальных GUI, я себе так всегда настраивал KDE, и window manager у меня всегда был MVM https://ru.wikipedia.org/wiki/Motif_Window_Manager
Жалко, что сейчас это все невозможно.
Может, это смешно, но рубленая эстетика motif лично мне нравится больше всех остальных GUI, я себе так всегда настраивал KDE, и window manager у меня всегда был MVM https://ru.wikipedia.org/wiki/Motif_Window_Manager
Жалко, что сейчас это все невозможно.
❤23🤔5👍2🔥2🆒2🤮1
https://medium.com/@anwarzaid76/agi-is-not-possible-even-in-10-years-013a1aec0d9c
"And here’s what I think gets lost in the AGI hype: we don’t actually need AGI for AI to be transformative. The current generation of AI tools, despite their limitations, are already changing how people work, create, and think. A system that’s incredibly good at some things and terrible at others can still be enormously valuable"
"And here’s what I think gets lost in the AGI hype: we don’t actually need AGI for AI to be transformative. The current generation of AI tools, despite their limitations, are already changing how people work, create, and think. A system that’s incredibly good at some things and terrible at others can still be enormously valuable"
Medium
AGI is not possible even in 10 years
Every few months, we hear another confident prediction: AGI by 2026, superintelligence by 2027. The CEOs of major AI companies paint a…
😁23👍11🤔5🤡3🆒1
commit -m "better"
Тем временем, начал повторять цепочку из https://bootstrappable.org/projects/java.html
pg:home# /ix/store/.../bin/jamvm -jar /ix/store/.../share/ecj-bootstrap.jar
Eclipse Java Compiler v_686_R32x, 3.2.2 release
Copyright IBM Corp 2000, 2006. All rights reserved.
Usage: <options> <source files | directories>
If directories are specified, then their source contents are compiled.
Possible options are listed below. Options enabled by default are prefixed
with '+'.
Штош, у меня есть Eclipse #Java Compiler!
🔥37👍8❤4👀2
У нас в компании регулярно проходит внутренный CTF.
Я был очень удивлен, и орал в голосину, когда узнал, что я стал героем ажно трех задач с этого CTF:
http://ix-basic.yactf.ru/
http://ix-silver.yactf.ru/
http://ix-platinum.yactf.ru/
(ipv6 only хосты!)
Все три основаны на IX, и первые две основаны на паре моих совсем уж хулиганских статей:
https://medium.com/@anton_samokhvalov/static-linking-considered-useful-c25300c46e3d
https://medium.com/@anton_samokhvalov/rustless-sudo-exploring-secure-alternatives-for-suid-binaries-4e46391de292
А вот разгромный разбор от автора этих трех задач - https://github.com/dfyz/ctf-writeups/blob/master/yactf-2025/README.md
С кучей интересных ссылок на тему.
По поводу ASLR - у меня, конечно, можно собрать любой бинарь в pic/pie режиме, это вопрос одного флага в command line, скорее, это выбор дефолтного поведения, а не какой-то недостаток в статической сборке.
Заодно стало понятно, зачем коллега запилил порт asan под musl + статическую линковку - https://xn--r1a.website/it_pg_talks/59017.
Подгон, конечно, совершенно шедевральный!
Заcим откланиваюсь, всегда ваш, гордый владелец "the IX company"!
Я был очень удивлен, и орал в голосину, когда узнал, что я стал героем ажно трех задач с этого CTF:
http://ix-basic.yactf.ru/
http://ix-silver.yactf.ru/
http://ix-platinum.yactf.ru/
(ipv6 only хосты!)
Все три основаны на IX, и первые две основаны на паре моих совсем уж хулиганских статей:
https://medium.com/@anton_samokhvalov/static-linking-considered-useful-c25300c46e3d
https://medium.com/@anton_samokhvalov/rustless-sudo-exploring-secure-alternatives-for-suid-binaries-4e46391de292
А вот разгромный разбор от автора этих трех задач - https://github.com/dfyz/ctf-writeups/blob/master/yactf-2025/README.md
С кучей интересных ссылок на тему.
По поводу ASLR - у меня, конечно, можно собрать любой бинарь в pic/pie режиме, это вопрос одного флага в command line, скорее, это выбор дефолтного поведения, а не какой-то недостаток в статической сборке.
Заодно стало понятно, зачем коллега запилил порт asan под musl + статическую линковку - https://xn--r1a.website/it_pg_talks/59017.
Подгон, конечно, совершенно шедевральный!
Заcим откланиваюсь, всегда ваш, гордый владелец "the IX company"!
🔥37👍20😁15❤7🥱2🆒1
commit -m "better"
Пытаемся с ним бутстрепнуть java в #ix, он дотягивает, с помощью clode и codex, jikes (https://github.com/daveshields/jikes, очень старый компилятор java, который написан не на java, как все остальные, а на с++), до уровня java 6, или, если получится, 7.
У java очень хорошие тесты, которые интегрированы в agent loop, поэтому, возможно, идея не такая дикая, как кажется.
У java очень хорошие тесты, которые интегрированы в agent loop, поэтому, возможно, идея не такая дикая, как кажется.
Самое интересное, что у него получилось.
За две недели его "джуны" (клода и кодекс, в режиме "критика") сумели сделать из компилятора java 1.4 компилятор "почти" java 1.7.
Я его ставлю в цепочку #java #bootstrap, и цепочка успешно завершается.
С одной стороны, это круто (очень!), потому что в одно рыло за две недели такой объем работ не проделать.
С другой - это пиррова победа, потому что код, на мой взгляд, так себе, его можно писать дальше с помощью тех же LLM, до какого-то момента, когда даже они перестанут это мочь делать.
Ну и доставляет тот факт, что этот компилятор жрет до 30G памяти в пике, что делает его непригодным для промышленного использования. Наверное, потому, что управление памятью в С++ - сложно.
Вот код - https://github.com/7mind/jopa, вот deep dive to JOPA - https://github.com/7mind/jopa/blob/main/EXPLANATION.md
#AI
За две недели его "джуны" (клода и кодекс, в режиме "критика") сумели сделать из компилятора java 1.4 компилятор "почти" java 1.7.
Я его ставлю в цепочку #java #bootstrap, и цепочка успешно завершается.
С одной стороны, это круто (очень!), потому что в одно рыло за две недели такой объем работ не проделать.
С другой - это пиррова победа, потому что код, на мой взгляд, так себе, его можно писать дальше с помощью тех же LLM, до какого-то момента, когда даже они перестанут это мочь делать.
Ну и доставляет тот факт, что этот компилятор жрет до 30G памяти в пике, что делает его непригодным для промышленного использования. Наверное, потому, что управление памятью в С++ - сложно.
Вот код - https://github.com/7mind/jopa, вот deep dive to JOPA - https://github.com/7mind/jopa/blob/main/EXPLANATION.md
#AI
🔥28😁17❤🔥4❤3🗿2🆒1
https://www.opennet.ru/opennews/art.shtml?num=64366
"Компания Anthropic, продвигающая семейство больших языковых моделей Claude, поглотила стартап, разрабатывающий открытую JavaScript-платформу Bun, преподносимую как высокопроизводитльный аналог платформ Node.js и Deno. Основной причиной поглощения упоминается желание обеспечить стабильное развитие платформы Bun, которая задействована в продуктах Claude Code и Claude Agent SDK"
Звучит, конечно, дико.
"Компания Anthropic, продвигающая семейство больших языковых моделей Claude, поглотила стартап, разрабатывающий открытую JavaScript-платформу Bun, преподносимую как высокопроизводитльный аналог платформ Node.js и Deno. Основной причиной поглощения упоминается желание обеспечить стабильное развитие платформы Bun, которая задействована в продуктах Claude Code и Claude Agent SDK"
Звучит, конечно, дико.
www.opennet.ru
JavaScript-платформа Bun перешла в руки компании Anthropic
Компания Anthropic, продвигающая семейство больших языковых моделей Claude, поглотила стартап, разрабатывающий открытую JavaScript-платформу Bun, преподносимую как высокопроизводитльный аналог платформ Node.js и Deno. Основной причиной поглощения упоминается…
😁17🤔4🆒2
Forwarded from Записки CPU designer'a
Micron to exit consumer memory business amid global supply shortage
Производитель микросхем памяти Micron Technology (MU.O) заявил в среду, что выйдет из потребительского бизнеса, поскольку компания усиливает внимание на передовых чипах памяти, используемых в дата-центрах искусственного интеллекта, на фоне глобального дефицита этих ключевых компонентов.
😢21🙉11😁6🌚4🙈2🆒1
commit -m "better"
Начал я с minio, и, на днях, таки дополил свою инсталляцию до рабочего состояния, и положил в нее первую пару сотню гигабайт данных.
GitHub
update README.md maintenance mode · minio/minio@27742d4
MinIO is a high-performance, S3 compatible object store, open sourced under GNU AGPLv3 license. - update README.md maintenance mode · minio/minio@27742d4
😢15🤡5😱3🆒2🎉1