Bookmarks

Interesting Links/bookmarks for personal use or sharing with others

🔖 Temporal Type Theory: A topos-theoretic approach to systems and behavior | ArXiv

Bookmarked [1710.10258] Temporal Type Theory: A topos-theoretic approach to systems and behavior by Patrick Schultz, David I. Spivak (arxiv.org)
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as Coq or Lean by adding a number of axioms. Well-known temporal logics---such as Linear and Metric Temporal Logic (LTL and MTL)---embed within the logic of temporal type theory. The types in this theory represent "behavior types". The language is rich enough to allow one to define arbitrary hybrid dynamical systems, which are mixtures of continuous dynamics---e.g. as described by a differential equation---and discrete jumps. In particular, the derivative of a continuous real-valued function is internally defined. We construct a semantics for the temporal type theory in the topos of sheaves on a translation-invariant quotient of the standard interval domain. In fact, domain theory plays a recurring role in both the semantics and the type theory.
https://www.youtube.com/watch?v=KCrlm8WsItE

hat tip:

🔖 Neural Networks and Statistical Learning by Ke-Lin Du,‎ M. N. S. Swamy | Springer

Bookmarked Neural Networks and Statistical Learning 2014th Edition by Ke-Lin Du,‎ M. N. S. Swamy (Springer)

Providing a broad but in-depth introduction to neural network and machine learning in a statistical framework, this book provides a single, comprehensive resource for study and further research. All the major popular neural network models and statistical learning approaches are covered with examples and exercises in every chapter to develop a practical working understanding of the content.

Each of the twenty-five chapters includes state-of-the-art descriptions and important research results on the respective topics. The broad coverage includes the multilayer perceptron, the Hopfield network, associative memory models, clustering models and algorithms, the radial basis function network, recurrent neural networks, principal component analysis, nonnegative matrix factorization, independent component analysis, discriminant analysis, support vector machines, kernel methods, reinforcement learning, probabilistic and Bayesian networks, data fusion and ensemble learning, fuzzy sets and logic, neurofuzzy models, hardware implementations, and some machine learning topics. Applications to biometric/bioinformatics and data mining are also included.

Focusing on the prominent accomplishments and their practical aspects, academic and technical staff, graduate students and researchers will find that this provides a solid foundation and encompassing reference for the fields of neural networks, pattern recognition, signal processing, machine learning, computational intelligence, and data mining.

h/t

🔖 Moving chairs in Starbucks: Observational studies find rice-wheat cultural differences in daily life in China | Science Advances

Bookmarked Moving chairs in Starbucks: Observational studies find rice-wheat cultural differences in daily life in China by Thomas Talhelm, Xuemin Zhang and Shigehiro Oishi (Science Advances)
Traditional paddy rice farmers had to share labor and coordinate irrigation in a way that most wheat farmers did not. We observed people in everyday life to test whether these agricultural legacies gave rice-farming southern China a more interdependent culture and wheat-farming northern China a more independent culture. In Study 1, we counted 8964 people sitting in cafes in six cities and found that people in northern China were more likely to be sitting alone. In Study 2, we moved chairs together in Starbucks across the country so that they were partially blocking the aisle ( n = 678). People in northern China were more likely to move the chair out of the way, which is consistent with findings that people in individualistic cultures are more likely to try to control the environment. People in southern China were more likely to adjust the self to the environment by squeezing through the chairs. Even in China’s most modern cities, rice-wheat differences live on in everyday life.

🔖 Want to listen: Episode 0 Welcome to the Datcast

Bookmarked DatCast Episode 0: Welcome to the Datcast (dat-cast.hashbase.io)
The first episode, where Bret and Jim try making a podcast for the first time, and explain what they want the show to be.



Links:
* https://peer-to-peer-web.com/los-angeles/2018-04-28
* https://twitter.com/mafintosh/status/989214862764118016
h/t to @jimpick

🔖 Want to listen: Jenny Lawson is Very Fond of Creepy Smiling Dead Animals and Worries Quite a Bit | The Hilarious World of Depression | APM Podcasts

Bookmarked Jenny Lawson is Very Fond of Creepy Smiling Dead Animals and Worries Quite a Bit by John Moe (APM Podcasts)

