## 信息流

•   09-19 MIT Technology 27

A year after announcing an aggressive plan to dominate artificial intelligence, China’s vice premier has called for international collaboration.

收起

•   09-19 THE NEW YORKER 23

Hannah Goldfield writes about the history of the Jewish pastry rugelach, and the superior version at Lee Lee’s Baked Goods.

收起

•   09-19 Hacker News 24

Firefox Reality Now Available

收起

•   09-19 Slashdot 23

收起

• GnuPG can now be used to perform notarial acts in the State of Washington

收起

• At the 70th Emmy Awards, broadcast TV was almost shut out as Netflix and HBO battled each other. The Hollywood Reporter: This year, longtime Emmy nominations leader HBO was out-nominated by Netflix. Netflix then won the most Emmys on the main telecast, with seven noms to HBO's six. But earlier, HBO won one more award than Netflix at the Creative Arts Awards ceremonies, 17 to 16. So by the time the curtain came down on the 70th Emmy Awards, technically -- and sort of poetically -- Netflix and HBO had fought to a draw. Almost all of the major content providers left with several wins to celebrate. [...] All in all, it was a terrible night for broadcast networks -- even as NBC aired the show and two stars of the network, Saturday Night Live's Michael Che and Colin Jost, hosted. SNL won the variety sketch award for the second year in a row, and ABC's The Oscars won for best direction of a variety show (that award's winner, Glenn Weiss, stole the night with his on-stage marriage proposal), b

收起

•   09-19 Ars Technica 24

If you have Prime. Plus deals on Samsung SSDs, Xbox One controllers, and more.

收起

•   09-19 Slashdot 27

收起

• Security researchers have found evidence that a piece of malware peddled as "lawful intercept" software to government agencies has been deployed against victims located in 45 countries, a number that far outweighs the number of known operators, meaning that some of them are conducting illegal cross-border surveillance. The findings come from a report published by Citizen Lab, a digital rights watchdog at the University of Toronto's Munk School of Global Affairs. ZDNet: The malware, known as Pegasus (or Trident), was created by Israeli cyber-security firm NSO Group and has been around for at least three years -- when it was first detailed in a report over the summer of 2016. The malware can operate on both Android and iOS devices, albeit it's been mostly spotted in campaigns targeting iPhone users primarily. On infected devices, Pegasus is a powerful spyware that can do many things, such as record conversations, steal private messages, exfiltrate photos, and much much more. Citizen Lab'

收起

•   09-19 MIT Technology 24

A year after announcing an aggressive plan to dominate artificial intelligence, China’s vice premier has called for international collaboration.

收起

•   09-19 Slashdot 25

Google has released a Chrome OS 69 update that introduces a range of new features. From a report: Most notably, there's now support for running Linux apps. You'll need a supported machine (a handful of machines from Acer, ASUS, HP, Lenovo, Samsung and Google itself). Still, this could be more than a little helpful if you want to run a conventional desktop app or command line terminal without switching to another PC or a virtual environment. The new software also adds the long-in-the-making Night Light mode to ease your eyes at the end of the day. Voice dictation is now available in any text field, and there's a fresh Files interface that can access Play files and Team Drives.

收起

• Speaking at the Goldman Sachs Communicopia conference last week, Take-Two CEO Strauss Zelnick says the rise of streaming gaming was an inevitability that was just waiting on the technology to power it at scale. While Zelnick acknowledged that the streaming game servers "have to be pretty close to where the consumer is" to address latency issues, he said there are a few large-scale companies "that have hyperscale data centers all around the world," and that infrastructure will be able to address that last remaining hurdle in a few years time. A report adds: Zelnick's comments come a few months after Ubisoft CEO Yves Guillemot suggested that streaming games will completely replace consoles after one more generation. Guillemot suggested that changeover would cause a revolution in the gaming market, which will explode in size and accessibility thanks to cheap, streaming-capable boxes delivering big-budget hits. Zelnick agreed that streaming will increase the size of the high-end, big-budge

收起

•   09-19 THE NEW YORKER 23

Troy Patterson writes about the 2018 Emmy Awards, hosted by Colin Jost and Michael Che, which drew on nostalgia but failed to engage fully with the history of television.

