Bryan Hoch, MLB: Securing their 27th consecutive season with a winning record, a streak that dates to 1993 and is second in Major League history only to their 39-season run from 1926-64, the Yankees peppered rookie starter Aaron Civale for three runs and Tweet
Today I want to explain how we know that the way Einstein thought about gravity cannot be correct. Einstein’s idea was that gravity is not a force, but it is really an effect caused by the curvature of space and time. Matter curves space-time in its Tweet
Today I want to explain how we know that the way Einstein thought about gravity cannot be correct. Einstein’s idea was that gravity is not a force, but it is really an effect caused by the curvature of space and time. Matter curves space-time in its Tweet
Anya Litvak, reporting for The Pittsburgh Post-Gazette: The choice for thousands of union workers at Royal Dutch Shell’s petrochemical plant in Beaver County was clear Tuesday: Either stand in a giant hall waiting for President Donald Trump to speak or ta Tweet
Nice scoop from iHelpBR. Marco Arment’s take: Two fantastic watch materials. Titanium in watches can be made to look like steel but slightly darker and much lighter-weight, and the previous white-ceramic Editions were really cool. Agreed. Watch-grade tit Tweet
Given an abstract optimization problem with multiple solutions, how much partial information about a solution do you have to know in order to uniquely identify that solution? That has been the topic of some of my earlier research, on how many creases of an Tweet
Open Distro for Elasticsearch Security implements the web browser single sign-on (SSO) profile of the SAML 2.0 protocol. This enables you to configure federated access with any SAML 2.0 compliant identity provider (IdP). In a prior post, I discussed settin Tweet
Internet Archive's Wayback Machine is a gift to the world. For quick checks you just enter the URL and you get the archived version going years back.A whole little cottage industry seems to have been formed around the Wayback Machine. They offer you whole- Tweet
Months ago when scheduling my annual block of August vacation time, I made the curious decision to split up my three weeks with a work week in the middle. There was some rationale for this, I’m fairly sure, but I can no longer remember what it was an Tweet
Months ago when scheduling my annual block of August vacation time, I made the curious decision to split up my three weeks with a work week in the middle. There was some rationale for this, I’m fairly sure, but I can no longer remember what it was an Tweet
What did you buy for Prime Day? I bought a 34″ Alienware Gaming Monitor and used it to replace a pair of 25″ monitors that had served me well for the past six years: As I have done in years past, I would like to share a few of the many ways that AWS Tweet
Hillel Wayne: Many ambulances now have electronic PCRs, which fix a lot of these problems. The report is automatically filed with the hospital. The software can enter timestamps and fill in necessary boilerplate. By spellchecking known medications it save Tweet
Elizabeth Lopatto, writing for The Verge: On August 14th, The We Company (the company formerly known as WeWork) filed its mandatory S-1 paperwork to go public, and it’s worth reading in full. I mean, forget the serious stuff for a moment. The thing begins Tweet
Neat project from an anonymous (?) father and son team: Version Museum showcases the visual history of popular websites, operating systems, applications, and games that have shaped our lives. Much like walking through a real-life museum, this site focuses Tweet
Happy Friday! We've had a great week. Let's review what we've been up to: ASF Annual Report – The Apache® Software Foundation announces Annual Report for 2019 Fiscal Year - Press release https://s.apache.org/w7bw1 - Full report h Tweet
Hey HN, I'm Noah, co-founder of SannTek (https://www.sannteklabs.com). We're building a breathalyzer for cannabis.I bet some of you have had the same idea cross your mind that we had: "If we have a breathalyzer for alcohol, why don't we have a breathalyze Tweet
Comment It's been a couple of months since I launched iOS Dev Jobs and it's been a great success so far, but it's definitely not listing every iOS related job out there yet. In part, that's because it costs money to p Tweet
2019-08-16 13:16:55 @ La Ciencia de la Mula Francis
He participado en el episodio 228 del podcast Coffee Break: Señal y Ruido [iVoox, iTunes], titulado “Ep228: Premios: Dirac y Breakthrough; Supergravedad; La Gran Oxidación; Materia Oscura y Big Bang”, 15 ago 2019. «La tertulia semanal […] La entrada Tweet
2019-08-16 10:14:22 @ La Ciencia de la Mula Francis
Ayer, 15 de agosto, participé en el Espacio Naukas del programa Esto me suena, con David Sierra, de Radio Nacional de España (RNE). Puedes escuchar el audio en este podcast […] La entrada Francis en Espacio Naukas (Esto me suena, RNE): ¿De qué está h Tweet
The complexity of variants of 3-SAT and Not-All-Equal 3-SAT is well studied. However, in contrast, very little is known about the complexity of the problems' quantified counterparts. In the first part of this paper, we show that $\forall \exists$ 3-SAT is Tweet
Given an unpredictable Boolean function $f: \{0, 1\}^n \rightarrow \{0, 1\}$, the standard Yao's XOR lemma is a statement about the unpredictability of computing $\oplus_{i \in [k]}f(x_i)$ given $x_1, ..., x_k \in \{0, 1\}^n$, whereas the Selective XOR lem Tweet
This paper establishes some of the fundamental barriers in the theory of computations and finally settles the long-standing computational spectral problem. That is to determine the existence of algorithms that can compute spectra $\mathrm{sp}(A)$ of classe Tweet
A strict confluent (SC) graph drawing is a drawing of a graph with vertices as points in the plane, where vertex adjacencies are represented not by individual curves but rather by unique smooth paths through a planar system of junctions and arcs. If all ve Tweet
We present a Deep Differentiable Simplex Layer (DDSL) for neural networks for geometric deep learning. The DDSL is a differentiable layer compatible with deep neural networks for bridging simplex mesh-based geometry representations (point clouds, line mesh Tweet
Symmetry is a key feature observed in nature (from flowers and leaves, to butterflies and birds) and in human-made objects (from paintings and sculptures, to manufactured objects and architectural design). Rotational, translational, and especially reflecti Tweet
Algorithms, data structures, coding techniques, and other methods that reduce bit-flips are being sought to best utilize hardware where flipping bits is the dominating cost. Write efficient memories were introduced by Ahlswede and Zhang as a model for stor Tweet
We consider the NP-complete problem of tracking paths in a graph, first introduced by Banik et. al. [3]. Given an undirected graph with a source $s$ and a destination $t$, find the smallest subset of vertices whose intersection with any $s-t$ path results Tweet
We explore the power of semidefinite programming (SDP) for finding additive $epsilon$-approximate Nash equilibria in bimatrix games. We introduce an SDP relaxation for a quadratic programming formulation of the Nash equilibrium (NE) problem and provide a n Tweet
Cloud computing has motivated renewed interest in resource allocation problems with new consumption models. A common goal is to share a resource, such as CPU or I/O bandwidth, among distinct users with different demand patterns as well as different quality Tweet
2019-08-16 02:52:25 @ Gödel's Lost Letter and P=NP
Using predictivity both to sharpen and cross-check models Cropped from article source Patrice Miller and Jeff Seder look under the hide of horses. Their company EQB does predictive modeling for horse racing based on biometric data. They are famous for havi Tweet
Video: WebAssembly: status, WebIDL Bindings, and roadmap VIMEO.COM The I/O capabilities of the WebAssembly virtual machine are very limited, making it a challenge to efficiently interact with the host environment, for example, manipulating the DOM. This fa Tweet
Benjamin Mayo, writing for 9to5Mac: Apple has recently updated its App Store Preview pages for stories to allow users to view the full content of stories from inside their desktop web browser. App Store stories have always been shareable as links, but the Tweet
When I was working on systems deployed in on-premises data centers, it sometimes happened I had to debug an unresponsive server. It usually involved asking someone to physically press a non-maskable interrupt (NMI) button on the frozen server or to send a Tweet
Scientists have stabilized and imaged a ring of 18 carbon atoms for the first time. The post Making and Imaging Cyclocarbon appeared first on IBM Research Blog. Tweet
Tricolor pyramids (). In this logic puzzle by @jsiehler, you have to 3-color hexagonal tiles avoiding 2-colored upright triangles. What interests me is not that, but the following: it’s the time-space diagram of a 3-state cellular automaton (with time flow Tweet
A friend asks: A quick question: if somebody wants to donate money to reduce his or her carbon footprint, which org(s) would you recommend that he or she donate to? Do you have a good answer to this? I don’t want answers that deny the premise. WeR Tweet
A friend asks: A quick question: if somebody wants to donate money to reduce his or her carbon footprint, which org(s) would you recommend that he or she donate to? Do you have a good answer to this? I don’t want answers that deny the premise. WeR Tweet
Posted By Eric Steinlauf, Software Engineer, Google Today we want to walk through some updated analysis on the benefit that prerendering can provide on load times. AMP is designed to reduce page load time, and one of the most important ways Google Search Tweet
is a fullstack web app hosting service, with continuous deployment from your preferred source code repository. Amplify Console has been introduced in November 2018 at . Since then, the team has been listening to customer feedback and iterated quickly to re Tweet
The ancient Greeks wondered when “irrational” numbers can be approximated by fractions. By proving the longstanding Duffin-Schaeffer conjecture, two mathematicians have provided a complete answer. Tweet
How can you prove that a choice was made in good faith? For example, if your company selects a cohort of people for random drug testing, how can you convince those who were chosen that they weren’t chosen deliberately? Would a judge find your explana Tweet
Guest post by Cloud Robotics Research Scientist at iRobot and AWS Serverless Hero, Ben Kehoe AWS Step Functions is a serverless workflow orchestration service that lets you coordinate processes using the declarative Amazon States Language. When you have a Tweet
At the core of Open Distro for Elasticsearch’s ability to provide a seamless scaling experience, lies its ability distribute its workload across machines. This is achieved via sharding. When you create an index you set a primary and replica shard count for Tweet
World's largest Open Source foundation’s 300+ freely-available, enterprise-grade Apache projects power some of the most visible and widely used applications in computing today. Wakefield, MA —13 August 2019— The Apache® Software Foundation (ASF), the Tweet
Convex optimization problems, which involve the minimization of a convex function over a convex set, can be approximated in theory to any fixed precision in polynomial time. However, practical algorithms are known only for special cases. An important quest Tweet
There is no shortage of choices when it comes to virtual meeting software. Skype used to be the industry standard for free video calling, overseas calls, and instant messaging between professionals. In recent years Zoom has usurped the title of industry st Tweet
New projects:cardiogram — Simple test framework — MITcesdi — Provides a compute-effective-slot-definition-initargs generic function that allows for more ergonomic initialization of effective slot definition objects. — Unli Tweet
IBM researchers have partnered with scientists from MIT, Northeastern University, Boston University and University of Minnesota to publish two papers on novel attacks and defenses for graph neural networks and on a new robust training algorithm called hier Tweet
Boston Events During BoS Conference Boston isn’t just the home of your favorite SaaS and software conference. There is plenty going on. This year, you could take the opportunity to see, among others, Baseball – Redsox vs Giants, Lizzo, ZZ Top, Tweet
Have you heard that particle physicists want a larger collider because there is supposedly something funny about the Higgs boson? They call it the “Hierarchy Problem,” that there are 15 orders of magnitude between the Planck mass, which determines the s Tweet
Have you heard that particle physicists want a larger collider because there is supposedly something funny about the Higgs boson? They call it the “Hierarchy Problem,” that there are 15 orders of magnitude between the Planck mass, which determines the s Tweet
Thread Sanitizer is now available on Linux as part of Swift 5.1! Head over to Swift.org and grab a Swift 5.1 Development snapshot to try it out. The Swift language guarantees memory safety in single threaded environments. However, conflicting accesses in m Tweet
Hello and welcome to another issue of This Week in Rust! Rust is a systems language pursuing the trifecta: safety, concurrency, and speed. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisWeekInRust or send Tweet
Tuples in Swift are a great way to quickly combine two or more pieces of data. For example, when working on an SVG parsing library, we had two doubles that we wanted to combine. In some cases it’s very helpful to create a nominal type, such as a Point: st Tweet
Rhonda Garelick, writing at The Cut: Imagine this: A shooter has entered a public place, where you are walking with your family. You have but a minute to realize you can save your 2-month-old by using your own body to shield him from the bullets raining d Tweet
For many people, IT is a task and not a career. Now you can support your users without help from IT. Jamf Now is a simple, cloud-based solution designed to help anyone set up, manage, and protect Apple devices at work. Easily configure company email and Wi Tweet
One of the common dings against our books REWORK and It Doesn’t Have to Be Crazy at Work (less so with REMOTE), is that we don’t include a lot of actionable advice. It’s a fair swipe. It seems everyone’s after actionable advice. The Tweet
I’ve recently noticed an uptick in the number of "angels" that aren’t actually angels. These investors are institutional funds (read, LP dollars), the details of which aren't generally disclosed until the founder sees a strange entity name on the signature Tweet
Lisa Friedman, reporting for The New York Times: The Trump administration on Monday announced that it would change the way the Endangered Species Act is applied, significantly weakening the nation’s bedrock conservation law credited with rescuing the bald Tweet
The last couple posts have been looking at the Cliff random number generator. I introduce the generator here and look at its fixed points. These turn out to be less of a problem in practice than in theory. Yesterday I posted about testing the generator wit Tweet
We report new research results relevant to AI planning in our paper, "Depth-First Memory-Limited AND/OR Search and Unsolvability in Cyclic Search Spaces," presented at the International Joint Conference on Artificial Intelligence, IJCAI-19. The post Impro Tweet
Arrays are, alongside structs, the most basic data structure and, at the same time, the default choice for implementing algorithms. A one-dimensional array that is also called a "vector" is a contiguous structure consisting of the elements of the same typ Tweet
At IJCAI'19, IBM researchers present new results on causal knowledge extraction from large amounts of text for applications in enterprise risk management. The post Causal Knowledge Extraction: An Evaluation using Automated Binary Causal Question Answering Tweet
Xcode 11 adds support for the Swift Package Manager. Here’s my quick guide to creating Swift packages with Xcode 11. These notes were created using Xcode 11 beta 5. Creating A Local Package I’m starting from a small Xcode project with some C Tweet
Virtual team building is tough. Here are 7 ways you can build social connection in a remote team, even from afar. I’ll be shocked if you’re shocked: Building social connection in a remote team is the hardest part of managing a remote team. According to a s Tweet
Beyond its immediate usefulness as an assistive technology, the Accessibility Keyboard challenges us to think differently about the nature of input methods and any remaining distinction between mobile and desktop computers. Tweet
2019-08-12 04:34:46 @ Gödel's Lost Letter and P=NP
Solving the runtime selection problem Composite from src1, src2 Brendan Lucier and Csaba Szepesvári were consecutive speakers at this week’s workshop at the Toyota Technological Institute in Chicago on “Automated Algorithm Design.” Today Tweet
My previous post introduced the Cliff random number generator. The post showed how to find starting seeds where the generator will start out by producing approximately equal numbers. Despite this flaw, the generator works well by some criteria. I produced Tweet
I have reached the unfortunate conclusion that RECaf’s watch app will not be able to go fully independent this fall with the release of watchOS 6. While you have always been able to log from your wrist using the app or Siri shortcuts, I was hoping folks wh Tweet
I ran across the Cliff random number generator yesterday. Given a starting value x0 in the open interval (0, 1), the generator proceeds by xn+1 = | 100 log(xn) mod 1 | for n > 0. The article linked to above says that this generator passes a t Tweet