She’s the author of bestselling books and an incredibly popular blog, but Jenny Lawson showed up to our interview wondering, at least a little, if her appearance on this show and her whole career, really, was part of some delusion. It’s not. She’s the real thing: an incredibly funny and honest writer with a legion of fans, a very old decapitated and stuffed boar’s head named James Garfield, anxiety, depression, and a clear-eyed view of the world.



A show about clinical depression...with laughs? Well, yeah. Depression is an incredibly common and isolating disease experienced by millions, yet often stigmatized by society. The Hilarious World of Depression is a series of frank, moving, and, yes, funny conversations with top comedians who have dealt with this disease, hosted by veteran humorist and public radio host John Moe. Join guests such as Maria Bamford, Paul F. Tompkins, Andy Richter, and Jen Kirkman to learn how they’ve dealt with depression and managed to laugh along the way. If you have not met the disease personally, it’s almost certain that someone you know has, whether it’s a friend, family member, colleague, or neighbor. Depression is a vicious cycle of solitude and stigma that leaves people miserable and sometimes dead. Frankly, we’re not going to put up with that anymore.

The Hilarious World of Depression is not medical treatment and should not be seen as a substitute for therapy or medication. But it is a chance to gain some insight, have a few laughs, and realize that people with depression are not alone and that together, we can all feel a bit better.

The Hilarious World of Depression is made possible by a grant from HealthPartners and its Make It OK campaign, which works to reduce the stigma of mental health. Find out more at www.makeitok.org.

h/t Kimberly Hirsch

🔖 Bulletin of Mathematical Biology, Volume 80, Issue 5 Special Issue: Mathematical Oncology

Bookmarked Bulletin of Mathematical Biology, Volume 80, Issue 5 (Springer)
Special Issue: Mathematical Oncology
h/t to @ara_anderson

🔖 Identifying Modes of User Engagement with Online News and Their Relationship to Information Gain in Text by Nir Grinberg

Bookmarked Identifying Modes of User Engagement with Online News and Their Relationship to Information Gain in Text by Nir GrinbergNir Grinberg (dl.acm.org)
Prior work established the benefits of server-recorded user engagement measures (e.g. clickthrough rates) for improving the results of search engines and recommendation systems. Client-side measures of post-click behavior received relatively little attention despite the fact that publishers have now the ability to measure how millions of people interact with their content at a fine resolution using client-side logging. In this study, we examine patterns of user engagement in a large, client-side log dataset of over 7.7 million page views (including both mobile and non-mobile devices) of 66,821 news articles from seven popular news publishers. For each page view we use three summary statistics: dwell time, the furthest position the user reached on the page, and the amount of interaction with the page through any form of input (touch, mouse move, etc.). We show that simple transformations on these summary statistics reveal six prototypical modes of reading that range from scanning to extensive reading and persist across sites. Furthermore, we develop a novel measure of information gain in text to capture the development of ideas within the body of articles and investigate how information gain relates to the engagement with articles. Finally, we show that our new measure of information gain is particularly useful for predicting reading of news articles before publication, and that the measure captures unique information not available otherwise.
Bookmarked to read as result of reading The five ways we read online (and what publishers can do to encourage the “good” ones).

[.pdf] copy available on author’s site.

🔖 The Theory of Quantum Information by John Watrous

Bookmarked The Theory of Quantum Information by Tom Watrous (cs.uwaterloo.ca)

To be published by Cambridge University Press in April 2018.

Upon publication this book will be available for purchase through Cambridge University Press and other standard distribution channels. Please see the publisher's web page to pre-order the book or to obtain further details on its publication date.

A draft, pre-publication copy of the book can be found below. This draft copy is made available for personal use only and must not be sold or redistributed.

This largely self-contained book on the theory of quantum information focuses on precise mathematical formulations and proofs of fundamental facts that form the foundation of the subject. It is intended for graduate students and researchers in mathematics, computer science, and theoretical physics seeking to develop a thorough understanding of key results, proof techniques, and methodologies that are relevant to a wide range of research topics within the theory of quantum information and computation. The book is accessible to readers with an understanding of basic mathematics, including linear algebra, mathematical analysis, and probability theory. An introductory chapter summarizes these necessary mathematical prerequisites, and starting from this foundation, the book includes clear and complete proofs of all results it presents. Each subsequent chapter includes challenging exercises intended to help readers to develop their own skills for discovering proofs concerning the theory of quantum information.