收起

•   09-19 Slashdot 24

An anonymous reader shares a report: Over on the EEVblog, someone noticed an interesting chip that's been apparently flying under our radar for a while. This is an ARM processor capable of running Linux. It's hand-solderable in a TQFP package, has a built-in Mali GPU, support for a touch panel, and has support for 512MB of DDR3. If you do it right, this will get you into the territory of a BeagleBone or a Raspberry Pi Zero, on a board that's whatever form factor you can imagine. Here's the best part: you can get this part for $1 USD in large-ish quantities. A cursory glance at the usual online retailers tells me you can get this part in quantity one for under$3. This is interesting, to say the least. The chip in question, the Allwinner A13, is a 1GHz ARM Cortex-A8 processor. While it's not much, it is a chip that can run Linux in a hand-solderable package. There is no HDMI support, you'll need to add some more chips (that are probably in a BGA package), but, hey, it's only a dollar. I

收起

• Google built a prototype of a censored search engine for China that links users' searches to their personal phone numbers, thus making it easier for the Chinese government to monitor people's queries, The Intercept can reveal. The search engine, codenamed Dragonfly, was designed for Android devices, and would remove content deemed sensitive by China's ruling Communist Party regime, such as information about political dissidents, free speech, democracy, human rights, and peaceful protest. Don't be evil.

收起

• French bookshops revolt after prize selects novel self-published on Amazon

收起

•   09-19 Ars Technica 24

"Always Ireland's intention to comply with our legal obligations in this regard."

收起

• A photoelectrode made from a combination of gold nanoparticles and a gold nanofilm offers efficient way to split water

收起

•   09-19 Hacker News 24

Falling in love with Rust

收起

•   09-19 MIT Technology 24

A year after announcing an aggressive plan to dominate artificial intelligence, China’s vice premier has called for international collaboration.

收起

•   09-19 TechCrunch 23

Evernote just slashed 54 jobs, or 15 percent of its workforce

收起

• "Ireland's government has fully recovered more than [$16 billion] in disputed taxes and interest from Apple, which it will hold in an escrow fund pending its appeal against a European Union tax ruling," reports The Guardian. From the report: The European commission ruled in August 2016 that Apple had received unfair tax incentives from the Irish government. Both Apple and Dublin are appealing against the original ruling, saying the iPhone maker's tax treatment was in line with Irish and EU law. Ireland's finance ministry, which began collecting the back taxes in a series of payments in May, estimated last year the total amount could have reached -- [$17.5 billion] including EU interest. In the end the amount was [$15.2 billion] in back taxes plus [$1.4 billion] interest. For its part, the commission said it would scrap its lawsuit against Ireland, which it initiated last year because of delays in recovering the money. "In light of the full payment by Apple of the illegal state aid it h

收起

•   09-18 Hacker News 28

Computation and State Machines (2008) [pdf]

收起

• We present a theoretical analysis of the average performance of OMP for sparse approximation. For signals, that are generated from a dictionary with $K$ atoms and coherence $\mu$ and coefficients corresponding to a geometric sequence with parameter~$\alpha$, we show that OMP is successful with high probability as long as the sparsity level $S$ scales as $S\mu^2 \log K \lesssim 1-\alpha$. This improves by an order of magnitude over worst case results and shows that OMP and its famous competitor Basis Pursuit outperform each other depending on the setting.

收起

•   09-18 Hacker News 27

Dear Moon

收起

•   09-18 Ars Technica 25

"This is a non-trivial amount that will have a material impact on the BFR program."

收起

• We prove a weak invariance principle in the Skorohod $\mathcal{J}_{1}%$-topology for ergodic sums of locally (but not necessarily uniformly) Lipschitz continuous observables in the domain of attraction of a non-Gaussian stable law under the action of a Gibbs-Markov map, using the classical approach via finite-dimensional marginals and $\mathcal{J}_{1}$-tightness.

收起

• We study the Navier-Stokes equations on a smooth bounded domain $D\subset \mathbb R^d$ ($d=2$ or 3), under the effect of an additive fractional Brownian noise. We show local existence and uniqueness of a mild $L^p$-solution for $p>d$.

