Не понимаю ажиотажа вокруг стендапа и импровизации. То, что они называют "прожарка" мы в школе называли "перемена". И если ты был успешен, то в награду получал пиздюлей, а совсем не денег.
И вот эти люди в очереди к открытому микрофону — чем они в школе занимались? Пропустили всё самое интересно, и теперь пытаются наверстать?
И вот эти люди в очереди к открытому микрофону — чем они в школе занимались? Пропустили всё самое интересно, и теперь пытаются наверстать?
😁8🥱2🤔1💯1
Nobody really knows LaTeX, so OpenAI made their own Overleaf with GPT-5.2 that writes for you:
https://openai.com/prism/
AI-assisted citations is a nice touch, we all well aware how nicely they work. 😏
https://openai.com/prism/
AI-assisted proofreading, citations, and literature search
AI-assisted citations is a nice touch, we all well aware how nicely they work. 😏
Openai
Prism | A free, LaTeX-native workspace for scientists
Write, edit, and collaborate on scientific documents in LaTeX with Prism—a free workspace integrating GPT-5.2 into research and writing.
😁7🤡2💯1
In Soviet Russia Cognac isn't a kind of brandy, in Soviet Russia brandy is a sort of Cognac!
💯3
Относительно известная книжка Computer Science From Scratch в руках нашего любимого ДМК Пресс превратилась в
Python для профи: https://dmkpress.com/catalog/computer/programming/python/978-6-01140-652-9/
Видимо, разница в названиях отражает разницу в уровне целевой аудитории...
Как бы то ни было, на "профи" материал не тянет — по крайней мере так говорит мой непрофессиональный взгляд. Автор (Дэвид Копек, к которому у меня претензий нет) рассматривает довольно разнообразный набор тем — создание интерпретаторов языков программирования, эмуляторов аппаратных систем, алгоритмическую генерацию изображений и основы машинного обучения — но делает это самым простым и поверхностным образом.
У меня нет сомнений, что поверхностность рассмотрения и простота программной реализации примеров — целенаправленное решение автора. Во-первых, книга получилась очень компактной — менее 300 страниц вместе с приложением, т.е. её можно быстро прочитать и прорешать. В то же время по каждой из затронутых тем написаны талмуды под 1000 страниц, и больше, чем по одному — чтение не для слабых духом. Во-вторых, для её освоения не требуется особых предварительных знаний ни теоретического, ни инженерного толка. Ну и в-третьих, её не скучно читать, написано человечным языком без зауми.
По итогу, книгу можно рекомендовать студентам и начинающим разработчикам, которые хотят расширить профессиональный кругозор за пределы Веб-оперденей без заныривания на 50 метров в омут профессиональной литературы. Для этих целей — почти идеал. Напоминает мне про серию "Seven X in seven days", только ещё проще и ближе к мейнстриму.
Python для профи: https://dmkpress.com/catalog/computer/programming/python/978-6-01140-652-9/
Видимо, разница в названиях отражает разницу в уровне целевой аудитории...
Как бы то ни было, на "профи" материал не тянет — по крайней мере так говорит мой непрофессиональный взгляд. Автор (Дэвид Копек, к которому у меня претензий нет) рассматривает довольно разнообразный набор тем — создание интерпретаторов языков программирования, эмуляторов аппаратных систем, алгоритмическую генерацию изображений и основы машинного обучения — но делает это самым простым и поверхностным образом.
У меня нет сомнений, что поверхностность рассмотрения и простота программной реализации примеров — целенаправленное решение автора. Во-первых, книга получилась очень компактной — менее 300 страниц вместе с приложением, т.е. её можно быстро прочитать и прорешать. В то же время по каждой из затронутых тем написаны талмуды под 1000 страниц, и больше, чем по одному — чтение не для слабых духом. Во-вторых, для её освоения не требуется особых предварительных знаний ни теоретического, ни инженерного толка. Ну и в-третьих, её не скучно читать, написано человечным языком без зауми.
По итогу, книгу можно рекомендовать студентам и начинающим разработчикам, которые хотят расширить профессиональный кругозор за пределы Веб-оперденей без заныривания на 50 метров в омут профессиональной литературы. Для этих целей — почти идеал. Напоминает мне про серию "Seven X in seven days", только ещё проще и ближе к мейнстриму.
Nostarch
Computer Science From Scratch
You know how to write Python. Now master the computer science that makes it work.
❤1
https://www.quantamagazine.org/how-we-came-to-know-earth-20250915/
Curious, but too fancy to read on a phone...
Curious, but too fancy to read on a phone...
Quanta Magazine
How We Came To Know Earth | Quanta Magazine
Climate science is the most significant scientific collaboration in history. This series from Quanta Magazine guides you through basic climate science — from quantum effects to ancient hothouses, from the math of tipping points to the audacity of climate…
OPLSS this year offers a pretty stellar lineup of lectures, including Simon Peyton Jones on Verse:
https://www.cs.uoregon.edu/research/summerschool/summer26/topics.php
https://www.cs.uoregon.edu/research/summerschool/summer26/topics.php
❤1
https://dl.acm.org/doi/10.1145/3607832
"Special Delivery: Programming with Mailbox Types"
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
A very neat peace of work. It ties up a pretty diverse and somewhat obscure research topics:
— Regular Expressions (over types, what you expected?)
— Subtyping
— Constraint Solving
— "Backwards" Bidirectional Type-Checking (synthesizing necessary contexts and constraints along the checking)
— Quasi-Linear Types
— Second-Class References
The result is a practical algorithmic type system for Actor-based languages, capable of catching not only type mismatch errors, but also protocol violations (wrong sequencing of messages) and deadlocks. All in the face of selective message receive. Darn impressive.
#plt #paper #actor #typesystem
"Special Delivery: Programming with Mailbox Types"
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
A very neat peace of work. It ties up a pretty diverse and somewhat obscure research topics:
— Regular Expressions (over types, what you expected?)
— Subtyping
— Constraint Solving
— "Backwards" Bidirectional Type-Checking (synthesizing necessary contexts and constraints along the checking)
— Quasi-Linear Types
— Second-Class References
The result is a practical algorithmic type system for Actor-based languages, capable of catching not only type mismatch errors, but also protocol violations (wrong sequencing of messages) and deadlocks. All in the face of selective message receive. Darn impressive.
#plt #paper #actor #typesystem
Proceedings of the ACM on Programming Languages
Special Delivery: Programming with Mailbox Types | Proceedings of the ACM on Programming Languages
The asynchronous and unidirectional communication model supported by mailboxes is
a key reason for the success of actor languages like Erlang and Elixir for implementing
reliable and scalable distributed systems. While many actors may send messages to
...
a key reason for the success of actor languages like Erlang and Elixir for implementing
reliable and scalable distributed systems. While many actors may send messages to
...
❤1
4th ECUMENICAL meeting will be hosted in Stockholm from 18 to 20 February 2026, with online only participation available.
https://sites.google.com/view/ecumenical-4th-meeting/
Registration form: https://forms.office.com/e/6e7iXXPFES
Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. The Leverhulme Trust ECUMENICAL project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the meaning of logical statements is understood in terms of proofs rather than traditional truth-based models. The ECUMENICAL Pt-S approach seeks to provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them and enabling novel methodologies in the study of logic.
https://sites.google.com/view/ecumenical-4th-meeting/
Registration form: https://forms.office.com/e/6e7iXXPFES
Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. The Leverhulme Trust ECUMENICAL project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the meaning of logical statements is understood in terms of proofs rather than traditional truth-based models. The ECUMENICAL Pt-S approach seeks to provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them and enabling novel methodologies in the study of logic.
Google
ECUMENICAL 4th meeting
This is the fourth meeting of our Leverhulme ECUMENICAL project!
https://www.youtube.com/watch?v=oFGc4hGJRJQ
Dan Ghica is talking about Huawei and their programming language Cangjie. Now.
Dan Ghica is talking about Huawei and their programming language Cangjie. Now.
YouTube
Dan Ghica: Designing and developing an industrial-strength programming language
Topos Institute Colloquium, 5th of February 2026.
———
For the last five years I have been working as one of the architects of a new programming language called Cangjie (CJ). CJ is part of a new open-source ecosystem for Huawei devices which has the HarmonyOS…
———
For the last five years I have been working as one of the architects of a new programming language called Cangjie (CJ). CJ is part of a new open-source ecosystem for Huawei devices which has the HarmonyOS…