"Analysis of a connection between dish washing and self-reported well-being indicators in adolescenten and adult females" PhD.
Forwarded from Poshangka
GitHub learned from an internal discovery by a GitHub employee, that GitHub Pages sites published from private repositories on GitHub were being sent to urlscan.io for metadata analysis as part of an automated process. This internal process was implemented before the private GitHub Pages feature was released and provides metadata that is used during human review of potentially malicious or abusive GitHub Pages sites.
To view the name of the private repository on urlscan.io, you would need to have been looking at the front page of urlscan.io within approximately 30 seconds of the analysis being performed or have specifically searched using a query that would return the analysis in the search results.
To view the name of the private repository on urlscan.io, you would need to have been looking at the front page of urlscan.io within approximately 30 seconds of the analysis being performed or have specifically searched using a query that would return the analysis in the search results.
-- А как это он коронавирусом заразился?! У него ж и сертификат о вакцинации есть!
-- Да просто вирусы малограмотные пошли, сертификатов не читают...
-- Да просто вирусы малограмотные пошли, сертификатов не читают...
https://github.com/SciML/SciMLBook
A solid course on combining Machine Learning and Differential Equations (pretty recent field of study dubbed "Scientific ML") using Julia language. It at least mentions many deep and important topics like numerical stability, sensitivity analysis, profiling and optimization. Not even mentioning pretty elaborate explanations on bigger topics like Automatic Differentiation.
My guess it's best for quick intro to the field for people who already have a formal education in diff equations and ML methods. Familiarity with Julia is a bonus. 😊
A solid course on combining Machine Learning and Differential Equations (pretty recent field of study dubbed "Scientific ML") using Julia language. It at least mentions many deep and important topics like numerical stability, sensitivity analysis, profiling and optimization. Not even mentioning pretty elaborate explanations on bigger topics like Automatic Differentiation.
My guess it's best for quick intro to the field for people who already have a formal education in diff equations and ML methods. Familiarity with Julia is a bonus. 😊
GitHub
GitHub - SciML/SciMLBook: Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J) - SciML/SciMLBook
https://towardsdatascience.com/is-the-normal-curve-too-good-to-be-true-c7cf2fd33997
A post about rare applicability of normality assumption and robust hypothesis testing methods (that don't assume normal distribution).
The post itself does a poor job explaining the problem, the methods to circumvent it and their properties. But it does contain links to actual explanations (Wilcox's book in particular) and libraries implementing these methods.
A post about rare applicability of normality assumption and robust hypothesis testing methods (that don't assume normal distribution).
The post itself does a poor job explaining the problem, the methods to circumvent it and their properties. But it does contain links to actual explanations (Wilcox's book in particular) and libraries implementing these methods.
Medium
Is the Normal Curve Too Good to Be True?
Your Stats Think So.
Finally watching https://www.youtube.com/watch?v=RItz1VPMQTI
It's a real pleasure to watch, a masterclass on presentation and full of insights.
"Going from 'testing is good for you, you should do it' to cases where you have no other way but do it." That's powerful.
It's a real pleasure to watch, a masterclass on presentation and full of insights.
"Going from 'testing is good for you, you should do it' to cases where you have no other way but do it." That's powerful.
YouTube
[PADL'22] Declarative Programming and Education
Title:[PADL'22] Declarative Programming and Education
Authors:Shriram Krishnamurthi
Description:Education has always been one of the major uses of advanced programming languages. However, the impact of declarative techniques is now threatened by multiple…
Authors:Shriram Krishnamurthi
Description:Education has always been one of the major uses of advanced programming languages. However, the impact of declarative techniques is now threatened by multiple…
https://arxiv.org/pdf/1810.07951.pdf
Don't Unroll Adjoint: Differentiating SSA-form Programs
Michael J Innes, 2019
https://proceedings.neurips.cc/paper/2020/file/9332c513ef44b682e9347822c2e457ac-Paper.pdf
Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients
William S. Moses and Valentin Churavy, NeurIPS 2020
Две статьи, посвящённые (обратному aka reverse-mode) автоматическому (или алгоритмическому) дифференцированию функций, представленных в форме Single Static Assignment aka SSA.
Статьи во многом являются взаимо-дополняющими. Первая рассматривает дифференцирование более высокоуровневого SSA представления до компиляторных оптимизаций, а вторая — более низкоуровневого после (большого количества) оптимизаций. Как следствие, первая статья даёт общее введение в обратное дифференцирование и рассматривает его расширение на низкоуровневые конструкции, такие как условные переходы, фи-узлы, чтение и запись в ячейки памяти. В это время вторая статья уделяет основное внимание ещё более низкоуровневым аспектам: теневой памяти (shadow memory), кешам, обработке указателей, в том числе — вызовам функций по указателю.
В любом случае, обе работы полагаются на "классические компиляторные техники", такие как dataflow analysis, alias analysis, abstract interpretation, и оптимизации. И потому представляют собой интереснейшее расширение "поля деятельности компиляторщиков" в сравнительно новую, но стремительно набирающую популярность, область.
Don't Unroll Adjoint: Differentiating SSA-form Programs
Michael J Innes, 2019
https://proceedings.neurips.cc/paper/2020/file/9332c513ef44b682e9347822c2e457ac-Paper.pdf
Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients
William S. Moses and Valentin Churavy, NeurIPS 2020
Две статьи, посвящённые (обратному aka reverse-mode) автоматическому (или алгоритмическому) дифференцированию функций, представленных в форме Single Static Assignment aka SSA.
Статьи во многом являются взаимо-дополняющими. Первая рассматривает дифференцирование более высокоуровневого SSA представления до компиляторных оптимизаций, а вторая — более низкоуровневого после (большого количества) оптимизаций. Как следствие, первая статья даёт общее введение в обратное дифференцирование и рассматривает его расширение на низкоуровневые конструкции, такие как условные переходы, фи-узлы, чтение и запись в ячейки памяти. В это время вторая статья уделяет основное внимание ещё более низкоуровневым аспектам: теневой памяти (shadow memory), кешам, обработке указателей, в том числе — вызовам функций по указателю.
В любом случае, обе работы полагаются на "классические компиляторные техники", такие как dataflow analysis, alias analysis, abstract interpretation, и оптимизации. И потому представляют собой интереснейшее расширение "поля деятельности компиляторщиков" в сравнительно новую, но стремительно набирающую популярность, область.
👍1
https://www.youtube.com/watch?v=kEf_MTqeXWg
Ethics in Research and Development
A surprisingly practical talk and practical approach to ethics with references to actual tools (checklists at least).
(Bonus content: a question from Dana Scott himself.)
Ethics in Research and Development
A surprisingly practical talk and practical approach to ethics with references to actual tools (checklists at least).
(Bonus content: a question from Dana Scott himself.)
YouTube
David Danks: "Ethics in AI, not Ethics of AI"
Topos Institute Colloquium, 17th of February 2022.
———
Discussions of the ethical (and societal) impact of AI often implicitly assume that ethical issues arise only once the AI Is deployed or used. If AI is “just math” or “just a tool,” then one might think…
———
Discussions of the ethical (and societal) impact of AI often implicitly assume that ethical issues arise only once the AI Is deployed or used. If AI is “just math” or “just a tool,” then one might think…
John Harrison of HOL Light fame works for Amazon proving elliptic curve cryptography...
🤔1
http://www.stochasticlifestyle.com/when-does-the-mean-and-variance-define-an-sde/
Looks like an open research question still. If someone needs a nice MSc thesis topic or something. 😉
Looks like an open research question still. If someone needs a nice MSc thesis topic or something. 😉
Stochastic Lifestyle
When does the mean and variance define an SDE? - Stochastic Lifestyle
I recently saw a paper that made the following statement: “Innes et al. [22] trained neural SDEs by backpropagating through the operations of the solver, however their training objective simply matched the first two moments of the training data, implying…
https://www.hillelwayne.com/tags/crossover-project/
Хорошие новости для всех, кто (как и я) именует себя "Software Engineer". Да, мы на самом деле можем считаться инженерами!
Более того, накладывать заплатки на заплатки и подпирать костылями -- это старые добрые инженерные традиции. Можно сказать, скрепы.
Но мы можем и лучше. Имеет смысл стараться.
Хорошие новости для всех, кто (как и я) именует себя "Software Engineer". Да, мы на самом деле можем считаться инженерами!
Более того, накладывать заплатки на заплатки и подпирать костылями -- это старые добрые инженерные традиции. Можно сказать, скрепы.
Но мы можем и лучше. Имеет смысл стараться.
👍2
https://behemoth.cl.cam.ac.uk/search/
Natural language based search through Isabelle libraries and AFP for theorems, definitions and alike.
Natural language based search through Isabelle libraries and AFP for theorems, definitions and alike.
https://arxiv.org/abs/1905.05970
HolPy: Interactive Theorem Proving in Python
Bohua Zhan
The code: https://github.com/bzhan/holpy
Yep, they indeed implemented Higher-Order Logic in Python. And a Web interface in Vue. Sounds very hip but actually the interface is pretty nice, suggestions for proof steps are very good. And in general it's very fun to mouse-click your proofs! 😃
HolPy: Interactive Theorem Proving in Python
Bohua Zhan
The code: https://github.com/bzhan/holpy
Yep, they indeed implemented Higher-Order Logic in Python. And a Web interface in Vue. Sounds very hip but actually the interface is pretty nice, suggestions for proof steps are very good. And in general it's very fun to mouse-click your proofs! 😃
GitHub
GitHub - bzhan/holpy: Implementation of higher-order logic in Python
Implementation of higher-order logic in Python. Contribute to bzhan/holpy development by creating an account on GitHub.
В Inria порываются создать пиринговую сеть сертифицированных машинных доказательств: https://www.inria.fr/en/towards-internet-proof
Звучит, конечно, классно, но что-то мне сомнительно, что это будет пользоваться популярностью в обозримом будущем...
Звучит, конечно, классно, но что-то мне сомнительно, что это будет пользоваться популярностью в обозримом будущем...
www.inria.fr
Towards an internet of proof?
In October 2021, Dale Miller, Director of Research at Inria, will launch a new exploratory action that could revolutionise the world of formal proof. The aim is to create a network for sharing documents that certify the validity of computer programs. Using…
🔥1
https://www.hytradboi.com/
Super cool online one-day conference around Databases topics organized by pretty well-known Jamie Brandon. Look at the speakers, there are familiar names too.
Super cool online one-day conference around Databases topics organized by pretty well-known Jamie Brandon. Look at the speakers, there are familiar names too.
https://www.newscientist.com/article/2309566-largest-ever-family-tree-of-humanity-reveals-our-species-history/
Анализируют ДНК останков древних людей, отслеживают пути миграции и расселения. История запутанная, но интересная. Много непонятного, работы для учёных ещё лет на 20 вперёд. 😁
Анализируют ДНК останков древних людей, отслеживают пути миграции и расселения. История запутанная, но интересная. Много непонятного, работы для учёных ещё лет на 20 вперёд. 😁
New Scientist
Largest ever family tree of humanity reveals our species' history
A genealogy of humans constructed from thousands of genomes gives us clues about where our species first evolved and how we spread across the world
https://gmpreussner.com/research/dimensional-analysis-in-programming-languages
Somewhat dated but extremely comprehensive overview of dimensionality analysis (units of measure) problem and solutions in programming languages.
Particularly interesting is a reference to Metaclass extension for Java work devised to support extensible units of measure systems, but seems to be generally applicable to extensible programming. Something to consider for new OO languages developers. 😉
Another curious line of work is inference of units, especially for C. I didn't check but the formal system behind might turn out to be useful for other applications.
The post is kinda obviously lacking an overview of Julia libraries, but I suspect they were written later than the post. 😏
Another major deficiency is the post not even remotely give justice to the great Frink programming language! Most likely the only one practically solving units problem in its entirety. 😁
On the other hand, dimensionality analysis for Excel?!! 😱😂
Somewhat dated but extremely comprehensive overview of dimensionality analysis (units of measure) problem and solutions in programming languages.
Particularly interesting is a reference to Metaclass extension for Java work devised to support extensible units of measure systems, but seems to be generally applicable to extensible programming. Something to consider for new OO languages developers. 😉
Another curious line of work is inference of units, especially for C. I didn't check but the formal system behind might turn out to be useful for other applications.
The post is kinda obviously lacking an overview of Julia libraries, but I suspect they were written later than the post. 😏
Another major deficiency is the post not even remotely give justice to the great Frink programming language! Most likely the only one practically solving units problem in its entirety. 😁
On the other hand, dimensionality analysis for Excel?!! 😱😂
gmpreussner
Dimensional Analysis in Programming Languages | gmpreussner
A survey of existing designs and implementations for automatic conversion and verification of units of measurement in computer programs.