收起

• In this paper, we propose a new SVRG-style acceleated stochastic algorithm for solving a family of non-convex optimization problems whose objective consists of a sum of $n$ smooth functions and a non-smooth convex function. Our major goal is to improve the convergence of SVRG-style stochastic algorithms to stationary points under a setting with a large condition number $c$ - the ratio between the smoothness constant and the negative curvature constant. The proposed algorithm achieves the best known gradient complexity when $c\geq \Omega(n)$, which was achieved previously by a SAGA-style accelerated stochastic algorithm. Compared with the SAGA-style accelerated stochastic algorithm, the proposed algorithm is more practical due to its low memory cost that is inherited from previous SVRG-style algorithms. Compared with previous studies on SVRG-style stochastic algorithms, our theory provides much stronger results in terms of (i) reduced gradient complexity under a large condition number;

收起

• Amazon is planning to release at least 8 new voice-controlled hardware devices before the end of the year, according to CNBC. "The devices include, among others, a microwave oven, an amplifier, a receiver, a subwoofer, and an in-car gadget, people familiar with the matter said," reports CNBC. "All of the devices will be Alexa-enabled, meaning they can easily connect to the voice assistant. Some of the devices will also have Alexa built in." From the report: Amazon is expected to reveal some of these devices at an event later this month, according to an internal document describing the plans. The new devices reflect Amazon's ambition to make its Alexa voice technology ubiquitous by focusing on areas where people spend most of their time -- at home and in the car. Alexa was initially considered a geeky experiment at Amazon. Now it is now one of the most popular voice assistants, leading the growth of the burgeoning smart speaker market, which is expected to be worth $30 billion by 2024, 收起 • 09-18 OSnews 27 C64 OS has one goal. Make a Commodore 64 feel fast and useful in today's modern world. It's a very high bar. The C64 was introduced in 1982 and has an 8-bit, 1MHz, 6510 CPU with just 64 kilobytes of directly addressable memory. It has a screen resolution of 320x200 pixels, and a fixed palette of 16 colors. But, it is an incredibly versatile machine. And it enjoys an active userbase and a great variety of modern hardware expansions. The C64 has had many operating systems written for it, So why write another? Some of these projects were designed to be experimental, or to demonstrate a point, rather than to solve a problem or to make using the C64 better. Others had good intentions but pushed the machine in ways it wasn't designed for, compromising on speed and usability in the pursuit of features available on more powerful computers. The aim of C64 OS is to work with the limitations of the Commodore 64 and enable it to become useful. It never ceases to amaze me how much 收起 • 09-18 Hacker News 23 China Once Looked Tough on Trade. Now Its Options Are Dwindling 收起 • 09-18 Slashdot 27 Paul Alcorn reporting for Tom's Hardware: AMD listed the Ryzen 7 2800H and the Ryzen 5 2600H on its website. These new processors bring the inherent goodness of the Raven Ridge architecture, found in the Ryzen 5 2400G and the Ryzen 3 2200G, to gaming notebooks. As such, these processors come with AMD's Zen compute cores paired with the Vega graphics architecture, and they are also AMD's first processors to support DDR4-3200 as a base specification. Both new models feature a similar design as their desktop counterparts, albeit with slightly redesigned in frequencies to adjust for the flimsy cooling in mobile form factors and battery life limitations. That's reflected in the processors' reduced 45W TDP (thermal design power), which is much lower than the 65W TDP found on the desktop parts. AMD does give vendors some wiggle room with a configurable TDP (cTDP) range that spans between 35W and 45W. The Ryzen 7 2800H is analogous to the 2400G, but it comes with a 3.3 GHz base and 3.8 GHz boo 收起 • We give an elementary proof to the asymptotic expansion formula of Rochon-Zhang for the unique complete K\"ahler-Einstein metric of Cheng-Yau, Kobayashi, Tian-Yau and Bando on quasi-projective manifolds. The main tools are the solution formula for second order ODE's with constant coefficients and spectral theory for Laplacian operator on a closed manifold. 收起 • 09-18 Hacker News 25 Ask HN: Why did your startup fail and what did you learn? 收起 • Two separate reports are saying Apple's yet-to-be-released AirPower charger is facing overheating issues. The product, designed to simultaneously charge an iPhone, Apple Watch, and AirPods, was announced more than a year ago at Apple's 2017 iPhone event. Apple has yet to provide any additional information on AirPower, even during its iPhone event last week. The company even appears to have wiped all mention of it from its website. CNBC reports: Tech writer Sonny Dickson, who has a track record of accurately reporting on Apple, said over the weekend that Apple has struggled with heat management, which affects accuracy and charging speed. Dickson thinks it's unlikely Apple will make its end-of-year release deadline. Daring Fireball's John Gruber said something similar. Gruber said the charging pad, which uses a multi-coil design, is "getting too hot -- way too hot." "There are engineers who looked at AirPower's design and said it could never work, thermally. ... I think they've either ha 收起 • Complex autonomous control systems are subjected to sensor failures, cyber-attacks, sensor noise, communication channel failures, etc. that introduce errors in the measurements. The corrupted information, if used for making decisions, can lead to degraded performance. We develop a framework for using adversarial deep reinforcement learning to design observer strategies that are robust to adversarial errors in information channels. We further show through simulation studies that the learned observation strategies perform remarkably well when the adversary's injected errors are bounded in some sense. We use neural network as function approximator in our studies with the understanding that any other suitable function approximating class can be used within our framework. 收起 • 09-18 Hacker News 28 Nietzsche’s Guide to Better Living 收起 • The aim of this paper is to introduce a finite element formulation within Arbitrary Lagrangian Eulerian framework with vanishing discrete {\it Space Conservation Law} (SCL) for differential equations on time dependent domains. The novelty of the formulation is the method for temporal integration which results in preserving the SCL property and retaining the higher order accuracy at the same time. Once the time derivative is discretized (based on integration or differentiation formula), the common approach for terms in differential equation which do not involve temporal derivative is classified to be a kind of "time averaging" between time steps. In the spirit of classical approaches, this involves evaluating these terms in several points in time between the current and the previous time step ($[t_n,t_{n+1}]$), and then averaging them in order to provide the satisfaction of discrete SCL. Here, we fully use the polynomial in time form of mapping through which evolution of domain is reali 收起 • 09-18 Ars Technica 27 Musk has produced no evidence to back up his accusations. 收起 • We prove an expanded range of$\ell ^{p}(\mathbb{Z}^d)$-improving properties and sparse bounds for discrete spherical maximal means in every dimension$d\geq 6$. Essential elements of the proofs are bounds for high exponent averages of Ramanujan and restricted Kloosterman sums. 收起 • We provide several new asymptotic expansions of the prime counting function$\pi(x)$. We define an {\it asymptotic continued fraction expansion} of a complex-valued function of a real or complex variable to be a possibly divergent continued fraction whose approximants provide an asymptotic expansion of the given function. We show that, for each positive integer$n$, two well known continued fraction expansions of the exponential integral function$E_n(z)$, in the regions where they diverge, correspondingly yield two asymptotic continued fraction expansions of$\pi(x)/x$. We prove this by first using Stieltjes' theory of moments to establish some general results about Stieljtes and Jacobi continued fractions and then applying the theory specifically to the probability measure on$[0,\infty)$with density function$\frac{t^n}{n!}e^{-t}$. We show generally that the "best" rational approximations of a function possessing an asymptotic Jacobi continued fraction expansion are precisely the a 收起 • In this paper, we consider a kind of ideal quotient of an extriangulated category such that the ideal is the kernel of a functor from this extriangulated category to an abelian category. We study a condition when the functor is dense and full, in another word, the ideal quotient becomes abelian. Moreover, a new equivalent characterization of cluster-tilting subcategories is given by applying homological methods according to this functor. As an application, we show that in a connected 2-Calabi-Yau triangulated category B, a functorially finite, extension closed subcategory T of B is cluster tilting if and only if B/T is an abelian category. 收起 • A general explicit form for generating functions for approximating fractional derivatives is derived. To achieve this, an equivalent characterisation for consistency and order of approximations established on a general generating function is used to form a linear system of equations with Vandermonde matrix for the coefficients of the generating function which is in the form of power of a polynomial. This linear system is solved for the coefficients of the polynomial in the generating function. These generating functions completely characterise Gr\"unwald type approximations with shifts and order of accuracy. Incidentally, the constructed generating functions happen to be generalization of the previously known Lubich forms of generating functions without shift. As a consquence, a general explicit form for new finite difference formulas for integer-order derivatives with any order of accuracy are derived. 收起 • 09-18 Hacker News 27 Complexity and Strategy (2017) 收起 • We consider the Kelvin-Voigt model for the viscoelasticity, and prove a Carleman estimate for functions without compact supports. Then we apply the Carleman estimate to prove the Lipschitz stability in determining a spatial varying function in an external source term of Kelvin-Voigt model by a single measurement. Finally as a related system, we consider an isothermal compressible fluid system and apply the Carleman estimate to establish the Lipschitz stability for an inverse source problem for the compressible fluid system. 收起 • 09-18 Ars Technica 26 CA enforcing neutrality because "Pai abdicated his responsibility," senator says. 收起 • 09-18 THE NEW YORKER 27 John Cassidy writes on the fallout among Republicans responding to Christine Blasey Ford’s sexual-assault allegations against the Supreme Court nominee Brett Kavanaugh. 收起 • We discuss recent advances in the regularity problem of a variety of fluid equations and systems. The purpose is to illustrate the advantage of harmonic analysis techniques in obtaining sharper conditional regularity results when compared to classical energy methods. 收起 • 09-18 Hacker News 25 The Evolution of Reddit’s Architecture (2017) 收起 • Based on a recent$L^{6}-L^{\infty}$approach, validity of diffusive limit is established for both steady and unsteady Boltzmann equation in the presence of the classical Maxwell boundary condition for a full arrange of the accommodation coefficient$0 \leq \alpha \leq 1$. A general stretching method is developed to control bouncing trajectories for the specular reflection with$\alpha=0$in the hydrodynamic limit, and refined estimates uniform with respect to$0 \leq \alpha\leq 1$for the macroscopic distribution$\mathbf{P}f$are derived. 收起 • A set family$F$is said to satisfy the$(p,q)$property if among any$p$sets in$F$, some$q$have a non-empty intersection. Hadwiger and Debrunner (1957) conjectured that for any$p \geq q \geq d+1$there exists$c=c_d(p,q)$, such that any family of compact convex sets in$\mathbb{R}^d$that satisfies the$(p,q)$property, can be pierced by at most$c$points. In their celebrated$(p,q)$theorem from 1992, Alon and Kleitman proved the conjecture but did not obtain effective bounds on$c_d(p,q)$, called the Hadwiger-Debrunner numbers'. Ever since, obtaining such bounds is a major open problem in convexity theory. The best currently known asymptotic lower bound on the Hadwiger-Debrunner numbers in the plane is$c_2(p,q) = \Omega( \frac{p}{q}\log(\frac{p}{q}))$. In this paper we present the significantly stronger lower bound$c_2(p,q) \geq p^{1+\Omega(1/q)}$. This bound, obtained by an explicit family of lines, is tight for all families that have a bounded VC-dimension. Unlike previou 收起 • A dilator is a particularly uniform transformation$X\mapsto T_X$of linear orders that preserves well-foundedness. We say that$X$is a Bachmann-Howard fixed point of$T$if there is an almost order preserving collapsing function$\vartheta:T_X\rightarrow X$(precise definition to follow). In the present paper we show that$\Pi^1_1$-comprehension is equivalent to the assertion that every dilator has a well-founded Bachmann-Howard fixed point. This proves a conjecture of M. Rathjen and A. Montalb\'an. 收起 • Let$n >3$and$ 0< k < \frac{n}{2} $be integers. In this paper, we investigate some algebraic properties of the line graph of the graph$ {Q_n}(k,k+1) $where$ {Q_n}(k,k+1) $is the subgraph of the hypercube$Q_n$which is induced by the set of vertices of weights$k$and$k+1$. In the first step, we determine the automorphism groups of these graphs for all values of$k$. In the second step, we study Cayley properties of the line graph of these graphs. In particular, we show that for$ k>2, $if$ 2k+1 \neq n$, then the line graph of the graph$ {Q_n}(k,k+1) $is a vertex-transitive non Cayley graph. Also, we show that the line graph of the graph$ {Q_n}(1,2) $is a Cayley graph if and only if$ n$is a power of a prime$p$. 收起 • We discuss analytically and numerically the propagation and energy transmission of electromagnetic waves caused by the coupling of surface plasmon polaritons (SPPs) between two spatially separated layers of 2D materials, such as graphene, at subwavelength distances. We construct an adaptive finite-element method to compute the ratio of energy transmitted within these waveguide structures reliably and efficiently. At its heart, the method is built upon a goal-oriented a posteriori error estimation with the dual-weighted residual method (DWR). Further, we derive analytic solutions of the two-layer system, compare those to (known) single-layer configurations, and compare and validate our numerical findings by comparing numerical and analytical values for optimal spacing of the two-layer configuration. Additional aspects of our numerical treatment, such as local grid refinement, and the utilization of perfectly matched layers (PMLs) are examined in detail. 收起 • We study the Carleson measures and the Toeplitz operators on the class of so-called small weighted Bergman spaces, introduced recently by Seip. A characterization of Carleson measures is obtained which extends Seip's results from the unit disc of$\mathbb C$to the unit ball of$\mathbb C^n$. We use this characterization to give necessary and sufficient conditions for the boundedness and compactness of Toeplitz operators. Finally, we study the Schatten$p$classes membership of Toeplitz operators for$1<p<\infty$. 收起 • 09-18 THE NEW YORKER 24 Sam Spero and Patrick Goodney write a humorous list of thoughts that a person might have on his way to work. 收起 • 09-18 Ars Technica 28 Joint effort takes aim against loot boxes, skin gambling, and more. 收起 • This paper develops a comprehensive probabilistic setup to compute approximating functions in active subspaces. Constantine et al. proposed the active subspace method in (Constantine et al., 2014) to reduce the dimension of computational problems. It can be seen as an attempt to approximate a high-dimensional function of interest$f$by a low-dimensional one. To do this, a common approach is to integrate$f$over the inactive, i.e. non-dominant, directions with a suitable conditional density function. In practice, this can be done with a finite Monte Carlo sum, making not only the resulting approximation random in the inactive variable for each fixed input from the active subspace, but also its expectation, i.e. the integral of the low-dimensional function weighted with a probability measure on the active variable. In this regard we develop a fully probabilistic framework extending results from (Constantine et al., 2014, 2016). The results are supported by a simple numerical example. 收起 • 09-18 MIT Technology 27 Wireless startup WiTricity wants cars to power up without human help and feed utilities energy during peak demand. 收起 • Mounting anecdotal evidence that IBM may have committed age discrimination boils over into suit 收起 • We propose a semi-discrete numerical scheme and establish well-posedness of a class of parabolic systems. Such systems naturally arise while studying the optimal control of grain boundary motions. The latter is typically described using a set of parabolic variational inequalities. We use a regularization approach to deal with the variational inequality. The resulting optimization problem is a nonsmooth, nonconvex, and nonlinear programming problem. This is a long term project where in the current work we are first analyzing systems of PDEs associated with the regularized optimal control problem. Such a system is a set of highly coupled parabolic equations, and proposes significant analytical and numerical challenges. We establish well-posedness of this system. In addition, we design a provably convergent semi-discrete (time discrete spatially continuous) numerical scheme to solve the system. We have developed several new tools during the course of this paper that can be applied to a wi 收起 • A famous theorem of Dirac states that any graph on$n$vertices with minimum degree at least$n/2$has a Hamilton cycle. Such graphs are called Dirac graphs. Strengthening this result, we show the existence of rainbow Hamilton cycles in$\mu n$-bounded colourings of Dirac graphs for sufficiently small$\mu >0$. 收起 • 09-18 Slashdot 28 On Friday, FCC Chairman Ajit Pai called California's net neutrality bill "illegal," saying it "poses a risk to the rest of the country." The bill recently passed California's state Assembly and now awaits the signature of Governor Jerry Brown. In response to Pai's speech, Scott Wiener, California's Senator who authored the bill, said they are "necessary and legal because Chairman Pai abdicated his responsibility to ensure an open internet." "Unlike Pai's FCC, California isn't run by the big telecom and cable companies," Wiener also said. "Pai can take whatever potshots at California he wants. The reality is that California is the world's innovation capital, and unlike the crony capitalism promoted by the Trump administration, California understands exactly what it takes to foster an open innovation economy with a level playing field." Ars Technica reports: Pai targeted the California rules in a speech at the Maine Heritage Policy Center. Pai derided what he called "nanny-state Californ 收起 • 09-18 Ars Technica 26 "Advanced persistent threats…and ordinary hacking are unfortunately here to stay." 收起 • An anonymous reader quotes a report from TechCrunch: Altaba, the holding company of what Verizon left behind after its acquisition of Yahoo, said it has settled three ongoing legal cases relating to Yahoo's previously disclosed data breaches. In a Monday filing with the Securities and Exchange Commission, the former web giant turned investment company said it has agreed to end litigation for$47 million, which the company said will "mark a significant milestone" in cleaning up its remaining liabilities. The deal is subject to court approval, which attorneys for both sides asked the court to approve the deal within 45 days, according to a filing submitted Friday. One of the data breaches occurred in mid-2013, where data on all of the company's three billion users was stolen. The other breach occurred a year later and resulted in 500 million accounts being stolen, including email addresses and passwords.