h/t to @michael_nielsen via Nuzzel

🔖 actualham tweet about interactive glossary/encyclopedia for challenging technical/academic jargon that can be layered into textbooks

Bookmarked a tweet by Robin DeRosa on TwitterRobin DeRosa on Twitter (Twitter)

🔖 List of geometry topics

Bookmarked List of geometry topics (Wikiwand)
This is a list of geometry topics, by Wikipedia page.
h/t to @mathematicsprof

🔖 BBC Sound Effects Archive

Bookmarked BBC Sound Effects Archive Resource • Research & Education Space (bbcsfx.acropolis.org.uk)

These 16,000 BBC Sound Effects are made available by the BBC in WAV format to download for use under the terms of the RemArc Licence. The Sound Effects are BBC copyright, but they may be used for personal, educational or research purposes, as detailed in the license.

Access dataset metadata by visiting our dedicated LOD site. If you have any queries regarding usage, please contact jake.berger at bbc.co.uk

Because everyone should be able to hear what a Creed tape-printing telegraph sounds like when it’s operating (c.1928-1952).

 

h/t to @BBCArchive

🔖 John Stuart Mill’s Ideas on Free Speech Illustrated

Bookmarked John Stuart Mill's Ideas on Free Speech Illustrated (Heterodox Academy)
Heterodox Academy has produced a new book based on John Stuart Mill’s famous essay On Liberty to make it accessible for the 21st century. Here’s what makes our edition special:
1) It’s just the second chapter (out of 5), because that chapter gives the best arguments ever made for the importance of free speech and viewpoint diversity;
2) We have reduced that chapter by 50% to remove repetitions and historical references that would be obscure today, producing a very readable 7000 word essay;
3) Editors Richard Reeves (a biographer of Mill) and Jon Haidt (a social psychologist) have written a brief introduction to link Mill and his time to the issues of our time, and
4) Artist Dave Cicirelli has created 16 gorgeous original illustrations that amplify the power of Mill’s metaphors and arguments.

All Minus One is ideal for use in college courses, advanced high school classes, or in any organization in which people would benefit from productive disagreement. We offer free and paid versions of the book below.
Caveat emptor: though this appears to be high quality, this looks like it’s heavily edited and excerpted.

h/t Claire Lehmann

🔖 Suicide of the West by Jonah Goldberg

Bookmarked Suicide of the West: How the Rebirth of Tribalism, Populism, Nationalism, and Identity Politics is Destroying American Democracy by Jonah GoldbergJonah Goldberg (Crown Forum)

With his trademark blend of political history, social science, economics, and pop culture, two-time NYT bestselling author, syndicated columnist, National Review senior editor, and American Enterprise Institute fellow Jonah Goldberg makes the timely case that America and other democracies are in peril as they lose the will to defend the values and institutions that sustain freedom and prosperity. Instead we are surrendering to populism, nationalism and other forms of tribalism. 

Only once in the last 250,000 years have humans stumbled upon a way to lift ourselves out of the endless cycle of poverty, hunger, and war that defines most of history—in 18th century England when we accidentally discovered the miracle of liberal democratic capitalism. 

As Americans we are doubly blessed that those radical ideas were written into the Constitution, laying the groundwork for our uniquely prosperous society: 
·         Our rights come from God not from the government.
·         The government belongs to us; we do not belong to the government.
·         The individual is sovereign. We are all captains of our own souls. 
·         The fruits of our labors belong to us.

In the last few decades, these political virtues have been turned into vices. As we are increasingly taught to view our traditions as a system of oppression, exploitation and “white privilege,” the principles of liberty and the rule of law are under attack from left and right.

At a moment when authoritarianism, tribalism, identity politics, nationalism, and cults of personality are rotting our democracy from within, Goldberg exposes the West’s suicidal tendencies on both sides of the ideological aisle. For the West to survive, we must renew our sense of gratitude for what our civilization has given us and rediscover the ideals that led us out of the bloody muck of the past – or back to the muck we will go. 

Suicide is painless, liberty takes work.

I’ve seen this coming via other sources including Goldberg himself, but h/t to @jaketapper for the reminder to bookmark this for later.