I'm still waiting for when they start employing LLMs to forecast the weather. I want to read forecasts I like, and not this crap of a weather!
🤣4
ДМК Пресс перевели ещё одну книжку про компиляторы для начинающих:
https://dmkpress.com/catalog/computer/programming/978-5-93700-391-1/
Х. Мёссенбёк "Конструирование Компиляторов"
В девичестве "Compiler Construction": https://ssw.jku.at/CompilerBook/
Книжка про компиляторы — это хорошо, что плохо — из 8 глав 5 рассказывают про синтаксический разбор, и ещё одна — просто введение. Т.е. только две главы посвящены "мясу" компиляции: семантическому анализу и генерации кода. Для главы про оптимизации места не нашлось, к сожалению. При этом генерация кода рассматривается для стековой виртуальной машины, поэтому распределение регистров, выбор и скедулинг инструкций остались за бортом. Семантический анализ глубиной и широтой охвата похвастаться тоже не может.
Но в плюсе наличествует предисловие от Никлауса Вирта, глава про атрибутные грамматики и большое количество упражнений.
#compiler #book
https://dmkpress.com/catalog/computer/programming/978-5-93700-391-1/
Х. Мёссенбёк "Конструирование Компиляторов"
В девичестве "Compiler Construction": https://ssw.jku.at/CompilerBook/
Книжка про компиляторы — это хорошо, что плохо — из 8 глав 5 рассказывают про синтаксический разбор, и ещё одна — просто введение. Т.е. только две главы посвящены "мясу" компиляции: семантическому анализу и генерации кода. Для главы про оптимизации места не нашлось, к сожалению. При этом генерация кода рассматривается для стековой виртуальной машины, поэтому распределение регистров, выбор и скедулинг инструкций остались за бортом. Семантический анализ глубиной и широтой охвата похвастаться тоже не может.
Но в плюсе наличествует предисловие от Никлауса Вирта, глава про атрибутные грамматики и большое количество упражнений.
#compiler #book
Dmkpress
Конструирование компиляторов
Купить книгу «Конструирование компиляторов», автора Мёссенбёк Х. в издательстве «ДМК Пресс». Выгодные цены в Москве, доставка. Заказать книги и учебники на официальном сайте издательства.
🔥2
If you were thinking about visiting Romania in mid-September, you can crash The Working Formal Methods Symposium as well:
https://fromsymposium.github.io/
September 17-19, Alexandru Ioan Cuza University, Iași, Romania
https://fromsymposium.github.io/
September 17-19, Alexandru Ioan Cuza University, Iași, Romania
The end of this month will see https://conferences.au.dk/confest2025
CONFEST: August 25-30, 2025 in Aarhus, Denmark.
CONFEST: August 25-30, 2025 in Aarhus, Denmark.
conferences.au.dk
CONFEST 2025
August 25-30, at the University of Aarhus, Denmark. The co-location of CONCUR, QEST+FORMATS, FMICS and various workshops (under the joint name CONFEST 2025)
Microsoft open-sourced (under the MIT license) their VS Code Copilot extension:
https://github.com/microsoft/vscode-copilot-chat
There's a lot of code, and quite expectedly mostly infrastructure code. Still one can learn how they manage searches for the relevant code in the project tree, interaction with Git, analysis of the LLM responses, chats with the user and so on.
https://github.com/microsoft/vscode-copilot-chat
There's a lot of code, and quite expectedly mostly infrastructure code. Still one can learn how they manage searches for the relevant code in the project tree, interaction with Git, analysis of the LLM responses, chats with the user and so on.
GitHub
GitHub - microsoft/vscode-copilot-chat: Copilot Chat extension for VS Code
Copilot Chat extension for VS Code. Contribute to microsoft/vscode-copilot-chat development by creating an account on GitHub.
🔥4
— Если проблему можно решить при помощи денег, то это не проблема, а расходы.
— Где ж взять столько денег?
— А вот это уже действительно проблема.
— Где ж взять столько денег?
— А вот это уже действительно проблема.
💯2
https://orangedatamining.com/blog/data-tells-stories-statistics-shuts-your-mouth/
There was an old joke (among physicists?) that there are two kinds of truths: trivial truths and fundamental truths. Trivial truth is such a statement that the opposite is false. Fundamental truth is a statement the opposite of which is also true.
The title of the post is a lot like fundamental truth...
The author (Janez Demšar) means the stories are a good and interesting thing, while statistics fanatics simply try to shut your mouth on the ground your statistics is not good enough (not rigorous enough). And Janez have very good arguments (at least examples) he presents in the post!
So I totally agree with his point. And yet, at the same time there are lots and lots of "stories" around us that pretend to be supported by data, but in reality just fantasies. And statistics really should have shut the mouths of people telling those stories. Sometimes silence is indeed golden.
Data tells stories; statistics shuts your mouth
There was an old joke (among physicists?) that there are two kinds of truths: trivial truths and fundamental truths. Trivial truth is such a statement that the opposite is false. Fundamental truth is a statement the opposite of which is also true.
The title of the post is a lot like fundamental truth...
The author (Janez Demšar) means the stories are a good and interesting thing, while statistics fanatics simply try to shut your mouth on the ground your statistics is not good enough (not rigorous enough). And Janez have very good arguments (at least examples) he presents in the post!
So I totally agree with his point. And yet, at the same time there are lots and lots of "stories" around us that pretend to be supported by data, but in reality just fantasies. And statistics really should have shut the mouths of people telling those stories. Sometimes silence is indeed golden.
Orange Data Mining
Orange Data Mining - Data tells stories; statistics shuts your mouth
A chance encounter and a workshop that wasn't
💯2
https://github.com/marimo-team/marimo
An alternative to good (not really) 'ol Jupyter Notebooks.
Looks promising. First of all, they solve the biggest Jupyter problem: stateful execution and thus dependence on the order of cell evaluation. The problem is so large they trained ML models to predict the correct evaluation order. I kid you not.
The solution is pretty common and straightforward: upon loading a file, build the Dataflow Graph, then re-run all the transitive dependencies upon a cell change. This also gives you the "reactive programming for free".
Reactive updates also give you a reactive UI (almost for free). Demos look pretty nice and useful:
https://marimo.io/p/@marimo/embedding-visualizer
And while we're at it, yeah they have a Web playground, and can convert notebooks into Web pages (also slides) out-of-the-box. Moreover, they can produce dynamic Web pages without a server employing WebAssembly. I haven't tried it, but if it works well, that's immensely useful.
Among other things, they store notebooks as valid Python files, which provides integration with Git and many other tools for free. They also integrate with package managers, especially
Additionally, they support DuckDB for running SQL queries, including on DataFrames. And implement nice UI to view, filter and summarize the results.
Overall, feels like a cool and handy, batteries included tool, alleviating a lot of Jupyter Notebooks quirks and letting you get your crap done quicker.
An alternative to good (not really) 'ol Jupyter Notebooks.
Looks promising. First of all, they solve the biggest Jupyter problem: stateful execution and thus dependence on the order of cell evaluation. The problem is so large they trained ML models to predict the correct evaluation order. I kid you not.
The solution is pretty common and straightforward: upon loading a file, build the Dataflow Graph, then re-run all the transitive dependencies upon a cell change. This also gives you the "reactive programming for free".
Reactive updates also give you a reactive UI (almost for free). Demos look pretty nice and useful:
https://marimo.io/p/@marimo/embedding-visualizer
And while we're at it, yeah they have a Web playground, and can convert notebooks into Web pages (also slides) out-of-the-box. Moreover, they can produce dynamic Web pages without a server employing WebAssembly. I haven't tried it, but if it works well, that's immensely useful.
Among other things, they store notebooks as valid Python files, which provides integration with Git and many other tools for free. They also integrate with package managers, especially
uv, and support per-project virtual environments out-of-the-box.Additionally, they support DuckDB for running SQL queries, including on DataFrames. And implement nice UI to view, filter and summarize the results.
Overall, feels like a cool and handy, batteries included tool, alleviating a lot of Jupyter Notebooks quirks and letting you get your crap done quicker.
GitHub
GitHub - marimo-team/marimo: A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script…
A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor....
🔥6👍1
VS Code now has "AI settings search".
Yep, that's right, they use a freaking LLM to search in a code editor settings.
And they showcase in the release notes an example search for "increase text size" that returns font size settings. Are you sure that's a meaningful example? Do we really need an LLM to discover font size settings?
At any rate, did you consider simplifying freaking settings before implementing a LLM search through them?
Yep, that's right, they use a freaking LLM to search in a code editor settings.
And they showcase in the release notes an example search for "increase text size" that returns font size settings. Are you sure that's a meaningful example? Do we really need an LLM to discover font size settings?
At any rate, did you consider simplifying freaking settings before implementing a LLM search through them?
😁6💯5👍1🤔1
https://dmkpress.com/catalog/computer/programming/978-5-93700-228/
ДМК переводит книжку про RIIR, оригинал которой недавно хвалил Виталий Брагилевский:
https://vitaly-reads.beehiiv.com/p/vitaly-reads-3-august-2025
ДМК переводит книжку про RIIR, оригинал которой недавно хвалил Виталий Брагилевский:
https://vitaly-reads.beehiiv.com/p/vitaly-reads-3-august-2025
Dmkpress
Переход на Rust. Рефакторинг исходного кода с других языков
Купить книгу «Переход на Rust. Рефакторинг исходного кода с других языков», автора Мара Л. в издательстве «ДМК Пресс». Выгодные цены в Москве, доставка. Заказать книги и учебники на официальном сайте издательства.
👍5😁2🤡2👎1💩1
За сутки стояния в кружке, кофе из V60 превратился в кофе растворимый Якобс Монарх.
🤔2🐳2💩1
Installing collected packages: pytz, multipledispatch, tzdata, typing-extensions, toolz, threadpoolctl, six, setuptools, pygments, pillow, packaging, numpy, mdurl, kiwisolver, fonttools, filelock, cycler, cloudpickle, cachetools, scipy, python-dateutil, markdown-it-py, logical-unification, h5py, contourpy, rich, pandas, matplotlib, h5netcdf, cons, xarray, etuples, xarray-einstats, miniKanren, pytensor, arviz, pymc
Emphasis mine. I only wanted
PyMC and I've got miniKanren and logical-unification for free. Nice, but why, I wonder...https://www.youtube.com/watch?v=vMDHpPN_p08
Douglas Crockford gave a sorta first-hand overview of the (arrested) development of Programming Paradigms and was promoting the Actor Model as the way forward.
His only complaint about Erlang was that the addresses of the actors/processes are guessable, and thus do not provide the desired security level. Yeah, everything else about Erlang/Elixir is great. 😊
Douglas Crockford gave a sorta first-hand overview of the (arrested) development of Programming Paradigms and was promoting the Actor Model as the way forward.
His only complaint about Erlang was that the addresses of the actors/processes are guessable, and thus do not provide the desired security level. Yeah, everything else about Erlang/Elixir is great. 😊
YouTube
From Here To Lambda And Back Again - Douglas Crockford - RacketCon 2023
Renowned computer scientist Douglas Crockford delivers a thought-provoking keynote address at RacketCon 2023, tracing the evolution of programming language paradigms and presenting a compelling argument for the resurgence of the actor model, a paradigm that…
👍1
https://topos.institute/blog/2025-08-15-incremental-adhesive/
"Incremental query updating in adhesive categories"
And they freaking deliver on that promise!
That might not completely solve the problem of Differential Dataflow, especially in the case of SQL queries — I suspect the queries and/or updates don't have the right shape in these cases. But even solving incremental https://egraphs.org/ is a huge boon for a lot of domains.
"Incremental query updating in adhesive categories"
Working in the general setting of adhesive categories, we derive a practical algorithm for incrementally updating a query’s results with respect to small changes in the object being queried.
How can we unify and automate the intuition of the above examples, in the form of an algorithm that is a couple of lines long and self-evidently correct?
And they freaking deliver on that promise!
That might not completely solve the problem of Differential Dataflow, especially in the case of SQL queries — I suspect the queries and/or updates don't have the right shape in these cases. But even solving incremental https://egraphs.org/ is a huge boon for a lot of domains.
Topos Institute
Incremental query updating in adhesive categories – Topos Institute
Working in the general setting of adhesive categories, we derive a practical algorithm for incrementally updating a query’s results with respect to small changes in the object being queried.
❤3
https://dmkpress.com/catalog/computer/data/978-5-93700-425-3/
Роман Душкин скатился с Haskell в Prompt Engineering... O tempora, o mores!
Роман Душкин скатился с Haskell в Prompt Engineering... O tempora, o mores!
Dmkpress
Метакогнитивная промпт-инженерия
Купить книгу «Метакогнитивная промпт-инженерия», автора Душкин Р.В. в издательстве «ДМК Пресс». Выгодные цены в Москве, доставка. Заказать книги и учебники на официальном сайте издательства.
😁8😢3
A Web page says:
Get in touch with us to learn more about our mission and work, donate to our cause, or to become involved yourself. The best way to do this is by sending us an email:
info [at] topos [dot] institute
You can also find us on the following sites:
To what email should I write to reach them?
You should write to info [at] topos [dot] institute.
The page specifically instructs you to use that email address. The "[at]" and "[dot]" are used to prevent bots from automatically harvesting the email address. It means:
[at] should be replaced with the "@" symbol.
[dot] should be replaced with the "." symbol.
So, the full email address is info@topos.institute.
Answers Gemma3 12b running on my laptop. I don't think inserting
[at] and [dot] into email address prevent automatic harvesting anymore...👎1😢1
https://lawrencecpaulson.github.io/2025/09/20/Wrong.html
Among the few advantages of attaining the dizzy age of 70 is the ability to look back on half a century. Things were great back in 1975. ... Great progress had been made in Artificial Intelligence, thanks to a relentless focus on symbol processing as opposed to discredited, useless neural networks. Many thought that automatic theorem provers could lead the way to what we now call AGI. Also, watches did not have operating systems. People knew that clouds were real and that vaccines worked. Well, a lot can happen in 50 years.
🔥2