收起

•   09-18 Hacker News 26

ActivityPub hot take

收起

• We prove a version of the implicit function theorem for Lipschitz mappings $f:\mathbb{R}^{n+m}\supset A \to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdorff content $\mathcal{H}_{\infty}^n$ by $f$ has positive upper $n$-density on a set of positive Lebesgue measure, then, there is a local diffeomorphism $G$ in $\mathbb{R}^{n+m}$ and a Lipschitz map $\pi:X\to \mathbb{R}^n$ such that $\pi\circ f\circ G^{-1}$, when restricted to a certain subset of $A$ of positive measure, is a the orthogonal projection of $\mathbb{R}^{n+m}$ onto the first $n$-coordinates. This may be seen as a qualitative version of a similar result of Azzam and Schul. The main tool in our proof is the metric change of variables introduced in a paper of Haj\l{}asz and Malekzadeh.

收起

•   09-18 Hacker News 22

A Premature Attempt at the 21st Century Canon

收起

• The forward-backward splitting algorithm is a popular operator splitting method for finding a zero of the sum of two maximal monotone operators, with one of which is cocoercive operator. In this paper, we present a new convergence analysis of a variable metric forward-backward splitting algorithm with relaxation in real Hilbert spaces. We prove the weak convergence of this algorithm under some weak conditions on the relaxation parameters. Moreover, we allow the relaxation parameters larger than one. Consequently, we recover a variable metric proximal point algorithm. As an application, we obtain a variable metric forward-backward splitting algorithm for solving the minimization problem of the sum of two convex functions, where one of them is differentiable with a Lipschitz continuous gradient. Furthermore, we discuss the applications of this algorithm to the fundamental of the variational inequalities problem, constrained convex minimization problem, and split feasibility problem.

