https://dmkpress.com/catalog/computer/statistics/978-5-93700-349-2/
Это ДМК перевёл на русский язык
https://matheusfacure.github.io/python-causality-handbook/landing-page.html
Лично я — всецело и полностью одобряю. Во-первых — популяризация #causalinference среди русскоязычной аудитории (кто ещё не освоил английский). Во-вторых — возможность полистать бумажную книгу. Ну и в-третьих — материал-то отличный!
Для тех, кто ещё не перешёл по ссылке, несколько "highlights".
Книга покрывает очень широкий спектр вопросов и методов "причинного вывода" начиная с Randomized Controlled Trials в качестве "золотого стандарта" и далее по Graphical Causal Models, Instrumental Variables, Synthetic Control, Difference-in-Differences, Propensity Scores и всё остальное.
Довольно нетипично, что вторая часть рассказывает про некоторые "EconML" казуальные модели — Meta-Learners, Double ML, вот это вот всё.
Наличествует огромное количество объяснений и примеров на Python, математические формулы (и некоторые теоремы) тоже присутствуют.
Это ДМК перевёл на русский язык
https://matheusfacure.github.io/python-causality-handbook/landing-page.html
Лично я — всецело и полностью одобряю. Во-первых — популяризация #causalinference среди русскоязычной аудитории (кто ещё не освоил английский). Во-вторых — возможность полистать бумажную книгу. Ну и в-третьих — материал-то отличный!
Для тех, кто ещё не перешёл по ссылке, несколько "highlights".
Книга покрывает очень широкий спектр вопросов и методов "причинного вывода" начиная с Randomized Controlled Trials в качестве "золотого стандарта" и далее по Graphical Causal Models, Instrumental Variables, Synthetic Control, Difference-in-Differences, Propensity Scores и всё остальное.
Довольно нетипично, что вторая часть рассказывает про некоторые "EconML" казуальные модели — Meta-Learners, Double ML, вот это вот всё.
Наличествует огромное количество объяснений и примеров на Python, математические формулы (и некоторые теоремы) тоже присутствуют.
Dmkpress
Причинно-следственный анализ для смелых и честных
Купить книгу «Причинно-следственный анализ для смелых и честных», автора Факур М. в издательстве «ДМК Пресс». Выгодные цены в Москве, доставка. Заказать книги и учебники на официальном сайте издательства.
👍4
https://vezwork.github.io/drostes-lair-post/
A cute cool project. If you don't understand recursion, this can help immensely. Also if you don't know what the
If you already know all that, it's just a fun game. 😊
A cute cool project. If you don't understand recursion, this can help immensely. Also if you don't know what the
amb
is, you can and should learn.If you already know all that, it's just a fun game. 😊
vezwork.github.io
An invitation into Droste's Lair
A swords-and-sorcery programming environment for building and counting mathematical structures
Any nation that draws too great a distinction between its scholars and its warriors will have its thinking done by cowards and its fighting done by fools.
Thucydides as I was told. Curious point. 😏
🔥1
https://www.broadinstitute.org/news/gene-editing-extends-lifespan-mouse-model-prion-disease
Roughly speaking, they developed a CRISPR-Cas9-based "base editor" that "installs" R37X mutation into a DNA and a pair of adeno-associated viruses (AAVs) to do it in-vivo. R37X mutation messes up prion production in cells which itself are messed up toxic forms of proteins. Lethal forms of proteins.
So this is hugely important. A big step towards treating a disease lethal and uncurable at the moment.
Roughly speaking, they developed a CRISPR-Cas9-based "base editor" that "installs" R37X mutation into a DNA and a pair of adeno-associated viruses (AAVs) to do it in-vivo. R37X mutation messes up prion production in cells which itself are messed up toxic forms of proteins. Lethal forms of proteins.
So this is hugely important. A big step towards treating a disease lethal and uncurable at the moment.
@broadinstitute
Gene editing extends lifespan in mouse model of prion disease
A single-letter edit in DNA reduces levels of the disease-causing prion protein in the brain and could lead to a preventative, one-time treatment for the deadly neurodegenerative disorder.
https://www.inkandswitch.com/ambsheets/notebook/01/
Another — surprisingly practical — application of the
Another — surprisingly practical — application of the
amb
operation. 😊Inkandswitch
01 · A spreadsheet for exploring scenarios
In our *Ambsheets* project, we are exploring a small extension to the familiar spreadsheet: **what if a single spreadsheet cell could hold multiple values at once**?
👍1
TIL: turns out there's a notion of "plural naturals", i.e. natural numbers greater than 1.
https://sites.google.com/view/rustverify2025
The Fifth Rust Verification Workshop is coming. To Canada.
The Fifth Rust Verification Workshop is coming. To Canada.
Google
Rust Verification Workshop
Rust is a relatively new programming language for writing performant code with strong type and memory safety guarantees. It has become a serious competitor to C and C++ for systems programming, because it provides high-level abstractions but without the cost…
👍1
https://siek.blogspot.com/2012/07/crash-course-on-notation-in-programming.html
Apparently, Jeremy Siek wrote a very brief "Crash Course on Notation in Programming Language Theory" more than 10 years ago.
Apparently, Jeremy Siek wrote a very brief "Crash Course on Notation in Programming Language Theory" more than 10 years ago.
Blogspot
Crash Course on Notation in Programming Language Theory
This blog post is meant to help my friends get started in reading my other blog posts, that is, this post is a crash course on the notation ...
😁1
https://calculatingempires.net/
A fascinating visualization (a timeline) of the development of communication, data management, computing, education, medicine, economy, energy, policy, surveillance, military and so on from 1500 till today across the world.
I'm not sure it's 100% historically accurate, but still illuminating.
A fascinating visualization (a timeline) of the development of communication, data management, computing, education, medicine, economy, energy, policy, surveillance, military and so on from 1500 till today across the world.
I'm not sure it's 100% historically accurate, but still illuminating.
calculatingempires.net
Calculating Empires: A Genealogy of Technology and Power since 1500
Explore how technical and social structures co-evolved over five centuries in this large-scale research visualization.
❤1🔥1
https://www.youtube.com/watch?v=CVLSA8YGvM8
https://catcolab.org (https://github.com/ToposInstitute/CatColab)
This is mind-blowing! 🤯
A collaborative (as in Google Docs) notebook for defining and simulating a range of "logic"/diagram notations starting with purely descriptive ontologies and up to quantitative stock-and-flow diagrams (which define a system of differential equations).
Implemented in Rust and TypeScript offloading the heavy-lifting of actual processing to AlgebraicJulia and Julia's differential equations ecosystem. All based on Double Category Theory.
https://catcolab.org (https://github.com/ToposInstitute/CatColab)
This is mind-blowing! 🤯
A collaborative (as in Google Docs) notebook for defining and simulating a range of "logic"/diagram notations starting with purely descriptive ontologies and up to quantitative stock-and-flow diagrams (which define a system of differential equations).
Implemented in Rust and TypeScript offloading the heavy-lifting of actual processing to AlgebraicJulia and Julia's differential equations ecosystem. All based on Double Category Theory.
YouTube
A quick intro to CatColab
A tour of some of the current features of CatColab, as of the recent release of version 0.2: Wren.
The models discussed here are available at this page: https://catcolab.org/help/quick-intro
The models discussed here are available at this page: https://catcolab.org/help/quick-intro
👍1🤔1
Gordon Plotkin writes that Rod Burstall recently passed away. 😞
As you can see from the Wikipedia page, among great many other things Burstall was a doctoral advisor for Thorsten Altenkirch, Mike Gordon, Conor McBride, Plotkin himself and other well-known researchers.
As you can see from the Wikipedia page, among great many other things Burstall was a doctoral advisor for Thorsten Altenkirch, Mike Gordon, Conor McBride, Plotkin himself and other well-known researchers.
Wikipedia
Gordon Plotkin
Computer Scientist
😢3
https://distrinet.cs.kuleuven.be/jobs/jobs
Sounds sexy. 😏
Closing date for applications: March 16, 2025.
Do you love building rock-solid code with uncompromising correctness? Do you enjoy hacking in Agda or Coq for hours, squeezing the most out of (dependent) types, and pushing proof assistants to their limits? Does it give you a warm, fuzzy feeling to know that what you are building comes with high-assurance machine-checkable guarantees? If so, we have the perfect PhD position for you!
We offer a fully funded PhD position, including a travel budget, under the supervision of Dominique Devriese and Steven Keuchel in the DistriNet research group of the Department of Computer Science at KU Leuven, Belgium. You would work on scaling up our efforts in mechanizing the verification of security properties in critical low-level code.
Sounds sexy. 😏
Closing date for applications: March 16, 2025.
Departement Computerwetenschappen
Jobs
jobs at DistriNet
👍1
https://www.andreipopescu.uk/MGS_Sheffield/MGS2025.html
Midlands Graduate School in the Foundations of Computing Science 2025
University of Sheffield, 7-11 April 2025
https://spli.scot/splv/2025-edinburgh/
Scottish Programming Languages and Verification Summer School 2025
University of Edinburgh - 21st to 25th July
Midlands Graduate School in the Foundations of Computing Science 2025
University of Sheffield, 7-11 April 2025
https://spli.scot/splv/2025-edinburgh/
Scottish Programming Languages and Verification Summer School 2025
University of Edinburgh - 21st to 25th July
SPLV
SPLV 2025
Website for the SPLV summer school series
https://www.codingfont.com/
Pick your favourite coding font by a tournament between them! 😁
Funny enough, for me won the font I actually use everywhere.
Pick your favourite coding font by a tournament between them! 😁
Funny enough, for me won the font I actually use everywhere.
https://arxiv.org/abs/2501.00663
Titans: Learning to Memorize at Test Time
Ali Behrouz, Peilin Zhong, Vahab Mirrokni
One of the last papers of the last year. 😏
Didn't read and most likely wouldn't, but the abstract sounds curious.
Titans: Learning to Memorize at Test Time
Ali Behrouz, Peilin Zhong, Vahab Mirrokni
One of the last papers of the last year. 😏
Didn't read and most likely wouldn't, but the abstract sounds curious.
arXiv.org
Titans: Learning to Memorize at Test Time
Over more than a decade there has been an extensive research effort on how to effectively utilize recurrent models and attention. While recurrent models aim to compress the data into a fixed-size...
Another BOB conference is coming March, 14 2025:
https://bobkonf.de/2025/en/program.html
Among the speakers are:
— Annette Bieniusa
— Andres Löh
— Gillaume Allais
— Manuel Chakravarty
and many others.
https://bobkonf.de/2025/en/program.html
Among the speakers are:
— Annette Bieniusa
— Andres Löh
— Gillaume Allais
— Manuel Chakravarty
and many others.
bobkonf.de
BOB - Program 2025
BOB Konferenz, Best of Breed Konferenz für Software-Entwickler und Entscheider in der Softwareentwicklung.
🔥1
TIL: https://logic.math.su.se/seminar/
From there I've learned of https://sinhp.github.io/groupoid_model_in_lean4/
And there are other curious links...
From there I've learned of https://sinhp.github.io/groupoid_model_in_lean4/
And there are other curious links...
https://www.pm.inf.ethz.ch/research/verifythis.html
Another VerifyThis Competition is coming May 3rd and 4th, 2025.
Online participants are welcome: https://docs.google.com/forms/d/e/1FAIpQLScOhK5tMG5q5DMb36yrTQ8itUwvJ2EN8IG_kgjsX6HQZ6dDhw/viewform
The use of AI-based tools is allowed.
Another VerifyThis Competition is coming May 3rd and 4th, 2025.
Online participants are welcome: https://docs.google.com/forms/d/e/1FAIpQLScOhK5tMG5q5DMb36yrTQ8itUwvJ2EN8IG_kgjsX6HQZ6dDhw/viewform
The use of AI-based tools is allowed.
Programming Methodology Group
VerifyThis Competition
2025 edition at ETAPS 2025 in Hamilton, Canada
По подсчётам во рту осталось 26 зубов, но половина всё равно запломбированная...
😢6😱1