收起

• We verify some "arithmetic" predictions made by conjectures of Campana, Hassett-Tschinkel, Green-Griffiths, Lang, and Vojta. Firstly, we prove that every dominant endomorphism of an arithmetically hyperbolic variety over an algebraically closed field of characteristic zero is in fact an automorphism of finite order, and that the automorphism group of an arithmetically hyperbolic variety is a locally finite group. To prove these two statements we use (a mild generalization of) a theorem of Amerik on dynamical systems which in turn builds on work of Bell-Ghioca-Tucker, and combine this with a classical result of Bass-Lubotzky. Furthermore, we show that if the automorphism group of a projective variety is torsion, then it is finite. In particular, we obtain that the automorphism group of a projective arithmetically hyperbolic variety is finite, as predicted by Lang's conjectures. Next, we apply this result to verify that projective hyperkahler varieties with Picard rank at least three are

收起

•   09-18 THE NEW YORKER 24

Michael Schulman writes about the 2018 Primetime Emmy awards, where a surprise marriage proposal one the night.

收起

• We consider uniqueness in an inverse Schr\"odinger problem in a bounded domain in $\mathbb{R}^2$ given the Dirichlet-to-Neumann map on part of the boundary. On the remaining boundary we impose a new type of singular boundary condition with unknown parameter. Owing to recent results on this class of boundary conditions, we discuss the necessity of an extra point condition to well-define the data for the inverse problem. Our results are two-fold. At a single frequency the inverse problem displays non-uniqueness, since an unknown boundary condition can spoil seeing' the Schr\"odinger potential via the Dirichlet-to-Neumann map. On the other hand, taking as input data the Dirichlet-to-Neumann map at every frequency $\lambda\in\mathbb{R}$ for which it is well-defined yields full uniqueness of the potential and all the boundary conditions. We adapt recent methods in related two-dimensional inverse problems and develop new techniques to cope with the singularity in the boundary condition.

收起

• We prove that a link is strongly quasipositive if it admits a diagram with a single negative crossing. This answers a question of Stoimenow's in the (strong) positive. As a second main result, we give simple and complete characterizations of link diagrams with quasipositive Seifert surfaces produced by Seifert's algorithm.

收起

• Learn how Nikola Motor Company partnered with TE Connectivity to enable fully electric hydrogen powered long-haul trucks

收起

•   09-18 Hacker News 26

70M Jobs (YC S17) Seeking Head of Operations

收起

•   09-18 Ars Technica 29

In his book Math With Bad Drawings, Ben Orlin connects abstract math with reality.

收起

• Peter Aczel has given a categorical construction for fixed points of normal functors, i.e. dilators which preserve initial segments. For a general dilator $X\mapsto T_X$ we cannot expect to obtain a well-founded fixed point, as the order type of $T_X$ may always exceed the order type of $X$. In the present paper we show how to construct a Bachmann-Howard fixed point of $T$, i.e. an order $\operatorname{BH}(T)$ with an `almost' order preserving collapse $\vartheta:T_{\operatorname{BH}(T)}\rightarrow\operatorname{BH}(T)$. Building on previous work, we show that $\Pi^1_1$-comprehension is equivalent to the assertion that $\operatorname{BH}(T)$ is well-founded for any dilator $T$.

收起

• We investigate three cases regarding asymptotic associate primes. First, assume $(A,\mathfrak{m})$ is an excellent Cohen-Macaulay (CM) non-regular local ring, and $M = \operatorname{Syz}^A_1(L)$ for some maximal CM $A$-module $L$ which is free on the punctured spectrum. Let $I$ be a normal ideal. In this case, we examine when $\mathfrak{m} \notin \operatorname{Ass}(M/I^nM)$ for all $n \gg 0$. We give sufficient evidence to show that this occurs rarely. Next, assume that $(A,\mathfrak{m})$ is excellent Gorenstein non-regular isolated singularity, and $M$ is a CM $A$-module with $\operatorname{projdim}_A(M) = \infty$ and $\dim(M) = \dim(A) -1$. Let $I$ be a normal ideal with analytic spread $l(I) < \dim(A)$. In this case, we investigate when $\mathfrak{m} \notin \operatorname{Ass} \operatorname{Tor}^A_1(M, A/I^n)$ for all $n \gg 0$. We give sufficient evidence to show that this also occurs rarely. Finally, suppose $A$ is a local complete intersection ring.

收起

• This paper investigates the robust stabilisation of a class of fractional-order non-linear system with positive real uncertainty via fixed-order dynamic output feedback controller in terms of linear matrix inequalities (LMIs). the systematic stabilisation algorithm design for low-order controller based on direct Lyapunov approach is proposed for uncertain fractional-order systems. In the presented algorithm the conditions containing the bilinear variables are decoupled into separate conditions without imposing equality constraints or considering an iterative search of the controller parameters. There is no any limiting constraint on state space matrices and also we assumed the most complete output feedback controller. Simulations results are given to approve the effectiveness and the straightforwardness of the proposed design.

收起